Wissenschaftliche Literatur Informationswissenschaft
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

Thomas Diessel
Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen
Forschungsergebnisse zur Informatik
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 Flexibilität ihres Einsatzes für unterschiedliche Ausbildungszwecke. Rascher Wandel und Fortschritt im industriellen Bereich erfordern gerade dort einen ständig aktualisierten Wissensstand und eine effizientere, zielgerichtete Ausbildung der Benutzer technischer Systeme. Bislang erfolgt…
AIArtificial IntelligenceCBTComputer Based TrainingInformatikIntelligente Tutorielle SystemeITSKIKünstliche IntelligenzMehrdimensionalRechnerunterstütztes LernenWissensrepräsentation
Matthias Klusch
Kooperative Informationsagenten im Internet
Forschungsergebnisse zur Informatik
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 Forschungsgebieten der verteilten künstlichen Intelligenz, der terminologischen Wissensrepräsentation und der nutzenorientierten Entscheidungstheorie geeignet angewendet.
In den letzten Jahren ist eine stetig zunehmende Vernetzung von heterogenen Informationssystemen im…
DatenbankenFCSIInferenzInformatikInformationsagentenInformationssucheIntelligente SoftwareagentenInterdatenbankabhängigkeitInternetKooperationKooperative InformationssystemeRationale Kooperation
Thomas Kahlisch
Software-ergonomische Aspekte der Studierumgebung blinder Menschen
Forschungsergebnisse zur Informatik
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 Vordergrund steht dabei die Nutzung moderner Informationstechnologien im Hochschulstudium, insbesondere die verbesserte Gestaltung des Zugangs zu elektronischen Studienmaterialien für blinde Studierende.
Detailliert dargestellt werden: [...]
Adaptive TechnikBlindeBlindheitInformatikInternetSoftware-ErgonomieStudienunterstützungUsability
Wolfram Amme
Datenabhängigkeitsanalyse in Programmen mit Zeigern
Forschungsergebnisse zur Informatik
Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf Reihungsoperanden und Schleifen basieren, sind ausgereifte Techniken bekannt. Dagegen ist das Gebiet der Bestimmung von Datenabhängigkeiten in Programmen mit…
A-D-GraphenDatenabhängigkeitDatenflußanalyseInformatikModula-2ParallelisierungParaModRestrukturierungssystemeÜbersetzer
Ingo Barth
Managementarchitektur für verteilte Multimedia-Anwendung
Studien zur Wirtschaftsinformatik
In diesem Buch wird ein Modell für konfigurierbare, verteilte Multimedia-Anwendungen vorgestellt. Diese Anwendungen basieren auf dem Client/Server-Modell, bei dem der Klient die Konfiguration und Steuerung der multimedialen Datenverarbeitung übernimmt. Der Server führt diese Datenverarbeitung unterstützt durch Systemdienste aus.
Die Bearbeitung der Datenströme setzt sich dabei aus einzelnen Funktionsbausteinen, den Komponenten zusammen. Komponenten verfügen über…
InformatikInterprozesskommunikationKommunikationKonfigurationMultimediaRessourcenverwaltungScheduling
Matthias Fuchs
Learning Search Heuristics for Automated Deduction
Forschungsergebnisse zur Informatik
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 automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten Suchmethoden (Suchstrategien bzw. Suchheuristiken) Schwächen haben, die auch schnelle Rechner und ausgeklügelte…
AIArtificial IntelligenceAutomated DeductionAutomatische DeduktionHeuristische SucheInformatikKIKünstliche IntelligenzMaschinelles LernenMenschliches VerhaltenProblemlöseverhaltenSuchheuristikSuchmethoden
Claus-Peter Wirth
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Forschungsergebnisse zur Informatik
Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver…
algebraische Spezifikationinduktive GültigkeitInformatiknegativ-bedingte Gleichungenpositiv-bedingteTermbesetzungTheorembeweistheorem provingvollständige Induktion
Günter Rudolph
Convergence Properties of Evolutionary Algorithms
Forschungsergebnisse zur Informatik
Unter evolutionären Algorithmen versteht man solche iterativen stochastischen Optimierverfahren, deren Design durch Prinzipien der biologischen Evolution inspiriert ist: Eine Population von Elementen der zulässigen Menge wird durch Mutation und Rekombination stochastisch variiert, bevor die schlechteren der mit der Zielfunktion bewerteten Elemente ausselektiert werden, so dass die besseren Elemente die Grundlage für die nächste Iteration bilden. Die Hauptanwendungsgebiete…
Absorptionszeitenevolutionäre AlgorithmenInformatikKonvergenzgeschwindigkeitKonvergenz stochastischer AlgorithmenMarkoff`scher Prozessquantitative Genetikstochastische Optimierung
Oscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems
Forschungsergebnisse zur Informatik
Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer Spezifikation beweisen. Es gibt unterschiedliche Verfeinerungsbegriffe für unterschiedliche Entwicklungsmethoden und unterschiedliche Logiken. [...]
Beweissystem IsabelleHOLCFInformatikKorrektheitQuotientenRefinementSubtypenVerfeinerungVerifikation
Bernhard Wörner
Implizite Darstellung von Parallelität auf der Ebene des Programmiermodells
Forschungsergebnisse der Programmentwicklung
Das Buch hat die Beschreibung und Darstellung von Parallelität als eine der zentralen Aufgaben bei der parallelen Programmierung zum Gegenstand. Zur Zeit ist die parallele Programmierung noch geprägt durch eine komplexe und sehr fehleranfällige Programmierweise. Der parallele Ablauf wird in allen Einzelheiten durch den Programmcode vorgeschrieben. Ein Fernziel bei der parallelen Programmierung ist deshalb eine Loslösung der Parallelitätsaspekte vom eigentlichen…
HochleistungsrechnerInformatikModellParallele ProgrammierungTechnischisch-wissenschaftliche Berechnung