This text presents the results of the joint research initiative "Numercial Simulation in Tunneling." In doing so it provides a thorough guide to improving the safety and economy of tunnels by discussing the application of numerical simulation methods to assist tunnel engineers. Numerical simulation tools for the estimation of the required tunnel support and the required construction measures are described in this book. By using them, it is possible to study the impact on the construction and on the environment at the planning stadium and during construction. This will result in an improvement of the safety and economy of tunnels.

The book Model-Based Reasoning in Scientific Discovery, aims to explain how specific modeling practices employed by scientists are productive methods of creative changes in science. The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning which cannot be described by classical logic alone. The study of these high-level methods of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic: at the heart of cognitive science. Model based reasoning promotes conceptual change because it is effective in abstracting, generating, and integrating constraints in ways that produce novel results. There are several key ingredients common to the various forms of model-based reasoning to be considered in this presentation. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain.In the modeling process, various forms of abstraction, such as limiting case, idealization, generalization, and generic modeling are utilized. Evaluation and adaptation take place in the light of structural of structural, causal, and/or functional constraint satisfaction and enhanced understanding of the target problem is obtained through the modeling process. Simulation can be used to produce new states and enable evaluation of behaviors, constraint satisfaction, and other factors. The book also addresses some of the main aspects of the concept of abduction, connecting it to the central epistemological question of hypothesis withdrawal in science and model-based reasoning, where abductive interferences exhibit their most appealing cognitive virtues. The most recent results and achievements in the above areas are illustrated in detail by the various contributors to the work, who are among the most respected researchers in philosophy, artificial intelligence and cognitive science.

Deeply rooted in fundamental research in Mathematics and Computer Science, Cellular Automata (CA) are recognized as an intuitive modeling paradigm for Complex Systems. Already very basic CA, with extremely simple micro dynamics such as the Game of Life, show an almost endless display of complex emergent behavior. Conversely, CA can also be designed to produce a desired emergent behavior, using either theoretical methodologies or evolutionary techniques. Meanwhile, beyond the original realm of applications - Physics, Computer Science, and Mathematics - CA have also become work horses in very different disciplines such as epidemiology, immunology, sociology, and finance. In this context of fast and impressive progress, spurred further by the enormous attraction these topics have on students, this book emerges as a welcome overview of the field for its practitioners, as well as a good starting point for detailed study on the graduate and post-graduate level. The book contains three parts, two major parts on theory and applications, and a smaller part on software. The theory part contains fundamental chapters on how to design and/or apply CA for many different areas. In the applications part a number of representative examples of really using CA in a broad range of disciplines is provided - this part will give the reader a good idea of the real strength of this kind of modeling as well as the incentive to apply CA in their own field of study. Finally, we included a smaller section on software, to highlight the important work that has been done to create high quality problem solving environments that allow to quickly and relatively easily implement a CA model and run simulations, both on the desktop and if needed, on High Performance Computing infrastructures.

SISDEP 95 provides an international forum for the presentation of state-of-the-art research and development results in the area of numerical process and device simulation. Continuously shrinking device dimensions, the use of new materials, and advanced processing steps in the manufacturing of semiconductor devices require new and improved software. The trend towards increasing complexity in structures and process technology demands advanced models describing all basic effects and sophisticated two and three dimensional tools for almost arbitrarily designed geometries. The book contains the latest results obtained by scientists from more than 20 countries on process simulation and modeling, simulation of process equipment, device modeling and simulation of novel devices, power semiconductors, and sensors, on device simulation and parameter extraction for circuit models, practical application of simulation, numerical methods, and software."

This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013. The 126 revised full papers presented in both volumes were carefully reviewed and selected from 665 submissions. The papers are organized in topical sections on Internet computing and applications; engineering management and applications; intelligent computing and applications; control engineering and applications; cloud and evolutionary computing; knowledge management and applications; computational statistics and applications.

Applied Probability presents a unique blend of theory and applications, with special emphasis on mathematical modeling, computational techniques, and examples from the biological sciences. It can serve as a textbook for graduate students in applied mathematics, biostatistics, computational biology, computer science, physics, and statistics. Readers should have a working knowledge of multivariate calculus, linear algebra, ordinary differential equations, and elementary probability theory.
Chapter 1 reviews elementary probability and provides a brief survey of relevant results from measure theory. Chapter 2 is an extended essay on calculating expectations. Chapter 3 deals with probabilistic applications of convexity, inequalities, and optimization theory. Chapters 4 and 5 touch on combinatorics and combinatorial optimization. Chapters 6 through 11 present core material on stochastic processes. If supplemented with appropriate sections from Chapters 1 and 2, there is sufficient material for a traditional semester-long course in stochastic processes covering the basics of Poisson processes, Markov chains, branching processes, martingales, and diffusion processes. The second edition adds two new chapters on asymptotic and numerical methods and an appendix that separates some of the more delicate mathematical theory from the steady flow of examples in the main text.
Besides the two new chapters, the second edition includes a more extensive list of exercises, many additions to the exposition of combinatorics, new material on rates of convergence to equilibrium in reversible Markov chains, a discussion of basic reproduction numbers in population modeling, and better coverage of Brownian motion. Because many chapters are nearly self-contained, mathematical scientists from a variety of backgrounds will find Applied Probability useful as a reference

This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining.

Over fifteen years ago, because of the tremendous increase in the power and utility of computer simulations, The University of Georgia formed the first institutional unit devoted to the use of simulations in research and teach ing: The Center for Simulational Physics. As the international simulations community expanded further, we sensed a need for a meeting place for both experienced simulators and neophytes to discuss new techniques and recent results in an environment which promoted lively discussion. As a consequence, the Center for Simulational Physics established an annual workshop on Re cent Developments in Computer Simulation Studies in Condensed Matter Physics. This year's workshop was the fifteenth in this series, and the con tinued interest shown by the scientific community demonstrates quite clearly the useful purpose that these meetings have served. The latest workshop was held at The University of Georgia, March 11-15, 2002, and these proceedings provide a "status report" on a number of important topics. This volume is published with the goal of timely dissemination of the material to a wider audience. We wish to offer a special thanks to IBM Corporation and to the National Science Foundation for partial support of this year's workshop. This volume contains both invited papers and contributed presentations on problems in both classical and quantum condensed matter physics. We hope that each reader will benefit from specialized results as well as profit from exposure to new algorithms, methods of analysis, and conceptual devel opments. Athens, GA, USA D. P."

This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013. The 126 revised full papers presented in both volumes were carefully reviewed and selected from 665 submissions. The papers are organized in topical sections on Internet computing and applications; engineering management and applications; Intelligent computing and applications; business intelligence and applications; knowledge management and applications; information management system; computational statistics and applications.

This book constitutes the refereed proceedings of the Third International Conference on Computational Logistics, held in Shanghai, China, in September 2012. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on maritime shipping; logistics and supply chain management; planning and operations; and case studies.

This book constitutes the refereed proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. The 29 revised papers presented together with 4 invited talks and 7 poster papers were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on MPI implementation techniques and issues; benchmarking and performance analysis; programming models and new architectures; run-time support; fault-tolerance; message-passing algorithms; message-passing applications; IMUDI, improving MPI user and developer interaction.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012. The 423 regular session papers presented were carefully reviewed and selected from numerous submissions. These papers cover all major topics of theoretical research, empirical study and applications of neural information processing research. The 5 volumes represent 5 topical sections containing articles on theoretical analysis, neural modeling, algorithms, applications, as well as simulation and synthesis.

The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012. The 423 regular session papers presented were carefully reviewed and selected from numerous submissions. These papers cover all major topics of theoretical research, empirical study and applications of neural information processing research. The 5 volumes represent 5 topical sections containing articles on theoretical analysis, neural modeling, algorithms, applications, as well as simulation and synthesis.

"This book is concerned with a probabilistic approach for image analysis, mostly from the Bayesian point of view, and the important Markov chain Monte Carlo methods commonly used....This book will be useful, especially to researchers with a strong background in probability and an interest in image analysis. The author has presented the theory with rigor he doesn t neglect applications, providing numerous examples of applications to illustrate the theory." -- MATHEMATICAL REVIEWS"

The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology; modeling and simulation technology on synthesized environment and virtual reality environment; pervasive computing and simulation technology; embedded computing and simulation technology; verification, validation and accreditation technology; networked modeling and simulation technology; modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system; high performance computing and simulation technology; cloud simulation technology; modeling and simulation technology of complex system and open, complex, huge system; simulation based acquisition and virtual prototyping engineering technology; simulator; simulation language and intelligent simulation system; parallel and distributed software; CAD, CAE, CAM, CIMS, VP, VM, and VR; visualization; computing and simulation applications in science and engineering; computing and simulation applications in management, society and economics; computing and simulation applications in life and biomedical engineering; computing and simulation applications in energy and environment; computing and simulation applications in education; computing and simulation applications in military field; computing and simulation applications in medical field.

The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology; modeling and simulation technology on synthesized environment and virtual reality environment; pervasive computing and simulation technology; embedded computing and simulation technology; verification, validation and accreditation technology; networked modeling and simulation technology; modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system; high performance computing and simulation technology; cloud simulation technology; modeling and simulation technology of complex system and open, complex, huge system; simulation based acquisition and virtual prototyping engineering technology; simulator; simulation language and intelligent simulation system; parallel and distributed software; CAD, CAE, CAM, CIMS, VP, VM, and VR; visualization; computing and simulation applications in science and engineering; computing and simulation applications in management, society and economics; computing and simulation applications in life and biomedical engineering; computing and simulation applications in energy and environment; computing and simulation applications in education; computing and simulation applications in military field; computing and simulation applications in medical field.

The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology; modeling and simulation technology on synthesized environment and virtual reality environment; pervasive computing and simulation technology; embedded computing and simulation technology; verification, validation and accreditation technology; networked modeling and simulation technology; modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system; high performance computing and simulation technology; cloud simulation technology; modeling and simulation technology of complex system and open, complex, huge system; simulation based acquisition and virtual prototyping engineering technology; simulator; simulation language and intelligent simulation system; parallel and distributed software; CAD, CAE, CAM, CIMS, VP, VM, and VR; visualization; computing and simulation applications in science and engineering; computing and simulation applications in management, society and economics; computing and simulation applications in life and biomedical engineering; computing and simulation applications in energy and environment; computing and simulation applications in education; computing and simulation applications in military field; computing and simulation applications in medical field.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eleventh issue contains 9 carefully selected and thoroughly revised contributions.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This, the sixth issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains eight extended and revised versions of papers selected from those presented at DEXA 2011. Topics covered include skyline queries, probabilistic logics and reasoning, theory of conceptual modeling, prediction in networks of moving objects, validation of XML integrity constraints, management of loosely structured multi-dimensional data, data discovery in the presence of annotations, and quality ranking for Web articles.

This book constitutes the refereed proceedings of the Third International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2012, held in Tsukuba, Japan, in November 2012. The 33 revised full papers and presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. Ten papers describe design of complex behaviors of autonomous robots, 9 address software layers, 8 papers refer to related modeling and learning. The papers are organized in topical sections on mobile robots, software modeling and architecture and humanoid and biped robots.

This book constitutes the refereed proceedings of the 15th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2012, held in Varna, Bulgaria in September 2012. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on natural language processing, social networks, knowledge representation and reasoning, machine learning, planning and agents, search, and computer vision.

Our book introduces a method to evaluate the accuracy of trend estimation algorithms under conditions similar to those encountered in real time series processing. This method is based on Monte Carlo experiments with artificial time series numerically generated by an original algorithm. The second part of the book contains several automatic algorithms for trend estimation and time series partitioning. The source codes of the computer programs implementing these original automatic algorithms are given in the appendix and will be freely available on the web. The book contains clear statement of the conditions and the approximations under which the algorithms work, as well as the proper interpretation of their results. We illustrate the functioning of the analyzed algorithms by processing time series from astrophysics, finance, biophysics, and paleoclimatology. The numerical experiment method extensively used in our book is already in common use in computational and statistical physics.

Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, and builds up a hierarchy of novel, flexible techniques to make measurements and reconstruct three-dimensional scenes from uncalibrated images, paying particular attention to the accuracy of the reconstruction. This book includes examples of interesting viable applications (eg. Forensic Science, History of Art, Virtual Reality, Architectural and indoor measurements), presented in a simple way, accompanied by pictures, diagrams and plenty of worked examples to help the reader understand and implement the algorithms.

Computer-aided-design (CAD) of semiconductor microtransducers is relatively new in contrast to their counterparts in the integrated circuit world. Integrated silicon microtransducers are realized using microfabrication techniques similar to those for standard integrated circuits (ICs). Unlike IC devices, however, microtransducers must interact with their environment, so their numerical simulation is considerably more complex. While the design of ICs aims at suppressing "parasitic effects, microtransducers thrive on optimizing the one or the other such effect. The challenging quest for physical models and simulation tools enabling microtransducer CAD is the topic of this book. It is intended as a text for graduate students in Electrical Engineering and Physics and as a reference for CAD engineers in the microsystems industry. This text evolved from a series of courses offered to graduate students from Electrical Engineering and Physics. Much of the material in the book can be presented in about 40 hours of lecture time. The book starts with an illustrative example which highlights the goals and benefits of microtransducer CAD. This follows with a summary of model equations describing electrical transport in semiconductor devices and microtransducers in the absence of external fields. Models treating the effects of the external radiant, magnetic, thermal, and mechanical fields on electrical transport are then systematically introduced. To enable a smooth transition into modeling of mechanical systems, an abridged version of solid structural and fluid mechanics is presented, whereby the focus is on pertinent model equations and boundary conditions. This follows with model equations and boundary conditions relevant to various types of mechanical microactuators including electrostatic, thermal, magnetic, piezoelectric, and electroacoustic. The book concludes with a glimpse into SPICE simulation of the mixed-signal microsystem, i.e., microtransducer plus circuitry. Where possible, the model equations are supplemented with tables and/or graphs of process-dependent material data to enable the CAD engineer to carry out simulations even when reliable material models are not available. IVZ LANG: Introduction: Modeling and Simulation of Microtransducers; Illustrative Example; Progress in Microtransducer Modeling; References.- Basic Electronic Transport: Poisson s Equation; Continuity Equations; Carrier Transport in Crystalline Materials and Isothermal Behavior; Electrical Conductivity and Isothermal Behavior in Polycrystalline Materials; Electrical Conductivity and Isothermal Behavior in Metals; Boundary and Interface Conditions; The External Fields What Do They Influence?; References.- Radiation Effects on Carrier Transport: Reflection and Transmission of Optical Signals; Modeling Optical Absorption in Intrinsic Semiconductors; Absorption in Heavily-Doped Semiconductors; Optical Generation Rate and Quantum Efficiency; Low Energy Interactions with Insulators and Metals; High Energy Interactions and Monte Carlo Simulations; Model Equations for Radiant Sensor Simulation; Illustrative Simulation Example Color Sensor; References.- Magnetic-Field Effects on Carrier Transport: Galvanomagnetic Transport Equation; Galvanomagnetic Transport Coefficients; Equations and Boundary Conditions for Magnetic Sensor Simulation; Illustrative Simulation Example Micromachined Magnetic Vector Probe; References.- Thermal Non-Uniformity Effects on Carrier Transport: Non-Isothermal Effects; Electrothermal Transport Model; Electrical and Thermal Transport Coefficients; Electro-Thermo-Magnetic Interactions; Heat Transfer in Thermal Microstructures; Summary of Equations and Computational Procedure; Illustrative Simulation Example Micro Pirani Gauge; References.- Mechanical Effects on Carrier Transport: Piezoresistive Effect; Strain and Electron Transport; Strain and Hole Transport; Piezojunction Effect; Effects of Stress Gradients; Galvano-Piezo-Magnetic Effects; The Piezo Drift-Diffusion Transport Model; Illustrative Simulation Example Stress Effects on Hall Sensors; References.- Mechanical and Fluidic Signals: Definitions; Model Equations for Mechanical Analysis; Model Equations for Analysis of Fluid Transport; Illustrative Simulation Example Analysis of Flow Channels; References.- Micro-Actuation: Transduction Principles; State-of-the-Art and Preview; Electrostatic Actuation; Thermal Actuation; Magnetic Actuation; Piezoelectric Actuation; Electroacoustic Transducers; Computational Procedure and Coupling; Illustrative Example CMOS Micromirror.- Microsystem Simulation: Electrical Analogues for Mixed-Signals and Historical Developments; Circuit Modeling and Implementation Considerations; Lumped Analysis: Illustrative Example Electrostatic Micromirror; Distributed Analysis: Illustrative Example Flow Microsensor; References.- Subject Index."