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 what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future.

Information Visualization is a relatively young field that is acquiring more and more concensus in both academic and industrial environments. 'Information Visualization' explores the use of computer-supported interactive graphical representations to explain data and amplify cognition. It provides a means to comunicate ideas or facts about the data, to validate hypotheses, and facilitates the discovery of new facts via exploration. This book introduces the concepts and methods of Information Visualization in an easy-to-understand way, illustrating how to pictorially represent structured and unstructured data, making it easier to comprehend and interpret. Riccardo Mazza focuses on the human aspects of the process of visualization rather than the algorithmic or graphic design aspects.

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 planning, building construction, and automotive applications. Moreover, plausible or realistic sound effects can improve the sense of presence in a virtual environment or a game. In these applications, sound can provide important clues such as source directionality and spatial size. The book first surveys various sound synthesis methods, including harmonic synthesis, texture synthesis, spectral analysis, and physics-based synthesis. Next, it provides an overview of sound propagation techniques, including wave-based methods, geometric-based methods, and hybrid methods. The book also summarizes various techniques for sound rendering. Finally, it surveys some recent trends, including the use of machine learning methods to accelerate sound simulation and the use of sound simulation techniques for other applications such as speech recognition, source localization, and computer-aided design.

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 and commonly used implicitly integrated continuum techniques in state-of-the-art implementations. We give an intuitive explanation of the techniques and give additional information on how to efficiently implement them on a computer. This book discusses explicit and implicit integration schemes for cloth simulation modeled with mass-spring systems. In addition to this simple model, we explain the more advanced continuum-inspired cloth model introduced in the seminal work of Baraff and Witkin [1998]. This method is commonly used in industry. We also explain recent work by Liu et al. [2013] that provides a technique to obtain fast simulations. In addition to these simulation approaches, we discuss how cloth simulations can be art directed for stylized animations based on the work of Wojan et al. [2016]. Controllability is an essential component of a feature animation film production pipeline. We conclude by pointing the reader to more advanced techniques.

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.

This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered.

th This two-volume set constitutes the Proceedings of the 16 International Conference on Neural Information Processing (ICONIP 2009), held in Bangkok, Thailand, during December 1–5, 2009. ICONIP is a world-renowned international conference that is held annually in the Asia-Pacific region. This prestigious event is sponsored by the Asia Pacific Neural Network Assembly (APNNA), and it has provided an annual forum for international researchers to exchange the latest ideas and advances in neural networks and related discipline. The School of Information Technology (SIT) at King Mongkut’s University of Technology Thonburi (KMUTT), Bangkok, Thailand was the proud host of ICONIP 2009. The conference theme was “Challenges and Trends of Neural Information Processing,” with an aim to discuss the past, present, and future challenges and trends in the field of neural information processing. ICONIP 2009 accepted 145 regular session papers and 53 special session papers from a total of 466 submissions received on the Springer Online Conference Service (OCS) system. The authors of accepted papers alone covered 36 countries and - gions worldwide and there are over 500 authors in these proceedings. The technical sessions were divided into 23 topical categories, including 9 special sessions.

Here are the proceedings of the 2nd International Conference on Advanced Data Mining and Applications, ADMA 2006, held in Xi'an, China, August 2006. The book presents 41 revised full papers and 74 revised short papers together with 4 invited papers. The papers are organized in topical sections on association rules, classification, clustering, novel algorithms, multimedia mining, sequential data mining and time series mining, web mining, biomedical mining, advanced applications, and more.

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.

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. Filtering the Laplacian spectrum, we introduce the Laplacian spectral distances, which generalize the commute-time, biharmonic, diffusion, and wave distances, and their discretization in terms of the Laplacian spectrum. As main applications, we discuss the design of smooth functions and the Laplacian smoothing of noisy scalar functions. All the reviewed numerical schemes are discussed and compared in terms of robustness, approximation accuracy, and computational cost, thus supporting the reader in the selection of the most appropriate with respect to shape representation, computational resources, and target application.