The authors describe a technique that can visualize the atomic structure of molecules, it is necessary, in terms of the image processing, to consider the reconstruction of... Læs mere
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
The purpose of this book is to provide graduate students and practitioners with traditional methods and more recent results for... Læs mere
This book presents the electrical models for the different elements of a photonic microwave link like lasers, external modulators, optical fibers, photodiodes and phototransistors.
This book combines the research activities of the authors, both of whom are researchers at Ecole Nationale de l Aviation Civile (French National School of Civil Aviation), and presents their findings from the last 15 years.
This title provides a broad overview of the different types of models used in advanced spatial analysis. The models concern spatial organization, location factors and spatial interaction patterns from both static and dynamic perspectives.
* Gives the reader a complete but comprehensive presentation of the foundations of convex analysis and presents applications to significant situations in engineering. * The presentation of the theory is self-contained and the proof of all the essential results is given.
The set of books on Mechanical Engineering and Solid Mechanics, of which this book is the first volume, is an essential tool for those looking to... Læs mere