Informatik Schriftenreihe
Forschungsergebnisse zur Informatik
ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks
Matthias Fuchs
Learning Search Heuristics for Automated Deduction
Hamburg 1997, Band 34
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…
AIArtificial IntelligenceInformatikKIKünstliche IntelligenzMaschinelles LernenConrad Kuck
Intuitionistic Set Theory Part II
Hamburg 1998, Band 33
In part II of his study, the author deals with the following problems:
Trees and Partitions Inaccessible Cardinals Descriptive Set Theory (Theory of a real variable) Auxiliary Notions Borel sets, B-measurable…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryConrad Kuck
Intuitionistic Set Theory Part I
Hamburg 1998, Band 33
In part I of his study, the author deals with the following problems:
Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals) Decidable derivation of the axioms…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryOscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems
Hamburg 1997, Band 32
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…
InformatikVerifikationClaus-Peter Wirth
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Hamburg 1997, Band 31
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…
InformatikTobias Helbig
Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen
Hamburg 1996, Band 30
Durch Fortschritte in der Kommunikations- und Computertechnik wird die Einbeziehung von Audio- und Videodaten in Computeranwendungen möglich. Beispiele hierfür sind Telekonferenzanwendungen am Arbeitsplatz oder die Verarbeitung von digitalem…
EDVInformatikMultimediaSchnittstelleSystemMarion Kremer
Hamburg 1996, Band 29
Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten…
InformatikProgrammierungQualitätssicherungSoftwareJörg Kottsieper
Synthese assoziativer Steuerwerke
Hamburg 1996, Band 28
Mit Ausweitung der Forschungs- und Entwicklungstätigkeiten auf dem Arbeitsgebiet der Schaltungssynthese auf höhere Abstraktionsebenen gewannen in jüngster Zeit die in diesen Zusammenhängen auftauchenden Fragestellungen und Vorgehensweisen…
InformatikThomas Dettmer
Ein Modell für CAD-Entwurfsumgebungen
Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia
Hamburg 1996, Band 27
Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu…
CADEntwurfsumgebungFrameworkHypermediaInformatikKlaus Rinderle
Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art
Hamburg 1996, Band 26
In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. Typische Anwendungsmöglichkeiten in der Praxis liegen u.a.…
GleichgewichtInformatikNashSpieltheorieStatistische FehlerStrategie