الصفحة 14
الصفحة 14
Model Order Reduction : Theory, Research Aspects and Applications
The goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear algebra, it covers both general and more specialized model order reduction techniques for linear and nonlinear systems, and it discusses the use of model order reduction techniques in a variety of practical applications. The book contains many recent advances in model order reduction, and presents several open problems for which techniques are still in development. It will serve as a source of inspiration for its readers, who will discover that model order reduction is a very exciting and lively field.
Model Driven Engineering Languages and Systems ; Vol. 3713 : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
Model Driven Architecture and Ontology Development
Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the Semantic Web. Part I of their book describes existing technologies, tools, and standards like XML, RDF, OWL, MDA, and UML. Part II presents the first detailed description of OMG’s new ODM (Ontology Definition Metamodel) initiative, a specification which is expected to be in the form of an OMG language like UML. Finally, Part III is dedicated to applications and practical aspects of developing ontologies using MDA-based languages.
Model Driven Architecture ; European MDA Workshops : Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the specification of system functionality from the implementation on a specific platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further efforts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques. This volume contains the selected papers of two workshops on “Model-Driven Architecture – Foundations and Applications” (MDAFA): MDAFA 2003 held at the University of Twente, Twente, The Netherlands, June 26–27, 2003, and MDAFA 2004 held at Linko ¨ping University, Link¨ oping, Sweden, June 10–11, 2004. The goal of the workshops was to understand the foundations of MDA, to share experience in applying MDA techniques and tools, and to outline future research directions. The workshops organizers encouraged authors of accepted papers to re-submit their papers to a post-workshop reviewing process; 15 of these papers were accepted to appear in this volume on MDA.
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Model checking software ; 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Mobility, data mining and privacy : Geographic knowledge discovery
This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological issues, open problems, and roadmap. The editors manage a research project called GeoPKDD, Geographic Privacy-Aware Knowledge Discovery and Delivery, funded by the EU Commission and involving 40 researchers from 7 countries, and this book tightly integrates and relates their findings in 13 chapters covering all related subjects, including the concepts of movement data and knowledge discovery from movement data; privacy-aware geographic knowledge discovery; wireless network and next-generation mobile technologies; trajectory data models, systems and warehouses; privacy and security aspects of technologies and related regulations; querying, mining and reasoning on spatiotemporal data; and visual analytics methods for movement data.
Mobile Phone Programming and its Application to Wireless Networking
This book provides a solid overview of mobile phone programming targeting both academia and industry. Mobile Phone Programming covers all commercial realizations of Symbian, Windows Mobile and Linux platforms. Each programming language (JAVA, Python, C/C++) and a set of development environments are introduced “step by step” making developers familiar with current limitations, pitfalls, and challenges. Each chapter contains examples and source code to rapidly make developers familiar with the most important concepts. Examples cover peer to peer networks, cooperative networking, cross layer protocol design, key challenges such as power consumption, and sensor networks for which a full hardware and software implementation is provided. Whether you are an experienced developer or an advanced student Mobile Phone Programming will be your key reference for successfully entering the world of software development for mobile devices.
Mobile 3D Graphics
Historically, not enough was understood about how to deliver a high quality playing experience on handheld, small screen, small memory devices, plus there has been considerable confusion about the hardware’s abilities and restrictions. By addressing these issues this book provides: • A comprehensive explanation of 3D mobile graphics programming • Includes an extensive range of code samples in both C and Java • Combines 3D and 2D mobile graphics methods • Covers recent advances in mobile computer graphics techniques and applications. The book teaches fundamental 3D mobile graphics programming with standard APIs, and covers the basic and advanced application programme interfaces behind the major wireless and mobile devices supporting 3D graphics applications. Advanced undergraduates and postgraduates, as well as mobile application and games developers, will find this an excellent reference source.
mm-Wave Silicon Technology : 60 GHz and Beyond
mm-Wave Silicon Technology: 60GHz and Beyond covers silicon-based millimeter wave circuits and systems. It provides in depth coverage of advanced silicon processing technologies including CMOS and SiGe as well as modeling of active and passive devices on silicon at millimeter waves. It also provides coverage of mm-wave circuit building blocks such as low noise amplifiers, mixers, voltage controlled oscillators, frequency dividers, and power amplifiers that are suitable for integration in silicon. The book contains information on highly integrated mm-wave transceiver architectures with several silicon-based case studies. The book also includes advanced topics such as antenna arrays and beam-forming on silicon.
Mixture Formation in Internal Combustion Engines
This book covers the various approaches to modelling and optimising the spray and mixture formation processes in modern internal combustion engines. Due to their complexity and importance in predicting the temporal and spatial distribution of liquid and gaseous fuel inside the cylinder, special emphasis is put on the detailed description of multi-dimensional CFD-models. The book describes and discusses the most widely used mathematical models for in-cylinder spray and mixture formation processes.
Mixed-Signal Layout Generation Concepts
Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal design flows. The fundamental issues in creating a layout are placement and routing.
Misch's Contemporary Implant Dentistry
Uses a multidisciplinary approach to cover the industry’s most current processes and surgical procedures. The new edition of this text continues to provide comprehensive, state-of-the-art information on the science and discipline of contemporary implant dentistry. Covering the breadth of dental implant surgery, it includes full-color, in-depth coverage of both simple and complicated clinical cases, with practical guidance on how to apply the latest research, diagnostic tools, treatment planning, implant designs, and materials.
Mining Equipment Reliability, Maintainability, and Safety
From its origins in the malachite mines of ancient Egypt, mining has grown to become a global industry which employs many hundreds of thousands of people. Today, the mining industry makes use of various types of complex and sophisticated equipment, for which reliability, maintainability and safety has become an important issue. Mining Equipment Reliability, Maintainability, and Safety is the first book to cover these three topics in a single volume.
Mining Complex Data ; ECML/PKDD 2007 Third International Workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers
This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007.The 20 revised full papers presented were carefully reviewed and selected; they present original results on knowledge discovery from complex data. In contrast to the typical tabular data, complex data can consist of heterogenous data types, can come from different sources, or live in high dimensional spaces. All these specificities call for new data mining strategies.
Minimally Invasive Spine Surgery : A Surgical Manual
The second, completely revised and expanded edition of the successful surgical manual on minimally invasive spine surgery includes 51 chapters (including more than 20 new chapters) covering all current minimally invasive techniques in spine surgery. A complete survey of all microsurgical and endoscopic techniques with a special focus on semi-invasive injection techniques for diagnostic and therapeutic purposes in low back pain is given. The clear chapter structure with terminology, history, surgical principles, advantages/disadvantages, indications, access principles, complications, and results facilitates navigation through the manual. Topics include the principles of microsurgical and endoscopic treatment, spinal navigation and computer-assisted surgery, minimally invasive reconstruction, fusion, dynamic stabilization in fractures, degenerative disc disease, spinal stenosis, low back pain and deformities
Minimally Invasive Neurosurgery and Neurotraumatology
Neurotraumatology patients present an enormous challenge to society. Neuros- gical management of brain and spinal cord injury has been a frustrating area, as s- gical methods, especially in moderate and severe injuries, have been limited to control of brain and spinal compression, control of intracranial pressure with its expected effect on cerebral blood flow, and structural repair of the supporting structures (skull, spine, brain and spinal cord coverings). Achieving the best outcome for the neu- traumatology patient, however, requires much more than that.
Minimally invasive glaucoma surgery
This book covers all aspects of minimally invasive glaucoma surgery (MIGS) and provides detailed information on each MIGS device, including its mechanism of action; patient selection; implantation techniques; post-operative management; and a review of the existing literature. Step-by-step descriptions are provided for the surgical technique used in implanting each MIGS device, accompanied by clear photographs of each surgical stage. Other areas covered include intra-operative gonioscopy (with tips on optimising the view of the anterior chamber angle) and the management of the intra-operative and post-operative complications. Essential information on the anatomy and physiology of the different aqueous outflow pathways is also included.
Minimally Invasive Bariatric Surgery
This book covers the full spectrum of laparoscopic weight loss surgery and the pathophysiology of obesity. The chapter authors, all currently operating experts in the field, cover the essentials of establishing a bariatric surgery program, including equipment needs, guidelines for training, and patient selection. The operative chapters discuss in full detail the surgical techniques and outcomes, including laparoscopic VGB, laparoscopic adjustable gastric banding, laparoscopic Roux-en-Y, and laparoscopic malabsorption procedures. The text also tackles post-operative issues, such as complications, reoperation, plastic surgery after weight loss, nutritional issues, and pregnancy following obesity surgery.
Mineral Trioxide Aggregate in Dentistry : From Preparation to Application
Concisely presents information on diverse aspects of MTA and its use with a view to making it more widely available to clinicians and researchers. The topics covered include the development of MTA and its introduction into clinical dentistry, its chemical composition and setting characteristics, manipulation and placement, material properties, reactivity and the influence of environmental factors.
