Reports/Arbeitsberichte
Alle Reports/Arbeitsberichte ab 1999 sind
auf dem
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
|