الصفحة 25
الصفحة 25
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.
Conjoint measurement : Methods and applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: normative models that maximize return, extension of choice-based conjoint simulations, latent class, hierarchical Bayes modelling, choice simulators, and normative models for representing competitive actions and reactions.
Concurrent Zero-Knowledge : With Additional Background by Oded Goldreich
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast; they are typically used to force malicious parties to behave according to a predetermined protocol. In addition to their direct applicability in cr- tography, zero-knowledge proofs serve as a good benchmark for the study of variousproblemsregardingcryptographicprotocols(e.g.,“securecomposition of protocols”).
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
CONCUR 2006 - Concurrency Theory ; 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems.
CONCREEP 10 : Mechanics and physics of creep, shrinkage, and durability of concrete and concrete structures
Contains 187 papers invited on the basis of carefully peer-reviewed abstracts. It elucidates the intricacies of concrete, linking atomistic physics to real life civil engineering design. Topics include: microstructures and micromechanics; multiscale creep, shrinkage, fracture, and durability properties; constitutive and numerical modeling; simulation and design of concrete structures; molecular- to lab-scale simulations and characterization of concrete; macroscopic material testing; creep and shrinkage of concrete under extreme conditions; monitoring of concrete structures and exploitation of measurement data; and creep and shrinkage properties of new cementitious materials.
Concepts and Results in Chaotic Dynamics : A Short Course
The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and applications. In particular, the relations both with real experiments with numerical simulations are discussed. The book contains many figures that really help the understanding of the text. The book can be used as a text for an introductory course in dynamical systems
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The book gives an introduction to the most important models of the field, followed by a detailed description of numerical techniques for the models. Particular focus is on efficient numerical methods for large scale simulations on both scalar and parallel computers.
Computing and combinatorics ; Vol. 3595 ; 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON 2005), The topics cover most aspects of theoretical computerscience and combinatorics related to computing.Submissions to the conference this year were conducted electronically. A totalof 353 papers were submitted, of which 96 were accepted.
Computer-Aided Architectural Design Futures (CAADFutures) 2007 ; Proceedings of the 12th International CAADFutures Conference
This volume is the proceedings of the 12th International Conference of CAAD Futures, which took place in Sydney, Australia. The internationally refereed papers in this book present the state of the art in computer-aided architectural design research. The papers in this year's conference theme, Integrating Technologies for Computer-Aided Design, provide the technological foundation for new ways of thinking about using computers in designing and the use of computers in design itself as well as in the education of designers.
Computer vision / computer graphics collaboration Techniques ; 3rd International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings
This volume contains foundational, methodological, and application issues.
