Gilles Dowek 
Computation, Proof, Machine [EPUB ebook] 
Mathematics Enters a New Age

In 1946 Paul Halmos studied unbiased estimators of minimum variance, and planted the seed from which the subject matter of the present monograph sprang. The author has undertaken to provide experts a …

Grid-based Nonlinear Estimation and its Applications presents new Bayesian nonlinear estimation techniques developed in the last two decades. Grid-based estimation techniques are based on efficient a …

This book offers a fundamental and comprehensive overview of nanomedicine from a systems engineering perspective, making it the first book in the field of quantitative nanomedicine based on systems t …

Completely updated, this graduate text describes the current state of boiling heat transfer and two-phase flow, in terms through which students can attain a consistent understanding. Prediction of re …

Problems in network optimization arise in all areas of technology and industrial management. The topic of network flows has applications in diverse fields such as chemistry, engineering, management s …

The literature on the spectral analysis of second order elliptic differential operators contains a great deal of information on the spectral functions for explicitly known spectra. The same is not tr …

Of the two primary approaches to the classic source separation problem, only one does not impose potentially unreasonable model and likelihood constraints: the Bayesian statistical approach. Bayesian …

Sufficient dimension reduction is a rapidly developing research field that has wide applications in regression diagnostics, data visualization, machine learning, genomics, image processing, pattern r …

This is one of two volumes that sets forth invited papers presented at the International Indian Statistical Association Conference. This volume emphasizes advancements in methodology and applications …

Lattice Point Identities and Shannon-Type Sampling demonstrates that significant roots of many recent facets of Shannon“s sampling theorem for multivariate signals rest on basic number-theoretic res …