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.

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

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.

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.

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

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

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision: Algorithms for Big Data, MCV 2014, held in Cambridge, MA, USA, in September 2019, in conjunction with the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014. The one-day workshop aimed at exploring the use of modern computer vision technology and "big data" algorithms in tasks such as automatic segmentation and registration, localization of anatomical features and detection of anomalies emphasizing questions of harvesting, organizing and learning from large-scale medical imaging data sets and general-purpose automatic understanding of medical images. The 18 full and 1 short papers presented in this volume were carefully reviewed and selected from 30 submission.

The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical technique that greatly simplifies the setting of input parameters in numerical simulations. Moreover, scaling enhances the understanding of how different physical processes interact in a differential equation model. Compared to the existing literature, where the topic of scaling is frequently encountered, but very often in only a brief and shallow setting, the present book gives much more thorough explanations of how to reason about finding the right scales. This process is highly problem dependent, and therefore the book features a lot of worked examples, from very simple ODEs to systems of PDEs, especially from fluid mechanics. The text is easily accessible and example-driven. The first part on ODEs fits even a lower undergraduate level, while the most advanced multiphysics fluid mechanics examples target the graduate level. The scientific literature is full of scaled models, but in most of the cases, the scales are just stated without thorough mathematical reasoning. This book explains how the scales are found mathematically. This book will be a valuable read for anyone doing numerical simulations based on ordinary or partial differential equations.

This book constitutes the refereed proceedings of the 14th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2014, held in Santiago de Chile, Chile, in November 2014. The 64 papers presented were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections: knowledge engineering, knowledge representation and probabilistic reasoning; planning and scheduling; natural language processing; machine learning; fuzzy systems; knowledge discovery and data mining; bio-inspired computing; robotics; vision; multi-agent systems; agent-based modeling and simulation; AI in education, affective computing, and human-computer interaction; applications of AI; and ambient intelligence.

Why a book about logs? That's easy: the humble log is an abstraction that lies at the heart of many systems, from NoSQL databases to cryptocurrencies. Even though most engineers don't think much about them, this short book shows you why logs are worthy of your attention. Based on his popular blog posts, LinkedIn principal engineer Jay Kreps shows you how logs work in distributed systems, and then delivers practical applications of these concepts in a variety of common uses - data integration, enterprise architecture, real-time stream processing, data system design, and abstract computing models. Go ahead and take the plunge with logs; you're going love them. Learn how logs are used for programmatic access in databases and distributed systems Discover solutions to the huge data integration problem when more data of more varieties meet more systems Understand why logs are at the heart of real-time stream processing Learn the role of a log in the internals of online data systems Explore how Jay Kreps applies these ideas to his own work on data infrastructure systems at LinkedIn

This book constitutes the refereed proceedings of the 7th International Conference on Functional Imaging and Modeling of the Heart, held in London, UK, in June 2013. The 58 revised full papers were carefully reviewed and selected from numerous initial submissions. The focus of the papers is on following topics: image driven modeling, biophysical modeling, image analysis, biophysical modeling, cardiac imaging, parameter estimation, modeling methods, and biomedical engineering.

An Introduction to Computer Graphics for Artists is an application-independent, reader-friendly primer for anyone with a serious desire to understand 3D Computer Graphics. Written by a veteran of the computer graphics industry whose previous career included film animation and various spells as Art Director for video games, Andrew Paquette draws on his experiences both as an artist and a manager. Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics. The result is inefficiency and lower quality of work. This book addresses these issues by providing fundamental information in a university course format, with theoretical material, detailed illustrations, and projects to test the reader's understanding of the concepts covered. Opening with the first and most basic elements of computer graphics, the book rapidly advances into progressively more complex concepts. Each of the elements, however simple, are important to understand because each is an essential link in a chain that allows an artist to master any computer graphics application. With this accomplished, the artist can use technology to satisfy his goals, instead of the technology being master of the artist. All students wanting to learn more about computer graphics from an artistic viewpoint, particularly those intending to pursue a career in computer game design or film animation, will find this book invaluable.

Due to its comprehensive tool-set and great potential for 3D modeling, more and more architectural design and interior design firms are adapting Autodesk Maya and integrating it into their practice. There has been no book aimed at architects and designers who wish to harness the opportunities presented by this software, until now..... The book promotes parametric design. It integrates the theoretical research of computational design and Maya non-linear modeling techniques associated with simulation, animation, digital fabrication and form-finding within 2D & 3D design. Readers will learn: How to use Maya polygon and NURBS modeling tools to create non-linear procedural model. How to use Maya driver keys and relationship tools to generate parametrically negotiable solutions across various design professions. The design logic and generative processes, as well as the potential of parametric thinking as a resourceful tool for achieving diversity and complexity in form generation and fabrication. How to use Maya to prepare files for rapid prototyping and the integration of Maya into various fabrication techniques such as laser cutting, CNC milling, and 3D printing. How to create a digital simulation to simulate all aspects of surface properties and dynamic forces with Maya physics engine. How to use Maya skeleton system and animation tools to control complex architectural forms. How to create photo-realistic renderings with Maya lighting, material and texture mapping. Using several real projects as examples, the book will go through the entire rendering process step by step. How to combine Maya with various CAD/BIM tools to create an efficient design pipeline. How to use Maya MEL script to create customized tools and interface. The book includes case studies from Zaha Hadid Architects, Greg Lynn Form, Gage Clemenceau Architects, Tang & Yang Architects, as well as step by step exercises, demonstration projects and crucially a fantastic online resource which includes video tutorials, scripts, and Maya source files.

This book presents state-of-the-art methods in computer graphics rendering. The papers included in this volume were selected after careful review by an international committee of experts. Included are various topics related to the generation of synthetic images: visibility, global illumination, perception, hardware assisted rendering, reflectance models, real-time rendering, antialiasing, compression and image-based rendering.

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 contains the proceedings of the 10th Eurographics Workshop on Rendering, which took place from the 21st to the 23rd of June, 1999, in Granada, Spain. Origi nally an outgrowth of the annual Eurographics meeting, the workshop was organized by a dedicated group of researchers who felt there was insufficient opportunity at Eu rographics and Siggraph to exchange ideas specifically on rendering. Over the past 9 years, the workshop has become renown as an international watershed for top quality work in this field, attracting between 50 and 100 attendees each year to share their latest research. This year we received a total of 63 submissions. Each paper was carefully reviewed by two of the 25 international programme committee members, as well as two external reviewers, selected by the co-chairs from a pool of 71 individuals. (The programme committee and external reviewers are listed following the contents pages.) In this new review process, all submissions and reviews were handled electronically, with the ex ception of videos submitted with a few of the papers. This streamlined the review process considerably, while reducing the costs and confusion associated with courier delivery of hundreds of papers."