Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Mechatronics and Machine Vision in Practice
From grading and preparing harvested vegetables to the tactile probing of a patient’s innermost recesses, mechatronics ...
اقرأ المزيد
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. ...
اقرأ المزيد
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 (vol. # 4191)
T MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of ...
اقرأ المزيد
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007
This title is part of a two-volume set that constitute the refereed proceedings of the 10th International Conference on Medical ...
اقرأ المزيد
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007
The 10th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI2007, washeldattheBrisbaneConventionandExhibition ...
اقرأ المزيد
Medical Imaging and Augmented Reality : 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, ...
اقرأ المزيد
Medical Microbiology and Immunology for Dentistry / Nejat Düzgüneş
This clinically oriented textbook explores medical microbiology and immunology as they relate to the practice of dentistry, ...
اقرأ المزيد
Medical Technologies in Neurosurgery
The tremendous progress evolving in medical technologies in recent years increasingly influences our daily neurological practice. ...
اقرأ المزيد
Medicinal Plants and Antimicrobial Therapies / inay Kumar, Varsha Shriram, Abhijit Dey
Serves as an excellent comprehensive material covering the current understandings and updates on antimicrobial resistance ...
اقرأ المزيد
Memories: Molecules and Circuits
This volume surveys the recent advances and provides an integrative view of molecular, cellular, and systems level mechanisms ...
اقرأ المزيد
Metaheuristic Optimization Algorithms in Civil Engineering: New Applications / Ali Kaveh , Armin Dadras Eslamlou
Discusses the application of metaheuristic algorithms in a number of important optimization problems in civil engineering. ...
اقرأ المزيد
Metaheuristics for Scheduling in Industrial and Manufacturing Applications
This book deals with the application of various novel metaheuristics in scheduling. Addressing the various issues of scheduling ...
اقرأ المزيد
Methods and Applications of Singular Perturbations
Perturbation theory, one of the most intriguing and essential topics in mathematics, and its applications to the natural ...
اقرأ المزيد
Methods of Nonlinear Analysis
In this book, fundamental methods of nonlinear analysis are introduced, discussed and illustrated in straightforward examples. ...
اقرأ المزيد
Metric Structures for Riemannian and Non-Riemannian Spaces
The first stages of the new developments were presented in Gromov's course in Paris, which turned into the famous "Green ...
اقرأ المزيد
Microbial Activity in the Rhizosphere
The rhizosphere is a very complex environment in which the effects of the plant on soil microorganisms and the effects of ...
اقرأ المزيد
Microbial Linear Plasmids
Microbial Linear Plasmids constitutes the first attempt to comprehensively assemble current knowledge of different types ...
اقرأ المزيد
Microbial Root Endophytes
Plant roots may not only be colonized by mycorrhizal fungi, but also by a myriad of bacterial and fungal root endophytes ...
اقرأ المزيد
