Forschungsergebnisse zur Informatik

ISSN 1435-6260 | 71 lieferbare Titel | 15 eBooks

zurückblätternzurückblättern zurückblättern 1 2 3 4 5 6 7 8 ...  vorblättern vorblätternvorblättern

  Forschungsarbeit: Verfahren zur effizienten Zellularen Verarbeitung

Verfahren zur effizienten Zellularen Verarbeitung

Band 41, Hamburg 1999, ISBN 978-3-86064-880-3 (Print)

Ausgehend von bekannten Optimierungsverfahren für die Zellulare Verarbeitung wird ein Verfahren vorgestellt, welches eine Beschleunigung des Berechnungsprozesses in der zellularen Verarbeitung [...]

 

  Forschungsarbeit: Testing cycling software components of reactive systems on the basis of formal specifications

Testing cycling software components of reactive systems on the basis of formal specifications

Band 40, Hamburg 1999, ISBN 978-3-86064-867-4 (Print)

Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, [...]

 

  Dissertation: Datenabhängigkeitsanalyse in Programmen mit Zeigern

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Band 39, Hamburg 1998, ISBN 978-3-86064-837-7 (Print)

Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in [...]

 

  Forschungsarbeit: Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen

Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen

Band 38, Hamburg 1998, ISBN 978-3-86064-639-7 (Print)

Intelligente Tutorielle Systeme (ITS) bieten vielfältige Vorteile gegenüber konventionellen Systemen für Computer Based Training (CBT), insbesondere Adaptivität an den Schüler und die [...]

 

  Doktorarbeit: Softwareergonomische Aspekte der Studierumgebung blinder Menschen

Software-ergonomische Aspekte der Studierumgebung blinder Menschen

Band 37, Hamburg 1998, ISBN 978-3-86064-797-4 (Print)

Das Buch beschreibt die an der Technischen Universität Dresden entwickelten Konzepte und Verfahren zur Verbesserung von Internet-basierten Informationsangeboten für blinde Menschen. Im [...]

 

  Forschungsarbeit: Kooperative Informationsagenten im Internet

Kooperative Informationsagenten im Internet

Band 36, Hamburg 1998, ISBN 978-3-86064-746-2 (Print)

Die Arbeit liefert einen Ansatz für eine rational kooperative Informationssuche in einer Menge von heterogenen und autonomen Datenbanken. Dabei werden erstmals Methoden aus den verschiedenen [...]

 

  Forschungsarbeit: Convergence Properties of Evolutionary Algorithms

Convergence Properties of Evolutionary Algorithms

Band 35, Hamburg 1997, ISBN 978-3-86064-554-3 (Print)

Unter evolutionären Algorithmen versteht man solche iterativen stochastischen Optimierverfahren, deren Design durch Prinzipien der biologischen Evolution inspiriert ist: Eine Population von [...]

 

  Forschungsarbeit: Learning Search Heuristics for Automated Deduction

Learning Search Heuristics for Automated Deduction

Band 34, Hamburg 1997, ISBN 978-3-86064-623-6 (Print)

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die [...]

 

  Forschungsarbeit: Intuitionistic Set Theory Part II

Intuitionistic Set Theory Part II

Band 33, Hamburg 1998, ISBN 978-3-86064-617-5 (Print & eBook)

In part II of his study, the author deals with the following problems:

Trees and Partitions Inaccessible Cardinals Descriptive Set Theory [...]

 

  Forschungsarbeit: Intuitionistic Set Theory Part I

Intuitionistic Set Theory Part I

Band 33, Hamburg 1998, ISBN 978-3-86064-616-8 (Print & eBook)

In part I of his study, the author deals with the following problems:

Foundation of Euclidean semi-rings by finite construction of irra-tional [...]

 


zurückblätternzurückblättern zurückblättern 1 2 3 4 5 6 7 8 ...  vorblättern vorblätternvorblättern

nach oben