Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
We present four studies investigating tools and methodologies for artist-scientist-technologist collaboration in designing multivariate virtual reality (VR) visualizations. Design ...
Daniel F. Keefe, Daniel Acevedo Feliz, Jadrian Mil...
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...
Andreas Harrer, Niels Pinkwart, Bruce M. McLaren, ...
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
In recent years a small number of web-based tools have been proposed to help students learn to write SQL query statements and also to assess students’ SQL writing skills. SQLify ...
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...
Andreas Biegert, Christian Mayer, Michael Remmert,...
CrossLink is a versatile tool for the exploration of relationships between RNA sequences. After a parametrization phase, CrossLink delegates the determination of sequence relation...
Tobias Dezulian, Martin Schaefer, Roland Wiese, De...
Panzea (http://www.panzea.org), the public web site of the project `Molecular and Functional Diversity in the Maize Genome', has expanded over the past two years in data cont...
Payan Canaran, Edward S. Buckler, Jeffrey Glaubitz...
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...