Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2009. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

Frau Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.252, November 2009 (PostScript)

L.Y. Ma, M. Reisert, H. Burkhardt:

RENNSH: A Novel alpha-helices Identification Approach for Intermediate Resolution Cryo-EM Maps

Keywords: Structural bioinformatics, secondary structure identification, intermediate resolution cryo-EM maps, spherical harmonic descriptors, refined classification.

(Abstract)

Bericht Nr.250, September 2009 (PostScript)

Stefan Wehr, Peter Thiemann:

On the Decidability of Subtyping with Bounded Existential Types

Keywords: JavaGI, Java, Type theory, Bounded existential types, Undecidability

(Abstract)

Bericht Nr.249, Juli 2009 (PostScript)

Gian Diego Tipaldi, Kai O. Arras:

FLIRT -- Interest Regions for 2D Range Data

Keywords: mobile robots, feature extraction, range data

(Abstract)

Bericht Nr.248, Juli 2009 (PostScript)

Stefan Wehr:

Formalizing CoreGI

Keywords: Java, JavaGI, Formalization, Type Soundness, Decidability

(Abstract)

Bericht Nr.247, Juli 2009 (PostScript)

Stefan Wehr, Peter Thiemann:

JavaGI in the Battlefield: Practical Experience with Generalized Interfaces

Keywords: Java, JavaGI, implementation, case study, benchmarks

(Abstract)