الصفحة 5
الصفحة 5
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.
Differential Evolution ; Vol.5 : In Search of Solutions
The human being aspires to the best possible performance. Both individuals and enterprises are looking for optimal—in other words, the best possible—solutions for situations or problems they face. Most of these problems can be expressed in mathematical terms, and so the methods of optimization undoubtedly render a significant aid. In cases where there are many local optima; intricate constraints; mixed-type variables; or noisy, time-dependent or otherwise ill-defined functions, the usual methods don’t give satisfactory results. Are you seeking fresh ideas or more efficient methods, or do you perhaps want to be well-informed about the latest achievements in optimization? If so, this book is for you. This book develops a unified insight on population-based optimization through Differential Evolution, one of the most recent and efficient optimization algorithms. You will find, in this book, everything concerning Differential Evolution and its application in its newest formulation.
Diagrammatic representation and inference ; 4th International conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication.
DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory
In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought leadership and penetrating insights of the authors, all three of whom are cross-portfolio DevOps leaders at CA Technologies. Aruna Ravichandran, Kieran Taylor, and Peter Waterhouse analyze the organizational benefits, costs, freedoms, and constraints of DevOps. They chart the coordinated strategy of organizational change, metrics, lean thinking, and investment that an enterprise must undertake to realize the full potential of DevOps and reach the sweet spot where accelerating code deployments drive increasing customer satisfaction, revenue, and profitability.
Decision-Making in Engineering Design : Theory and Practice
We use our brains when we create plans and designs. The resulting plans and designs take physical form, however, what we thought about, the alternatives we tried, and the constraints we recognized while we were making these plans and designs are usually not written anywhere. Therefore, those who only get to see the results, e.g. the final text and drawings, do not learn what led the designer to reach such conclusions and as a consequence never understand the real design. This description of decision processes will provide the means for the development of new manufacturing systems and production activities in the future because it helps us gain a real understanding of the how the mind processes we go through when making decisions affect the decisions that we make.
Databases, Information Systems, and Peer-to-Peer Computing ; International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information systems, endowed with clearly specified and difierential capabilities to negotiate, bargain, coordinate and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, sci- tific or otherwise) and on the emergence and the formation of social communities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity and static and mobile architectures. Wireless connectivity combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.
Databases, information systems, and peer-to-peer computing ; 2nd international workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, revised selected papers
Peer-to-peer (P2P) paradigm lends itself to constructing large-scale complex, adaptive, - tonomous and heterogeneous database and information systems, endowed with clearly speci?ed and di?erential capabilities to negotiate, bargain, coordinate, and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, scienti?c, or otherwise) and on the emergence and the formation of social c- munities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity, and static and mobile architectures. Wireless connectivity c- bined with the increasingly small and powerful mobile devices and sensors pose new challenges to as well as opportunities for the database community. Inf- mation becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, unstable networks with very severe constraints on the information management and processing capabilities.
Database Programming Languages ; 10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, revised selected papers
Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. This book presents papers organized in topical sections on XML languages, XML and P2P data integration, XML query languages, types and XML, grammars, automata, and tree, as well as dependencies and constraints.
Database and XMLTechnologies ; 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management and its applications. This volume also contains current research in XPath and XQuery processing, XML Updates, Temporal XML and Constraints.
Database and XML Technologies ; Vol. 3671 ; 3rd international XML database symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings
Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August 2005. The 15 papers are organized in sections on indexing support for the evaluation of XPath and XQuery; benchmarks and algorithms for XQuery and XPath evaluation; algorithms for constraint satisfaction checking, and more.
Data Mining : Theory, Methodology, Techniques, and Applications
This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical developments and industrial applications. The collection of chapters is based on works presented at the Australasian Data Mining conferences and industrial forums.
Data Assimilation : The Ensemble Kalman Filter
Data Assimilation comprehensively covers data assimilation and inverse methods, including both traditional state estimation and parameter estimation. This text and reference focuses on various popular data assimilation methods, such as weak and strong constraint variational methods and ensemble filters and smoothers. It is demonstrated how the different methods can be derived from a common theoretical basis, as well as how they differ and/or are related to each other, and which properties characterize them, using several examples.It presents the mathematical framework and derivations in a way which is common for any discipline where dynamics is merged with measurements. The mathematics level is modest, although it requires knowledge of basic spatial statistics, Bayesian statistics, and calculus of variations. Readers will also appreciate the introduction to the mathematical methods used and detailed derivations, which should be easy to follow, are given throughout the book. The codes used in several of the data assimilation experiments are available on a web page.The focus on ensemble methods, such as the ensemble Kalman filter and smoother, also makes it a solid reference to the derivation, implementation and application of such techniques. Much new material, in particular related to the formulation and solution of combined parameter and state estimation problems and the general properties of the ensemble algorithms, is available here for the first time.
Cyclized Helical Peptides : Synthesis, Properties and Therapeutic Applications
Constraint helical peptides have emerged as a solution to target previously undruggable protein-protein interactions, which feature large and complex surfaces. Cyclized Helical Peptides: Synthesis, Properties and Therapeutic Applications offers a review of the most current methodologies of constructing constrained helices. The authors noted experts on the topic include the information on the fundamental features of cyclized helical peptides and discuss their limitations. The book summarizes and explores the effects of chemical methods constructing helical peptides on helicity, binding affinity, cell penetration, and nonspecific toxicity
Corporate Control and Enterprise Reform in China : An Econometric Analysis of Block Share Trades
This study sheds light on the efficiency of corporate control allocation in Chinese listed firms. Using a panel data set for the period 1996 to 2006, it examines the frequency, causes and consequences of changes in corporate control. The results indicate that poorly performing firms are the predominant targets of control changes; shareholder and creditor control generally act as a complement for changes in control. Following the change in ownership there is a substantial amount of corporate restructuring and an improvement in operating performance. Significant differences in these dimensions emerge, however, between State and private transfers of control. The findings not only provide insights into the motives and constraints of the key players involved in governance practices in China; but they also contain useful implications for other emerging markets around the world that have weak legal systems and weak property rights protection.
Cooperative Sourcing : Simulation Studies and Empirical Data on Outsourcing Coalitions in the Banking Industry
Based on the integration of relevant economic and organizational theories, Daniel Beimborn develops a formal model of cooperative sourcing. The model captures the different drivers and inhibitors like economies of scale, scope and skill, transaction costs, strategic constraints etc. and forms the basis for both game-theoretical analyses and agent-based simulations. Simulations help to handle the numerical complexity and allow for compound analyses of the causes and effects of cooperative sourcing. Empirical data from two large-scale surveys and case studies in the German credit business are used in order to feed the simulation model and to validate the results.
Cooperative design, visualization, and engineering ; Vol. 3675 : 2nd international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2005, held in Palma de Mallorca, Spain, in September 2005. The 28 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover all current issues in cooperative design, visualization, engineering, and other cooperative applications. Topics addressed are such as constraint maintenance, decision support, and security enforcement for CDVE. Case studies and application specific developments are among the cooperative visualization papers. Along the line of cooperative engineering, knowledge management, reconfigurability, and concurrency control are major issues addressed.
Control of Nonlinear Dynamical Systems : Methods and Applications
This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having several degrees of freedom, subjected to unknown disturbances, and containing uncertain parameters. Various constraints are imposed on control inputs and state variables or their combinations. The book contains an introduction to the theory of optimal control and the theory of stability of motion, and also a description of some known methods based on these theories.
Control of nonlinear and hybrid process systems : Designs for uncertainty, constraints and time-delays
The book includes many detailed examples which can be easily modified by a control engineer to be tailored to a specific application. This book is useful for researchers in control systems theory, graduate students pursuing their degree in control systems and control engineers.
Constructal Theory of Social Dynamics
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive theory of social organization, as a conglomerate of mating flows that morph in time to flow more easily (people, goods, money, energy, information). These flows have objectives (e.g., minimization of effort, travel time, cost), and the objectives clash with global constraints (space, time, resources). The result is organization (flow architecture) derived from one principle of configuration evolution in time (the constructal law): "for a flow system to persist in time, its configuration must morph such that it provides easier access to its streams."
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered.
