Prof. Dr. Dietmar Ratz

Leiter Studiengang Wirtschaftsinformatik

Erzbergerstraße 121, Raum C566

Veröffentlichungen

  • Erweiterte Suche öffnen

  • 2001

  • Ratz, Dietmar (2001) : Nonsmooth Global Optimization In: Kulisch, Ulrich; Lohner, Rudolf; Facius, Axel (Hg.): Perspectives on Eclosure Methods: Wien: Springer-Verlag, S. 277-339

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 2000

  • Csendes, Tibor; Klatte, Rudi; Ratz, Dietmar (2000): A Posteriori Direction Selection Rules for Interval Optimization Methods. In: Central European Journal of Operations Research (8), S. 225-236

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (2000): Lehrbuch PASCAL XSC - Sprache des numerischen Programmierens. Moskau: DMK-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1999

  • Ratz, Dietmar (1999): A Nonsmooth Global Optimization Technique Using Slopes: - The One-Dimensional Case. In: Journal of Global Optimization (14), S. 365-393

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1999): Globale Optimierung nichtdifferenzierbarer Funktionen unter Einsatz von Intervallsteigungen. In: Zeitschrift für Angewandte Mathematik und Mechanik (79, S1), S. 247-250

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1998

  • Januschke, Peter; Ratz, Dietmar (1998): A Survey of PASCAL-XSC and a Language Reference Supplement on Dynamic and Flexible Arrays. Karlsruhe: Universität Karlsruhe (TH) (Bericht. Universität Karlsruhe (TH), Institut für Angewandte Mathematik)

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1998): Automatic Slope Computation and its Application in Nonsmooth Global Optimization. Aachen: Shaker-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1997

  • Goos, Astrid; Ratz, Dietmar (1997): Praktische Realisierung und Test eines Verifikationsverfahrens zur L¨osung globaler Optimierungsprobleme mit Ungleichungsnebenbedingungen (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Herbort, Stefan; Ratz, Dietmar (1997): Improving the efficiency of a nonlinear-system-solver using a componentwise Newton method. Karlsruhe: Universität Karlsruhe (TH) (Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)
  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1997): PASCAL XSC Sprachbeschreibung mit Beispielen. russisch. Moskau

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar; Csendes, Tibor (1997): Subdivision Direction Selection in Interval Methods for Global Optimization. In: SIAM Journal on Numerical Analysis (34), S. 922-938

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1997) : New Results on Gap-Treating Techniques in Extended Interval Newton Gauss-Seidel Steps for Global Optimization In: Bomze, Immanuel M.; Csendes, Tibor; Horst, Reiner; Pardalos, Panos M. (Hg.): Developments in Global Optimization: Dordrecht, Netherlands: Kluwer Academic Publishers, S. 55-72

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1997): An Optimized Interval Slope Arithmetic and its Application. Karlsruhe: Universität Karlsruhe (TH) (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)
  • 1996

  • Ratz, Dietmar; Csendes, Tibor (1996): A Review of Subdivision Direction Selection in Interval Methods for Global Optimization. In: Journal of Applied Mathematics and Mechanics (ZAMM) (76, S1), S. 319-322

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1996): Improved Techniques for Gap-Treating and Box-Splitting in Interval Newton GaussSeidel Steps for Global Optimization with Validation. In: Zeitschrift für Angewandte Mathematik und Mechanik (76, S1), S. 323-326

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1996) : On Branching Rules in Second-Order Branch-and-Bound Methods for Global Optimization In: Alefeld, Götz; Frommer, Andreas; Lang, Bruno (Hg.): Scientific Computing and Validated: Berlin: Akademie-Verlag, S. 221-227

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1996): Inclusion Isotone Extended Interval Arithmetic. Karlsruhe (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1995

  • Csendes, Tibor; Ratz, Dietmar (1995): On the Selection of Subdivision Directions in Interval Branch-and-Bound Methods for Global Optimization. In: Journal of Global Optimization (7), S. 183-207

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar (1995): C++ Toolbox for Verified Computing I - Basic Numerical Problems. Heidelberg; New York: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Jäger, Christine; Ratz, Dietmar (1995): A Combined Method for Enclosing All Solutions of Nonlinear Systems of Polynomial Equations. In: Reliable Computing, St. Petersburg (1), S. 41-64

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Jäger, Christine; Ratz, Dietmar (1995): Ein kombiniertes Verfahren zur Einschließung aller Lösungen eines nichtlinearen Systems von algebraischen Gleichungen. In: Zeitschrift für Angewandte Mathematik und Mechanik (75), S. 52-528. DOI: 10.5445/IR/154895
  • Ratz, Dietmar (1995): Globale Optimierung mit Ergebnisverifikation. In: FZKA 5560, S. 9-35

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1994

  • Ratz, Dietmar (1994): Box-Splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method. In: Computing (53), S. 337-353

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1993

  • Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar (1993): Numerical Toolbox for Verified Computing I - Basic Numerical Problems.. Heidelberg, New York: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Hammer, Rolf; Neaga, Michael; Ratz, Dietmar (1993) : PASCAL-XSC - New Concepts for Scientific Computation and Numerical Data Processing In: Adams, Ernst; Kulisch, Ulrich (Hg.): Scientific Computing with Automatic Result: New York: Academic Press, S. 15-44

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML