12725153
Computational Engineering and Science Program at the University of Utah
The grand computational challenges in engineering and science require for their resolution a new scientific approach. As one report points out, “The use of modern computers in scientific and engineering research and development over the last three decades has led to the inescapable conclusion that a third branch of scientific methodology has been created. It is now widely acknowledged that, along with traditional experimental and theoretical methodologies, advanced work in all areas of science and technology has come to rely critically on the computational approach.” This methodology represents a new intellectual paradigm for scientific exploration and visualization of scientific phenomena. It permits a new approach to the solution of problems that were previously inaccessible.
17022793
Biomedical computing and visualization software environments
Problem-solving environments and advanced visualization take on the complexity of biomedical computing, improving its utility to scientists and clinicians alike.
21779382
Computational Engineering and Science Program at the University of Utah
We describe a new graduate program at the Univesity of Utah that we consider a first step towards the modernization of the University's curriculum in what we call "Computational Engineering and Science" (CES). Our goal is to provide a mechanism by which a graduate student can obtain integrated expertise and skills in all areas that are required for the solution of a particular computational problem.
15670
Display of vector fields using a reaction-diffusion model
Effective visualization of vector fields relies on the ability to control the size and density of the underlying mapping to visual cues used to represent the field. In this paper we introduce the use of a reaction-diffusion model, already well known for its ability to form irregular spatio-temporal patters, to control the size, density, and placement of the vector field representation. We demonstrate that it is possible to encode vector field information (orientation and magnitude) into the parameters governing a reaction-diffusion model to form a spot pattern with the correct orientation, size, and density, creating an effective visualization. To encode direction we texture the spots using a light to dark fading texture. We also show that it is possible to use the reaction-diffusion model to visualize an additional scalar value, such as the uncertainty in the orientation of the vector field. An additional benefit of the reaction-diffusion visualization technique arises from its automatic density distribution. This benefit suggests using the technique to augment other vector visualization techniques. We demonstrate this utility by augmenting a LIC visualization with a reaction-diffusion visualization. Finally, the reaction-diffusion visualization method provides a technique that can be used for streamline and glyph placement.
8344660
Top Scientific Visualization Research Problems
Scientific visualization as currently understood and practiced is still a relatively new discipline. As a result, we visualization researches are not necessarily accustomed to undertaking the sorts of self-examinations that other scientists routinely undergo in relation to their work. Yet if we are to creat a disciplinary culture focused on matters of real scientific importance and committed to real progress, it is essential that we ask ourselves hard questions on an ongoing basis. What are the most important research issues facing us? What underlying assumptions needs to be challenged and perhaps abandoned? What practices need to be reviewed? In this article, I attempt to start a discussion of these issues by proposing a list of top research problems and issues in scientific visualization.
28212389
Biomedical computing and visualization
10158972
On the Problems of Validating DesktopVR
For the last twenty years, human-computer interfaces have been dominated by two-dimensional interaction techniques. Things are changing. Techniques that were previously restricted to specialized CAD/CAM tools and immersive VR systems are now being extended to the mass market. The photo-realistic facilities offered by QuicktimeVR and the model based renderings of VRML (Virtual Reality Mark-up Language) provide sophisticated tools for interface design. As a result, three dimensional visualization techniques are being widely exploited in the financial services industry, airports and even off-shore oil production. In January 1997, there were some 2,000 VRML models on the web. By January 1998, this number had grown to over 20,000. Research in human-computer interaction has, however, lagged behind these developments. Few guidelines can be applied to support the design of desktopVR. This paper, therefore, describes three criteria that can be applied to assess the usability of these interfaces. We then go on to validate these criteria against a number of case studies. Unfortunately, it is concluded that standard measures of task performance, successful navigation and subjective satisfaction cannot easily be applied to assess the utility of 3D systems.
15495731
The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA’s Aviation Safety Reporting System (ASRS) and to the UK Marine Accident Investigation Branch (MAIB) between December 2001 and February 2003. Our results show that incidents, which complicated the team-based operation of safety-critical, computer systems in commercial aviation, are now being reported within the UK maritime industry. This reflects the increasing use of programmable navigation and collision avoidance devices both in ferry operations and in commercial fishing. For example, many incidents in both industries now stem from operators making inappropriate assumptions about the likely behavior of co-workers and their programmable systems even though part of their task is to actively monitor those activities. Our results also show that a growing number of incidents are triggered when teams must rapidly reprogram complex, safety-critical systems in response to unpredictable changes in their operational requirements.
8792186
Artificial Immune Systems and the Grand Challenge for Non-classical Computation
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the identified Grand Challenges is Non-Classical Computation, which examines many of the fundamental assumptions of Computer Science, and asks what would result if they were systematically broken. In this discussion paper, we explain how the sub-discipline of Artificial Immune Systems sits squarely in the province of this particular Grand Challenge, and we identify certain key questions.
29713643
Structural conditions for cycle completable graphs
Abstract We first review the matrix completion problem that motivated cycle completable graphs. We then discuss prior and give new structural characterizations of these graphs, along with their relationship to chordal and series-parallel graphs.
17446260
Genetic Programming with Fitness Based on Model Checking
Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. In this paper we apply this to the fitness checking stage in an evolution strategy for learning finite state machines. We give experimental results consisting of learning the control program for a vending machine.