Page 23
Page 23
Crowd Simulation
Focuses on methods and techniques for crowd simulation, filling the gap in the professional literature. This survey covers topics that include Modelling of Populations; Virtual Human Animation; Behavioural Animation of Crowds; and, Crowd Rendering and Populated Environments.
Creative Model Construction in Scientists and Students : The Role of Imagery, Analogy, and Mental Simulation
How do scientists use analogies and other processes to break away from old theories and generate new ones? This book documents such methods through the analysis of video tapes of scientifically trained experts thinking aloud while working on unfamiliar problems. Some aspects of creative scientific thinking are difficult to explain, such as the power of analogies, the use of physical intuition, and the enigmatic ability to learn from thought experiments. The book examines the hypothesis that these processes are based on imagistic mental simulation as an underlying mechanism. This allows the analysis of insight ("Aha!") episodes of creative theory formation.
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. He shows you how to build and program them from scratch, starting with the simplest robots and progressing in difficulty to a total of seven award–winning robots! You can download all the code, along with low–resolution videos that show how your robot works when it's finished. You don't need to be a programmer to develop these cool robots, because all the code is provided, but advanced developers will enjoy seeing the secrets of Benedettelli's code and techniques revealed.
Creating Assertion-Based Verification IP
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user’s existing verification environment, in other words the testbench infrastructure.
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course: Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects in greater depth. It covers all the themes of a traditional optics course, from geometric optics to holography, interference, diffraction, coherence and the use of the Fourier transform for spectroscopy. The presentation is developed from mathematical models deriving from typical situations and fundamental examples which are presented in the form of computer programs ready to be implemented. These programs are also available on the CD accompanying the book, for each of the following scientific programming environments: Matlab, Maple, Mathematica and Mathcad. Thus, the reader will be able to modify the parameters of the examples proposed to adapt them to new situations.
Coping with Uncertainty : Modeling and Policy Issues
Ongoing global changes bring fundamentally new scientific problems requiring new concepts and tools. A key issue concerns a vast variety of practically irreducible uncertainties, which challenge our traditional models and require new concepts and analytical tools. The complexity of new problems does not allow to achieve enough certainty by increasing the resolution of models or by bringing in more links. Hence, new tools for modeling and management of uncertainty are needed, as given in this book.
Coordination, organizations, institutions, and norms in agent system ; AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on organizations in multi-agent systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems, ANIREM 2005, and the International Workshop on Organizations in Multi-Agent Systems, OOOP 2005, held in Utrecht, The Netherlands, July 2005.
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 ; 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvià, Mallorca, Spain, in September 2008.
Control of Traffic Systems in Buildings
Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems in buildings focusing primarily on elevator groups. The theory and design of passenger traffic and cargo transport systems are covered, together with actual operational examples and topics of special current interest such as: • noisy, on-line and algorithmic optimization; • simulation-based modeling of passengers and goods; • control of cooperative agent-oriented systems; • proposal for a benchmark to compare new control methods; • deployment and testing of transportation systems.
Control of Redundant Robot Manipulators : Theory and Experiments
This monograph provides a comprehensive and thorough treatment of the problem of controlling a redundant robot manipulator. It presents the latest research from the field with a good balance between theory and practice. All theoretical developments are verified both via simulation and experimental work on an actual prototype redundant robot manipulator
Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning
Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation of rare events, and addresses its efficiency on distributed systems.
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.
Continuous-Time Sigma-Delta A/D Conversion : Fundamentals, Performance Limits and Robust Implementations
This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread continuous-time implementations of sigma-delta modulators. The results of several years of research by the authors in the field of CT sigma-delta modulators are covered, including the analysis and modeling of different CT modulator architectures, CT/DT loop filter synthesis, a detailed error analysis of all components, and possible compensation/correction schemes for the non-ideal behavior in CT sigma-delta modulators. Guidance for obtaining low-power consumption and several practical implementations are also presented. It is shown that all the proposed new theories, architectures and possible correction techniques have been confirmed by measurements on discrete or integrated circuits. Quantitative results are also provided, thus enabling prediction of the resulting accuracy.
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.
Container terminals and cargo systems : Design, operations management, and logistics control issues
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved logistics control software systems. The primary objective of this book is to reflect these challenges and to present new insights and successful solutions to operational problems of automated container terminals and cargo systems.
Container Terminals and Automated Transport Systems : Logistics Control Issues and Quantitative Decision Support
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals involve a huge capital investment and significant daily operating costs, it is of crucial importance to efficiently utilize the internal resources of container terminals and transportation systems. Today there is an ongoing trend to use automated container handling and transportation technology, in particular, in countries with high labour costs. This in turn requires highly sophisticated control strategies in order to meet the desired performance measures. The primary objective of this book is to reflect these recent developments and to present new insights and successful solutions to operational problems of automated container terminals and transportation systems. It comprises reports on the state of the art, applications of quantitative methods, as well as case studies and simulation results. Its contributions are written by leading experts from academia and business.
Consuming Music Together : Social and Collaborative Aspects of Music Consumption Technologies
This book collects together the most recent studies of music consumption, and new developments in music technology. It combines the perspectives of both social scientists and technology designers, uncovering how new music technologies are actually being used, along with discussions of new music technologies still in development. With a specific focus on the social nature of music.
Consumer behavior, organizational strategy and financial economics ; Proceedings of the 21st eurasia business and economics society conference
Shows selected articles from the 21st Eurasia business and economics society (EBES) conference, Which was held in Budapest (Hungary) in 2017. The theoretical and empirical papers in this volume cover various areas of business, economics, and finance from a diverse range of regions. In particular, this volume focuses on the latest trends in consumer behavior, New questions in the development of organizational strategy, And the interaction of financial economics with industrial economics and policy.
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.
