Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. A. Bensoussan
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. -P. Verjus
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 653)

Included in the following conference series:

Conference proceedings info: INRIA 1992.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. World mathematical year 2.000 and computer sciences

    • J. L. Lions
    Pages 1-16

  3. Dependable parallel computing by randomization (Abstract)

    • Michael O. Rabin
    Pages 17-20

  4. System dependability

    • Brian Randell
    Pages 21-50

  5. Technology, networks, and the library of the year 2000

    • Jerome H. Saltzer
    Pages 51-67

  6. Mosaic C: An experimental fine-grain multicomputer

    • Charles L. Seitz
    Pages 69-85

  7. New frontiers in database system research

    • Jeffrey D. Ullman
    Pages 87-101

  8. Formal theories and software systems: Fundamental connections between Computer Science and Logic

    • Robert L. Constable
    Pages 103-127

  9. Time for concurrency

    • Zohar Manna, Amir Pnueli
    Pages 129-153

  10. Horizons of parallel computation

    • Gianfranco Bilardi, Franco P. Preparata
    Pages 155-174

  11. Control software for virtual-circuit switches: Call processing

    • Roy Campbell, Sean Dorward, Anand Iyengar, Chuck Kalmanek, Gary Murakami, Ravi Sethi et al.
    Pages 175-186

  12. What is knowledge representation, and where is it going?

    • Ronald J. Brachman
    Pages 187-203

  13. Creating a design science of Human-Computer Interaction

    • John M. Carroll
    Pages 205-215

  14. Sensing robots

    • Michael Brady
    Pages 217-231

  15. Fundamentals of bicentric perspective

    • Jan J. Koenderink
    Pages 233-251

  16. Digital HDTV: A technical challenge

    • Arun N. Netravali
    Pages 253-264

  17. Autonomous control

    • K. J. Ã…ström
    Pages 265-278

  18. Analog and digital computing

    • Roger W. Brockett
    Pages 279-289

  19. Stochastic control and large deviations

    • Wendell H. Fleming
    Pages 291-300

  20. Differential-Geometric methods: A powerful set of new tools for optimal control

    • Héctor J. Sussmann
    Pages 301-314
Back to top

Other volumes

  1. Future Tendencies in Computer Science, Control and Applied Mathematics

Keywords

About this book

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 information technology who are particularly active in the fields covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: Parallel processing, databases, networks, and distributed systems; Symbolic computation, programming, and software engineering; Artificial intelligence, cognitive systems, and man-machine interaction; Robotics, image processing, and computer vision; Signal processing, control and manufacturing automation; Scientific computing, numerical software, and computer aided engineering.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation