Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lire la suite
Modeling Chemical Systems using Cellular Automata
The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...
Lire la suiteModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lire la suite
Modeling and Simulation for RF System Design
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...
Lire la suiteModelling and Analysis of Hybrid Supervisory Systems
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
Lire la suite
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lire la suite
Modelling, State Observation and Diagnosis of Quantised Systems
The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. ...
Lire la suite
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Lire la suite
Modern Testing Techniques for Structural Systems : Dynamics and Control
The articles in this book describe new developments in the area of structural testing, particularly those based upon the ...
Lire la suite
Moral Reasoning at Work
Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It ...
Lire la suite
Multi-Arm Cooperating Robots
This book will be useful to a wide audience of engineers, ranging from undergraduate and graduate students, new and advanced ...
Lire la suite
Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III
Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...
Lire la suiteMulti-point Interaction with Real and Virtual Objects
This edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...
Lire la suite
Multiscale Optimization Methods and Applications
One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully ...
Lire la suite
Multiscale Optimization Methods and Applications
One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully ...
Lire la suite
Networked Control Systems : Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...
Lire la suite
Neural Networks and Deep Learning / Charu C. Aggarwal
Covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. ...
Lire la suite
New Developments in Formal Languages and Applications
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
Lire la suite
New Horizons of Parallel and Distributed Computing
Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...
Lire la suite
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided ...
Lire la suite
