This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of ...

Multidimensional or spatio-temporal signals are important in image processing and television. This book presents the mathematical methods for processing multidimensional ...

This book contains a systematic and self-contained treatment of Feynman-Kac path measures, their genealogical and interacting particle interpretations, and their applications ...

This book presents a Bayesian framework for operational risk that can be used by banks to resolve quantitative challenges with implementation of Basel II advanced measurement ...

This book draws together contributions from authorities in the field and fills the urgent need to communicate the state of the art to a general statistical audience. Emphasis ...

Ce livre est une introduction aux techniques de simulation. Cette mA(c)thode numA(c)rique permet de reconstituer fictivement la (TM)A(c)volution da (TM)un phA(c)nomA]ne et ...