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.

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.

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.

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.

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

Even if you've never touched a 3D printer, these projects will excite and empower you to learn new skills, extend your current abilities, and awaken your creative impulses. Each project uses a unique combination of electronics, hand assembly techniques, custom 3D-printed parts, and software, while teaching you how to think through and execute your own ideas. Written by the founder of Printrbot, his staff, and veteran DIY authors, this book of projects exemplifies the broad range of highly personalized, limit-pushing project possibilities of 3D printing when combined with affordable electronic components and materials. In Make: 3D Printing Projects, you'll: Print and assemble a modular lamp that's suitable for beginners--and quickly gets you incorporating electronics into 3D-printed structures. Learn about RC vehicles by fabricating--and driving--your own sleek, shiny, and fast Inverted Trike. Model a 1950s-style Raygun Pen through a step-by-step primer on how to augment an existing object through rapid prototyping. Fabricate a fully functional, battery-powered screwdriver, while learning how to tear down and reconstruct your own tools. Get hands-on with animatronics by building your own set of life-like mechanical eyes. Make a Raspberry Pi robot that rides a monorail of string, can turn corners, runs its own web server, streams video, and is remote-controlled from your phone. Build and customize a bubble-blowing robot, flower watering contraption, and a DIY camera gimbal.

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

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 book contains the proceedings of the 8th Eurographics Rendering Workshop, which took place from 16th to 18th June, 1997, in Saint Etienne, France. After a series of seven successful events the workshop is now well established as the major international forum in the field of rendering and illumination techniques. It brought together the experts of this field. Their recent research results are compiled in this proceedings together with many color images that demonstrate new ideas and techniques. This year we received a total of 63 submissions of which 28 were selected for the workshop after a period of careful reviewing and evaluation by the 27 mem bers of the international program committee. The quality of the submissions was again very high and, unfortunately, many interesting papers had to be rejected. In addition to regular papers the program also contains two invited lectures by Shenchang Eric Chen (Live Picture) and Per Christensen (Mental Images). The papers in this proceedings contain new research results in the areas of Finite-Element and Monte-Carlo illumination algorithms, image-based render ing, outdoor and natural illumination, error metrics, perception, texture and color handling, data acquisition for rendering, and efficient use of hardware. While some contributions report results from more efficient or elegant algo rithms, others pursue new and experimental approaches to find better solutions to the open problems in rendering."

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.

Anyone who uses Blender needs this book. Blender users know that it can be used for modeling, animation, and rendering, but it can also be used as a fully functional compositing and post-production application. This book explores Blender's use as a compositing and post-production tool in the video and film production pipeline. In this book, you will learn how to: Create and apply masks and special effects in Blender Composite images using Blender's node-based compositor Sequence and overlay video and audio using Blender's non-linear editor What you'll learn

This book provides concise yet step-by-step examples on using all of the power of Blender to provide a complete post-production workbench. Specifically, this book shows you how to: Create Masks and Rotoscope video Texture mattes and video planes Composite any image or render with other images Introduce special effects, such as blur, smoke, and light. Add titles and text, mixes, fades, wipes and splices Remove Green Screen and composite CG with live action shots Assemble all the shots and audio into a completed movie Who this book is for

Film and video professionals and enthusiasts interested in an open source alternative to commercial compositing and video effects software like AfterEffects, Fusion, and Shake. Table of Contents Blender OverviewBlender in the PipelineWelcome to Blender Formats3D ElementsCamera and WorldShadingAnimated EffectsRenderingNode-Based CompositingManipulating ImagesAdvanced NodesNonlinear Video EditorSequencer Effects

There has been an enormous increase in research activity aimed at elucidating the basis for cortical activity in the brain. Among modern techniques used in this area of scientific endeavour, few have proved as popular as computer simulation. Model neural networks are the subject of intense study, and some remarkable properties have already come to light: these networks are able to discriminate, remember and associate. Professor Cotterill has assembled leading experts in this burgeoning field to produce an exciting review of advances. The volume covers the creation of computer models of neural networks, and their use in the study of neural function, of cognition, memory and vision. The results and future directions explored here will have an important bearing on research into brain function, physiology, psychology, biophysics and artificial intelligence.

The simulation of physical systems requires a simplified, hierarchical approach which models each level from the atomistic to the macroscopic scale. From quantum mechanics to fluid dynamics, this book systematically treats the broad scope of computer modeling and simulations, describing the fundamental theory behind each level of approximation. Berendsen evaluates each stage in relation to its applications giving the reader insight into the possibilities and limitations of the models. Practical guidance for applications and sample programs in Python are provided. With a strong emphasis on molecular models in chemistry and biochemistry, this 2007 book will be suitable for advanced undergraduate and graduate courses on molecular modeling and simulation within physics, biophysics, physical chemistry and materials science. It will also be a useful reference to all those working in the field. Additional resources for this title including solutions for instructors and programs are available online at www.cambridge.org/9780521835275.

This book considers evolution at different scales: sequences, genes, gene families, organelles, genomes and species. The focus is on the mathematical and computational tools and concepts, which form an essential basis of evolutionary studies, indicate their limitations, and give them orientation. Recent years have witnessed rapid progress in the mathematics of evolution and phylogeny, with models and methods becoming more realistic, powerful, and complex.
Aimed at graduates and researchers in phylogenetics, mathematicians, computer scientists and biologists, and including chapters by leading scientists: A. Bergeron, D. Bertrand, D. Bryant, R. Desper, O. Elemento, N. El-Mabrouk, N. Galtier, O. Gascuel, M. Hendy, S. Holmes, K. Huber, A. Meade, J. Mixtacki, B. Moret, E. Mossel, V. Moulton, M. Pagel, M.-A. Poursat, D. Sankoff, M. Steel, J. Stoye, J. Tang, L.-S. Wang, T. Warnow, Z. Yang, this book of contributed chapters explains the basis and covers the recent results in this highly topical area.

Many applications in science and engineering require a digital model of a real physical object. Advanced scanning technology has made it possible to scan such objects and generate point samples on their boundaries. This book, first published in 2007, shows how to compute a digital model from this point sample. After developing the basics of sampling theory and its connections to various geometric and topological properties, the author describes a suite of algorithms that have been designed for the reconstruction problem, including algorithms for surface reconstruction from dense samples, from samples that are not adequately dense and from noisy samples. Voronoi- and Delaunay-based techniques, implicit surface-based methods and Morse theory-based methods are covered. Scientists and engineers working in drug design, medical imaging, CAD, GIS, and many other areas will benefit from this first book on the subject.

Create a MongoDB cluster that will to grow to meet the needs of your application. With this short and concise book, you'll get guidelines for setting up and using clusters to store a large volume of data, and learn how to access the data efficiently. In the process, you'll understand how to make your application work with a distributed database system.

"Scaling MongoDB" will help you: Set up a MongoDB cluster through sharding Work with a cluster to query and update data Operate, monitor, and backup your cluster Plan your application to deal with outages

By following the advice in this book, you'll be well on your way to building and running an efficient, predictable distributed system using MongoDB.

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.