Design, Specification and Verification of Interactive Systems ’98


Book Description

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.




Data Visualization ’99


Book Description

In the past decade visualization established its importance both in scientific research and in real-world applications. In this book 21 research papers and 9 case studies report on the latest results in volume and flow visualization and information visualization. Thus it is a valuable source of information not only for researchers but also for practitioners developing or using visualization applications.




Scientific Computing in Electrical Engineering


Book Description

rd This book presents a collection of selected contributions presented at the 3 International Workshop on Scientific Computing in Electrical Engineering, SCEE-2000, which took place in Warnemiinde, Germany, from August 20 to 23, 2000. Nearly hundred scientists and engineers from thirteen countries gathered in Warnemiinde to participate in the conference. Rostock Univer sity, the oldest university in Northern Europe founded in 1419, hosted the conference. This workshop followed two earlier workshops held 1997 at the Darmstadt University of Technology and 1998 at Weierstrass Institute for Applied Anal ysis and Stochastics in Berlin under the auspices ofthe German Mathematical Society. These workshops aimed at bringing together two scientific communi ties: applied mathematicians and electrical engineers who do research in the field of scientific computing in electrical engineering. This, of course, is a wide field, which is why it was decided to concentrate on selected major topics. The workshop in Darmstadt, which was organized by Michael Giinther from the Mathematics Department and Ursula van Rienen from the Department of Electrical Engineering and Information Technology,brought together more than hundred scientists interested in numerical methods for the simulation of circuits and electromagnetic fields. This was a great success. Voices coming from the participants suggested that it was time to bring these communities together in order to get to know each other, to discuss mutual interests and to start cooperative work. A collection of selected contributions appeared in 'Surveys on Mathematics for Industry', Vol.8, No. 3-4 and Vol.9, No.2, 1999.




Visualization Handbook


Book Description

The Visualization Handbook provides an overview of the field of visualization by presenting the basic concepts, providing a snapshot of current visualization software systems, and examining research topics that are advancing the field. This text is intended for a broad audience, including not only the visualization expert seeking advanced methods to solve a particular problem, but also the novice looking for general background information on visualization topics. The largest collection of state-of-the-art visualization research yet gathered in a single volume, this book includes articles by a "who's who of international scientific visualization researchers covering every aspect of the discipline, including:·Virtual environments for visualization·Basic visualization algorithms·Large-scale data visualization·Scalar data isosurface methods·Visualization software and frameworks·Scalar data volume rendering·Perceptual issues in visualization·Various application topics, including information visualization.* Edited by two of the best known people in the world on the subject; chapter authors are authoritative experts in their own fields;* Covers a wide range of topics, in 47 chapters, representing the state-of-the-art of scientific visualization.




Rendering Techniques ’98


Book Description

Some of the best current research on realistic rendering is included in this volume. It emphasizes the current "hot topics” in this field: image based rendering, and efficient local and global-illumination calculations. In the first of these areas, there are several contributions on real-world model acquisition and display, on using image-based techniques for illumination and on efficient ways to parameterize and compress images or light fields, as well as on clever uses of texture and compositing hardware to achieve image warping and 3D surface textures. In global and local illumination, there are contributions on extending the techniques beyond diffuse reflections, to include specular and more general angle dependent reflection functions, on efficiently representing and approximating these reflection functions, on representing light sources and on approximating visibility and shadows. Finally, there are two contributions on how to use knowledge about human perception to concentrate the work of accurate rendering only where it will be noticed, and a survey of computer graphics techniques used in the production of a feature length computer-animated film with full 3D characters.




Virtual Environments ’98


Book Description

Ten years after Virtual Environment research started with NASA’s VIEW project, these techniques are now exploited in industry to speed up product development cycles, to ensure higher product quality, and to encourage early training on and for new products. Especially the automotive industry, but also the oil and gas industry are driving the use of these techniques in their works. The papers in this volume reflect all the different tracks of the workshop: reviewed technical papers as research contributions, summaries on panels of VE applications in the automotive, the medical, the telecommunication and the geoscience field, a panel discussing VEs as the future workspace, invited papers from experts reporting from VEs for entertainment industry, for media arts, for supercomputing and productivity enhancement. Short industrial case studies, reporting very briefly from ongoing industrial activities complete this state of the art snapshot.




Data Visualization


Book Description

Data visualization is currently a very active and vital area of research, teaching and development. The term unites the established field of scientific visualization and the more recent field of information visualization. The success of data visualization is due to the soundness of the basic idea behind it: the use of computer-generated images to gain insight and knowledge from data and its inherent patterns and relationships. A second premise is the utilization of the broad bandwidth of the human sensory system in steering and interpreting complex processes, and simulations involving data sets from diverse scientific disciplines and large collections of abstract data from many sources. These concepts are extremely important and have a profound and widespread impact on the methodology of computational science and engineering, as well as on management and administration. The interplay between various application areas and their specific problem solving visualization techniques is emphasized in this book. Reflecting the heterogeneous structure of Data Visualization, emphasis was placed on these topics: -Visualization Algorithms and Techniques; -Volume Visualization; -Information Visualization; -Multiresolution Techniques; -Interactive Data Exploration. Data Visualization: The State of the Art presents the state of the art in scientific and information visualization techniques by experts in this field. It can serve as an overview for the inquiring scientist, and as a basic foundation for developers. This edited volume contains chapters dedicated to surveys of specific topics, and a great deal of original work not previously published illustrated by examples from a wealth of applications. The book will also provide basic material for teaching the state of the art techniques in data visualization. Data Visualization: The State of the Art is designed to meet the needs of practitioners and researchers in scientific and information visualization. This book is also suitable as a secondary text for graduate level students in computer science and engineering.




Topological Methods in Data Analysis and Visualization II


Book Description

When scientists analyze datasets in a search for underlying phenomena, patterns or causal factors, their first step is often an automatic or semi-automatic search for structures in the data. Of these feature-extraction methods, topological ones stand out due to their solid mathematical foundation. Topologically defined structures—as found in scalar, vector and tensor fields—have proven their merit in a wide range of scientific domains, and scientists have found them to be revealing in subjects such as physics, engineering, and medicine. Full of state-of-the-art research and contemporary hot topics in the subject, this volume is a selection of peer-reviewed papers originally presented at the fourth Workshop on Topology-Based Methods in Data Analysis and Visualization, TopoInVis 2011, held in Zurich, Switzerland. The workshop brought together many of the leading lights in the field for a mixture of formal presentations and discussion. One topic currently generating a great deal of interest, and explored in several chapters here, is the search for topological structures in time-dependent flows, and their relationship with Lagrangian coherent structures. Contributors also focus on discrete topologies of scalar and vector fields, and on persistence-based simplification, among other issues of note. The new research results included in this volume relate to all three key areas in data analysis—theory, algorithms and applications.