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