Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lee mas
Computers and Games : 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...
Lee masComputing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
Lee mas
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
Lee mas
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...
Lee mas
Continuous Time Processes for Finance : Switching, Self-exciting, Fractional and other Recent Dynamics / Donatien Hainaut
This book explores recent topics in quantitative finance with an emphasis on applications and calibration to time-series. ...
Lee mas
Control Theory in Physics and other Fields of Science
This book covers systematically and in a simple language the mathematical and physical foundations of controlling deterministic ...
Lee mas
Data Mining: Foundations and Practice
This book contains valuable studies in data mining from both foundational and practical perspectives. The foundational studies ...
Lee mas
Dealing with Uncertainties
Dealing with Uncertainties proposes and explains a new approach for the analysis of uncertainties. Firstly, it is shown that ...
Lee mas
Decision Making under Deep Uncertainty
This book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face ...
Lee mas
Design Added Value : How Design Increases Value for Architects and Engineers / Ömer Akın
Enables architects, engineers, contractors and owner-clients of buildings to benefit from extraordinary design and construction ...
Lee mas
Design of Observational Studies
This book introduction to statistical inference in observational studies and a detailed discussion of the principles that ...
Lee mas
Differential Equations Driven by Rough Paths
The goal of these notes is to provide a straightforward and self supporting but minimalist account of the key results forming ...
Lee masDistributed Artificial Intelligence : Second International Conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, ...
Lee masEarthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident
This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase ...
Lee mas
Eigenvalues, Inequalities, and Ergodic Theory
A problem of broad interest – the estimation of the spectral gap for matrices or differential operators (Markov chains ...
Lee mas
Elaborazione dei dati sperimentali
L'analisi statistica dei dati sperimentali, la loro elaborazione ed una corretta stima degli errori sono conoscenze necessarie ...
Lee mas
Elementi di Probabilità e Statistica
The authors' approach to Probability and Statistics is not based on measurement theory, but introduces the concept of probability ...
Lee mas
