الصفحة 11
الصفحة 11
Models, Mysteries, and Magic of Molecules
Molecular behaviour, which is no less than magical, holds the key to the understanding, not only of chemistry, but of all biology and of life itself. It is a mystery why molecular behaviour should remain poorly understood and why the authoritative theories of physics have produced no more than superficial models to elucidate this vital issue. This book explores the common ground to guide chemists, biologists, crystallographers, spectroscopists and theorists into a deeper recognition of their individual relevance towards painting a holistic picture of scientific endeavour. This effort to stimulate interest in multidisciplinary research is rare, if not unique.
Models of the Atomic Nucleus
Models of the Atomic Nucleus is a largely non-technical introduction to nuclear theory – an attempt to explain the nucleus in a way that makes nuclear physics as comprehensible as chemistry or cell biology. Unlike many other scientific fields, the "popularization" of nuclear physics has not previously been successful because many fundamental issues remain controversial and a unified theory of nuclear structure has not yet been established. The theme developed in this book is that the many models of nuclear theory each provide a partial perspective on the nucleus and that the many models can in fact be integrated into a coherent whole and expressed in terms of a lattice of nucleons.
Models in Cooperative Game Theory : Crisp, Fuzzy, and Multi-Choice Games
This book investigates the classical model of cooperative games with transfer able utility (TU-games) and models in which the players have the possibility to cooperate partially, namely fuzzy and multichoice games. In a crisp game the agents are either fully involved or not involved at all in cooperation with some other agents, while in a fuzzy game players are allowed to cooperate with infinitely many different participation levels, varying from non-cooperation to full cooperation. A multichoice game describes an intermediate case in which each player may have a fixed number of activity levels. Part I of the book is devoted to the most developed model in the theory of cooperative games, that of a classical TU-game with crisp coalitions, which we refer to as crisp game along the book. It presents basic notions, solutions concepts and classes of cooperative crisp games in such a way that allows the reader to use this part as a reference toolbox when studying the corresponding concepts from the theory of fuzzy games (Part II) and from the theory of multichoice games (Part III).
Models for Polymeric and Anisotropic Liquids
Models should be as simple as possible, but no simpler. For the physics of polymeric liquids, whose relevant lengths and time scales are out of reach for first principles calculations, this means that we have to choose a minimum set of sufficiently detailed descriptors such as architecture (linear, ring, branched), connectivity, semiflexibility, stretchability, excluded volume, and hydrodynamic interaction. These 'universal' fluids allow the prediction of material properties under external flow- or electrodynamic fields, the results being expressed in terms of reference units, specific for any particular chosen material. This book provides an introduction to the kinetic theory and computer simulation methods needed to handle these models and to interpret the results. Also included are a number of sample applications and computer codes.
Models and Algorithms for Global Optimization : Essays Dedicated to Antanas Žilinskas on the Occasion of His 60th Birthday
The research of Antanas Žilinskas has focused on developing models for global optimization, implementing and investigating the corresponding algorithms, and applying those algorithms to practical problems. This volume, dedicated to Professor Žilinskas on the occasion of his 60th birthday, contains new survey papers in which leading researchers from the field present various models and algorithms for solving global optimization problems.
Modelling water and nutrient dynamics in soil-crop systems : Applications of different models to common data sets - Proceedings of a workshop held 2004 in Müncheberg, Germany
This book contains articles from a workshop on "Modelling water and nutrient dynamics in crop-soil systems". Data sets from lysimeters and experimental fields of multiyear crop rotations were provided for modellers. A unique data set is provided of a 100 year long term field experiment regarding crop yield and organic carbon development under different management systems. The book includes a detailed description of data sets which can be used by modellers and the papers describe the applications of 18 different modelling approaches describing soil-crop-atmosphere interactions for water, nitrogen and carbon dynamics.
Modelling Regional Scenarios for the Enlarged Europe : European Competitiveness and Global Strategies
The aim of this book is to tackle the question of what the European territory will look like over the next fifteen years by providing quali-quantitative territorial scenarios for the enlarged Europe, under different assumptions on future globalisation strategies of BRIC (Brazil, Russia, India and China) and East and West European countries. The approach is as neutral as possible vis-à-vis the results, leaving to a new forecasting model, the MASST model, built by the authors, to produce the tendencies and behavioural paths of regional GDP and population growth in each individual European region under alternative assumptions on the competitiveness strategies of different blocks of countries. The results are accompanied by strong policy messages intended to encourage long-term strategic thinking among a wide range of actors, scientists and policy makers in response to the risks and opportunities that the European territory will face.
Modeling Solid Oxide Fuel Cells : Methods, Procedures and Techniques
The volume is structured in two parts. Part one presents the basic theory, and the general equations describing SOFC operation phenomena. Part two deals with the application of the theory to practical examples, where different SOFC geometries, configurations (from single cells to hybrid systems), operating conditions (steady-state and dynamic), and different phenomena (e.g. performance, temperature and chemical species, and mechanical stress distribution) are analyzed in detail.
Modeling Performance Measurement : Applications and Implementation Issues in DEA
MODELING PERFORMANCE MEASUREMENT: Applications and Implementation Issues in DEA presents unified results from authors’ recent DEA research. These new DEA methodology and techniques are developed in application-driven scenarios that go beyond the identification of the best-practice frontier and seek solutions to aid managerial decisions. These new DEA developments are well-grounded in real world applications. Both DEA researchers and practitioners will find this book helpful. Theory is provided for DEA researchers for further development and possible extensions. However, it should also be mentioned that each theory is presented in practical terms with numerical examples, simple real management cases and verbal descriptions. It is felt that these concrete examples will be of value to researchers, students, and practitioners , This book also provides an easy-to-use DEA software — DEAFrontier (www.deafrontier.com). This DEA software is an Add-In for Microsoft Excel and provides a custom menu of DEA approaches The DEAFrontier does not set limit on the number of units, inputs or outputs.
Modeling in membranes and membrane-based processes
This book explores almost every major aspect of modeling and the techniques applied in membrane separation studies and applications. This includes first principle-based models, thermodynamics models, computational fluid dynamics simulations, molecular dynamics simulations, and artificial intelligence-based modeling for membrane separation processes. These models have been discussed in light of various applications ranging from desalination to gas separation.
Modeling Complex Living Systems : A Kinetic Theory and Stochastic Game Approach
Using tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex systems in the applied sciences, particularly those comprised of several interacting individuals whose dynamics follow rules determined by some organized, or even "intelligent" ability. Traditionally, methods of mathematical kinetic theory have been applied to model the evolution of large systems of interacting classical or quantum particles. This book, on the other hand, examines the modeling of living systems as opposed to inert systems.
Modeling Communication with Robots and Virtual Humans ; Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also provide an interdisciplinary perspective from linguistics, behavioral research, theoretical biology, philosophy, communication psychology, and computational neuroscience. The topics include studies on human multimodal communication; the modeling of feedback signals, facial expression, eye contact, and deception; the recognition and comprehension of hand gestures and head movements; communication interfaces for humanoid robots; the evolution of cognition and language; emotion and social appraisal in nonverbal communication; dialogue models and methodologies; theory of mind and intentionality; complex systems, dynamic field theory, and connectionist modeling.
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
Model-Driven Architecture - Foundations and Applications ; 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring together industry and academia to tackle the problems in model-driven development. This volume includes 18 foundation papers and 12 application papers, which is a fine balance between both worlds. ECMDA-FA 2006 also hosted six workshops on both theoretical and practical aspects of MDA. Furthermore, the keynote speakers, David Frankel and Bran Selic, from some of the world’s largest IT companies proved that industry is very much involved in MDA. This second ECMDA-FA conference is the result of the work of the authors who submitted a total of 78 papers, the Program Committee members who took the effort to review the papers, the people organizing the workshops, and of course the Steering Committee. All in all, several hundreds of people have worked hard to make this conference a success.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
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 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 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.
