الصفحة 34
الصفحة 34
Model-Based Software and Data Integration ; 1st International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind in a forthcoming series of activities at TU Berlin, where a scientifc discussion and exchange forum was provided for both academic and industrial researchers. We aimed at researchers, engineersand practitionerswho focus onadvanced, model-basedsolutions inthe area of software and information integration and interoperability. As withevery beginning, the resonanceonour callsin today's overfoodingof workshops was somewhat unpredictable, and we did not really know how many paper submissions to expect. We were nicely surprised, considering the rather short lead time to organize the meeting and the very specialized and focused topic.
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 Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.
Model-Based Demography: Essays on Integrating Data, Technique and Theory
This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption of the model-based approach to science. But the full-fruits of this approach will require demographers to make greater use of computer modeling [both macro- and micro-simulation], in the statement and manipulation of theoretical ideas, as well as for numerical computation.
Model tests and numerical simulations of liquefaction and lateral spreading ; LEAP-UCD-2017
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses the repeatability, variability, and sensitivity of lateral spreading observed in twenty-four centrifuge model tests on mildly sloping liquefiable sand.
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 architecture- foundations and applications ; 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application-oriented issues.
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 Driven Architecture : Foundations and Applications ; 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2005, held in Nuremberg, Germany, in November, 2005. The papers are organized in topical sections on MDA development processes, MDA for embedded and real-time systems, and more.
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 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 Design of Improved Current Mode Logic Gates : Differential and Single-ended
This book presents MOSFET-based current mode logic (CML) topologies, which increase the speed, and lower the transistor count, supply voltage and power consumption. The improved topologies modify the conventional PDN, load, and the current source sections of the basic CML gates.
Model Abstraction in Dynamical Systems : Application to Mobile Robot Control
The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is to design a controller for the mobile robotic car using abstraction. Abstraction provides a means to rep- sent the dynamics of a system using a simpler model while retaining important characteristics of the original system. A second goal of this work is to study the propagation of uncertain initial conditions in the framework of abstraction. The summation of this work is presented in this book.
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.
Modal Array Signal Processing : Principles and Applications of Acoustic Wavefield Decomposition
Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most important parameters are the number as well as the location of active acoustic sources. This book deals with the problem of detecting and localizing multiple simultaneously active wideband acoustic sources by applying the notion of wavefield decomposition using circular and spherical microphone arrays. The decomposed wavefield representation is used to serve as a basis for so-called modal array signal processing algorithms, which have the significant advantage over classical array signal processing algorithms that they inherently support multiple wideband acoustic sources. A rigorous derivation of modal array signal processing algorithms for unambiguous source detection and localization as well as performance evaluations by means of measurements using an actual real-time capable implementation are discussed.
Modafinil as a drug to raise mental and cognitive abilities
Investigates the scientific foundation of Modafinil’s cognitive effects, examining its pharmacodynamics, pharmacokinetics, and clinical applications. Furthermore, it explores the drug’s comparative advantages over natural cognitive enhancers, its side effect profile, patterns of use, and broader societal impact. By offering a comprehensive overview, this study aims to contribute to a better understanding of Modafinil as a modern cognitive enhancer in both medical and non-medical contexts.
