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.

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.

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

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

A Focus on SLM and SLS Methods in 3D Printing is an indispensable collection of articles for anyone involved in additive manufacturing - from academics and researchers through to engineers and managers within the manufacturing industry. The collection features examples of innovative research involving selective laser melting and selective laser sintering techniques applied across a range of contexts.

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.

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

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.

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.

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

"Fabricated "tells the story of 3D printers, humble manufacturing machines that are bursting out of the factory and into schools, kitchens, hospitals, even onto the fashion catwalk. "Fabricated "describes our emerging world of printable products, where people design and 3D print their own creations as easily as they edit an online document.

A 3D printer transforms digital information into a physical object by carrying out instructions from an electronic design file, or 'blueprint.' Guided by a design file, a 3D printer lays down layer after layer of a raw material to 'print' out an object. That's not the whole story, however. The magic happens when you plug a 3D printer into today's mind-boggling digital technologies. Add to that the Internet, tiny, low cost electronic circuitry, radical advances in materials science and biotech and voila The result is an explosion of technological and social innovation.

"Fabricated "takes the reader onto a rich and fulfilling journey that explores how 3D printing is poised to impact nearly every part of our lives.

Aimed at people who enjoy books on business strategy, popular science and novel technology, "Fabricated "will provide readers with practical and imaginative insights to the question 'how will this technology change my life?' Based on hundreds of hours of research and dozens of interviews with experts from a broad range of industries, "Fabricated" offers readers an informative, engaging and fast-paced introduction to 3D printing now and in the future.

From climate change forecasts and pandemic maps to Lego sets and Ancestry algorithms, models encompass our world and our lives. In her thought-provoking new book, Annabel Wharton begins with a definition drawn from the quantitative sciences and the philosophy of science but holds that history and critical cultural theory are essential to a fuller understanding of modeling. Considering changes in the medical body model and the architectural model, from the Middle Ages to the twenty-first century, Wharton demonstrates the ways in which all models are historical and political. Examining how cadavers have been described, exhibited, and visually rendered, she highlights the historical dimension of the modified body and its depictions. Analyzing the varied reworkings of the Holy Sepulchre in Jerusalem-including by monumental commanderies of the Knights Templar, Alberti's Rucellai Tomb in Florence, Franciscans' olive wood replicas, and video game renderings-she foregrounds the political force of architectural representations. And considering black boxes-instruments whose inputs we control and whose outputs we interpret, but whose inner workings are beyond our comprehension-she surveys the threats posed by such opaque computational models, warning of the dangers that models pose when humans lose control of the means by which they are generated and understood. Engaging and wide-ranging, Models and World Making conjures new ways of seeing and critically evaluating how we make and remake the world in which we live.

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.

The physics and dynamics of the atmosphere and atmosphere-ocean interactions provide the foundation of modern climate models, upon which our understanding of the chemistry and biology of ocean and land surface processes are built. Originally published in 2006, Frontiers of Climate Modeling captures developments in modeling the atmosphere, and their implications for our understanding of climate change, whether due to natural or anthropogenic causes. Emphasis is on elucidating how greenhouse gases and aerosols are altering the radiative forcing of the climate system and the sensitivity of the system to such perturbations. An expert team of authors address key aspects of the atmospheric greenhouse effect, clouds, aerosols, atmospheric radiative transfer, deep convection dynamics, large scale ocean dynamics, stratosphere-troposphere interactions, and coupled ocean-atmosphere model development. The book is an important reference for researchers and advanced students interested in the forces driving the climate system and how they are modeled by climate scientists.

The authoritative reference on NEURON, the simulation environment for modeling biological neurons and neural networks that enjoys wide use in the experimental and computational neuroscience communities. This book shows how to use NEURON to construct and apply empirically based models. Written primarily for neuroscience investigators, teachers, and students, it assumes no previous knowledge of computer programming or numerical methods. Readers with a background in the physical sciences or mathematics, who have some knowledge about brain cells and circuits and are interested in computational modeling, will also find it helpful. The NEURON Book covers material that ranges from the inner workings of this program, to practical considerations involved in specifying the anatomical and biophysical properties that are to be represented in models. It uses a problem-solving approach, with many working examples that readers can try for themselves.

A practical, hands-on guide to real-world construction estimating How to Estimate with RSMeans Datais the only instructional book on construction cost estimating that uses the most popular source of construction cost data, RS Means. This updated fifth edition includes new coverage on the role of Building Information Modeling (BIM) in the estimating process, and over 300 sample problems and exercises that show you how to apply cost data to your building project based on the RS Means 2015 Building Construction Cost Data. The companion website provides access to RS Means CostWorks data, allowing you to use real-world numbers in your practice estimates, and the included Instructor's Manual provides step-by-step solutions to problems in the book. Focused on the practical aspects of estimating, this book emphasizes the application of estimating techniques which are transferable to any estimating software through problem solving and the ground-up creation of complete construction project estimates. Estimating skills are fundamental to the construction industry, and are applied by all parties at all levels throughout the industry. This book is a hands-on guide to the techniques and tools used to create a thorough estimate, with plenty of opportunities for practice. * Apply cost data to all aspects of the building project * Practice your skills on over 300 sample problems * Construct a complete estimate using RSMeans Besides being an essential construction skill, learning estimating helps you become familiar with reading and understanding construction blueprints and how construction assemblies are built. Mastery of these vital skills is important to your future career, and How to Estimate with RSMeans Data is your ideal guide to a solid foundation.