This book is for a general scientific and engineering audience as a guide to current ideas, methods, and models for stochastic modeling of microstructures. It is a reference for professionals in material modeling, mechanical engineering, materials science, chemical, civil, environmental engineering and applied mathematics.

This user's reference is a companion to the separate book also titled "Guide to Modelling and Simulation of Systems of Systems." The principal book explicates integrated development environments to support virtual building and testing of systems of systems, covering in some depth the MS4 Modelling Environment (TM). This user's reference provides a quick reference and exposition of the various concepts and functional features covered in that book. The topics in the user's reference are grouped in alignment with the workflow displayed on the MS4 Modeling Environment (TM) launch page, under the headings Atomic Models, System Entity Structure, Pruning SES, and Miscellaneous. For each feature, the reference discusses why we use it, when we should use it, and how to use it. Further comments and links to related features are also included.

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.

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 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.

Mobile Intention Recognition addresses problems of practical relevance for mobile system engineers: how can we make mobile assistance systems more intelligent? How can we model and recognize patterns of human behavior which span more than a limited spatial context? This text provides an overview on plan and intention recognition, ranging from the late 1970s to very recent approaches. This overview is unique as it discusses approaches with respect to the specificities of mobile intention recognition. This book covers problems from research on mobile assistance systems using methods from artificial intelligence and natural language processing. It thus addresses an extraordinary interdisciplinary audience.

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.

This book constitutes the proceedings of the 10th German Conference on Multiagent System Technologies held in Trier Germany, in October 2012. The 7 revised full papers presented together with 6 short parers and one invited paper were carefully reviewed and selected from 39 submissions. The paper cover various research topics in intelligent agents and multi-agent-systems. In particular, the conference investigated technologies for truly open distributed systems covering a wide spectrum of approaches from self-organization and autonomous systems to agreement computing.

As the use and relevance of robotics for countless scientific purposes grows all the time, research into the many diverse elements of the subject becomes ever more important and in demand. This volume examines in depth the most topical, complex issues of modelling and identification in robotics. The book is divided into three main parts. The !first part is devoted to robot dynamics modelling and identification of robot and load parameters, incorporating friction torques, discussing identification schemes, and presenting simulations and experiment al results of robot and load dynamic parameters identification. A general concept of robot programming language for research and educational purposes is examined and there is a detailed outline of its basic structures along with hardware requirements, which both constitute an open robot controller architecture. Finally a hybrid controller is derived, and several experimental results of this system are outlined. This impressive discussion of the topic covers both the theoretical and practical, illustrated throughout by examples and experimental results, and will be of value to anyone researching or practising within the field of robotics, automation and system i dentification or to control engineers.

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 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.

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 constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Energy Efficient Data Centers (E2DC 2012) held in Madrid, Spain, in May 2012. The 13 revised full papers presented were carefully selected from 32 submissions. The papers cover topics from information and communication technologies of green data centers to business models and GreenSLA solutions. The first section presents contributions in form of position and short papers, related to various European projects. The other two sections comprise papers with more in-depth technical details. The topics covered include energy-efficient data center management and service delivery as well as energy monitoring and optimization techniques for data centers.

This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers presented were carefully reviewed and selected from 148 abstracts and 126 full papers submissions. The papers are organized in topical sections onmodeling and reasoning, fundamentals of conceptual modeling, business process modeling, network modeling, data semantics, security and optimization, ontology-based modeling, searching and mining, conceptual modeling and applications, demonstration papers."

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.

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.

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."

This book deals with one of the most novel advances in natural computing, namely, in the field of tactile sense analysis. Massage, which provides relaxation and stimulation for human beings, is analyzed in this book for the first time by encoding the motions and tactile senses involved. The target audience is not limited to researchers who are interested in natural computing but also includes those working in ergonomic design, biomedical engineering, Kansei engineering, and cognitive science.

The research work of the collaborative research center SFB401 Flow Modulation and Fluid-Structure Interaction at Airplane Wings at the Rheinisch-Westfalische Technische Hochschule (RWTH) Aachen, which is reported in this book, was pos sible due to the financial support of the Deutsche Forschungsgemeinschaft (DFG). The proposal has been approved after evaluation by the referees of DFG selected from other universities and industry, which is gratefully acknowledged. The work is still in progress and now approved to continue until the end of year 2005. More than 50 scientists from universities of the United States, Russia, France, Italy, Japan, Great Britain, Sweden, Netherlands, Switzerland, Austria and research orga nizations NASA, ONERA, NLR, DLR could be invited and have visited the research center, gave seminars on their research on related topics and some of them stayed longer for joined work. Besides its scientific value, also the importance of the pro gram for scientific educa tion becomes evident by looking at the numbers of completed theses, which are up to now about 15 doctoral theses, 40 diploma theses and 70 study theses. The authors of this book acknowledge the valuable support coming from all these persons and institutions. They are especially grateful to the referees having reviewed this work, A. Cohen (Universite Pierre et Marie Curie), J. Cooper (Manchester School of Engineering), W. Devenport (Virginia Tech.), M. Drela (MIT), F. Gern (Avionics Specialties Inc.), A. Griewank (TU Dresden), H. Honlinger (DLR), P."

Evolutionary algorithms (EAs) are becoming increasingly attractive for researchers from various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science, economics, etc. This book presents an insightful, comprehensive, and up-to-date treatment of EAs, such as genetic algorithms, differential evolution, evolution strategy, constraint optimization, multimodal optimization, multiobjective optimization, combinatorial optimization, evolvable hardware, estimation of distribution algorithms, ant colony optimization, particle swarm optimization, artificial immune systems, artificial life, genetic programming, etc.

It emphasises the initiative ideas of the algorithm, contains discussions in the contexts, and suggests further readings and possible research projects. All the methods form a pedagogical way to make EAs easy and interesting.

This textbook also introduces the applications of EAs as many as possible. At least one real-life application is introduced by the end of almost every chapter. The authors focus on the kernel part of applications, such as how to model real-life problems, how to encode and decode the individuals, how to design effective search operators according to the chromosome structures, etc.

This textbook adopts pedagogical ways of making EAs easy and interesting. Its methods include an introduction at the beginning of each chapter, emphasising the initiative, discussions in the contexts, summaries at the end of every chapter, suggested further reading, exercises, and possible research projects.

Introduction to Evolutionary Algorithms will enable students to:

establish a strong background on evolutionary algorithms;

appreciate the cutting edge of EAs;

perform their own research projects by simulating the application introduced in the book; and

apply their intuitive ideas to academic search.

This book is aimed at senior undergraduate students or first-year graduate students as a textbook or self-study material."

The "European Experiment on the Transport and Transformation of Environmentally Relevant Trace Constituents over Europe" (EUROTRAC) was established in 1986 to tackle the scientific problem and combine the expertise, knowledge and resources in Europe, in order to apply them over a large region covering the greater part of the continent. EUROTRAC is a coordinated multidisciplinary scientific research project involving field measurements, laboratory studies, instrument development and development of comprehensive computer models for the simulation of the physical and chemical processes in the lower atmosphere.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.