الصفحة 13
الصفحة 13
Middleware 2006 ; ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers presented were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on performance, composition, management, publish/subscribe technology, databases, mobile and ubiquitous computing, security, and data mining techniques.
Microsimulation Population Projections with SAS : A Reference Guide
This book for a researcher needs to perform microsimulation for population projections, building its own model with a common statistical software such as SAS might a good option, because this software is widely used among scholars and is taught in most social sciences departments. We define what is microsimulation: a modelling based on individual-level data rather than aggregated level data, in which transitions between the states are determined stochastically with a random experiment. We finally provide some examples of microsimulation models used by social scientists.
Micromechanics of Heterogeneous Materials
The micromechanics of random structure heterogeneous materials is a burgeoning multidisciplinary research area which overlaps the scientific branches of materials science, mechanical engineering, applied mathematics, technical physics, geophysics, and biology. Micromechanics of Heterogeneous Materials features rigorous theoretical methods of applied mathematics and statistical physics in materials science of microheterogeneous media. The prediction of the behavior of heterogeneous materials by the use of properties of constituents and their microstructures is a central issue of micromechanics. This book is the first in micromechanics to provide a useful and effective demonstration of the systematic and fundamental research of the microstructure of the wide class of heterogeneous materials of natural and synthetic nature.
Micromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals with micromechanical analysis of interfaces and interface layers and presents several modelling tools, ranging from the rigorous method of asymptotic expansions to practical finite element simulations, suitable for this class of problems. Two application areas are discussed. Boundary layers associated with contact of rough bodies are modelled by applying a scale transition approach in which a macroscopic interface of zero thickness is seen at the micro-scale as a layer with some finite thickness. Secondly, evolution of laminated microstructures accompanying stress-induced martensitic transformations in shape memory alloys (SMA) is analyzed as an illustration of the case when the local interfacial phenomena – here the propagation of phase transformation fronts – govern the macroscopic behaviour of a heterogeneous material.
Micromechanics and Nanosimulation of Metals and Composites : Advanced Methods and Theoretical Concepts
This book provides insight into advanced numerical and experimental investigations of the microstructural aspects of strength and damage of metals and metal-based composites. In particular, atomistic and dislocation models, micromechanical simulations and homogenization techniques, as well as experimental observations in combination with computer simulations, are described. These methods are successfully applied to analyze the mechanical behavior of metals and metal-matrix composites.
Microflows and Nanoflows : Fundamentals and Simulation
This book provides a comprehensive summary of these changes describing fluid flow in micro and nano configurations. Where as in their previous book entitled Microflows: Fundamentals and Simulation. In this new book they discuss length scales from angstroms to microns (and beyond). While still maintaining the emphasis on fundamental concepts with a mix of semianalytical, experimental, and numerical results, this book outlines their relevance to modeling and analyzing functional devices.
Microcirculation in Cardiovascular Diseases
This book offers an extensive review of the most recent data on the pathophysiological role of structural and functional alterations in the microcirculation, particularly focusing on hypertension and diabetes. It covers several relevant and innovative aspects, including the possible mechanisms involved in the development of microvascular remodeling and rarefaction, the technical approaches available for the detection of microvascular alterations, including non-invasive evaluations, the prognostic role of changes in small resistance artery structure, the possibility of preventing or regressing such alterations with appropriate treatment, and the potential clinical advantages of such intervention.
Micro-Assembly Technologies and Applications ; IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS’2008) Chamonix, France February 10–13, 2008
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
MICAI 2005 : Advances in Artificial Intelligence ; 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held Mexico, in November 2005. This book is organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, and others.
Metric Driven Design Verification : An Engineer's and Executive's Guide to First Pass Success
A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically trackable metrics that will be used to measure progress. 2. Execution: Implementing verification environments and then extensively exercising the device under verification utilizing comprehensive, massively parallel regression strategies. 3. Measurement: Automatically capturing the metrics defined in planning to provide objective data with which to manage the verification project. Custom tailoring those metrics through an automated reporting framework to provide all stakeholders a real-time meaningful view of project status. 4. Response: Utilizing the returned metrics to effectively adapt to changing project conditions. Making use of automated response mechanisms to automate engineering processed and management response to streamline project management processes
Metainformatics ; International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
Constitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book reviews 17 papers that are devoted to finding useful abstractions, analytical frameworks, and systems that improve the understanding of the underlying structure of disciplines and families of systems within computer science.
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 in industrial and manufacturing applications is the novelty of this edited volume. Important features include the detailed overview of the various novel metaheuristic scheduling approaches, excellent coverage of timely, advanced scheduling topics, state-of-the-art theoretical research and application developments and chapters authored by pioneers in the field.
Metaheuristics for Hard Optimization : Methods and Case Studies
Metaheuristics for Hard Optimization comprises of three parts. The first part is devoted to the detailed presentation of the four most widely known metaheuristics: the simulated annealing method, tabu search, the evolutionary algorithms, and ant colony algorithms. Each one of these metaheuristics is actually a family of methods, of which the essential elements are discussed. In the second part, the book presents some other less widespread metaheuristics, then, extensions of metaheuristics and some ways of research are described . The problem of the choice of a metaheuristic is posed and solution methods are discussed. The last part concentrates on three case studies from telecommunications, air traffic control, and vehicle routing.
Metagraphs and Their Applications
The graph is a critical and useful concept in designing many information processing systems. Systems such as transaction processing systems, decision support systems, and workflow systems are all helped immensely by a graphical structure. Simple graphs and digraphs allow for the construction of a variety of system design tools that provide a convenient and appealing format for illustrating information infrastructures, while allowing any subsequent analyses to be performed by the user. However, the metagraph, a new graphical structure that is developed in this book, goes beyond the representational and provides Information Systems with a robust, analytical modeling graphic tool.
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 and solid mechanics based on meshless (also known as mesh free) methods. It can also be used as a reference book for engineers and scientists who are exploring the physical world through computer simulations. Emphasis of this book is given to the understanding of the physical and mathematical characteristics of the procedures of computational solid mechanics. It naturally brings the essence, advantages and challenging problems of meshless methods into the picture. The subjects in this book cover the fundamentals of continuum mechanics, the integral formulation methods of continuum problems, the basic concepts of finite element methods, and the methodologies, formulations, procedures, and applications of various meshless methods. It also provides general and detailed procedures of meshless analysis on elastostatics, elastodynamics, non-local continuum mechanics and plasticity with a large number of numerical examples. Some basic and important mathematical methods are included in the Appendixes. For the readers who want to gain knowledge through hands-on experience, the meshless programs for elastostatics and elastodynamics are also introduced in the book and included in the disc.
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 areas of applications. Their flexiblity and wide applicability are attracting engineers, scientists, and mathematicians to this very dynamic research area. This volume represents the state of the art in meshfree methods. It consists of articles which address the different meshfree techniques, their mathematical properties and their application in applied mathematics, physics and engineering.
Meshfree Methods for Partial Differential Equations II
A Particle Strategy for Solving the Fokker-Planck Equation Modelling the Fiber Orientation Distribution in Steady Recirculating Flows Involving Short Fiber Suspensions.- Extended Meshfree Method for Elastic and Inelastic Media.- Meshfree Petrov-Galerkin Methods for the Incompressible Navier-Stokes Equations.- The ?-shape Based Natural Element Method in Solid and Fluid Mechanics.- A Particle-Partition of Unity Method Part VI: A p-robust Multilevel Solver.- Enriched Reproducing Kernel Approximation: Reproducing Functions with Discontinuous Derivatives.- Reproducing Kernel Element Interpolation: Globally Conforming I m/C n/P k Hierarchies.- Multi-scale Analysis Using Two Influence Radii in EFGM.- Solution of a Dynamic Main Crack Interaction with a System of Micro-Cracks by the Element Free Galerkin Method.- Finite Cover Method for Physically and Geometrically Nonlinear Problems.- A Numerical Scheme for Solving Incompressible and Low Mach Number Flows by the Finite Pointset Method.- SPH Renormalized Hybrid Methods for Conservation Laws: Applications to Free Surface Flows.- Discontinuous Radial Basis Function Approximations for Meshfree Methods.- Treating Moving Interfaces in Thermal Models with the C-NEM.- Bridging Scale Particle and Finite Element Methods.
MEMS/NEMS : (1) Handbook Techniques and Applications Design Methods, (2) Fabrication Techniques, (3) Manufacturing Methods, (4) Sensors and Actuators, (5) Medical Applications and MOEMS
Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on a common silicon substrate. While the electronics are fabricated using integrated circuit (IC) process sequences (e.g., CMOS, Bipolar, or BICMOS processes),the micromechanical components are fabricated using compatible micromachining processes that selectively etch away parts of the silicon wafer or add new structural layers to form the mechanical and electromechanical devices. MEMS promises to revolutionize nearly every product category by bringing together silicon-based microelectronics with micromachining technology, thereby, making possible the realization of complete systems-on-a-chip.
Memory B-cells : Methods and protocols
Details in methods to assess memory B cell formation and function in mice and humans. Chapters guide readers through tetramer-based methods to assess antigen-specific memory B cell dynamics in humans and mice in different vaccine, next-generation deep-sequencing, single-cell techniques to assess epigenomic, VDJ landscapes, lymph node aspirates from humans, advanced imaging, murine models to determine memory B cells formation, and bioinformatic techniques and in silico modelling of memory b cell formation. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls.
Membrane Computing; 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the - ological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations.
