الصفحة 2
الصفحة 2
Validated Designs for Object-oriented Systems
Describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text.
Upscaling Multiphase Flow in Porous Media : From Pore to Core and Beyond
This will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving realistic multiphase flow problems. Part of this book has already been published in a journal.
Unsaturated Soils : Numerical and Theoretical Approaches ; Proceedings of the International Conference "From Experimental Evidence towards Numerical Modeling of Unsaturated Soils", Weimar, Germany, September 18-19, 2003
Includes the Proceedings of the International Conference ISSMGE uniting researchers and practitioners in geotechnical engineering on a single platform and discussing the problems associated with unsaturated soils. The objectives of the International Conference were: (a) to promote unsaturated soil mechanics for practical application, (b) to exchange experiences in experimental unsaturated soil mechanics and numerical modelling, (c) to discuss application of unsaturated soil mechanics to a variety of problems. The conference was additionally a status report in the frame of the DFG research group "Mechanics of Unsaturated Soils".
Unsaturated Soils : Experimental Studies ; Proceedings of the International Conference "From Experimental Evidence towards Numerical Modeling of Unsaturated Soils", Weimar, Germany, September 18-19, 2003
Includes the Proceedings of the International Conference "From Experimental Evidence Towards Numerical Modeling of Unsaturated Soils" uniting researchers and practitioners in geotechnical engineering on a single platform and discussing the problems associated with unsaturated soils. The objectives of the International Conference were: (a) to promote unsaturated soil mechanics for practical application, (b) to exchange experiences in experimental unsaturated soil mechanics and numerical modelling, (c) to discuss application of unsaturated soil mechanics to a variety of problems.
Universal access in human-computer interaction : Coping with diversity ; 4th International Conference on Universal access in human-computer interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Contains papers in the thematic area of Universal Access in Human-Computer Interaction, addressing the following major topics: Designing for Universal Access / Universal Access Methods, Techniques and Tools / Understanding Diversity: Motor, Perceptual and Cognitive Abilities / Understanding Diversity: Age
Univariate Stable Distributions : Models for Heavy Tailed Data
Highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and statistical methods used to work with stable laws. Because of the author’s accessible and comprehensive approach, readers will be able to understand and use these methods. Both mathematicians and non-mathematicians will find this a valuable resource for more accurately modelling and predicting large values in a number of real-world scenarios.The following chapters present the theory of stable distributions, a wide range of applications, and statistical methods, with the final chapters focusing on regression, signal processing, and related distributions. Each chapter ends with a number of carefully chosen exercises. Links to free software are included as well, where readers can put these methods into practice.
Understanding society and natural eesources : Forging new strands of integration across the social sciences
In this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration opportunities and challenges. This book explores the growing concern of how best to achieve effective integration of the social science disciplines as a means for furthering natural resource social science and environmental problem solving. The chapters provide an overview of the history, vision, advances, examples, and methods that could lead to integration.
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices.Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits.
Uncertainty in the Electric Power Industry : Methods and Models for Decision Support
Examines the uncertainties power companies are facing and develops models to describe them – including an innovative approach combining fundamental and finance models for price modeling. The optimization of generation and trading portfolios under uncertainty is discussed with particular focus on CHP and is linked to risk management. Here the concept of integral earnings at risk is developed to provide a theoretically sound combination of value at risk and profit at risk approaches, adapted to real market structures and market liquidity. Also methods for supporting long-term investment decisions are presented: technology assessment based on experience curves and operation simulation for fuel cells and a real options approach with endogenous electricity prices.
Uncertainty in Engineering : Introduction to Methods and Applications
Provides an introduction to uncertainty quantification in engineering. Starting with preliminaries on Bayesian statistics and Monte Carlo methods, followed by material on imprecise probabilities, it then focuses on reliability theory and simulation methods for complex systems. The final two chapters discuss various aspects of aerospace engineering, considering stochastic model updating from an imprecise Bayesian perspective, and uncertainty quantification for aerospace flight modelling.
Trauma - An Engineering Analysis : With Medical Case Studies Investigation
The purpose of this book is to bring together experts from the medical and engineering fields in which trauma acts as a fulcrum in understanding the engineering approach to medical cases. The emphasis of this book is on the retrospective study of medical scenarios as seen from the engineering perspective. An in-depth study is required to ensure the accuracy of both medical and engineering data. Where static, dynamic, temperature and impact loads and velocities/accelerations are unknown; they are evaluated using the material properties and fracture geometry of case studies. From the analytical techniques, a prospective study would assist in predicting the outcome of post-trauma damage. Generally, the book covers a wide spectrum of trauma case studies and could be used in medico-legal test cases. The medical opinion can be translated into the engineering analysis there by validating or invalidating the total medical decisions.
Transport Phenomena and Kinetic Theory : Applications to Gases, Semiconductors, Photons, and Biological Systems
The study of kinetic equations related to gases, semiconductors, photons, traffic flow, and other systems has developed rapidly in recent years because of its role as a mathematical tool in many applications in areas such as engineering, meteorology, biology, chemistry, materials science, nanotechnology, and pharmacy. Written by leading specialists in their respective fields, this book presents an overview of recent developments in the field of mathematical kinetic theory with a focus on modeling complex systems, emphasizing both mathematical properties and their physical meaning.
Transgenerational Marketing : Evolution, Expansion, and Experience
Examines the evolution of marketing scholarship over generations from Marketing 1.0 to 4.0. It argues that most firms look to gain competitive advantage in the marketplace by driving tactical moves, inculcating small cost-effective changes in marketing approaches. Often, strategic choices of companies lean towards developing competitive differentiations that enable consumers to realize the value of money, causing loyalty shifts in the competitive marketplace. The book focuses on the consumer as the pivot of marketing and argues that the consumer serves as a bidirectional channel during pre-and post-purchase period.
Transactions on Computational Systems Biology III
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems-oriented point of view of biological phenomena. Dedicated especially to models and metaphors from biology to bioinformatics tools, the 10 papers selected for the special issue cover a wide range of bioinformatics research such as data visualisation, protein/RNA structure prediction, motif finding, modelling and simulation of protein interaction, genetic linkage analysis, and notations and models for systems biology.
Traffic and Granular Flow 03
These proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as their predecessors. Both the realistic modelling of granular media and traffic flow present important challenges at the borderline between physics and engineering, and enormous progress has been made since 1995, when this series started. Still the research on these topics is thriving, so that this book again contains many new results. Some highlights addressed at this conference were the influence of long range electric and magnetic forces and ambient fluids on granular media, new precise traffic measurements, and experiments on the complex decision making of drivers.
Traditions in German-Speaking Mathematics Education Research
This book includes a short survey of the development of educational research on mathematics in German speaking countries, subject-matter didactics, design science and design research, modelling, mathematics and Bildung 1810 to 1850, Allgemeinbildung, Mathematical Literacy, and Competence Orientation, theory traditions, classroom studies, educational research and large-scale studies. During the time span presented here, profound changes took place in German-speaking mathematics education research. Besides the traditional fields of activity like subject-matter didactics or design science, completely new areas also emerged, which are characterized by various empirical approaches and a closer connection to psychology, sociology, epistemology and general education research.
Thrust belts and Foreland Basins : From Fold Kinematics to Hydrocarbon Systems
The 25 papers in the proceedings of the first meeting of the ILP task force on Sedimentary Basins, December 2005, Institut Francais du Petrole aim to bridge advances in the understanding of surface processes, field investigations, high resolution imagery, analogue-numerical modelling and hydrocarbon exploration in Thrust Belts and Foreland Basins.
Theory of Thermomechanical Processes in Welding
This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach for engineers and applied physicists working on the modelling of welding processes. The theory presented includes developments in the areas of welding thermodynamics, thermoplasticity and numerical methods. The book describes the calculation of thermal stresses in welding structures, the theory of heat conduction in welding, and the basic equations of thermoplasticity, then applies the concepts to solutions of thermoplasticity problems and to thermal stresses in arc welding, laser welding, spot welding, electroslag welding and friction welding.
Theoretical and Numerical Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated Soils." The primary objective is to discuss and understand unsaturated soil behaviour such that engineered activities are made better with times in terms of judgement and quality. We all realise by now that in addition to the knowledge on the classical concepts, it becomes an enormous challenging task to adapt convincing new concepts and present them in such a way that it could be used in engineering practices.
The Web of Data
This book concisely brings together the key standards and best practices relating to modelling, querying, validating and linking machine-readable data and semantics on the Web. Alongside practical examples and formal definitions, the book shows how these standards contribute to – and have been used thus far on – the "Web of Data": a machine readable evolution of the Web marked by increased automation, enabling powerful Web applications capable of discovering, cross-referencing, and organising data from numerous websites in a matter of seconds.
