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

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.

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.

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 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 thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016. The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.

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 refereed proceedings of the 12th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2016, held in Ljubljana, Slovenia, in June 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections on formal approaches and human-centric approaches.

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.

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.

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.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Energy Efficient Data Centers, E2DC 2014, held in Cambridge, UK, in June 2014. The 10 revised full papers presented were carefully selected from numerous submissions. They are organized in three topical sections named: energy optimization algorithms and models, the future role of data centres in Europe and energy efficiency metrics for data centres.

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 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 of Advances in Intelligent Systems and Computing contains papers presented at the 1st European-Middle Asian Conference on Computer Modelling, EMACOM 2015. This international conference was conceived as a brand new scientific and social event of mutual collaboration between the VSB - Technical University of Ostrava (Ostrava, Czech Republic) and the Kyrgyz National University named after J. Balasagyn (Bishkek, Kyrgyz Republic). The aim of EMACOM 2015 was to present the latest development in the field of computer-aided modelling as an essential aspect of research and development of innovative systems and their applications. The conference showed that together with simulations, various modeling techniques, enabled and encouraged by the rapid development of high-performance computing platforms, are crucial for cost-efficient design, verification, and prototyping of solutions in many diverse industrial fields spanning the whole range from manufacturing, mining, machinery, and automotive industries to infrastructure planning and development, economics, energy, and modern agriculture and food industry.

Beginning Design for 3D Printing is the full color go-to-guide for creating just about anything on a 3D printer. This book will demystify the design process for 3D printing, providing the proper workflows for those new to 3D printing, eager artists, seasoned engineers, 3D printing entrepreneurs, and first-time owners of 3D printers to ensure original ideas can be 3D printed. Beginning Design for 3D Printing explores a variety of 3D printing projects. Focus is on the use of freely available 3D design applications with step-by-step techniques that will demonstrate how to create a wide variety of 3D printable objects and illustrate the differences between splines, polygons, and solids. Users will get a deep understanding of a wide range modeling applications. They'll learn the differences between organic modeling tools, hard edge modeling, and precision, CAD-based techniques used to make 3D printable designs, practical products, and personalized works of art. Whether you are a student on a budget or a company exploring R & D options for 3D printing, Beginning Design for 3D Printing will provide the right tools and techniques to ensure 3D printing success.

Robert Axelrod is widely known for his groundbreaking work in game theory and complexity theory. He is a leader in applying computer modeling to social science problems. His book "The Evolution of Cooperation" has been hailed as a seminal contribution and has been translated into eight languages since its initial publication. The "Complexity of Cooperation" is a sequel to that landmark book. It collects seven essays, originally published in a broad range of journals, and adds an extensive new introduction to the collection, along with new prefaces to each essay and a useful new appendix of additional resources. Written in Axelrod's acclaimed, accessible style, this collection serves as an introductory text on complexity theory and computer modeling in the social sciences and as an overview of the current state of the art in the field.

The articles move beyond the basic paradigm of the Prisoner's Dilemma to study a rich set of issues, including how to cope with errors in perception or implementation, how norms emerge, and how new political actors and regions of shared culture can develop. They use the shared methodology of agent-based modeling, a powerful technique that specifies the rules of interaction between individuals and uses computer simulation to discover emergent properties of the social system. "The Complexity of Cooperation" is essential reading for all social scientists who are interested in issues of cooperation and complexity

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 book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 60 submissions. The papers cover several software engineering areas where software reuse is important, such as software product lines, domain analysis, open source, components, cloud, quality.

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.

A practical guide to SketchUp addressing the specific needs of interior designers Already a common and popular tool for architects and landscape architects, SketchUp is increasingly finding a place in the professional workflow of interior designers. SketchUp for Interior Design is a practical introduction for interior designers and students who want to learn to use the software for their unique needs. The book covers the basics of creating 3D models before showing how to create space plans, model furniture, cabinetry, and accessories, experiment with colors and materials, incorporate manufacturers' models into project plans, and create final presentations and animated walk-throughs for clients. Each chapter includes clear explanations and helpful illustrations to make this an ideal introduction to the topic. * Includes downloadable sample models and 39 tutorial videos * Features sample questions and activities for instructors and additional online resources for students and self-learners * Provides instruction on using SketchUp in both PC and Mac formats

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.