The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form that obscures both the mathematical concepts that are central to the various components of the theory and the relevance of the theory to the typical student. This regrettable situation is due largely...
Polynomial optimization, as its name suggests, is used to optimize a generic
multivariate polynomial function, subject to some suitable polynomial equality
and/or inequality constraints. Such problem formulation dates back to the nineteenth
century when the relationship between nonnegative polynomials and sum of squares
(SOS) was...
Among the traditional purposes of such an introductory course is the training of a student in the conventions of pure mathematics: acquiring a feeling for what is considered a proof, and supplying literate written arguments to support mathematical propositions. To this extent, more than one proof is included for a theorem - where this is...
This is the fourth edition of the standard introductory text and complete reference for scientists in all disciplines, as well as engineers. This fully revised version includes important updates on articles and books as well as information on a crucial new topic: how to create transparencies and computer projections, both for classrooms and...
Advances in hardware technology have lead to an ability to collect data with the use of a variety of sensor technologies. In particular sensor notes have become cheaper and more efficient, and have even been integrated into day-to-day devices of use, such as mobile phones. This has lead to a much larger scale of applicability and...
This monograph presents new model-based design methods for trajectory planning, feedback stabilization, state estimation, and tracking control of distributed-parameter systems governed by partial differential equations (PDEs). Flatness and backstepping techniques and their generalization to PDEs with higher-dimensional spatial domain lie at...
The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. However, in this important area there often exists a noticeable gap between mathematicians creating...
These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and...
This Bayesian modeling book provides a self-contained entry to computational Bayesian statistics. Focusing on the most standard statistical models and backed up by real datasets and an all-inclusive R (CRAN) package called bayess, the book provides an operational methodology for conducting Bayesian inference, rather than focusing on its...
This book constitutes the refereed proceedings of the Third International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2013, held in Berlin, in September 2013. The 7 full papers were carefully reviewed and selected from 15 submissions and are complemented with an invited talk. The papers discuss recent advances in the...
“Telescopes and Techniques” has proved itself in its first edition, having become probably one of the most widely used astronomy texts, both for numerate amateur astronomers and for astronomy and astrophysics undergraduates. The first and second editions of the book were widely used as set texts for introductory practical...
