This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...
Lire la suite
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...
Lire la suite
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suite
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Lire la suite
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held ...
Lire la suite
Multigrid methods are often used for solving partial differential equations. This book introduces and analyzes the multigrid ...
Lire la suite
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...
Lire la suite
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
Lire la suite
Maxillofacial imaging has evolved dramatically over the past two decades with development of new cross-sectional imaging ...
Lire la suite
Written by the leading experts with both profound knowledge and rich practical experience in advanced mechanics and microelectronics ...
Lire la suite
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...
Lire la suite
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lire la suite
This book explores the latest data dealing with mechanosensitive channels research results. It was compiled by a group of ...
Lire la suite
The last half century has seen the development of many biological or physical theories that have explicitly or implicitly ...
Lire la suite
Medical biometrics primarily refers to the usage of beh- ioral and physiological characteristics of humans for medical diagnosis ...
Lire la suite
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Lire la suite
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Lire la suite
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape ...
Lire la suite
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. ...
Lire la suite