Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • 1996

  • 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 (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; 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: ZAMM - Journal of Applied Mathematics and Mechanics / 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

  • 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

  • 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 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: ZAMM - Journal of Applied Mathematics and Mechanics / 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; 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 In: Tokoro, Pareschi: First International Workshop, TACAS '95: Tools and Algorithms for The Construction and Analysis of Systems: May 19-20, 1995,: Aarhus, Denmark. Online verfügbar unter http://www.informatik-vollmer.de/publications/tacas-95-paper.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen; Knoop, Jens; Steffen, Bernhard : Optimal code motion for parallel programs (MIP-9511) (September 1995). Online verfügbar unter https://www.informatik-vollmer.de/publications/mip-9511.pdf

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1995) : Data flow analysis of parallel programs In: Bic, Lubomir; Evripidou, Paraskevas; Böhm, Wim; Gaudiot, Jean-Luc (Hg.): PACT '95: Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques: PACT95: International Conference on Parallel Architectures and Compilation Techniques: Limassol, Cyprus: 27 June, 1995- 29 June, 1995. IFIP Working Group on Algol, Department of Computer Science University of Manchester: North-Holland Publishing Co., S. 168-177

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1995): Data flow analysis of parallel programs. Karlsruhe: Universität Karlsruhe (TH) (InternerBericht)
  • 1994

  • Berkling, Kay; Barnard, Etienne (1994) : Language identification of six languages based on a common set of broad phonemes In: International Speech Communication Association: International Conference on Spoken Language Processing, 3: The 3rd International Conference on Spoken Language Processing, ICSLP: Yokohama, Japan: September 18-22, 1994: 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

  • 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 In: IEEE Signal Processing Society: International Conference on Acoustics, Speech and Signal Processing 1994: Proceedings: International Conference on Acoustics, Speech and Signal Processing (ICASSP): Adelaide: IEEE Computer Society (ICASSP), S. 289-292. Online verfügbar unter http://dx.doi.org/10.1109/ICASSP.1994.389298
  • Daniel, Manfred : Expertensysteme – Von der Technikfolgenabschätzung über die Gestaltungsforschung zur Vermarktung? (Blätter der Gesellschaft für Technikfolgenabschätzung (GfT), Halle). In: TA-Rundschau (1/94)

    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 (TA-Monitoring Bericht III)

    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; Knoop, Jens; Steffen, Bernhard (1994): Parallelism for free: Efficient and Optimal Bitvector Analysis for Parallel Programs (Technical report. Universität Passau, Fakultät für Mathematik und Informatik ; MIP-9409)

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML