الصفحة 19
الصفحة 19
Model-Based Reasoning in Science, Technology, and Medicine
The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Medicine (MBR’06 China), held at Sun Yat-sen University, Guangzhou, P.R. China in July 2006. The presentations given at the conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some addressed the problem of model-based reasoning in technology, and stressed the issue of technological innovation and medical reasoning. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.
Model-based Process Supervision : A Bond Graph Approach
Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and can be difficult because of the complexity of the monitored system and its control architecture. The authors use bond-graph modelling, a unified multi-energy domain modelling method, to build dynamic models of process engineering systems by composing hierarchically arranged sub-models of various commonly encountered process engineering devices. The structural and causal properties of bond-graph models are exploited for supervisory systems design.
Model-based Geostatistics
Geostatistics is concerned with estimation and prediction problems for spatially continuous phenomena, using data obtained at a limited number of spatial locations. The name reflects its origins in mineral exploration, but the methods are now used in a wide range of settings including public health and the physical and environmental sciences. Model-based geostatistics refers to the application of general statistical principles of modeling and inference to geostatistical problems. This volume is the first book-length treatment of model-based geostatistics. The authors have written an expository text, emphasizing statistical methods and applications rather than the underlying mathematical theory. Analyses of datasets from a range of scientific contexts feature prominently, and simulations are used to illustrate theoretical results. Readers can reproduce most of the computational results in the book by using the authors' R-based software package, geoR, whose usage is illustrated in a computation section at the end of each chapter.
Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools
The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the needed mathematical and control theory tools at a level for graduate students and researchers as well as for engineers.
Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena
Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees of freedom become one with fewer? How can a reversible micro-description be adapted to the dissipative macroscopic model? These crucial questions, as well as many other related problems, are discussed in this book. Specific areas of study include dynamical systems, non-equilibrium statistical mechanics, kinetic theory, hydrodynamics and mechanics of continuous media, (bio)chemical kinetics, nonlinear dynamics, nonlinear control, nonlinear estimation, and particulate systems from various branches of engineering. The generic nature and the power of the pertinent conceptual, analytical and computational frameworks helps eliminate some of the traditional language barriers, which often unnecessarily impede scientific progress and the interaction of researchers between disciplines such as physics, chemistry, biology, applied mathematics and engineering. All contributions are authored by experts, whose specialities span a wide range of fields within science and engineering.
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. 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 ; 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 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 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.
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.
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists.
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 Aware Technologies and Applications ; 2nd International Workshop, MATA 2005, Montreal, Canada, October 17 -- 19, 2005, Proceedings
The beginning of the twenty-first century is characterized by global markets, and the mobility of people is becoming an important fact of life. Consequently, the mobile user is demanding appropriate technical solutions to make use of customized information and communication services. In this context the notion of next-generation networks (NGNs), which are driven by the convergence of the entertainment sector, the mobile Internet, and fixed/mobile telecommunications, is emerging. Such NGNs are aggregating a variety of different access networks and supporting the seamless connection of an open set of end-user devices, and due to the adoption of an all-IP network paradigm they enable a much better integration of voice and data services. Coincidently the buzzword ‘fixed mobile convergence’ (FMC) describes the current trend towards providing common services across fixed and mobile networks resulting in the medium term in the full integration of fixed and mobile telecommunication networks. The adoption of appropriate middleware technologies and the provision of - called service delivery platforms driven by the ongoing innovation in the field of information technologies provides today the technical foundation for supporting terminal, personal and service mobility and thus the implementation of real seamless information and communication services. Furthermore, users are nowadays looking, in light of an omnipresent service environment, for a much higher degree of customization and context awareness in the services they use. The papers in this volume look at these enabling mobility-aware technologies and their use for implementing mobility-aware and context-aware applications.
Mobilities of the Highly Skilled towards Switzerland : The Role of Intermediaries in Defining “Wanted Immigrants”
This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, attract, and retain highly skilled migrants who represent value to them. It reveals how state and economic actors define “wanted immigrants” and provide them with privileged access to the Swiss territory and labour market. This book thus shifts the focus from an approach that takes the category of highly skilled migrant for granted to one that regards context as crucial for structuring migrants’ characteristics, trajectories, and experiences. Beyond consideration of professional qualifications, the ways decision-makers perceive candidates and shape their resource environments are crucial for constructing them as skilled or unskilled, wanted or unwanted, welcome or unwelcome.
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 Hodge Structures
The text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project in 1982 and 1983, the second-named author gave a series of lectures on Mixed Hodge Structures and Singularities, accompanied by a set of hand-written notes. The publication of these notes was prevented by a revolution in the subject due to Morihiko Saito: the introduction of the theory of Mixed Hodge Modules around 1985. Understanding this theory was at the same time of great importance and very hard, due to the fact that it uni es many di erent theories which are quite complicated themselves: algebraic D-modules and perverse sheaves. The present book intends to provide a comprehensive text about Mixed Hodge Theory with a view towards Mixed Hodge Modules.
Mixed Finite Elements, Compatibility Conditions, and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 26–July 1, 2006
Since the early 70's, mixed finite elements have been the object of a wide and deep study by the mathematical and engineering communities. The fundamental role of this method for many application fields has been worldwide recognized and its use has been introduced in several commercial codes. An important feature of mixed finite elements is the interplay between theory and application. Discretization spaces for mixed schemes require suitable compatibilities, so that simple minded approximations generally do not work and the design of appropriate stabilizations gives rise to challenging mathematical problems.
Missions of universities : Past, present, future
provides an analysis of university missions over time and space. It starts out by presenting a governance framework focusing on the demands on universities set by regulators, market actors and scrutinizers. It examines organizational structures, population development, the fundamental tasks of universities, and internal governance structures. Next, offers a discussion of the idea and role of universities in society, exploring concepts such as autonomy and universality, and the university as a transformative institute. The next four chapters deal with the development of universities from medieval times, through the Renaissance, towards the research universities in the nineteenth century in Europe and the United States.
