modeling  (11.072 Angebote unter 28.456.286 Artikeln)

Invited Talks.- A Structure for Dependability Arguments.- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.- ASM Papers.- Synchronous Message Passing and Semaphores: An Equivalenc...

Debora Mahlke received her Ph.D. in Mathematics from the Technische Universität Darmstadt where she currently works as a postdoctoral research associate.

This volume collects ten surveys on the modeling, simulation, and applications of active particles using methods ranging from mathematical kinetic theory to nonequilibrium statistical mechanics.  T...

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The ...

The term picture archiving and communications system (PACS) was initiated during the first International conference and workshop on the topic sponsored by The International Society for Optical Engi...

This volume compiles eight recent surveys that present state-of-the-art results in the field of active matter at different scales, modeled by agent-based, kinetic, and hydrodynamic descriptions. Fo...

Full Papers.- Verifying the Incorrectness of Programs and Automata.- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains.- Synthesizing Plans for Multiple Domains.- Abs...

Using Excel for simulation

This edited volume collects six surveys that present state-of-the-art results on modeling, qualitative analysis, and simulation of active matter, focusing on specific applications in the natural sc...

Invited Talks (Abstracts).- State Abstraction in Real-Time Heuristic Search.- Abstraction and Reformulation in the Generation of Constraint Models.- A Framework for Integrating Optimization and Con...

The aim of this book is to provide the target audience, specifically students of Medicine, Biology, Systems Biology and Bioinformatics, as well as experienced researchers in research fields relevan...

This book gives a comprehensive and in-depth introduction to the development of active power decoupling technology in single-phase current-source converters. It covers cutting-edge topics such as v...

Accelerated Path to Cures

1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.2 Synopsis of the Book.- 2 ASM Design and Analysis Method.- 2.1 Principles of Hierarchical System Design.- 2.2 Working Definiti...

This book constitutes the proceedings of the 13th International Conference on Transport Systems Telematics, TST 2013, held in Katowice-Ustron, Poland, in October 2013. The 58 papers included in thi...