Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers pr
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-l
The present book analyses critically the tripartite mimicry model (consisting of the mimic, model and receiver species) and develops semiotic tools for comparative analysis. It is proposed that mimicr
Written by a team of two leading experts and two very successful young former PhD students, New Methods of Concurrent Checking describes new methods of concurrent checking, such as partial duplicatio
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
The present monograph develops a versatile and profound mathematical perspective of the Wright--Fisher model of population genetics. This well-known and intensively studied model carries a rich and be
Business model innovations are conceived and implemented by a special type of entrepreneur: business model pioneers. This book presents 14 compelling case studies of business model pioneers and their
This Brief highlights a novel model to find out the feasibility of any location to produce solar energy. The model utilizes the latest multi-criteria decision making techniques and artificial neural n
This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations. The
This SpringerBrief proposes a trust model motivated by virtue epistemology, addressing the need for a more efficient and flexible trust model for wireless next generation networks. This theory of trus
This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating th
Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; a
Acute Care for Elders (ACE) is a model of care designed to improve functional outcomes and to improve the processes for the care of older patients. This model includes: an environment of care designed
Mechanics and Model-Based Control of Advanced Engineering Systems collects 32 contributions presented at the International Workshop on Advanced Dynamics and Model Based Control of Structures and Machi
The Libor Market Model (LMM) is a mathematical model for pricing and risk management of interest rate derivatives and has been built on the framework of modelling forward rates. For the conceptual und
Finite-time stability (FTS) is a more practical concept than classical Lyapunov stability, useful for checking whether the state trajectories of a system remain within pre-specified bounds over a fini
This book details a model of consciousness supported by scientific experimental data from the human brain. It presents how the Corollary Discharge of Attention Movement (CODAM) neural network model al
This book explores a new pedagogical model called The Third Model, which places the encounter between the child and the curriculum at the center of educational theory and practice. The Third Model is
Passivity-based Model Predictive Control for Mobile Vehicle Navigation represents a complete theoretical approach to the adoption of passivity-based model predictive control (MPC) for autonomous vehic
Real-time model predictive controller (MPC) implementation in active vibration control (AVC) is often rendered difficult by fast sampling speeds and extensive actuator-deformation asymmetry. If the co
Nonlinear Model Predictive Control is a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC is interpreted as an approximat
The goal of this book is three-fold: it describes the basics of model order reduction and related aspects.In numerical linear algebra, it covers both general and more specialized model order reduction
This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called ‘institution theory’. The development inclu
This volume is the first book-length treatment of model-based geostatistics. The text is expository, emphasizing statistical methods and applications rather than the underlying mathematical theory. An
This book presents the mathematical study of vortices of the two-dimensional Ginzburg-Landau model, an important phenomenological model used to describe superconductivity. The vortices, identified as
The second edition of "Model Predictive Control" provides a thorough introduction to theoretical and practical aspects of the most commonly used MPC strategies. It bridges the gap between the powerful
A Tributary Model of State Formation: Ethiopia, 1600-2015 addresses the perplexing question of why a pedigreed Ethiopian state failed to transform itself into a nation-state. Using a comparative-insti
This Book discusses machine learning for model order reduction, which can be used in modern VLSI design to predict the behavior of an electronic circuit, via mathematical models that predict behavior.
Is digitalization a value-added approach? Global leaders believe so, and this book reveals how to digitally transform your business model and compete in today’s economy. It presents a roadmap consisti
This book examines the effect of the adoption of the United Nations Committee on International Trade Law (UNCITRAL) Model Law on Cross-Border Insolvency in five common law jurisdictions, namely Austra
This textbook presents a rigorous approach to multivariable calculus in the context of model building and optimization problems. This comprehensive overview is based on lectures given at five SERC Sch
This superbly illustrated atlas provides step-by-step descriptions of surgical procedures to the airways based on use of the sheep as an animal model, which has been demonstrated scientifically to be
This book is open access under a CC BY 4.0 license.With this graduate-level primer, the principles of the standard model of particle physics receive a particular skillful, personal and enduring exposi
This book analyzes the role played by initial endowments and colonizer identity in seeking to explain institutional development in former colonies. It presents a model of two styles of imperialism tha
With this brief, the authors present algorithms for model-free stabilization of unstable dynamic systems. An extremum-seeking algorithm assigns the role of a cost function to the dynamic system’s cont
This book offers readers a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC schemes with and without stabilizing termina
This book addresses the linear and nonlinear two-phase stability of the one-dimensional Two-Fluid Model (TFM) material waves and the numerical methods used to solve it. The TFM fluid dynamic stability
This book provides an academic introduction to, and presentation and defence of stakeholder theory as a model for the strategic management of businesses and corporations, as well as of public organiza
