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

This book is thematically positioned at the intersections of Urban Design, Architecture, Civil Engineering and Computer Science, and it has the goal to provide specialists coming from respective fields a multi-angle overview of state-of-the-art work currently being carried out. It addresses both newcomers who wish to obtain more knowledge about this growing area of interest, as well as established researchers and practitioners who want to keep up to date. In terms of organization, the volume starts out with chapters looking at the domain at a wide-angle and then moves focus towards technical viewpoints and approaches.

This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together with 13 short papers, 6 poster papers and 3 keynotes were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on understandability and cognitive approaches; conceptual modeling for datawarehousing and business intelligence; extraction, discovery and clustering; search and documents; data and process modeling; ontology based approaches; variability and evolution; adaptation, preferences and query refinement; queries, matching and topic search; and conceptual modeling in action.

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.

Just a few years ago, virtual reality was regarded as more a toy than a tool. Today, however, it is becoming the enabling technology for man-machine communications. The rapid development of graphics hardware and soft ware makes its application possible. Besides building walkthroughs and landscape fly-overs with very realistic visual effects, we can recognize the trend toward industrial applications. This is because of the emerging need for tools for rapid product development. Especially in the aeronautical and automotive industries, companies have began to investigate and develop virtual reality tools for their own needs in co-operation with research or ganizations. In co-operation with the Fraunhofer Institute for Computer Graphics (IGD), the Computer Graphics Center (ZGDV) in Darmstadt established the German working group on virtual reality in 1993 as a forum for infor mation exchange between industry and research. German researchers, system developers, and industrial users have met several times in Darm stadt at the Computer Graphics Center. In these meetings they discussed the essential issues inherent in applying virtual reality to industrial appli cations and exchanged their latest research results and experiences.

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Virtual Agents, IVA 2012, held in Santa Cruz, CA, USA, in September 2012. The 17 revised full papers presented together with 31 short papers and 18 poster papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on IVAs on learning environments; emotion and personality; evaluation and empirical studies; multimodal perception and expression; narrative and interactive applications; social interaction; authoring and tools; conceptual frameworks.

This book constitutes the refereed proceedings of the 10th International Conference on Pervasive Computing, Pervasive 2012, held in Newcastle, UK, in June 2012. The 28 revised papers presented were carefully reviewed and selected from 138 submissions. The contributions are grouped into the following topical sections: activity capturing; urban mobility and computing; home and energy; HCI; development tools and devices; indoor location and positioning; social computing and games; privacy; public displays and services.

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