Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • Guillemoles, Jean-Francois; Haalboom, Thomas; Gödecke, Tilo; Ernst, Frank; Cahen, David (1997): Phase and Interface Stability Issues in Chalcopyrite-Based Thin Film Solar Cells. In: MRS Proceedings 485. DOI: 10.1557/PROC-485-127
  • Herberholz, Rainer; Braunger, D.; Schock, Hans-Werner; Haalboom, Thomas (1997) : Performance and Defects in Cu In Ga Se~2 Based Heterojunctions - Technische Informationsbibliothek (TIB): European photovoltaic solar energy conference, S. 1246-1249. Online verfügbar unter https://www.tib.eu/de/suchen/id/BLCP%3ACN023425280/Performance-and-Defects-in-Cu-In-Ga-Se~2-Based/

     

    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

  • Möbius, Christian (1997): Optimale Finanzplanung von selbstgenutztem Wohneigentum. Anwendung linearer Fuzzy-Programmierungsverfahren. Wiesbaden: Deutscher Universitätsverlag (Gabler Edition Wissenschaft)

    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)
  • 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

  • Vollmer, Jürgen (1997): Analyse und Transformation kontrollflußparalleler Programme. Dissertation. Karlsruhe: Universität Karlsruhe (TH)

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Berkling, Kay; Barnard, Etienne (1996) : Language identification with inaccurate string matching PA, USA, October 3-6, 1996 In: Speech Research Lab: International Conference on Spoken Language Processing, 4: The Fourth International Conference on Spoken Language Processing: Philadelphia, PA, USA: October 3-6,: ISCA (ICSLP). Online verfügbar unter http://www.isca-speech.org/archive/icslp_1996/i96_1796.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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): 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

  • 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

  • Sperling, V.; Woggon, U.; Lohde, A.; Haalboom, Thomas (1996): Coexistence of dot and wire-like structures of CdS embedded in a polymer. In: Journal of luminescence 72 (4), S. 395-397

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Schroeer, Friedrich-Wilhelm (1996): MOBIL(-P), intermediate compiler languages for (explicit parallel) imperative languages. Karlsruhe (Technical report. GMD Forschungsstelle an der Universität Karlsruhe). Online verfügbar unter http://www.informatik-vollmer.de/publications/mobil.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1996): Parallelism for free.. Efficient and optimal bitvector analyses for parallel programs.. In: ACM Transactions on Programming Languages and System 18 (3), S. 268-299. Online verfügbar unter http://www.informatik-vollmer.de/publications/toplas.96.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Berkling, Kay; Barnard, Etienne (1995) : Theoretical error prediction for a language identification system using optimal phoneme clustering EUROSPEECH 1995, Madrid, Spain, September 18-21, 1995 In: International Speech Communication Association: European Conference on Speech Communication and Technology, 4: Eurospeech 1995: Madrid, Spain: International Speech Communication Association (ISCA) (Eurospeech). Online verfügbar unter http://www.isca-speech.org/archive/eurospeech_1995/e95_0351.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

  • Vollmer, Jürgen (1995): Data flow analysis of parallel programs. Karlsruhe: Universität Karlsruhe (TH) (InternerBericht)
  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995): Optimal code motion for parallel programs. In: Technical Report MIP-9511 (September)

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML