Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThe general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...
Lire la suiteThis book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical ...
Lire la suiteOffers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...
Lire la suiteThe first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Lire la suiteThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lire la suiteRecent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
Lire la suiteThis volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for ...
Lire la suiteThis book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suiteAdvanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lire la suiteAdaptive spatial filters are powerful algorithms for electromagnetic brain imaging that enable high-fidelity reconstruction ...
Lire la suiteSoft matter science is nowadays an acronym for an increasingly important class of materials, which ranges from polymers, ...
Lire la suiteThis series presents critical reviews of the present and future trends in polymer and biopolymer science including chemistry, ...
Lire la suiteThis book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge ...
Lire la suiteThe book presents new optimization algorithms designed to improve the efficiency of tool paths for five-axis NC machining ...
Lire la suiteThis readable book makes available an intuitive yet rigorous presentation of advanced nonparametric and robust methods. This ...
Lire la suiteThe papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held ...
Lire la suiteThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
Lire la suite