While wireless technologies had a spectacular evolution over the past years, the present trend is to adopt a global heterogeneous ...
Lire la suiteThis book assesses this research frontier from a computer science perspective, investigating the various scientific and technological ...
Lire la suiteThis book describes new, model based teaching methods for science instruction. It presents research that describes these ...
Lire la suitehe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
Lire la suiteConstitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Lire la suiteThe 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Lire la suiteThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lire la suiteThe goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear ...
Lire la suiteModel reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees ...
Lire la suiteThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
Lire la suiteThe objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...
Lire la suiteThe 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...
Lire la suiteUsing tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex ...
Lire la suiteThis book covers the underlying science and application issues related to aggregation operators, focusing on tools used in ...
Lire la suiteThe volume is structured in two parts. Part one presents the basic theory, and the general equations describing SOFC operation ...
Lire la suiteModeling and Control of Antennas and Telescopes presents the author’s research and field experience in the area of antenna ...
Lire la suiteThis interdisciplinary collection of surveys highlights the central role played by the mathematical modeling of mechanical ...
Lire la suite"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress ...
Lire la suite