Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Weiterlesen
Mechatronics and Machine Vision in Practice
From grading and preparing harvested vegetables to the tactile probing of a patient’s innermost recesses, mechatronics ...
Weiterlesen
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005
Robotics, Image-Guided Surgery and Interventions -- Image Registration II -- Medical Image Computing -- Atlases -- Shape ...
Weiterlesen
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. ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007
The 10th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI2007, washeldattheBrisbaneConventionandExhibition ...
Weiterlesen
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, ...
Weiterlesen
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, ...
Weiterlesen
Medical Technologies in Neurosurgery
The tremendous progress evolving in medical technologies in recent years increasingly influences our daily neurological practice. ...
Weiterlesen
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 ...
Weiterlesen
Memories: Molecules and Circuits
This volume surveys the recent advances and provides an integrative view of molecular, cellular, and systems level mechanisms ...
Weiterlesen
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. ...
Weiterlesen
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 ...
Weiterlesen
Methods and Applications of Singular Perturbations
Perturbation theory, one of the most intriguing and essential topics in mathematics, and its applications to the natural ...
Weiterlesen
Methods of Nonlinear Analysis
In this book, fundamental methods of nonlinear analysis are introduced, discussed and illustrated in straightforward examples. ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Microbial Linear Plasmids
Microbial Linear Plasmids constitutes the first attempt to comprehensively assemble current knowledge of different types ...
Weiterlesen
Microbial Root Endophytes
Plant roots may not only be colonized by mycorrhizal fungi, but also by a myriad of bacterial and fungal root endophytes ...
Weiterlesen
