This book constitutes the refereed proceedings of the 10th International Symposium on Algorithmic Game Theory, SAGT 2017, held in L'Aquila, Italy, in September 2017. The 30 full papers presented were carefully reviewed and selected from 66 submissions. The papers cover various important aspects of algorithmic game theory such as auctions, computational aspects of games, congestion games, network and opinion formation games, mechanism design, incentives and regret minimization, and resource allocation.

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.

Understand Blender's Python API to allow for precision 3D modeling and add-on development. Follow detailed guidance on how to create precise geometries, complex texture mappings, optimized renderings, and much more. This book is a detailed, user-friendly guide to understanding and using Blender's Python API for programmers and 3D artists. Blender is a popular open source 3D modeling software used in advertising, animation, data visualization, physics simulation, photorealistic rendering, and more. Programmers can produce extremely complex and precise models that would be impossible to replicate by hand, while artists enjoy numerous new community-built add-ons. The Blender Python API is an unparalleled programmable visualization environment. Using the API is made difficult due to its complex object hierarchy and vast documentation. Understanding the Blender Python API clearly explains the interface. You will become familiar with data structures and low-level concepts in both modeling and rendering with special attention given to optimizing procedurally generated models. In addition, the book: Discusses modules of the API as analogs to human input modes in Blender Reviews low-level and data-level manipulation of 3D objects in Blender Python Details how to deploy and extend projects with external libraries Provides organized utilities of novel and mature API abstractions for general use in add-on development What You'll Learn Generate 3D data visualizations in Blender to better understand multivariate data and mathematical patterns. Create precision object models in Blender of architectural models, procedurally generated landscapes, atomic models, etc. Develop and distribute a Blender add-on, with special consideration given to careful development practices Pick apart Blender's 3D viewport and Python source code to learn about API behaviors Develop a practical knowledge of 3D modeling and rendering concepts Have a practical reference to an already powerful and vast API Who This Book Is For Python programmers with an interest in data science, game development, procedural generation, and open-source programming as well as programmers of all types with a need to generate precise 3D models. Also for 3D artists with an interest in programming or with programming experience and Blender artists regardless of programming experience.

This book constitutes the refereed proceedings of the 4th International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 13 workshop papers were carefully reviewed and selected for inclusion in this volume. They aim at reviewing the state-of-the-art techniques, sharing the novel and emerging analysis and visualization techniques and discussing the clinical challenges and open problems in this rapidly growing field - including all major aspects of problems related to spine imaging, including clinical applications of spine imaging, computer aided diagnosis of spine conditions, computer aided detection of spine-related diseases, emerging computational imaging techniques for spinal diseases, fast 3D reconstruction of spine, feature extraction, multiscale analysis, pattern recognition, image enhancement of spine imaging, image-guided spine intervention and treatment, multimodal image registration and fusion for spine imaging, novel visualization techniques, segmentation techniques for spine imaging, statistical and geometric modeling for spine and vertebra, spine and vertebra localization.

The tools and techniques you need to break the analog design bottleneck!

Ten years ago, analog seemed to be a dead-end technology. Today, System-on-Chip (SoC) designs are increasingly mixed-signal designs. With the advent of application-specific integrated circuits (ASIC) technologies that can integrate both analog and digital functions on a single chip, analog has become more crucial than ever to the design process. Today, designers are moving beyond hand-crafted, one-transistor-at-a-time methods. They are using new circuit and physical synthesis tools to design practical analog circuits; new modeling and analysis tools to allow rapid exploration of system level alternatives; and new simulation tools to provide accurate answers for analog circuit behaviors and interactions that were considered impossible to handle only a few years ago.

To give circuit designers and CAD professionals a better understanding of the history and the current state of the art in the field, this volume collects in one place the essential set of analog CAD papers that form the foundation of today’s new analog design automation tools. Areas covered are:

• Analog synthesis
• Symbolic analysis
• Analog layout
• Analog modeling and analysis
• Specialized analog simulation
• Circuit centering and yield optimization
• Circuit testing

Computer-Aided Design of Analog Integrated Circuits and Systems is the cutting-edge reference that will be an invaluable resource for every semiconductor circuit designer and CAD professional who hopes to break the analog design bottleneck.

REVIEWS IN COMPUTATIONAL CHEMISTRY

Kenny B. Lipkowitz, Raima Larter, and Thomas R. Cundari

This volume, like those prior to it, features chapters by experts in various fields of computational chemistry. TOPICS COVERED IN Volume 21 iNCLUDE AB INITIO QUANTUM SIMULATION IN SOLID STATE CHEMISTRY; MOLECULAR QUANTUM SIMILARITY; ENUMERATING MOLECULES; VARIABLE SELECTION; BIOMOLECULAR APPLICATIONS OF POISSON-BOLTZMANN METHODS; AND DATA SOURCES AND COMPUTATIONAL APPROACHES FOR GENERATING MODELS OF GENE REGULATORY NETWORKS.

FROM REVIEWS OF THE SERIES

"Reviews in Computational Chemistry remains the most valuable reference to methods and techniques in computational chemistry."
--JOURNAL OF MOLECULAR GRAPHICS AND MODELLING

"One cannot generally do better than to try to find an appropriate article in the highly successful Reviews in Computational Chemistry. The basic philosophy of the editors seems to be to help the authors produce chapters that are complete, accurate, clear, and accessible to experimentalists (in particular) and other nonspecialists (in general)."
--JOURNAL OF THE AMERICAN CHEMICAL SOCIETY

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications.

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today's agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals. This book, the first volume in the series, contains contributions by the members of the editorial board. These contributions indicate the envisioned style and range of papers of topics covered by the transactions series. They cross-cut various traditional research directions and are characterized by a clear focus on change.

This book constitutes the proceedings of the 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, held in Fez, Morocco, in September 2014. The 45 full papers and 4 invited talks presented in this volume were carefully reviewed and selected from 59 submissions. This volume contains invited contributions and accepted papers from the main track and from the three organized workshops. The first part is organized according to three topics: (1) Cellular Automata Theory and Implementation (2) Cellular Automata Dynamics and Synchronization, (3) Asynchronous Cellular Automata and Asynchronous Discrete Models - ACA. The second part of the volume contains three topics: (4) Modelling and Sim-ulation with Cellular Automata (5) Crowds, Traffic and Cellular Automata -CT&CA (6) Agent-Based Simulation and Cellular Automata - ABS&CA.

This book constitutes the refereed proceedings of the Third International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015. The 9 workshop papers and 6 challenge contributions were carefully reviewed and selected for inclusion in this volume. The papers cover all major aspects related to spine imaging.

The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016. The 239 revised full papers and 14 short papers presented at 33 workshops were carefully reviewed and selected from 849 submissions. They are organized in five thematical tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies.

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

The 2-volume set LNCS 9768 and 9769 constitutes the refereed proceedings of the Third International Conference on Augmented Reality, Virtual Reality and Computer Graphics, AVR 2016, held in Lecce, Italy, in June 2016. The 40 full papers and 29 short papers presented werde carefully reviewed and selected from 131 submissions. The SALENTO AVR 2016 conference intended to bring together researchers, scientists, and practitioners to discuss key issues, approaches, ideas, open problems, innovative applications and trends on virtual and augmented reality, 3D visualization and computer graphics in the areas of medicine, cultural heritage, arts, education, entertainment, industrial andmilitary sectors.

This book summarizes recent advances in robotics using 3D printers and rapid prototyping as a concept development tool. The book is focused on industrial applications, educational aspects, rehabilitation, and other related topics. In particular, the book is intended to offer the reader a smooth yet deep introduction to the use of 3D printers and rapid prototyping techniques as a solution to robotics and mechatronics problems, highlighting successful case studies.

This book constitutes the proceedings of the 10th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, held in San Sebastian, Spain, in June 2016. The 13 papers presented together with 2 keynote papers, 2 invited papers, and 1 demo paper in this volume were carefully reviewed and selected from 17 initial submissions. The contributions are organized in topical sections named: road, rail, and air.

This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Munster, Germany, in April 2016. The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of performance evaluation, dependability, and fault-tolerance of computer and communication systems. A relatively new topic of smart grids is also covered.

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.

This book constitutes the refereed proceedings of the 10th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2015, in Munich, Germany in October 2015. The 15 revised full papers presented were carefully reviewed and selected from 21 submissions. The objective of the AE-CAI workshop was to attract scientific contributions that offer solutions to the technical problems in the area of augmented and virtual environments for computer-assisted interventions, and to provide a venue for dissemination of papers describing both complete systems and clinical applications.

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Curves and Surfaces, held in Paris, France, in June 2014. The conference had the overall theme: "Representation and Approximation of Curves and Surfaces and Applications". The 32 revised full papers presented were carefully reviewed and selected from 39 submissions. The scope of the conference was on following topics: approximation theory, computer-aided geometric design, computer graphics and visualization, computational geometry and topology, geometry processing, image and signal processing, interpolation and smoothing, mesh generation, finite elements and splines, scattered data processing and learning theory, sparse and high-dimensional approximation, subdivision, wavelets and multi-resolution method.

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

This work presents modern implementations of relevant molecular dynamics algorithms using ls1 mardyn, a simulation program for engineering applications. The text focuses strictly on HPC-related aspects, covering implementation on HPC architectures, taking Intel Xeon and Intel Xeon Phi clusters as representatives of current platforms. The work describes distributed and shared-memory parallelization on these platforms, including load balancing, with a particular focus on the efficient implementation of the compute kernels. The text also discusses the software-architecture of the resulting code.

This tutorial on the application of the open-source software OpenGeoSys (OGS) in computational hydrology is based on a one-week training course at the Helmholtz Centre for Environmental Research in Leipzig, Germany. It provides general information regarding hydrological and groundwater flow modeling and the pre-processing and step-by-step model setups of a case study with OGS and related components such as the OGS Data Explorer. The tutorial also illustrates the application of pre- and post-processing tools such as ArcGIS and ParaView. This book is intended primarily for graduate students and applied scientists who deal with hydrological-system analysis and hydrological modeling. It is also a valuable source of information for practicing hydrologists wishing to further their understanding of the numerical modeling of coupled hydrological-hydrogeological systems. This tutorial is the first in a series that will present further OGS applications in environmental sciences.

Get up and running with AutoCAD using Gindis' combination of step-by-step instruction, examples and insightful explanations. The emphasis from the beginning is on core concepts and practical application of AutoCAD in engineering, architecture, and design. Equally useful in instructor-led classroom training, self-study, or as a professional reference, the book is written with the user in mind by a long-time AutoCAD professional and instructor based on what works in the industry and the classroom.

This volume constitutes the refereed proceedings of the Second International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2014, held in Ypsilanti, MI, China, in December 2014. The 73 papers presented were carefully reviewed and selected from 296 submissions. The papers are divided into topical sections on smart city in resource management and sustainable ecosystem; spatial data acquisition through RS and GIS in resource management and sustainable ecosystem; ecological and environmental data processing and management; advanced geospatial model and analysis for understanding ecological and environmental process; applications of geo-informatics in resource management and sustainable ecosystem.