Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • 1996

  • Ratz, Dietmar (1996): An Optimized Interval Slope Arithmetic and its Application (Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

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

    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; Knoop, Jens; Steffen, Bernhard (1996): Parallelism for free.. Efficient and optimal bitvector analyses for parallel programs.. In: ACM Transactions on Programming Languages and System (TOPLAS) 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

  • 1995

  • 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: European Conference on Speech Communication and Technology, 4: 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 (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: ZAMM (75), S. 52-528

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995): Optimal code motion for parallel programs

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1995) : Data flow analysis of parallel programs: Proceedings of the IFIP WG 10.3 Working Conference on Parallel Architectures and Compilation Techniques: IFIP WG 10.3 Working Conference on Parallel Architectures and Compilation Techniques: Limassol, Cyprus, S. 168-177

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995) : Optimal code motion for parallel programs. Extended abstract In: Physikzentrum Bad Honnef: Proceedings of the 12th GI Workshop on Alternative Konzepte für Sprachen und Rechner: 12th GI Workshop on Alternative Konzepte für Sprachen und Rechner: 2-4. Mai. Technical Report University of Koblenz

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1995) : Parallelism for free. Bitvector Analyses for Parallel Programs: Tokoro, Pareschi (Hg.) 1995 – Proceedings of the International Workshop; Proceedings of the Workshop on Tools and Algorithms for The Construction and Analysis of Systems, TACAS. Online verfügbar unter http://www.informatik-vollmer.de/publications/tacas-95-paper.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1994

  • Berkling, Kay; Arai, Takayuki; Barnard, Etienne (1994) : Analysis of phoneme-based features for language identification Speech and Signal Processing, Adelaide, South Australia, Australia, April 19-22, 1994: International Conference on Acoustics, Speech and Signal Processing: IEEE Computer Society (ICASSP), S. 289-292. Online verfügbar unter http://dx.doi.org/10.1109/ICASSP.1994.389298
  • Berkling, Kay; Barnard, Etienne (1994) : Language identification of six languages based on a common set of broad phonemes 1994, Yokohama, Japan, September 18-22, 1994: International Conference on Spoken Language Processing, 3: ISCA (ICSLP). Online verfügbar unter http://www.isca-speech.org/archive/icslp_1994/i94_1891.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred (1994): Expertensysteme – Von der Technikfolgenabschätzung über die Gestaltungsforschung zur Vermarktung?. In: TA - Rundschau

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Fieguth, Gert; Seidel, Gabriele; Wingert, B. (1994): Informations- und Kommunikationstechnologien – Ausgewählte Technology Assessments des OTA – Eine Auswertung von sieben OTA-Studien. Bonn

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

  • Vollmer, Jürgen (1994): Dataflow equations for parallel programs that share memory. Online verfügbar unter http://www.informatik-vollmer.de/publications/dfepp.pdf, zuletzt geprüft am 15.08.2019

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard (1994): Parallelism for free: Efficient and Optimal Bitvector Analysis for Parallel Programs

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1993

  • Bauer, Michael; Klee, Wilfrid E. (1993): Induced ferrielectricity in chlorapatite. In: Zeitschrift für Kristallographie - Crystalline Materials 206 (1), S. 15-24. DOI: 10.1524/zkri.1993.206.Part-1.15
  • Bauer, Michael; Klee, Wilfrid E. (1993): The monoclinic-hexagonal phase transition in chlorapatite. In: European Journal of Mineralogy 5 (2), S. 307-316. DOI: 10.1127/ejm/5/2/0307
  • Daniel, Manfred; Fieguth, Gert (1993) : Computerunterstütztes Problemlösen und Verbesserung der Wissenskommunikation als humanorientierte Gestaltungsaufgaben In: Coy, Wolfgang; Gorny, Peter; Kopp, Ilona; Skarpelis, Constantin (Hg.): Menschengerechte Software als Wettbewerbsfaktor, 40: Wiesbaden: Vieweg+Teubner Verlag (Berichte des German Chapter of the ACM), S. 526-547