الصفحة 34
الصفحة 34
Distributed systems : Concurrency and consistency
Explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families and demonstrating how these may be implemented into a programming language. Unlike their sequential counterparts, distributed systems are much more difficult to design, and are therefore prone to problems. On a large scale, usability reminiscent of sequential consistency, which would provide the same global view to all users, is very expensive or impossible to achieve.
Distributed Search by Constrained Agents : Algorithms, Performance, Communication
This book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research areas. It introduces distributed constraint satisfaction and optimization problems and proceeds to present a complete state-of-the-art in DisCSP & DisCOP research.
Distributed and Parallel Systems : From Cluster to Grid Computing
This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes a good overview of recent advances in various aspects of parallel and distributed computing. This volume also includes various crucial questions tied to the infrastructure and advanced problems and challenges of grid computing.
Distributed and parallel computing ; 6th International conference on algorithms and architectures for parallel processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
There are many applications that require parallel and distributed processing to allow complicated engineering, business and research problems to be solved in a reasonable time. Parallel and distributed processing is able to improve company profit, lower costs of design, production, and deployment of new technologies, and create better business environments. The major lesson learned by car and aircraft engineers, drug manufacturers, genome researchers and other specialist is that a computer system is a very powerful tool that is able to help them solving even more complicated problems. That has led computing specialists to new computer system architecture and exploiting parallel computers, clusters of clusters, and distributed systems in the form of grids.
Discrete-time Markov jump linear systems
Safety critical and high-integrity systems, such as industrial plants and economic systems, can be subject to abrupt changes - for instance, due to component or interconnection failure, sudden environment changes, etc. Combining probability and operator theory, Discrete-Time Markov Jump Linear Systems provides a unified and rigorous treatment of recent results for the control theory of discrete jump linear systems, which are used in these areas of application. The book is designed for experts in linear systems with Markov jump parameters, but is also of interest for specialists in stochastic control since it presents stochastic control problems for which an explicit solution is possible - making the book suitable for course use.
Discrete Spectral Synthesis and Its Applications
In order to study discrete Abelian groups with wide range applications, the use of classical functional equations, difference and differential equations, polynomial ideals, digital filtering and polynomial hypergroups is required. This book covers several different problems in this field and is unique in being the only comprehensive coverage of this topic.
Discrete Optimization with Interval Data : Minmax Regret and Fuzzy Approach
This book is a valuable source of information for all operations research practitioners who are interested in modern approaches to problem solving. Apart from the description of the theoretical framework, it also presents some algorithms that can be applied to solve problems that arise in practice.
Discrete Element Analysis Methods of Generic Differential Quadratures
This book presents numerical differential quadrature (DQ) - based methods recently developed by the author. Their ability for solving generic scientific and engineering problems is demonstrated. These methods are the generic differential quadrature, the extended differential quadrature and the related discrete element analysis methods. These novel numerical techniques are both efficient and reliable. They are suitable for developing solution algorithms for various computational mechanics problems with arbitrarily complex geometry. This is shown for several comprehensive examples such as bars and beams, trusses, frames, general field problems, elasticity problems or bending of plates.
Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. The book range over much of Magma's coverage of algorithmic algebra: from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.
Discontinuous Galerkin Methods for Viscous Incompressible Flow
Guido Kanschat reviews several discontinuous Galerkin schemes for elliptic and viscous flow problems. Setting out from Nitsche's method for weak boundary conditions, he studies the interior penalty and LDG methods. Combined with a stable advection discretization, they yield stable DG methods for linear flow problems of Stokes and Oseen type which are applied to the Navier-Stokes problem. The author not only presents the analytical techniques used to study these methods but also devotes a major discussion to the efficient numerical solution of discrete problems.
Discontinuous Finite Elements in Fluid Dynamics and Heat Transfer
Discontinuous Finite Elements in Fluid Dynamics and Heat Transfer offers its readers a systematic and practical introduction to the discontinuous finite element method. It moves from a brief review of the fundamental laws and equations governing thermal and fluid systems, through a discussion of different approaches to the formulation of discontinuous finite element solutions for boundary and initial value problems, to their applicaton in a variety of thermal-system and fluid-related problems, including: heat conduction problems / convection-dominant problems / computational compressible flows / external radiation problems / internal radiation and radiative transfer / free- and moving-boundary problems / micro- and nanoscale heat transfer and fluid flow / thermal fluid flow under the influence of applied magnetic fields.
Directing the Story : Professional Storytelling and Storyboarding Techniques for Live Action and Animation
You will learn classic visual storytelling techniques such as conveying meaning with images and directing the viewer's eye. Glebas also teaches how to spot potential problems before they cost time and money, and he offers creative solutions on how to solve them. Uses the classic story of '1001 Arabian Nights' to show how to storyboard stories that will engage an audience's attention and emotions. With 1001 drawings in graphic novel format plus teaching concepts and commentary. All of the storyboarding examples have a real project context rather to engage a very visual audience on their own terms and teaches through demonstration
Direct Methods in the Calculus of Variations
Studies vectorial problems in the calculus of variations and quasiconvex analysis. It is a new edition of the earlier book published in 1989 and has been updated with some new material and examples added. This monograph will appeal to researchers and graduate students in mathematics and engineering.
Direct and Large-Eddy Simulation VI ; Proceedings of the Sixth International ERCOFTAC Workshop on Direct and Large-Eddy Simulation, held at the University of Poitiers, September 12-14, 2005
this workshop addressed numerous theoretical and physical aspects of transitional and turbulent flows. At an applied level it contributed to the solution of problems related to energy production, transportation and the environment. Since the prediction and analysis of fluid turbulence and transition continues to challenge engineers, mathematicians and physicists, DLES-6 covered a large range of topics, from the more technical ones like numerical methods, initial and inflow conditions, the coupling of RANS and LES zones, subgrid and wall modelling to topics with a stronger focus on flow physics such as aero-acoustics, compressible and geophysical flows, flow control, multiphase flow and turbulent combustion, to quote only a few.
Direct and inverse Sturm-Liouville problems : A method of solution
This book provides an introduction to the most recent developments in the theory and practice of direct and inverse Sturm-Liouville problems on finite and infinite intervals. A universal approach for practical solving of direct and inverse spectral and scattering problems is presented, based on the notion of transmutation (transformation) operators and their efficient construction. Analytical representations for solutions of Sturm-Liouville equations as well as for the integral kernels of the transmutation operators are derived in the form of functional series revealing interesting special features and lending themselves to direct and simple numerical solution of a wide variety of problems.
Diplomacy Games : Formal Models and International Negotiations
In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. Besides the description of different models and approaches, the book answers three questions: How can the abstract concepts and results of rational choice theorists be made more understandable and plausible to political and social scientists not trained to work with formal models? What can be done to encourage practitioners to use not only simple but also mathematically advanced approaches in their analysis of real world negotiation problems? How can practitioners (e.g., politicians and diplomats) become interested in, take into account, and apply formal models of their more important problems?
DiPiro’s pharmacotherapy : A pathophysiologic approach
It is this in-depth knowledge of pharmacotherapy, combined with the clinical experience gained through postgraduate training in direct patient care practice, that allows the pharmacist to be the "medication therapy expert" on the healthcare team and to proactively address medication-related problems.It is provides knowledge necessary to prevent, identify, and manage disease and medication-related problems
Dimension Reduction of Large-Scale Systems ; Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003
In the past decades, model reduction has become an ubiquitous tool in analysis and simulation of dynamical systems, control design, circuit simulation, structural dynamics, CFD, and many other disciplines dealing with complex physical models. The aim of this book is to survey some of the most successful model reduction methods in tutorial style articles and to present benchmark problems from several application areas for testing and comparing existing and new algorithms. As the discussed methods have often been developed in parallel in disconnected application areas.
Digital Signal Processing for Measurement Systems : Theory and Applications
Digital Signal Processing for Measurement Systems: Theory and Applications covers the theoretical as well as the practical issues which form the basis of the modern DSP-based instruments and measurement methods. It covers the basics of DSP theory before discussing the critical aspects of DSP unique to measurement science. Includes important topics, for example, problems that arise when sampling periodic signals and the relationship between the sampling rate and the SNR
Digital self-tuning controllers : Algorithms, implementation and applications
Digital Self-tuning Controllers presents you with a complete course in self-tuning control, beginning with a survey of adaptive control and the formulation of adaptive control problems. Modelling and identification are dealt with before passing on to algebraic design methods and particular PID and linear-quadratic forms of self-tuning control. Finally, laboratory verification and experimentation will show you how to ground your theoretical knowledge in real plant control.
