Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Data Mining: Foundations and Practice
This book contains valuable studies in data mining from both foundational and practical perspectives. The foundational studies ...
اقرأ المزيد
Dealing with Uncertainties
Dealing with Uncertainties proposes and explains a new approach for the analysis of uncertainties. Firstly, it is shown that ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Design of Observational Studies
This book introduction to statistical inference in observational studies and a detailed discussion of the principles that ...
اقرأ المزيد
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 ...
اقرأ المزيدDistributed 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, ...
اقرأ المزيدEarthquakes, 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 ...
اقرأ المزيد
Eigenvalues, Inequalities, and Ergodic Theory
A problem of broad interest – the estimation of the spectral gap for matrices or differential operators (Markov chains ...
اقرأ المزيد
Elaborazione dei dati sperimentali
L'analisi statistica dei dati sperimentali, la loro elaborazione ed una corretta stima degli errori sono conoscenze necessarie ...
اقرأ المزيد
Elementi di Probabilità e Statistica
The authors' approach to Probability and Statistics is not based on measurement theory, but introduces the concept of probability ...
اقرأ المزيد
