Electronic Books

Total Books: 3521 - 3540 /5761

Modalities and Multimodalities

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...

Model Based Inference in the Life Sciences: A Primer on Evidence

The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...

Model Checking and Artificial Intelligence

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...

Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena

Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees ...

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading LEAP-UCD-2017

This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses ...

Model and Design of Bipolar and MOS Current-Mode Logic

many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic ...

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...

Model-Based Reasoning in Science, Technology, and Medicine

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Model-based Process Supervision : A Bond Graph Approach

Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...

Modeling Chemical Systems using Cellular Automata

The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...

Modeling Communication with Robots and Virtual Humans : Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...

Modeling Complex Living Systems

Using tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex ...

Modeling Decisions for Artificial Intelligence

Decision modeling is a key area in the developing field of AI, and this timely work connects researchers and professionals ...

Modeling Decisions for Artificial Intelligence (vol. # 3885)

This book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial ...

Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...

Modeling Financial Time Series with S-PLUS®

This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...

Total Books: 3521 - 3540 /5761