This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent
Some students and their professor, hard at work graphically modeling a two-dimensional world, find, to their astonishment, that they are communicating with Yendred, their only contact in the 2D world
This book describes in detail how ARIS methods model and identify business processes by means of the UML (Unified Modeling Language), leading to an information model that serves as the basis for a sys
This book treats computational modeling of structures in which strong nonlinearities are present. It is therefore a work in mechanics and engineering, although the discussion centers on methods that a
The book presents a new paradigm for modeling and solving production planning and scheduling problems in industry. Methodologically, this paradigm forms the basis for developing a sound scientific
Fuzzy Sets in Decision Analysis, Operations Research and Statistics includes chapters on fuzzy preference modeling, multiple criteria analysis, ranking and sorting methods, group decision-making an
Papers from a spring 1996 conference present work that has been done over the past several years in the area of simulation in anesthesiology education. Contributors including physicians, nurses, techn
This volume is concerned with the understanding and modeling of combustion in high speed flows. The exploration of a dual approach combining asymptotic and numerical methods for the analysis of the
The past decade has seen remarkable growth in research related to petroleum reseIVoir simulation. This growth reflects several developments, not the least of which is the increased interest in oil rec
Atrial Fibrillation from an Engineering Perspective provides an up-to-date overview of techniques developed for acquisition, modeling, and analysis of noninvasive, bioelectrical signals reflecting thi
Accelerated Path to Cures provides a transformative perspective on the power of combining advanced computational technologies, modeling, bioinformatics and machine learning approaches with nonclinical
The book discusses the modeling of induction and synchronous machines aimed at the synthesis of dedicated control strategies.The first part focuses on induction machines (IMs), and starts with the ana
This second edition of the textbook presents a systematic introduction to the structural mechanics of composite components. The book focusses on modeling and calculation of sandwiches and laminat
The vector-borne Zika virus joins avian influenza, Ebola, and yellow fever as recent public health crises threatening pandemicity.By a combination of stochastic modeling and economic geography, this b
This book delivers a methodological approach on the experimentation and/or simulation processes from the disclaiming hypothesis on a physical phenomenon to the validation of the results. The main bene
?This book describes a novel physics-based approach to inverse modeling that makes use of the properties of the equations governing the physics of the processes under consideration. It focuses on the
This book discusses analytical approaches and modeling of the breakdown voltage (BV) effects on graphene-based transistors. It presents semi-analytical models for lateral electric field, length of vel
This book offers a comprehensive account of energetic materials, including their synthesis, computational modeling, applications, associated degradation mechanisms, environmental consequences and fate
This book represents an invaluable and up-to-date international exchange of research, case studies and best practice to tackle the challenges of digital technology, computer-aided design, 3D modeling,
This book provides an introduction to age-structured population modeling which emphasizes the connection between mathematical theory and underlying biological assumptions.Through the rigorous developm
This book covers the principles, underlying mechanisms, thermodynamic functions, kinetics and modeling aspects of sustainable technologies, particularly from the standpoint of applying physical, chemi
This handbook offers a thorough treatment of the science of linguistic annotation. Leaders in the field guide the reader through the process of modeling, creating an annotation language, building a co
This book provides an overview of the main approaches used to analyze the dynamics of cellular automata. Cellular automata are an indispensable tool in mathematical modeling. In contrast to classical
This monograph provides an in-depth treatment of the class of linear-dynamical quantum systems. The monograph presents a detailed account of the mathematical modeling of these systems using linear alg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling,
This book describes an effective method for modeling advanced materials like polymers, composite materials and biomaterials, which are, as a rule, inhomogeneous. The thermoelastic theory with internal
This book presents a history of shock compression science, including development of experimental, material modeling, and hydrodynamics code technologies over the past six decades at Sandia National La
This book is about numerical modeling of multiscale problems, and introduces several asymptotic analysis and numerical techniques which are necessary for a proper approximation of equations that depen
Covering both homemade and commercial products, this book provides the reader with simple and straightforward information about the modeling, building, and use of binoscopes. Binoscopes can be thought
Using various research methodologies, such as reviews, case studies, analytical modeling and empirical studies, this book investigates luxury fashion retail management and provides relevant insights,
This book offers the reader an overview of the basic approaches to the theoretical description of low-temperature plasmas, covering numerical methods, mathematical models and modeling techniques. The
This book provides a comprehensive coverage on robot fish including design, modeling and optimization, control, autonomous control and applications. It gathers contributions by the leading researchers
This book discusses design aspects of steel fiber-reinforced concrete (SFRC) members, including the behavior of the SFRC and its modeling. It also examines the effect of various parameters governing t
This two-volume work provides an overview on various state of the art experimental and statistical methods, modeling approaches and software tools that are available to generate, integrate and analyze
This textbook for courses on function data analysis and shape data analysis describes how to define, compare, and mathematically represent shapes, with a focus on statistical modeling and inference. I
This book discusses different aspects of water resources, ranging from hydrology and modeling to management and policy responses. Climate changes and the uncertainty of future hydrological regimes mak
This book describes essential principles of and approaches to monitoring and modeling algal blooms. Freshwater algal blooms have become a growing concern worldwide. They are caused by a high level of
Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory
Focused on recent advances, this book covers theoretical foundations as well as various applications. It presents modern mathematical modeling approaches to the qualitative and numerical analysis of s
This book is the first to introduce a mesoscale polymer simulation system called OCTA. With its name derived from "Open Computational Tool for Advanced material technology," OCTA is a unique
