Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • 1995

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

  • 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. 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 (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; 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

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

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

    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 (echnical report. GMD ; 1101). Online verfügbar unter http://www.informatik-vollmer.de/publications/dfepp.pdf
  • 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

  • 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 chloraphatite. In: European Journal of Mineralogy 5 (2), S. 307-316. DOI: 10.1127/ejm/5/2/0307
  • Daniel, Manfred; Striebel, Dieter (1993): Künstliche Intelligenz, Expertensysteme. Anwendungsfelder, neue Dienste, soziale Folgen. Wiesbaden: VS Verlag für Sozialwissenschaften (Sozialverträgliche Technikgestaltung). Online verfügbar unter http://dx.doi.org/10.1007/978-3-322-94197-8
  • Daniel, Manfred; Fieguth, Gert (1993): Entwicklung von Methoden zur Ermittlung der Gestaltungsanforderungen an expertensystemgestützte Arbeitssysteme. Karlsruhe

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

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

  • 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

  • Kruschwitz, Lutz; Decker, Rolf O. A.; Möbius, Christian (1993): Investitions- und Finanzplanung. Arbeitsbuch mit Aufgaben und Lösungen. Wiesbaden: Gabler Verlag. Online verfügbar unter http://dx.doi.org/10.1007/978-3-322-82527-8
  • Muthusamy, Yeshwant K.; Berkling, Kay; Arai, Takayuki; Cole, Ronald; Barnard, Etienne (1993) : A comparison of approaches to automatic language identification using telephone speech EUROSPEECH 1993, Berlin, Germany, September 22-25, 1993 In: International Speech Communication Association: European Conference on Speech Communication and Technology, 3: Eurospeech 1993: Berlin, Germany: International Speech Communication Association (ISCA) (Eurospeech). Online verfügbar unter http://www.isca-speech.org/archive/eurospeech_1993/e93_1307.html

     

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML