Publikationen der DHBW Karlsruhe

  • Erweiterte Suche öffnen

  • 1995

  • 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 : 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. Karlsruhe: Universität Karlsruhe (TH) (InternerBericht)

    DOI: https://doi.org/10.5445/IR/34695 

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

    DOI: http://dx.doi.org/10.1109/ICASSP.1994.389298 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

  • 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

  • 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

    DOI: http://www.informatik-vollmer.de/publications/dfepp.pdf 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1993

  • 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

    DOI: https://doi.org/10.1127/ejm/5/2/0307 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

    DOI: https://doi.org/10.1524/zkri.1993.206.Part-1.15 

    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

    DOI: https://doi.org/10.1007/978-3-663-01087-6_33 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Daniel, Manfred; Fieguth, Gert (1993): Entwicklung von Methoden zur Ermittlung der Gestaltungsanforderungen an expertensystemgestützte Arbeitssysteme. Teilprojekt: Diagnostik-Arbeitssysteme. (Abschlußbericht der Vorphase). Karlsruhe

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

    DOI: http://dx.doi.org/10.1007/978-3-322-94197-8 

    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

  • 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

    DOI: http://dx.doi.org/10.1007/978-3-322-82527-8 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 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

  • Seidel, Gabriele; Striebel, Dieter; Daniel, Manfred (1993) : Erfolgsfaktoren für die Anwendung lernförderlicher Expertensysteme 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. 429-441

    DOI: https://doi.org/10.1007/978-3-663-01087-6_28 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Vollmer, Jürgen (1993) : Die Programmiersprache Modula-P In: Baumann, Martin; Grebe, Reinhard (Hg.): Parallele Datenverarbeitung mit dem Transputer: 4. Transputer-Anwender-Treffen TAT ’92, Aachen, 22.-23. September 1992: Berlin; Heidelberg: Springer (Informatik aktuell), S. 114-115

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1992

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1992): PASCAL XSC Language Reference with Examples. Heidelberg: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992): Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation: Universität Karlsruhe (TH)

    DOI: https://doi.org/10.1007/978-3-7091-6282-8_15 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992) : An Inclusion Algorithm for Global Optimization in a Portable PASCAL-XSC Implementation In: Herzberger, Jürgen; Atanassova, Lidiya (Hg.): Computer Arithmetic and Enclosure Methods: Elsevier; Amsterdam: North-Holland, S. 329-338

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML