You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does w...
Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction to topological methods for the analysis and visualization of scientific data. Theoretical concepts are presented in a painstaking but intuitive manner, with numerous high-quality color illustrations. Key algorithms for the computation and simplification of topological data representations are described in detail, and their application is carefully demonstrated in a chapter dedicated to concrete use cases. With its fine balance between theory and practice, "Topological Data Analysis for Scientific Visualization" constitutes an appealing introduction to the increasingly important topic of topological data analysis for lecturers, students and researchers.
This book gives a broad overview of research on sound simulation driven by a variety of applications. Vibrating objects produce sound, which then propagates through a medium such as air or water before finally being heard by a listener. As a crucial sensory channel, sound plays a vital role in many applications. There is a well-established research community in acoustics that has studied the problems related to sound simulation for six decades. Some of the earliest work was motivated by the design of concert halls, theaters, or lecture rooms with good acoustic characteristics. These problems also have been investigated in other applications, including noise control and sound design for urban...
The wide diffusion of 3D printing technologies continuously calls for effective solutions for designing and fabricating objects of increasing complexity. The so called "computational fabrication" pipeline comprises all the steps necessary to turn a design idea into a physical object, and this book describes the most recent advancements in the two fundamental phases along this pipeline: design and process planning. We examine recent systems in the computer graphics community that allow us to take a design idea from conception to a digital model, and classify algorithms that are necessary to turn such a digital model into an appropriate sequence of machining instructions.
New data acquisition techniques are emerging and are providing fast and efficient means for multidimensional spatial data collection. Airborne LIDAR surveys, SAR satellites, stereo-photogrammetry and mobile mapping systems are increasingly used for the digital reconstruction of the environment. All these systems provide extremely high volumes of raw data, often enriched with other sensor data (e.g., beam intensity). Improving methods to process and visually analyze this massive amount of geospatial and user-generated data is crucial to increase the efficiency of organizations and to better manage societal challenges. Within this context, this book proposes an up-to-date view of computational...
The visualization of volume data is a fundamental component in the medical domain. Volume data is used in the clinical work-flow to diagnose patients and is therefore of uttermost importance. The amount of data is rapidly increasing as sensors, such as computed tomography scanners, become capable of measuring more details and gathering more data over time. Unfortunately, the increasing amount of data makes it computationally challenging to interactively apply high quality methods to increase shape and depth perception. Furthermore, methods for exploring volume data has mostly been designed for experts, which prohibits novice users from exploring volume data. This thesis aims to address these...
Physics-based animation is commonplace in animated feature films and even special effects for live-action movies. Think about a recent movie and there will be some sort of special effects such as explosions or virtual worlds. Cloth simulation is no different and is ubiquitous because most virtual characters (hopefully!) wear some sort of clothing. The focus of this book is physics-based cloth simulation. We start by providing background information and discuss a range of applications. This book provides explanations of multiple cloth simulation techniques. More specifically, we start with the most simple explicitly integrated mass-spring model and gradually work our way up to more complex an...
Heritage sites across the world have witnessed a number of natural calamities, sabotage and damage from visitors, resulting in their present ruined condition. Many sites are now restricted to reduce the risk of further damage. Yet these masterpieces are significant cultural icons and critical markers of past civilizations that future generations need to see. A digitally reconstructed heritage site could diminish further harm by using immersive navigation or walkthrough systems for virtual environments. An exciting key element for the viewer is observing fine details of the historic work and viewing monuments in their undamaged form. This book presents image super-resolution methods and techn...
This book provides beginners in computer graphics and related fields a guide to the concepts, models, and technologies for realistic rendering of material appearance. It provides a complete and thorough overview of reflectance models and acquisition setups, along with providing a selection of the available tools to explore, visualize, and render the reflectance data. Reflectance models are under continuous development, since there is still no straightforward solution for general material representations. Every reflectance model is specific to a class of materials. Hence, each has strengths and weaknesses, which the book highlights in order to help the reader choose the most suitable model for any purpose. The overview of the acquisition setups will provide guidance to a reader who needs to acquire virtual materials and will help them to understand which measurement setup can be useful for a particular purpose, while taking into account the performance and the expected cost derived from the required components. The book also describes several recent open source software solutions, useful for visualizing and manipulating a wide variety of reflectance models and data.
In geometry processing and shape analysis, several applications have been addressed through the properties of the Laplacian spectral kernels and distances, such as commute time, biharmonic, diffusion, and wave distances. Within this context, this book is intended to provide a common background on the definition and computation of the Laplacian spectral kernels and distances for geometry processing and shape analysis. To this end, we define a unified representation of the isotropic and anisotropic discrete Laplacian operator on surfaces and volumes; then, we introduce the associated differential equations, i.e., the harmonic equation, the Laplacian eigenproblem, and the heat equation. Filteri...