Test Citavi-Plugin

  • Erweiterte Suche öffnen

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1997): PASCAL XSC Sprachbeschreibung mit Beispielen. russisch. Moskau
  • Möbius, Christian (1997): Optimale Finanzplanung von selbstgenutztem Wohneigentum. Anwendung linearer Fuzzy-Programmierungsverfahren. Wiesbaden: Deutscher Universitätsverlag (Gabler Edition Wissenschaft)
  • Ratz, Dietmar; Csendes, Tibor (1997): Subdivision Direction Selection in Interval Methods for Global Optimization. In: SIAM Journal on Numerical Analysis (34), S. 922-938
  • 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 (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
  • Vollmer, Jürgen (1997): Analyse und Transformation kontrollflußparalleler Programme. Dissertation. Karlsruhe: Universität Karlsruhe (TH)
  • 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
  • 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
  • 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
  • Ratz, Dietmar (1996): Inclusion Isotone Extended Interval Arithmetic. Karlsruhe (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation)
  • 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
  • Speech Research Lab (1996): International Conference on Spoken Language Processing. The Fourth International Conference on Spoken Language Processing. Philadelphia, PA, USA, October 3-6,: ISCA (ICSLP)
  • 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
  • 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
  • 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
  • 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
  • Bic, Lubomir; Evripidou, Paraskevas; Böhm, Wim; Gaudiot, Jean-Luc (Hg.) (1995): 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.
  • 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
  • Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar (1995): C++ Toolbox for Verified Computing I - Basic Numerical Problems. Heidelberg; New York: Springer-Verlag
  • International Speech Communication Association (1995): European Conference on Speech Communication and Technology. Eurospeech 1995. Madrid, Spain: International Speech Communication Association (ISCA) (Eurospeech)
  • 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
  • Physikzentrum Bad Honnef (1995): 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
  • Ratz, Dietmar (1995): Globale Optimierung mit Ergebnisverifikation. In: FZKA 5560, S. 9-35
  • Tokoro, Pareschi (1995): First International Workshop, TACAS '95. Tools and Algorithms for The Construction and Analysis of Systems. May 19-20, 1995,, Aarhus, Denmark