Model Checking

This book examines the role of model validation of power system planning and operation to optimize its performance in terms of frequency control. It presents the detailed model validation for the Iran

This book describes the cognitive and interpersonal effects of group model building, and presents empirical research on what group model building achieves and how. Further, it proposes an integrated c

This book provides cutting-edge studies and technologies using small fishes, including zebrafish, medaka, and other fishes as new model animals for molecular biology, developmental biology, and medici

This textbook presents a proven, mature Model-Based Systems Engineering (MBSE) methodology that has delivered success in a wide range of system and enterprise programs. The authors introduce MBSE as t

In developing countries, access to the adequate sanitation systems is still limited, and a new business model is required. This book demonstrates the benefits of resource-oriented agro-sanitation syst

This book presents a tutorial review of van der Pol model, a universal oscillator model for the analysis of modern RC-oscillators in weak and strong nonlinear regimes. A detailed analysis of the injec

This book is the first digital atlas of the degu brain with microscopic features simultaneously in Nissl sections and magnetic resonance imaging (MRI). As an experimental animal model, the degu contri

This book presents possible solutions for a circuler economy (CE) in the water and wastewater sector through an inventory of multidisciplinary knowledge with high scientific and practical importance which can contribute to support the transition to the CE model in water and wastewater sector. Water in modern studies exceeds being an important source for irrigation and drinking. It is now a significant source of renewable energy and a catalyst in most industrial and manufacturing products. The protection and sustainable management of water resources and water-based waste (as wastewater, sewage sludge, or sewage sludge ash) are important aspects of the CE, which is defined as a regenerative growth model that gives back to the planet more than it takes. Our book, entitled "Water in Circular Economy", delivers a comprehensive overview of the latest research covering the following aspects of water management from the perspective of the CE implementation: - Water as a key resource in the c

This textbook on nonlinear optimization focuses on model building, real world problems, and applications of optimization models to natural and social sciences. Organized into two parts, this book may

This book explains the modelling and simulation of thermal power plants, and introduces readers to the equations needed to model a wide range of industrial energy processes. Also featuring a wealth of

This report is a partial result of the China’s Quarterly Macroeconometric Model (CQMM), a project developed and maintained by the Center for Macroeconomic Research (CMR) at Xiamen University. The CMR

Memristive Nonlinear Electronic Circuits deals with nonlinear systems in the design and implementation of circuits for generating complex dynamics. The brief proposes a new memristor model using an in

This book outlines and circumvents two serious problems that appear to attach to Kant’s moral philosophy, or more precisely to the model of rational agency that underlies that moral philosophy: the pr

This book highlights the new urban–rural relationship that has emerged under the influence of e-commerce in China. In this regard, it presents case studies on the Suichang rural e-commerce model and A

This book investigates the role of inference in argumentation, considering how arguments support standpoints on the basis of different loci. The authors propose and illustrate a model for the analysis

The book reviews theories of nucleosynthesis in big-bang cosmology. It introduces the standard model of cosmology, astronuclear reactions, numerical techniques for nucleosynethsis, and describes in de

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several ar

This book focuses on the assessment and treatment of patients with somatic symptoms, based on biopsychosociospiritual model. Specific assessment skills and treatment techniques are required to approac

This volume examines the relationships among social ecology, innovation, sustainable development and economic growth. The Quintuple Helix innovation model focuses on the interactions among five k

This book explores a new model for addressing the central issue of environmental and other collective actions. An alternative to the classical models: central authority, privatization, and self-govern

Drawing on advanced probability theory, Ambit Stochastics is used to model stochastic processes which depend on both time and space. This monograph, the first on the subject, provides a reference for

This introduction to Atomic and Molecular Physics explains how our present model of atoms and molecules has been developed over the last two centuries both by many experimental discoveries and, from t