Fakultät für Mathematik und InformatikUniversität Leipzig
Institut für InformatikUniversität Leipzig
Bibliothek / Dokumenten-Server / Jahresberichte / Graduierungsschriften

Reports/Arbeitsberichte

Alle Reports/Arbeitsberichte ab 1999 sind auf dem

Dokumenten-Server

der Universität Leipzig zu finden.


Alle vorhandenen Reports bis 1998 können mittel anonymen ftp vom Server ftp.uni-leipzig.de aus den Verzeichnis /pub/ifi/reports bezogen werden.

1998

98-14
Herrmann, Paul; Kebschull, Udo; Spruth, Wilhelm G.
Hard- und Software-Entwicklung eines ATM-Testgenerators/Monitors
98-12
Apel, Joachim
Computational Ideal Theory in Finitely Generated Extension Rings
98-11
Apel, Joachim; Klaus, Uwe;
Aspects of Large Scale Symbolic Computation Management
98-10
Apel, Joachim; Klaus, Uwe;
A Note on Data Types Supporting Efficient Implementations of Polynomial Arithmetics
98-09
Märtens, Holger;
Disk Scheduling for Intermediate Results of Large Join Queries in Shared-Disk Parallel Database Systems
98-08
Märtens, Holger;
Options in Scan Processing for Shared-Disk Parallel Database Systems
98-07
Dötsch, Volker
Modellierung einer wissensbasierten, interaktiven Prozeßsteuerung
98-06
Rahm, Erhard
Evalution of object-relational database systems for fulltext retrieval
98-05
Möhrke, U.; Herrmann, P.; Steffen, M.; Spruth, W.G.
Ein Branch & Bound-Ansatz zur Verdrahtung von Field Programmable Gate-Arrays
98-01
Steffen, M.; Herrmann, P.; Möhrke, U.; Spruth, W.G.
Test und Integration von Synthese- und Layoutwerkzeugen für den FPGA-Entwurf

1997

97-12
Apel, Joachim
Effective Groebner Structures
97-11
Ramsch, Jan; Sosna, Dieter
Das Metainformationssystem DST für ATKIS
97-10
Ramsch, Jan; Sosna, Dieter
Temporale Datenmodelle und Metainformationssysteme für GIS
97-09
Sosna, Dieter
Document Version Management Using an Adapted Segment Tree
97-08
Rogler, Frank ; Dötsch, Volker
Das Konzept der Therapievollständigkeit medizinischer Wissensbasen
97-07
Herre, H.; Wagner, G.
Semantical Foundation of Extended Generalized Logic Programs
97-06
Spruth, Wilhelm G.; Hering, Klaus; Haupt, Reiner; Petri, Udo
Zwischenbericht zur Arbeit im DFG-Projekt 'Modellpartitionierung / Logiksimulation'
97-05
Dietrich, J.; Herre, H.
Contributions to the Theory of Nonmonotonic Inference Systems
97-04
Der, Ralf; Steinmetz, Ulrich
Wavelet analysis of EEG signals as a tool for the investigation of the time architecture of cognitive processes
97-03
Balzuweit, Gerd; Der, Ralf; Herrmann,Michael; Welk, Martin
An Algorithm for Generalized Principal Curves with Adaptive Topology in Complex Data Sets
97-02
Engelfriet, J.; Herre, H.
Generated Preferred Models of Nonmonotonic Systems
97-01
Duc, H. N.
A Recursively Axiomatizable Subsystem of Levesque's Logic of Only Knowing

1996

96-13
Hering, Klaus
Parallel Cycle Simulation
96-12
Beckmann, Anja; Sosna, Dieter
Entwurf eines relationalen Schemas für ein Literaturverwaltungssystem
96-11
Gräbe, Hans-Gert
About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce
96-10
Wagner, Gerd
Vivid Agents: How They Deliberate, How they React, How They Are Verified
96-09
Herre, Heinrich; Hofestädt, Ralf; Löffler, Markus; Trefz, F.K.;(Hrsg.)
Workshop 1996 'Informationsverarbeitung in der Biomedizin der Universität Leipzig'
96-08
Herre, Heinrich; Wagner, Gerd
Solving Practical Reasoning Prolems with Extended Disjunctive Logigc Programming
96-07
Herre, Heinrich; Wagner, Gerd
Stable Semantics of Temporal Deduktive Databases
96-06
Herre, Heinrich; Wagner, Gerd
Contributionsto the Smantics of Generalized Logic Programs
96-05
Herre, Heinrich; Wagner, Gerd
Stable and Grounded Models of Extended Generalized Logic Programs
96-04
Schmidt, Marco; Moehrke, Ulrich; Herrmann, Paul
VH2FG ein VHDL-nach-Flussgraph-Converter fuer CADDY
96-03
Schmidt, Marco; Moehrke, Ulrich; Herrmann, Paul
Verhaltensbeschreibung in der High-Level-Synthese
96-02
Moehrke, Ulrich; Herrmann, Paul; Schmidt, Marco
Das Xilinx-LCA-Format
96-01
Dietrich, Jens
On the compactness of nonmonotonic logics

1995

17(95)
Herre, Heinrich; Wagner, Gerd
A General Notion of Stable Models
16(95)
Sosna, Dieter; Zschoettge, Steffen
Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen
16(95)-Appendix
(dazu ein Anhang)
report9516.append
15(95)
Schmidt, M. Moehrke, U.; Herrmann, P.
Synthesis Tools for FPGA-Design
14(95)
Hering, Klaus; Haupt, R.; Villmann, Th.
An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms
13(95)
Hering, Klaus; Haupt, R.; Villmann, Th.
Cone-basierte, hierarchische Modellpartitionierung zur parallelen compilergesteuerten Logiksimulation beim VLSI-Design
12(95)
Herre, Heinrich; Jaspers, Jan; Wagner, Gerd
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning
11(95)
Wagner, Gerd
Disjunctive Knowledge Bases
10(95)
Heyer, Gerhard
On the notation of a Language Products Technology
9(95)
Schierwagen, Andreas
Blickkontrolle in neuraler Architektur für Aktive Sehsysteme
8(95)
Rahm, Erhard
Dynamic Load Balancing in Parallel Database Systems
7(95)
Gräbe, Hans-Gert
Triangular Systems and Factorized Groebner Bases

1994

6(94)
Gräbe, Hans-Gert
On Factorized Groebner Bases
5(94)
Hering, Klaus
Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuerten Logiksimulation (Projekt)
4(94)
Apel, Joachim; Stückrad, Jürgen; Tworzewski, Piotr; Winiarski, Tadeusz
Reduction of Everywhere Convergent Power Series with respect to Groebner Bases
3(94)
Bericht vom Informatiktag an der Universität Leipzig am 18.5.94 (Vortraege, nur in Papierform verfügbar)
2(94)
Rahm, Erhard; Marek, Robert
Dynamic Multi-Resource Load Balancing in Parallel Database Systems
1(94)
Rahm, Erhard; Stoehr, Thomas
Controlling Disk Contention for Parallel Query Processing in Shared Disk Database Systems

Impressum:
Herausgeber: Universität Leipzig, Institut für Informatik
Seitenbetreuer: Andreas Zerbst
Letzte Änderung: 21.01.99
Status: permanent

Vorhergehende SeiteZum SeitenanfangZur StartseiteSuchen auf den IfI-SeitenImpressum2010-07-20   from XML   © Andreas Zerbst   click in for email