Page 13
Page 13
Coupled Models for the Hydrological Cycle : Integrating Atmosphere, Biosphere and Pedosphere
Hydrologists, climatologists, soil scientists and environmental engineers are frequently asked to analyse complex environmental problems. It is becoming increasingly apparent that these problems usually involve feedbacks between atmospheric, ecological, and hydrological systems, as well as human society. It is often the feedbacks between systems that are of greatest interest because they may produce unanticipated responses. That is why coupling of different compartments of the Earth system has emerged as a general challenge to the modelling community. This book considers an array of state-of-the-art coupling and modelling concepts. First the relevant Earth system cycles are presented, followed by a discussion on scale issues and multiple equilibria. Inter- and intra-compartmental coupling is addressed, along with a debate on non-linearities and questions of parameterisation. Several applications are presented, where a focus is on cases where the hydrological cycle plays a central role.
Costs of air pollution control : Analyses of emission control options for ozone abatement strategies
This work derives strategies for developing useful EU policies aimed at the control of air pollutants in Europe, especially ground-level ozone. The author starts with the air-pollution status quo in the late 1990s, placing further impacts of photooxidant concentrations into perspective. Emission sources are then analysed in detail, and a likely scenario for a business-as-usual development in emissions is proposed. From the cost-benefit perspective, it is shown that a holistic, integrated evaluation of all air pollutants and their effects results in a full accounting that reflects synergies and hidden benefits. The modelling scheme identifies emission targets needed to achieve compliance with EU thresholds, and calculations reveal the need to review established ozone thresholds and emission limits, even after discounting the positive effects of including central and eastern European nations.
Coordination models and languages ; 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
Control Theory of Multi-fingered Hands : A Modelling and Analytical-Mechanics Approach for Dexterity and Intelligence
Control Theory of Multi-fingered Hands presents a comprehensive insight into the intelligence and dexterity of robotic multi-fingered hands from both the physical and control-theoretic viewpoints.
Control Theory in Physics and other Fields of Science : Concepts, Tools, and Applications
This book covers systematically and in a simple language the mathematical and physical foundations of controlling deterministic and stochastic evolutionary processes in systems with a high degree of complexity. Strong emphasis is placed on concepts, methods and techniques for modelling, assessment and the solution or estimation of control problems in an attempt to understand the large variability of these problems in several branches of physics, chemistry and biology as well as in technology and economics. The main focus of the book is on a clear physical and mathematical understanding of the dynamics and kinetics behind several kinds of control problems and their relation to self-organizing principles in complex systems. The book is a modern introduction and a helpful tool for researchers, engineers as well as post-docs and graduate students interested in an application oriented control theory and related topics.
Control of Uncertain Systems : Modelling, Approximation, and Design; A Workshop on the Occasion of Keith Glover's 60th Birthday
This Festschrift contains a collection of articles by friends, co-authors, colleagues, and former Ph.D. students of Keith Glover, Professor of Engineering at the University of Cambridge, on the occasion of his sixtieth birthday. Professor Glover's scientific work spans a wide variety of topics, the main themes being system identification, model reduction and approximation, robust controller synthesis, and control of aircraft and engines. The articles in this volume are a tribute to Professor Glover's seminal work in these areas.
Control of cracking in reinforced concrete structures
Provides guidelines which can extend the existing standards and codes to cover these types of special works, especially those which are massive in nature, taking account of their specific behaviour in terms of cracking and shrinkage together with other important properties such as water/air leak tightness
Contributions from Science Education Research
In August 2005, over 500 international researchers from the field of science education met at the 5th European Science Education Research Association conference in Barcelona, Spain. Two of the main topics at this conference were: the decrease in the number of students interested in school science and concern about the worldwide outcomes of studies on students’ scientific literacy. At the conference, over 400 papers were presented, covering a wide range of topics relevant to science education research, such as evidence-based practice, teachers’ professional development, the role of ICT and multimedia, formal and informal learning environments, and argumentation and modelling in science education. This volume includes edited versions of 37 outstanding papers presented during the conference, including the lectures of the keynote speakers. They have been selected for their quality, variety and interest, and present a good overview of the field of science education research.
Continuum Mechanics
This book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics introduces into the Foundations using tensors in Cartesian coordinate systems, classical theory of elasticity, and fluid mechanics. PART II: Mechanics of Materials has chapters on viscoelasticity, plasticity, principles of constitutive modelling, and thermodynamics. PART III presents Tensor Analysis and fundamental equations of Continuum Mechanics in curvilinear coordinates.
Continuous-Time Systems
The book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of systems description are presented along with the stability analysis. The representation of linear time-invariant systems in the time domain is provided using the convolution, ordinarily differential equations (ODEs), and state space. In the frequency domain, these systems are analyzed using the Fourier and Laplace transforms. The linear time-varying systems are represented using the general convolution, ODEs, and state space. The nonlinear time-invariant systems are described employing the Taylor and Volterra series expansions, ODEs, state space, and approximate methods such as averaging, equivalent linearization, and describing function. Finally, the representation of nonlinear time-varying systems is given using the Taylor and Volterra series, ODEs, modulation functions method, and state space modelling.
Continental Evolution : The Geology of Morocco : Structure, Stratigraphy, and Tectonics of the Africa-Atlantic-Mediterranean Triple Junction
Morocco is one of the most fascinating lands in the world from the point of view of its geological structure and evolution. Our knowledge on the geology of the country has been greatly improved during the last decades, based on numerous seismic profiles and boreholes, seismological analysis of focal mechanisms, seismic tomography, gravimetric/geodetic modelling and, on the other hand, based on a big National Program of Geological Mapping including modern geochemical analyses (trace elements) and reliable isotopic datings (39Ar-40Ar, U-Pb zircon, Sm-Nd, etc). Moreover, a number of academic studies have been performed in relation with the increasing number of Moroccan universities.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Conjoint measurement : Methods and applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: normative models that maximize return, extension of choice-based conjoint simulations, latent class, hierarchical Bayes modelling, choice simulators, and normative models for representing competitive actions and reactions.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
Concrete structures deteriorated by delayed ettringite formation and alkali-silica reactions
Discusses the behaviour of isolated concrete bottle-shaped struts affected by internal expansion reactions (ISR). For that purpose, the numerical modelling of damaged concrete was performed using the Concrete Damaged Plasticity Model (CDPM) implemented in ABAQUS and validated the model through Sankovich's tests.
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general knowledge of the system in the so-called conceptual schema.It contiant data modeling, goal-oriented modeling, agent-oriented modeling, and process-oriented modeling. Overall, the contributions reflect the most important developments and application areas of conceptual modeling in recent years, and they also pinpoint trends in conceptual modeling for the next decade.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computer vision and graphics ; International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected from 49 submissions. The contributions cover topics such as: modelling of human visual perception; computational geometry; geometrical models of objects and scenes; illumination and reflection models and methods; image formation; image and video coding; image filtering and enhancement; biomedical image processing; biomedical graphics; colour image processing; multispectral image processing; pattern recognition in image processing
Computer simulations in condensed matter : From materials to chemical biology ; Vol.2
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1, published as LNP 703 (ISBN 3-540-35270-8) is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. The present volume is a state-of-the-art survey on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology, such as supercooled liquids, spin glasses, colloids, polymers, liquid crystals, biological membranes and folding proteins.
