Supervised Diplomas, M.Phil. and M.Sc. Projects / Graduate Students
-
Mitew, W.
"Lösung Boolescher Gleichungen für die Optimierung
von Schaltnetzwerken"
(The Solution of Boolean Equations for Optimization
of Switching Circuits)
Diplomarbeit, TH Karl-Marx-Stadt, 1973
-
Fritzsche, E.
Erarbeitung von Arbeitsunterlagen für das
Fachgebiet "Strukturelle Automatentheorie"
(Scripts for the Course "Structural Theory of Automata")
Diplomarbeit, TH Karl-Marx-Stadt,
1974
-
Simon, E.
"Cellatron-Programm für Systeme Boolescher Gleichungen"
(Cellatron Program for Systems of Boolean Equations)
Diplomarbeit,
TH Karl-Marx-Stadt, 1974
-
Rahm, M.
Erarbeitung von Arbeitsunterlagen für das Fachgebiet "Strukturelle Automatentheorie"
(Scripts for the Course "Structural
Theory of Automata")
Diplomarbeit, TH Karl-Marx-Stadt, 1974
-
Bekov, O.
"Erarbeitung eines Booleschen Integralkalküls"
(Design of a Boolean Integral Calculus)
Diplomarbeit, TH Karl-Marx-Stadt,
1974
-
Beyer, L.
"Numerische Probleme in Booleschen Algebren"
(Computational Problems in Boolean Algebras)
Diplomarbeit, TH Karl-Marx-Stadt,
1974
-
Zetzschke, P.
"Digitale Simulation eines Fertigungsprozesses"
(Digital Simulation of a Manufacturing Process)
Diplomarbeit, TH
Karl-Marx-Stadt, 1974
-
Ihle, M.
"Schaffung einer Fachterminologie für Schaltnetzwerke"
(Design of a Switching Circuit Terminology)
Diplomarbeit, TH Karl-Marx-Stadt,
1975
-
Homilius, K.-H.
"Algorithmen zur Schaltungsanalyse"
(Algorithms for Analyzing Switching Circuits)
Diplomarbeit, TH Karl-Marx-Stadt,
1975
-
Pampel, W.
"Untersuchung von Algorithmen zur Dekomposition
und verwandten Problemen"
(Investigation of Decomposition Algorithms
and Related Problems)
Diplomarbeit, TH Karl-Marx-Stadt, 1976
-
Padalsky, R.
"Boolesche Ableitungsoperationen für implizite
Funktionen mit Nebenbedingungen"
(Boolean Derivatives for Implicit
Functions with Constraints)
Diplomarbeit, TH Karl-Marx-Stadt, 1976
-
Dimova, S.
"Untersuchungen zur numerischen Berechenbarkeit
von Booleschen Ableitungsoperationen"
(Investigations of the Computability
of Boolean Derivatives)
Diplomarbeit, TH Karl-Marx-Stadt, 1976
-
Burkhardt, S.
"Darstellung von Funktionen der Schaltalgebra
durch Antivalenzformen"
(Representation of Logic Functions by Antivalence
Forms)
Diplomarbeit, TH Karl-Marx-Stadt, 1976
-
Jahn, R.
"Lösung BOOLEscher Gleichungen mit Ternärvektorlisten
- Methoden auf dem EC 1040"
(Solution of Boolean Equations by Ternary
Vector Lists - EC 1040 methods)
Diplomarbeit, TH Karl-Marx-Stadt,
1978
-
Andrijew, K.
"Erweiterung der Leistungsfähigkeit des Programmsystems
BOOLE für den Logikentwurf"
(Extending the Performance of the BOOLE
Program System for Logic Design)
Diplomarbeit, TH Karl-Marx-Stadt,
1984
-
Knörnschild, B.
"Bedeutung, Vorzüge und Anforderungen
an Lehrsoftware sowie die Rolle von Prolog in diesem Umfeld"
(Importance,
Advantages and Requirements to Tutorial Software and the Role of PROLOG
in this Environment)
Diplomarbeit, TU Chemnitz, 1989
-
Thiemer, J.
"Simulator für einen Prolog-Unifikator"
(Simulation of a PROLOG Unificator)
Diplomarbeit, TU Chemnitz, 1990
-
Ackermann, U.; Müller, St.
"Erzeugung dreidimensionaler
Objektmodelle durch Rekonstruktion"
(Generation of Three-dimensional
Object Models by Reconstruction)
Diplomarbeit, TU Chemnitz, 1990
-
Dehnel, J.
"Entwicklung eines Expertensystems zur Diagnose
von Infektionskrankheiten"
(Development of an Expert Systems for
the Diagnosis of Infectuous Diseases)
Diplomarbeit, TU Chemnitz,
1990
-
Schnappauf, A.
"Kommunikationsstrukturen in regelbasierten
Wissensverarbeitungssystemen"
(Communication Structures in Rule-based
Knowledge Processing Systems)
Diplomarbeit, TU Chemnitz, 1990
-
Ruge, A.
"Erstellung eines medizinischen Expertensystems
zur Diagnostik von Skelettdisplasien"
(Design of an Expert System
for the Diagnosis of Skeleton Diseases)
Diplomarbeit, TU Chemnitz,
1990
-
Pirk, P.
"Konzept und Realisierung der Transformation
externer Wissensbasen in eine interne Form mit C-PROLOG für das System
SIMON"
(Design and Implementation of the Transformation of External
Knowledge Bases in an Internal Format using C-PROLOG for the SIMON System)
Diplomarbeit, TU Chemnitz, 1990
-
Bierig, O.
"Konzeption eines Systems für die regelbasierte
Wissensverarbeitung"
(Design of a Rule-based Knowledge-processing
System)
Diplomarbeit, TU Chemnitz, 1990
-
Krause, V.
"Implementation von Lernalgorithmen"
(Implementation
of Learning Algorithms)
Diplomarbeit, TU Chemnitz, 1990
-
Gerber, S.
"Ein semantisches Datenmodell für den korrekten
konzeptionellen Entwurf von Informationssystemen"
(A Semantic Data
Model for the Correct Conceptional Design of Information Systems)
Diplomarbeit, TU Chemnitz, 1990
-
Hofmann, A.
"Hierarchische Strukturen in Expertensystemen"
(Hierarchical Structures in Expert Systems)
Diplomarbeit, TU Chemnitz,
1991
-
Neidhardt, A.
"Inferenzmaschinen in Diagnosesystemen,
Handhabung unsicheren Wissens"
(Inference Machines in Diagnostic
Systems, the Processing of Unsafe Knowledge)
Diplomarbeit, TU Chemnitz,
1991
-
Flucke, R.
"Untersuchungen zur Gruppenverlaufsdiagnostik
bei intendiert dynamischer Gruppentherapie,
am Beispiel von 21 Therapiegruppen
der Klinik Riedstrasse, Chemnitz"
(Investigation of the Diagnosis
of the Group Development in the Case of Dynamic Group Therapy)
Diplomarbeit,
TU Chemnitz, 1991
-
Schumann, S.
"Entwurf einer mengentheoretischen Konzeption
für PROLOG"
(Designing Set-theoretic Concepts for PROLOG)
Diplomarbeit,
TU Chemnitz, 1991
-
Guttzeit, A.
"Vergleichende Untersuchungen von SQL-Implementationen"
(Comparative Studies of SQL Implementations)
Diplomarbeit, TU Chemnitz,
1991
-
Berger, B.
Konzeption für ein Lehrsystem zur "Theoretischen
Informatik"
(Design of a Tutorial System for "Theoretical Computer
Science")
Diplomarbeit, TU Chemnitz, 1991
-
Goschin, S.
"Softwaremässige Vorbereitung einer rechnergestützten
Langzeitstudie zur Erlangung von Ergebnissen über die frührehabilitative
Betreuung von Patienten nach einem Myocarderstinfarkt unter soziopsychosomatischem
Aspekt"
(The Preparation of Software for a Long-term Investigation
in Order to Achieve Results Related to the Early Rehabilitation of Patients
after Heart Attacks Considering the Psychosomatic Aspects)
Diplomarbeit,
TU Chemnitz, 1991
-
Martin, D.
Inferenzkomponente für ein Expertensystem "Mechanismendynamik"
(The Inference Machine of an Expert System "Dynamics of Mechanisms")
Diplomarbeit, TU Chemnitz, 1991
-
Rubin, B.
"Untersuchung der Leistungsfähigkeit und Einsatzmöglichkeit
des wissensbasierten Systems KREATIV"
(Investigations of the Performance
and the Applicability of the Knowledge-based Systems KREATIV)
Diplomarbeit,
TU Chemnitz, 1991
-
Neumann, T.
"Konzept einer Expertensystemshell für die
Konstruktion/ Konfiguration"
(Design of an Expert System Shell for
Configuration and Construction)
Diplomarbeit, TU Chemnitz, 1991
-
Richter, Th.
"Modellierung und Repräsentation aussagenlogischer
Wissensbasen"
(Modelling and Representation of Propositional Knowledge
Bases)
Diplomarbeit, TU Chemnitz, 1991
-
Richter, F.
"Basissoftware für die Erstellung mehrsprachiger
Wörterbücher"
(Basic Software for the Implementation of Multi-lingual
Dictionaries)
Diplomarbeit, TU Chemnitz, 1991
-
Ebersbach, N.
"Regelbasierte Wissensrepräsentation"
(Rule-based Knowledge Representation)
Diplomarbeit, TU Chemnitz,
1992
-
Bönsch, St.
"Untersuchung eines Tests für die narzisstische
Dysregulation"
(Investigating a Test for the Narcistic Dysregulation)
Diplomarbeit, TU Chemnitz, 1992
-
Yombi, J.A.
Entwurf von Problemlöser, Wissensbasis und
Fragengenerator für das wissensbasierte Lehrsystem " Theoretische Informatik" und eine PROLOG-Implementation
(Design of Problem Solver, Knowledge
Base and Test Generator for the Knowledge-based Tutorial System "Theoretical
Computer Science" and a PROLOG Implementation)
Diplomarbeit, TU Chemnitz,
1992
-
Remke, U.
"Entwurf und PROLOG-Implementation der Erklärungskomponenten
SystemLösung und NutzerLösung für das wissensbasierte Lehrsystem "Theoretische
Informatik"
(Design and PROLOG Implementation of the Explanatory
Components System's Solution and User's Solution)
Diplomarbeit, TU
Chemnitz, 1992
-
Heyn, T.
"Algorithmen des unscharfen Schliessens"
(Fuzzy
Inference Algorithms)
Diplomarbeit, TU Chemnitz, 1992
-
Zeidler, J.
"Algorithmen des unscharfen Schliessens"
(Fuzzy Inference Algorithms)
Diplomarbeit, TU Chemnitz, 1992
-
Eibisch, K.
"Analyse des Antwortzeitverhaltens der Patienten
in der computerunterstützten Psychodiagnostik"
(Analysis of the Response
Time Behaviour of Patients in Computer-aided Psycho-Diagnostics)
Diplomarbeit, TU Chemnitz, 1992
-
Bachmann, S.
"für ein wissensbasiertes Lehrsystem zur
Theoretischen Informatik sind die Diagnosealgorithmen zu entwerfen und
zu implementieren"
(Design and Implementation of the Diagnostic Algorithms
for the knowledge-based tutorial System "Theoretical Computer Science")
Diplomarbeit, TU Chemnitz, 1992
-
Saadatou
"Algorithmus für das Erfüllbarkeitsproblem"
(Algorithms for the Satisfiability Problem)
Diplomarbeit, TU Chemnitz,
1992
-
Jelinek, F.
"Entwurf und Implementierung einer Schnittstelle
zwischen einer LISP-Anwendung (Wissensbasierter Fertigungsleitstand)
und einer relationalen Datenbank unter Nutzung von Embedded-SQL"
(Design and Implementation of an Interface between a LISP Application
(Knowledge-based process control) and a Relational Database System using
Embedded SQL)
Diplomarbeit, TU Chemnitz, 1992
-
Metzner, K.
Eine Komponente zum Lehrsystem "Theoretische
Informatik"
(Component of the Tutorial System "Theoretical Computer
Science")
Diplomarbeit, TU Chemnitz, 1992
-
Seibold, C.
"Auswahl eines geeigneten Expertensystems
für eine Wissensdomaine der Textilindustrie"
(Selecting an Appropriate
Expert System for a Knowledge Domain of the Textile Industry)
Diplomarbeit,
TU Chemnitz, 1992
-
Petermann, H.
"Untersuchungen zu Aufbau und Einsatzmöglichkeiten
benutzerfreundlicher, intelligenter Hilfssysteme in einer graphischen
Entwicklungsumgebung für PROLOG"
(Investigating the Design and the
Applicability of user-friendly Intelligent Help Systems in a Graphic
PROLOG Development Environment)
Diplomarbeit, TU Chemnitz, 1992
-
Teich, T.
"Entwicklung einer Expertensystemkomponente
zur Steuerung von Fahrstühlen"
(The Development of an Expert System
Component in Order to Control Elevators)
Diplomarbeit, TU Chemnitz,
1992
-
Erdmenger, U.
"Die Behandlung von Geometrie mit PROLOG"
(Solving Geometric Problems using PROLOG)
Diplomarbeit, TU Chemnitz,
1992
-
Seeger, L.
"Wissensdarstellung für technische Probleme"
(Knowledge Representation for Industrial Problems)
Diplomarbeit,
TU Chemnitz, 1992
-
Koos, J.
"Objektorientierte Analyse und Entwurfsverfahren
für wissensbasierte Systeme"
(Object-oriented Analysis and Design
Methods for Knowledge-based Systems)
Diplomarbeit, TU Chemnitz/Zwickau,
1993
-
Jonscher, U.
"Die Aufbereitung von Algorithmen der Theoretischen
Informatik unter Berücksichtigung einer komfortablen Ein- und Ausgabe"
(Designing Comfortable Input and Output Interfaces for Algorithms of
Theoretical Computer Science)
Diplomarbeit, TU Chemnitz/Zwickau,
1993
-
Hüttner, U.
"Die Aufbereitung von Algorithmen der Diskreten
Mathematik unter Berücksichtigung eines nutzerfreundlichen Hilfesystems"
(Designing a User-friendly Help System for Algorithms of Discrete Mathematics)
Diplomarbeit, TU Chemnitz/Zwickau, 1993 (31.3.93)
-
Bremerstein, S.
"Die Bewertung wissensbasierter Planungsmethoden
unter Berücksichtigung kritischer Erfolgsfaktoren, sowie die Anforderungen
an ein Interface zur Integration von Planungsalgorithmen in eine konventionelle
Scheduling Toolbox"
(The Evaluation of knowledge-based Planning Methods
considering Crital Success Factors and the Requirements to an Interface
for the Integration of Planning Algorithms in a Conventional Scheduling
Toolbox)
Diplomarbeit, TU Chemnitz/Zwickau, Hoechst AG; 1993
-
Skowron, F.
"Ein Werkzeug für den natürlichen Herleitungskalkül
und seine exemplarische Anwendung für Verifikationsprobleme"
(Tool
for the Natural Inference Calculus and the Application to Verification
Problems)
Diplomarbeit, TU Chemnitz/Zwickau, Siemens AG; 1993
-
Schawelski, St.
"Lernen aus Beispielen und Lernen durch
Analogie"
(Learning from Examples and Learning by Analogy)
Diplomarbeit,
TU Chemnitz/Zwickau, 1993.
-
Paljunas, W.
Simulationsystem für die Lehrveranstaltung "Turing-Maschinen und rekursiv aufzählbare Sprachen"
(Simulation
System for the Topic "TURING Machines and Recursively Enumerable Languages")
Diplomarbeit, TU Chemnitz/Zwickau, 1993
-
Lipsz, M.
"Suchalgorithmen der Künstlichen Intelligenz"
(Search Algorithms in Artificial Intelligence)
Diplomarbeit, TU Chemnitz/Zwickau,
1993
-
Puschmann, F.
"Konstruktion, Aggregation und Einsatz einer
Wissensbasis im Bauernendspiel"
(Design, Aggregation and Utilization
of a Knowledge Base in a Pawn Endgame)
Diplomarbeit, TU Chemnitz/Zwickau,
1993
-
Voigt, D.
"Ein Algorithmensystem zur Behandlung Ternärvektorlisten
und dessen Anwendung zur Verarbeitung von Regelsystemen"
Diplomarbeit,
TU Chemnitz/Zwickau, 1993
-
Knieschke, U.
"Ein Generierungs- und Präsentationsprogramm
für Lehrsoftware"
(A Generation and Presentation Program for Tutorial
Software)
Diplomarbeit, TU Chemnitz/Zwickau, 1994