Page 9
Page 9
Functional Structures in Networks : AMLn - A Language for Model Driven Development of Telecom Systems
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects and designers. This method emphasizes modeling the (very complex) functional structure of networks in a way that is independent of any hardware and software design methodology
Functional approach to nonlinear models of water flow in soils
The mathematical modelling required by these processes revealed from the beg- ning interesting and dificult mathematical problems, so that the attention was redirected to the theoretical mathematical aspects involved. Then, the qualitative results found were used for the explanation of certain behaviours of the physical processes which had made the object of the initial study and for giving answers to the real problems that arise in the soil science practice. In this way the work evidences a perfect topic for an applied mathematical research.
Frontiers of Geographic Information Technology
Although designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ to other ‘allied’ technologies. This coupling or integration has occurred for some time due to the limitations in commercially available systems. It has occurred in several areas including visualisation (virtual reality), simulation (pedestrian, urban modelling), data storage and management (distributed or Internet GIS) and decision support. The chapters of the book, written by an international group of experts examine several of these discrete areas, focussing on the use of GIS and the technology it has been allied to.
Frontiers in Computing Technologies for Manufacturing Applications
Frontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent computing in manufacturing. Modeling, data processing, algorithms and computational analysis of difficult problems found in advanced manufacturing are discussed. It is the first book to bring together combinatorial optimization, information systems and fault diagnosis and monitoring in a consistent manner. Techniques are presented in order to aid decision makers needing to consider multiple, conflicting objectives in their decision processes. In particular, the use of metaheuristic optimization techniques for multi-objective problems is discussed. Readers will learn about computational technologies that can improve the performance of manufacturing systems ranging from manufacturing equipment to supply chains.
From Product Description to Cost : A Practical Approach ; Vol.2 : Building a Specific Model
The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, and identifies their relevance in ‘engineering’ decisions. The series provides an aid to practising professionals and applied researchers in the development of tools for informed operational and business decision making, within industry, by utilising distributed organisational knowledge.
From Product Description to Cost : A Practical Approach ; Vol.1 : The Parametric Approach
The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, and identifies their relevance in ‘engineering’ decisions. The series provides an aid to practising professionals and applied researchers in the development of tools for informed operational and business decision making, within industry, by utilising distributed organisational knowledge.
From decoding turbulence to unveiling the fingerprint of climate change : Klaus Hasselmann—Nobel Prize Winner in Physics 2021
Serves as a reference for the key elements and their significance of Klaus Hasselmann's work on climate science and on ocean wave research, all based on a rigorous and deeply physical thinking. It summarizes the original articles (mostly from the 1970 and 1980s; some of which are hard to find nowadays) and brings them in a present-day context.
Freshwater Microplastics : Emerging Environmental Contaminants?
Focuses on microscopic plastic debris, also referred to as microplastics, which have been detected in aquatic environments around the globe and have accordingly raised serious concerns. The book explores whether microplastics represent emerging contaminants in freshwater systems, an area that remains underrepresented to date.Given the complexity of the issue, the book covers the current state-of-research on microplastics in rivers and lakes, including analytical aspects, environmental concentrations and sources, modelling approaches, interactions with biota, and ecological implications. To provide a broader perspective, the book also discusses lessons learned from nanomaterials and the implications of plastic debris for regulation, politics, economy, and society. In a research field that is rapidly evolving, it offers a solid overview for environmental chemists, engineers, and toxicologists, as well as water managers and policy-makers.
Free Energy Calculations : Theory and Applications in Chemistry and Biology
This volume sets out to present a coherent and comprehensive account of the concepts that underlie different approaches devised for the determination of free energies. The reader will gain the necessary insight into the theoretical and computational foundations of the subject and will be presented with relevant applications from molecular-level modelling and simulations of chemical and biological systems. Both formally accurate and approximate methods are covered using both classical and quantum mechanical descriptions. A central theme of the book is that the wide variety of free energy calculation techniques available today can be understood as different implementations of a few basic principles.
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering.
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Modeling and Analysis of Timed Systems ; Vol. 3829 ; 3rd International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
Formal Modeling and Analysis of Timed Systems ; 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems.
Formal Methods for Open Object-Based Distributed Systems ; Vol. 3535 ; 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventh meeting ofthis conference series, whichis held roughly every year and a half, with the earlier events held respectively in Paris, Canterbury, Florence, Stanford, Twente, and Paris. The goal of the FMOOD Sseries of conferences is to bring together researchers whose work encompasses three important and related fields: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems.
Form and structure in Interior Architecture : Basics interior architecture
This volume examines the basic ideas that underpin the design and remodelling of interior space, from the establishment of a relationship between the existing building and the new components that inhabit it, to the careful positioning and design of significant elements within the space
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
Fluid-structure interaction : Modelling, simulation, optimisation
Fluid-structure interactions (FSI), that is interactions of some movable or deformable structure with an internal or surrounding fluid flow, are among the most important and, with respect to both modelling and computational issues, the most challenging multi-physics problems. The variety of FSI occurrences is abundant and ranges from tent-roofs to micropumps, from parachutes via airbags to blood flow in arteries.
Flood Risk Management in Europe : Innovation in Policy and Practice
This valuable edition brings together 26 peer reviewed articles on technical, socio-economic, environmental and policy aspects of flood risk management. These articles contribute to the five sections with the general themes: i) flood risk management practice, ii) flood events and impacts, iii) flood analysis and modelling iv) flood forecasting and v) flood risk management policy. Some emerging technologies are presented and several future challenges are identified.
Flood Risk Management : Hazards, Vulnerability and Mitigation Measures
Floods are of increasing public concern world-wide due to increasing damages and unacceptably high numbers of injuries. Previous approaches of flood protection led to limited success especially during recent extreme events. Therefore, an integrated flood risk management is required which takes into consideration both the hydrometeorogical and the societal processes. Moreover, real effects of risk mitigation measures have to be critically assessed. The book draws a comprehensive picture of all these aspects and their interrelations. It furthermore provides a lot of detail on earth observation, flood hazard modelling, climate change, flood forecasting, modelling vulnerability, mitigation measures and the various dimensions of management strategies. In addition to local and regional results of science, engineering and social science investigations on modelling and management, transboundary co-operation of large river catchments are of interest.
