Background: Experimentally verified protein-protein interactions (PPIs) cannot be easily retrieved by researchers unless they are stored in PPI databases. The curation of such dat...
In this paper, we introduce ALIDA, an Active Learning Intent Discerning Agent for visual analytics interfaces. As users interact with and explore data in a visual analytics enviro...
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
This paper presents the results of a study to gather information on the underlying causes of pen-based target acquisition difficulty. In order to observe both simple and complex i...
In this paper, we present the design of our surgery simulator under the aspects of multimodal object representation and parallelization on multicore architectures. Special focus is...