Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Continue reading
Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
Continue reading
Mathematical Software - ICMS 2006
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
Continue reading
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
Continue reading
Mathematics and Computation, a Contemporary View : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Continue reading
Mathematics for Computer Graphics
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...
Continue reading
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Continue reading
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Continue reading
Mathematics of Surfaces XI
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Continue reading
Mathematics of Surfaces XII
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held ...
Continue reading
Matrix-Based Multigrid : Theory and Applications
Multigrid methods are often used for solving partial differential equations. This book introduces and analyzes the multigrid ...
Continue reading
Maturing Usability : Quality in Software, Interaction and Value
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...
Continue reading
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
Continue reading
Mechanisms, Symbols, and Models Underlying Cognition
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...
Continue reading
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Continue reading
Medical Biometrics
Medical biometrics primarily refers to the usage of beh- ioral and physiological characteristics of humans for medical diagnosis ...
Continue reading
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Continue reading
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008 : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II
The program committee carefully selected 258 revised papers from numerous submissions for presentation in two volumes, based ...
Continue reading
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape ...
Continue reading
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. ...
Continue reading
