Main Track (MT) Session 14

Time and Date: 14:10 - 15:50 on 12th June 2014

Room: Tully I

Chair: Jin Chao Jin

207 Visual Analytics of Topological Higher Order Information for Emergency Management based on Tourism Trajectory Datasets [abstract]
Abstract: Trajectory datasets have presented new opportunities for spatial computing applications and geo-informatics technologies with regard to emergency management. Existing research of trajectory analysis and data mining mainly employs algorithmic approaches and analyzing geometric information of trajectories. This study presents an efficient analytics tool based on visualization approaches for analyzing large volume of trajectory datasets. This approach is particular useful for emergency management when critical decisions based on semantic information are needed. Tourism trajectory datasets are used to demonstrate the proposed approach.
Ye Wang, Kyungmi Lee, Ickjai Lee
238 Modulight : A Framework for Efficient Dynamic Interactive Scientific Visualization [abstract]
Abstract: The interactive scientific visualization applications are based on heterogeneous codes to implement simulation or data processing, visualization and interaction parts. These different parts need to be precisely assemble to construct an efficient application running in interactive time. Component-based approach is a good paradigm to express this kind of applications. The interactive scientific visualization domain is now classically extended with visual analysis applications. In this case, some parts of the application need to be added or removed dynamically during its execution. In this paper, we describe a component-based approach dedicated to dynamic interac- tive scientific visualization applications. We propose a framework called Modulight which implements our approach using the MPI2 library and the optimized socket library ØMQ. The performance of this framework is also analyzed from a real-life application of molecular dynamics.
Sébastien Limet, Millian Poquet, Sophie Robert
289 Visualization of long-duration acoustic recordings of the environment [abstract]
Abstract: Acoustic recordings of the environment are an important aid to ecologists monitoring biodiversity and environmental health. However, rapid advances in recording technology, storage and computing make it possible to accumulate thousands of hours of recordings, of which, ecologists can only listen to a small fraction. The big-data challenge addressed in this paper is to visualize the content of long-duration audio recordings on multiple scales, from hours, days, months to years. The visualization should facilitate navigation and yield ecologically meaningful information. Our approach is to extract (at one minute resolution) acoustic indices which reflect content of ecological interest. An acoustic index is a statistic that summarizes some aspect of the distribution of acoustic energy in a recording. We combine indices to produce false-color images that reveal acoustic content and facilitate navigation through recordings that are months or even years in duration.
Michael Towsey, Liang Zhang, Mark Cottman-Fields, Jason Wimmer, Jinglan Zhang, Paul Roe
362 A computational science agenda for programming language research [abstract]
Abstract: Scientific models are often expressed as large and complicated programs. These programs embody numerous assumptions made by the developer (e.g. for differential equations, the discretization strategy and resolution). The complexity and pervasiveness of these assumptions means that often the only true description of the model is the software itself. This has led various researchers to call for scientists to publish their source code along with their papers. We argue that this is unlikely to be beneficial since it is almost impossible to separate implementation assumptions from the original scientific intent. Instead we advocate higher-level abstractions in programming languages, coupled with lightweight verification techniques such as specification and type systems. In this position paper, we suggest several novel techniques and outline an evolutionary approach to applying these to existing and future models. One-dimensional heat flow is used as an example throughout.
Dominic Orchard, Andrew Rice