Page 18
Page 18
Singularities in Gravitational Systems : Applications to Chaotic Transport in the Solar System
Chaos theory plays an important role in modern physics and related sciences, but -, the most important results so far have been obtained in the study of gravitational systems applied to celestial mechanics. The present set of lectures introduces the mathematical methods used in the theory of singularities in gravitational systems, reviews modeling techniques for the simulation of close encounters and presents the state of the art about the study of diffusion of comets, wandering asteroids, meteors and planetary ring particles.
Single Cell Based Models in Biology and Medicine
The aim of this book is to assemble a collection of different mathematical and computational models and techniques that focus on individual cells, cell processes and cell behaviour, that are also suitable to address problems on the multi-cellular or tissue scale. We would like to focus the level of the book equally to students starting their research in the field of mathematical biology and to scientists already modelling multi-cellular processes. Therefore, our intention is to include in this book a detailed description of each model and an extensive review of suitable biological and medical applications.
Simulation-based Algorithms for Markov Decision Processes
Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, economics, computer science, and the social sciences. It is well-known that many real-world problems modeled by MDPs have huge state and/or action spaces, leading to the notorious curse of dimensionality that makes practical solution of the resulting models intractable. In other cases, the system of interest is complex enough that it is not feasible to specify some of the MDP model parameters explicitly, but simulation samples are readily available (e.g., for random transitions and costs). For these settings, various sampling and population-based numerical algorithms have been developed recently to overcome the difficulties of computing an optimal solution in terms of a policy and/or value function.
Simulation, Modeling, and Programming for Autonomous Robots ; 1st International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, reliability, scalability and validation of robot simulation, simulated sensors and actuators, offline simulation of robot design, online simulation with realtime constraints, simulation with software/hardware-in-the-loop, middleware for robotics, modeling framework for robots and environments, testing and validation of robot control software, standardization for robotic services, communication infrastructures in distributed robotics, interaction between sensor networks and robots, human robot interaction, and multirobot. The papers are organized in topical sections on simulation, programming, and applications.
Simulation of semiconductor processes and devices 2007 ; 12th International Conference on simulation of semiconductor processes and devices SISPAD 2007 ; TU Wien, Vienna, Austria
The first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and SISDEP. With its longstanding history SISPAD provides a world-wide forum for the presenta tion and discussion of outstanding recent advances and developments in the field of numerical process and device simulation. Driven by the ongoing miniaturization in semiconductor fabrication technology, the variety of topics discussed at this meeting reflects the ever-growing complexity of the subject. Apart from the classic topics like process, device, and interconnect simulation, mesh generation, a broad spec trum of numerical issues, and compact modeling, new simulation approaches like atomistic and first-principles methods have emerged as important fields of research and are currently making their way into standard TCAD suites.
Simulation Approaches in Transportation Analysis : Recent Advances and Challenges
Focuses on the latest advanced research on modeling as well as applications of transport simulation, including simulation of vehicle movements on the road, dynamic simulation of traffic flow on transport networks, and simulation of the movement of people in an urban area. Models from the three continents of Europe, North America, and Asia are discussed in detail. Research issues and future directions of transport simulation development are systematically addressed. It is the first book to thoroughly discuss global developments and the broad issues of transport simulation. The book will be useful for researchers and graduate students to understand the application of simulation in transport analysis and future research needs. Practitioners will find the book useful for practical issues such as the applicability of simulation methods, their reproducibility, and output interpretation.
Simulation : Pragmatic Constructions of Reality
Examines the historical roots and evolution of simulation from an epistemological, institutional and technical perspective. Rich case studies go far beyond documentation of simulation’s capacity for application in many domains, they also explore the "functional" and "structural" debate that continues to traverse simulation thought and action. One here asks if simulation deeply transforms science, or instead constitutes a limited tool that principally extends the repertory of erstwhile practice. Does simulation comprise a novel form of experiment, or rather operate as a mechanism which extends standing forms of experimentation? What are simulation’s relations with models or theory, for example These studies further query to what extent and in what ways simulation may be regarded as a discipline, a special species of instrument, or as transdisciplinary.
Simulated Evolution and Learning ; 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings
Covers are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical issues in evolutionary computation; and real-world applications of evolutionary computation techniques.
Simulated Evolution and Learning ; 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings
Constitutes the refereed proceedings of the 6th International Conference on Simulated Evolution and Learning, SEAL 2006, held in Hefei, China in October 2006. The 117 revised full papers presented were carefully reviewed and selected from 420 submissions.
Signal Processing Methods for Music Transcription
Signal Processing Methods for Music Transcription is the first book dedicated to uniting research related to signal processing algorithms and models for various aspects of music transcription such as pitch analysis, rhythm analysis, percussion transcription, source separation, instrument recognition, and music structure analysis.
Shock wave science and technology reference library ; Vol.2 : Solids I
This book is the first of several volumes on solids in the Shock Wave Science and Technology Reference Library. These volumes are primarily concerned with high-pressure shock waves in solid media, including detonation, high-velocity impact, and penetration.
Shape Memory Alloys : Modeling and Engineering Applications
Povides a working knowledge of the modeling and applications of shape memory alloys (SMAs) to practicing engineers and graduate and advanced undergraduate students with an interest in the behavior and utility of active or multifunctional materials and "smart" structures.
Shape Analysis and Structuring
Several techniques have been developed in the literature for processing different aspects of the geometry of shapes, for representing and manipulating a shape at different levels of detail, and for describing a shape at a structural level as a concise, part-based, or iconic model. Such techniques are used in many different contexts, such as industrial design, biomedical applications, entertainment, environmental monitoring, or cultural heritage. This book covers a variety of topics related to preserving and enhancing shape information at a geometric level, and to effectively capturing the structure of a shape by identifying relevant shape components and their mutual relationships.
Services computing – SCC 2020 ; 17th International conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings
This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of SCF 2020 in Honolulu, HI, USA in September 2020. The 8 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 20 submissions. They cover topics such as: foundations of services computing; scientific workflows; business process integration and management; microservices; modeling of services systems; service security and privacy; SOA service applications; and service lifecycle management.
Services Computing
As the core technical foundation for the modern services science, Services Computing covers the science, technology and business models of effectively creating and leveraging computing technology to bridge the gap between business and IT services. This book systematically introduces the fundamentals of this new discipline based on the latest research results in web services and Service-Oriented Architecture (SOA); business consulting methodology and utilities; business process modeling, transformation, integration, and management; and services as software, software as service, and Web 2.0 for effective services delivery. Major solution architectures, technologies and research methods are discussed in the lifecycle of services innovation research. This book provides readers with new research and solution methods to better create and manage business services, which is the goal of Services Computing.
Service-Oriented Computing ; Agents, Semantics, and Engineering ; AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings
The book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent multiagent systems, such as: service description and discovery; planning, composition and negotiation; semantic processes and service agents; and applications.
Service-Oriented Computing - ICSOC 2008 ; 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
Presents original research in the field of service oriented computing, from theoretical and foundational results to empirical evaluations as well as practical and industrial experiences. Topics addressed include services foundations, business service modelling, integrating systems of systems using services, service engineering, service assembly, service management, SOA runtime, quality of service, service applications (grid, e-science, government, etc.), as well as business and economical aspects of services.
Service-Oriented Computing – ICSOC 2007 ; 5th International Conference, Vienna, Austria, September 17-20, 2007, Proceedings
Contains all of the Research-Track, Industry-TrackandDemo-Track papers that were selected for presentation at the Fifth International Conference on Service-Oriented Computing (ICSOC 2007), which was held in Vienna, A- tria, September 17–20, 2007. ICSOC 2007 followed the footsteps of four previous successful editions of the International Conference on Service-Oriented Computing that were held in Chicago, USA (2006), Amsterdam, The Netherlands (2005), New York City, USA (2004) and Trento, Italy (2003). ICSOC is recognized as the ?agship conference for service-oriented computing research and best practices. ICSOC covers the entire spectrum from theoretical and foundational results to empirical eval- tion, as well as practical and industrial experiences. ICSOC 2007 continued this tradition while introducing several new themes to further these goals.
Service-Oriented Computing - ICSOC 2006 ; 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings
This volume contains the proceedings of the 4th International Conference on Service- Oriented Computing (ICSOC 2006), which took place in Chicago, USA, 2006. Service-oriented computing brings together ideas and technologies from many d- ferent fields in an evolutionary manner to address research challenges such as service composition, discovery, integration, monitoring and management of services, service quality and security, methodologies for supporting service development, governances in their evolution, as well as their overall life-cycle management.
Service-oriented computing – ICSOC 2005 ; 3rd International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings
The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services and service-oriented computing. By attracting excellent contributions from different scientific communities, ICSOC aims at creating a scientific venue where participants can share ideas and compare their approaches to tackling the many still-open common research challenges. The commitment to cross-area fertilization was put into practice by having a very diversified Program Committee and by the presence of several area coordinators, leaders in the respective communities who encouraged and supervised submissions in each area.
