05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6

Browse

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen
    (2005) Staiger, Stefan
    Die Diplomarbeit ist eine Ausarbeitung und Weiterführung der aktuellen Forschung von Neeraj Kayal und Nitin Saxena. Diese haben das algorithmische Studium von Fragen rund um Ringe begonnen. Die Diplomarbeit präsentiert die hierbei entstandenen Algorithmen und komplexitätstheoretischen Überlegungen in ausführlicher und verständlicher Weise. Behandelt werden beispielsweise die Fragen, ob zwei Ringe isomorph sind, wie viele Automorphismen sie haben und wie man Iso- und Automorphismen berechnen kann. Hierzu werden eine Reihe mathematischer Grundlagen erläutert. Darüber hinaus leitet die Diplomarbeit neue Ergebnisse zu endlichen Ringen her und korrigiert einen Fehler von Kayal und Saxena. Ferner werden die Ring-Probleme in Beziehung gesetzt zu den bekannten Problemen der Graph-Isomorphie und des Faktorisierens großer Zahlen. Die Arbeit präsentiert außerdem einen Überblick über die aktuellen Faktorisierungsverfahren und schließt mit einer Reihe noch offener Fragen, die als Grundlage für weitere Forschung dienen können.
  • Thumbnail Image
    ItemOpen Access
    Analysing names of organic chemical compounds : from morpho-semantics to SMILES strings and classes
    (2005) Anstein, Stefanie; Kremer, Gerhard
    The linguistic analysis of chemical terminology is a key to biochemical text processing and semi-automatic database curation. The system described analyses systematic and semi-systematic names of chemical compounds, class terms, and also otherwise underspecified names by means of a morpho-semantic grammar developed according to IUPAC nomenclature. It yields an intermediate semantic representation which describes the information encoded in a name. Our tool provides SMILES strings for the mapping of names to their molecule structure and also classifies the analysed terms. It was implemented in Prolog as a prototype and a basis for further development to support research in the life sciences.