![B]()
List of Technical Reports Mathematics / Computer Science 1999
- 01: F. Leibfritz
Computational Design of Stabilizing Static Output Feedback Controllers - 02: F. Leibfritz
A LMI-Based Algorithm for Designing Suboptimal Static / Output Feedback Controllers - 03: F. Leibfritz
Static Output Feedback Design by Using a Newton-SQP Interior Point Method - 04: L. Breuer
Spatial Queues with Infinitely Many Servers - 05: R. Rödler
Convergence of Generalized Supermartingales with Continous Parameter - 06: J. Sztrik, O. Möller
Stochastic Simulation of Markov Modulated Finite-Source Queues - 07: J. Sztrik, O. Möller
A Tool for Simulation of Markov Modulated Finite-Source Queueing Systems - 08: R. Rödler
Convergence of Disturbed Martingales and a Stochastic Model for Annuity Funds - 09: R. Rödler
On the Rareness of Disturbed Martingales in the Class of all Uniformly L-bounded Stochastic Processes - 10: Chr. W. Keßler, H. Seidl, C. H. Smith
The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations - 11: R. Rödler
Convergence of Time-Continous Disturbed Martingales and Financial Market Modelling - 12: E. Arian, A. Battermann, E. W. Sachs
Approximation of the Newton Step by a Defect Correction Process - 13: M. Fahl
Computation of PODs for Fluid Flows with Lanczos Methods - 14: A. Kaplan, R. Tichatschke
Auxiliary Problem Principle and Proximal Point Methods - 15 : D. Baum
Phasentyp-Verteilungen und Matrix-analytische Methoden - 16: J. Bern, Ch. Meinel
One Step Further: Integrating Electronic Submission and the Reviewing Process - 17: D. Baum, N. Müller, R. Rödler (Hrsg.)
MMB '99 - Kurzbeiträge und Toolbeschreibungen - 18: D. Baum
On MAPA/G/K/K Stations - 19: Ch. Meinel, H. Sack
Algorithmic Considerations for -OBDD Reordering - 20: C. Damm
On the Complexity of Tensor Formulae - 21: M. Mundhenk
Propositional Proofs and Their Complexity
[DVI file with hyperlinks] - 22: M. Mundhenk
The Complexity of Optimal Small Policies - 23: E. Dubrova, H. Sack
Probabilistic Verification of Multiple-Valued Functions - 24: M. R. Schmidt
Dual Characterization of Super-Hedging Prices in a Currency Market with Proportional Transaction Costs - 25: M. Mundhenk, J. Goldsmith, C. Lusena, E. Allender
Complexity of Finite-Horizon Markov Decision Process Problems - 26: G. Hoff, M. Mundhenk
Finding Scientific Papers with HPSearch and MOPS - 27: H. Sack, E. Dubrova, Ch. Meinel
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions - 28: Ch. Meinel, Chr. Stangier
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering - 29: Chr. Stangier, U. Holtmann
Applying Formal Verification with Protocol Compiler - 30: L. Abbe
Two Logarithmic Barrier Methods for Convex Semi-Infinite Programming Problems
actual reports
