Phylogenetic analyses are central to many research areas in biology and typically involve the identification of homologous sequences, their multiple alignment, the phylogenetic re...
This paper presents a set of Augmented Reality (AR) based interaction techniques for spatial analysis of medical datasets. Computer-aided medical planning tools such as our Virtua...
Bernhard Reitinger, Pascal Werlberger, Alexander B...
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
Urban planners are dealing with problems of urban sprawl and CO2 emissions. The multidimensional character of these phenomena requires new analysis and visualization tools that ar...
Sebastian Petsch, Subhrajit Guhathakurta, Hans Hag...
Background: Expressed sequence tags (ESTs) analyses are a fundamental tool for gene identification in organisms. Given a preliminary EST sample from a certain library, several sta...