Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee mas
Media Theory : Interdisciplinary Applied Mathematics
The focus of this book is a mathematical structure modeling a physical or biological system that can be in any of a number ...
Lee mas
Medial Representations : Mathematics, Algorithms and Applications
The last half century has seen the development of many biological or physical theories that have explicitly or implicitly ...
Lee mas
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 ...
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 masMedical centers management system / Samer Saker ; Jehad Jalbout ; Sidra Al-Zarkan ; Adel Khattar ; Maher Al-Bunni
The medical clinics management system (MCMS) is a system that manages a group of clinics distributed within different governorates ...
Lee mas
Medical emergencies in dental practice / Orrett E. Ogle
Practitioners and their entire dental staff must be ready to confront medical emergencies that may arise during treatment ...
Lee mas
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Lee mas
Membrane Computing (vol. # 4361)
The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took ...
Lee mas
Meshfree Methods for Partial Differential Equations III
Meshfree methods for the numerical solution of partial differential equations are becoming more and more mainstream in many ...
Lee mas
Meshless Methods in Solid Mechanics
The main objective of this book is to provide a textbook for graduate courses on the computational analysis of continuum ...
Lee masMessages security application / Bilal Al-Hamwia ; Kinan Al-Awa ; Rama Al-Hamwi ; Shiraz Naji ; Abd Al-Hadi Nofal
The rapid development of communication technology, is bringing many technological conveniences with it and simplifying our ...
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
Metaheuristic Optimization via Memory and Evolution
Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization ...
Lee mas
Metaheuristic Procedures for Training Neural Networks
Metaheuristic Procedures For Training Neural Networks provides successful implementations of metaheuristic methods for neural ...
Lee mas
Metaheuristics
The aim of METAHEURISTICS: Progress in Complex Systems Optimization is to provide several different kinds of information: ...
Lee mas
Metaheuristics for Hard Optimization
Metaheuristics for Hard Optimization comprises of three parts. The first part is devoted to the detailed presentation of ...
Lee mas
Metaheuristics for Hard Optimization
Metaheuristics for Hard Optimization comprises of three parts. The first part is devoted to the detailed presentation of ...
Lee mas
Metaheuristics for Scheduling in Distributed Computing Environments
This volume presents meta-heuristics approaches for Grid scheduling problems. Due to the complex nature of the problem, meta-heuristics ...
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
