Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
اقرأ المزيد
Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
اقرأ المزيد
Mathematical Software - ICMS 2006
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Mathematics for Computer Graphics
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
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, ...
اقرأ المزيد
Mathematics of Surfaces XI
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
اقرأ المزيد
Mathematics of Surfaces XII
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held ...
اقرأ المزيد
Matrix-Based Multigrid : Theory and Applications
Multigrid methods are often used for solving partial differential equations. This book introduces and analyzes the multigrid ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Mechanisms, Symbols, and Models Underlying Cognition
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Medical Biometrics
Medical biometrics primarily refers to the usage of beh- ioral and physiological characteristics of humans for medical diagnosis ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape ...
اقرأ المزيد
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. ...
اقرأ المزيد
