الصفحة 8
الصفحة 8
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
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 Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
Model Driven Architecture - Foundations and Applications ; 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development.
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 Based Learning and Instruction in Science
This book describes new, model based teaching methods for science instruction. It presents research that describes these new methods in a very diverse group of settings: middle school biology, high school physics, and college chemistry classrooms. Mental models in these areas such as understanding the structure of the lungs or cells, molecular structures and reaction mechanisms in chemistry, or causes of current flow in electricity are notoriously difficult for many students to learn. Yet these lie at the core of conceptual understanding in these areas. The studies focus on a variety of teaching strategies such as discrepant questioning, analogies, animations, model competition, and hands on activities.
Model Based Inference in the Life Sciences : A Primer on Evidence
The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of data in the empirical sciences. This text focuses on a science philosophy based on "multiple working hypotheses" and statistical models to represent them. The fundamental science question relates to the empirical evidence for hypotheses in this set—a formal strength of evidence. Kullback-Leibler information is the information lost when a model is used to approximate full reality. Hirotugu Akaike found a link between K-L information (a cornerstone of information theory) and the maximized log-likelihood (a cornerstone of mathematical statistics). This combination has become the basis for a new paradigm in model based inference. The text advocates formal inference from all the hypotheses/models in the a priori set—multimodel inference.
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
mODa 8 - Advances in Model-Oriented Design and Analysis ; Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4–8, 2007
The volume contains the proceedings of the 8th Workshop on Model-Oriented Design and Analysis. This book offers leading and pioneering work on optimal experimental designs, both from a mathematical/statistical point of view and with regard to real applications. Scientists from all over the world, from Eastern and Western Europe, the USA, Latin-America, Asia and Africa, have contributed to this volume. Primary topics are designs for nonlinear models and applications to experimental medicine.
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 Service Innovation and Business Models
Modern economies depend on innovation in services for their future growth. Service innovation increasingly depends on information technology and digitization of information processes. Designing new services is a complex matter, since collaboration with other companies and organizations is necessary. Service innovation is directly related to business models that support these services, i.e. services can only be successful in the long run with a viable business model that creates value for its customers and providers. This book presents a theoretically grounded yet practical approach to designing viable business models for electronic services, including mobile ones, i.e. the STOF model and – based on it – the STOF method. The STOF model provides a ‘holistic’ view on business models with four interrelated perspectives, i.e., Service, Technology, Organization and Finance. It elaborates on critical design issues that ultimately shape the business model and drive its viability.
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.
Mix-Design and Application of Hydraulic Grouts for Masonry Strengthening
Provides guidance for the rational design and application of hydraulic grouts, based on a series of specific data (type of masonry, voids' width, targeted strength and durability level, available materials, etc.). To this end, the basic characteristics of a grout, i.e. its injectability (penetrability, fluidity and stability), its strength and durability, are taken into account by means of rational models and quantified expressions of all grout-design parameters. Thus, a holistic, rational mix design methodology for optimization of grout composition is given, permitting the preliminary design of grouts, without having to resort to multiple tests in advance.
Mining Sequential Patterns from Large Data Sets
To meet the different needs of various applications, several models of sequential patterns have been proposed. This volume not only studies the mathematical definitions and application domains of these models, but also the algorithms on how to effectively and efficiently find these patterns. Mining Sequential Patterns from Large Data Sets provides a set of tools for analyzing and understanding the nature of various sequences by identifying the specific model(s) of sequential patterns that are most suitable. This book provides an efficient algorithm for mining these patterns.
Microwave Dielectric Behaviour of Wet Soils
This book, aimed for agriculture and soil physicists and those working in the areas of remote sensing, deals with the physical and dielectric properties of soils, methods of soil, dielectric measurements using microwaves and remote sensing techniques. Some of the results on soil moisture measurements, theoretical models of soil moisture data and the recently used synthetic aperture radar techniques for the purpose of remote sensing and their interpretation of soil moistures are also discussed. The course contents are developed and updated with the help of the latest literature available which will help bridge the existing need of scientists in the area.
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.
Microscale and Nanoscale Heat Transfer
Constitutes a particularly complete and original collection of ideas, models, numerical methods and experimental tools which will prove invaluable in the study of microscale and nanoscale heat transfer. It should be of interest to research scientists and thermal engineers who wish to carry out theoretical research or metrology in this field, but also to physicists concerned with the problems of heat transfer, or teachers requiring a solid foundation for an undergraduate university course in this area.
Microprocessor 1 : Prolegomena - calculation and storage functions - models of computation and computer architecture
Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Micro-Place Homicide Patterns in Chicago : 1965 - 2017
This brief examines 36,263 homicides in Chicago over a 53-year study period, 1965 through 2017, at micro place grid cells of 150 by 150 meters. This study shows not only long-term historical patterns of homicides in Chicago, but also places that historical context of homicide in reference to the dramatic increases in homicides in 2016-2017. It uses several different inequality metrics, as well as kernel density maps to demonstrate that homicides were more clustered in the 1960’s compared to later periods. Using zero inflated group-based trajectory models, it demonstrates the long-term temporal stability of homicides at micro places. This brief will be of interest to researchers in policing, homicide, and research methods in criminology.
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.
