This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...

A neural network refers to interconnecting artificial neurons that mimic the properties of biological neurons to perform sophisticated, intelligent tasks. This authoritative reference offers a comprehensive understanding of the underpinnings and practical applications of artificial neural networks and their use in the retrieval of geophysical...

This book aims at giving an introduction to the principles and techniques
of quantum cryptography, including secret-key distillation, as well as some
more advanced topics. As quantum cryptography is now becoming a practical
reality with products available commercially, it is important to focus not
only on the theory of quantum...

This textbook presents in a concise and self-contained way the advanced fundamental mathematical structures in quantum theory. It is based on lectures prepared for a 6 months course for MSc students. The reader is introduced to the beautiful interconnection between logic, lattice theory, general probability theory, and general...

This book represents the most comprehensive description of the physical findings of an investigation into the spatio-temporal characteristics of the gravity of breaking waves and the foam activity in open sea by methods and instruments of optical and microwave remote sensing.

The central questions confronting artificial intelligence and cognitive science revolve around the nature of meaning and of mind. Minds are presumed to be the processors of mental content, where that content has the capacity to influence our speech and other behavior. The hard part is figuring out how that is done. Mental states must exercise...

"...delightful...accessible to anyone who enjoys or enjoyed high school mathematics. Mathematics teachers from middle school through college will find this book fun to read and useful in the classroom. The authors consider more properties, relationships, and applications of the Fibonacci numbers than most other sources do...I enjoyed reading...

Classical field theory predicts how physical fields interact with matter, and is a logical precursor to quantum field theory. This introduction focuses purely on modern classical field theory, helping graduates and researchers build an understanding of classical field theory methods before embarking on future studies in quantum field theory. It...

". . . fills a considerable gap in the numerical analysis literature by providing a self-contained treatment . . . this is an important work written in a clear style . . . warmly recommended to any graduate student or researcher in the field of the numerical solution of partial...

Remote sensing stands as the defining technology in our ability to monitor coral reefs, as well as their biophysical properties and associated processes, at regional to global scales. With overwhelming evidence that much of Earth’s reefs are in decline, our need for large-scale, repeatable assessments of reefs has never been so great....

'Light-Emitting Diodes is an excellent examination of the physics and technology of semiconductor LEDs. The narration is simple and direct, and the book is well referenced for those seeking a deeper understanding of the topic.' Physics Today

Revised and fully up-dated, the second edition of this graduate textbook offers a...

A groundbreaking text to the study of textile fibers that bridges the knowledge gap between fiber shape and end uses

Textile Fiber Microscopy offers an important and comprehensive guide to the study of textile fibers and contains a unique text that prioritizes a review of fibers’ microstructure,...