Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8 11, 1992 : proceedings

This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in i...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Conference on Resarch in Computer Science :Paris
Další autoři: Bensoussan, Alain, 1940-...., mathématicien (Šéfredaktor, odpovědný redaktor), Verjus, Jean-Pierre, 1943-...., informaticien (Šéfredaktor, odpovědný redaktor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Edice:Lecture notes in computer science 653
Témata:
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Future tendencies in computer science, control and applied mathematics, International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 1992, proceedings, A. Bensoussan, J.-P. Verjus (eds.), 1992, Berlin, Springer, 1 vol. (XV-371 p.), Lecture notes in computer science, 0-387-56320-2
• Future Tendencies in Computer Science, Control and Applied Mathematics, Texte imprimé, 9783662186619
Obsah:
  • World mathematical year 2.000 and computer sciences
  • Dependable parallel computing by randomization (Abstract)
  • System dependability
  • Technology, networks, and the library of the year 2000
  • Mosaic C: An experimental fine-grain multicomputer
  • New frontiers in database system research
  • Formal theories and software systems: Fundamental connections between Computer Science and Logic
  • Time for concurrency
  • Horizons of parallel computation
  • Control software for virtual-circuit switches: Call processing
  • What is knowledge representation, and where is it going?
  • Creating a design science of Human-Computer Interaction
  • Sensing robots
  • Fundamentals of bicentric perspective
  • Digital HDTV: A technical challenge
  • Autonomous control
  • Analog and digital computing
  • Stochastic control and large deviations
  • Differential-Geometric methods: A powerful set of new tools for optimal control
  • Coordinating vehicles in an automated highway
  • Opportunities and challenges in signal processing and analysis
  • Neural computing and stochastic optimization
  • Stabilization of Galerkin methods and applications to domain decomposition
  • An efficient implementation of the spectral partitioning algorithm on connection machine systems.