Technical Reports from 2009


[TR Main Page]      [Home]    [Deutsch]

Here follows a list of all Technical Reports from 2009. By following the respective links, you can have a look at a reportīs abstract or the postscript version. Generally, the abstracts are written in English, since most of the reports are in this language.

Only the reports from December 1994 and earlier are available in paperbound form. To order copies, please write to

Ms. Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany
or send her an e-mail message (hauser@ub.uni-freiburg.de). In this case, please include the number of the report you would like to get in the subject line of your message.

Alternatively, you can also access our institute's ftp server to get the postscript version of a report in case it is stored there. The location is ftp.informatik.uni-freiburg.de/documents/reports.

Should you run into problems concerning the electronic retrieval of the reports, or in case of any questions please write to (r_ncstrl@informatik.uni-freiburg.de)!


Report No.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)

Report No.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)

Report No.249, July 2009 (PostScript)
Gian Diego Tipaldi, Kai O. Arras:
FLIRT -- Interest Regions for 2D Range Data
Keywords: mobile robots, feature extraction, range data
(Abstract)

Report No.248, July 2009 (PostScript)
Stefan Wehr:
Formalizing CoreGI
Keywords: Java, JavaGI, Formalization, Type Soundness, Decidability
(Abstract)

Report No.247, July 2009 (PostScript)
Stefan Wehr, Peter Thiemann:
JavaGI in the Battlefield: Practical Experience with Generalized Interfaces
Keywords: Java, JavaGI, implementation, case study, benchmarks
(Abstract)


[TR Main Page]     [Home]