Coverart for item
The Resource 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, A. Bensoussan, J.-P. Verjus (eds.)

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, A. Bensoussan, J.-P. Verjus (eds.)

Label
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
Title
Future tendencies in computer science, control and applied mathematics
Title remainder
International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Statement of responsibility
A. Bensoussan, J.-P. Verjus (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
  • "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."--PUBLISHER'S WEBSITE
  • "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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1992
http://bibfra.me/vocab/lite/meetingName
International Conference on the Occasion of the 25th Anniversary of INRIA
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Bensoussan, Alain
  • Verjus, J.-P
Series statement
Lecture notes in computer science
Series volume
653
http://library.link/vocab/subjectName
  • Computer science
  • Automatic control
  • Mathematics
Label
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, A. Bensoussan, J.-P. Verjus (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Inaugural Conference. World mathematical year 2,000 and computer sciences / J.L. Lions. Abstract (II. Symbolic Computation, Programming, and Software Engineering). Dependable parallel computing by randomization / M.O. Rabin -- I. Parallel Processing, Databases, Networks, and Distributed Systems. System dependability / B. Randell. Technology, networks, and the library of the year 2,000 / J.H. Saltzer. Mosaic C: an experimental fine-grain multicomputer / C.L. Seitz. New frontiers in database system research / J.D. Ullman -- II. Symbolic Computation, Programming, and Software Engineering. Formal theories and software systems: fundamental connections between computer science and logic / R.L. Constable. Time for concurrency / Z. Manna and A. Pnueli. Horizons of parallel computation / F.P. Preparata and G. Bilardi. Control software for virtual-circuit switches: call processing / R. Sethi, R. Campbell, S. Dorward, A. Iyengar, C. Kalmanek, G. Murakami, Ce-Kuen Shieh and See-Mong Tan
  • III. Artificial Intelligence, Cognitive Systems, and Man-Machine Communication. What is knowledge representation, and where is it going? / R.J. Brachman. Creating a design science of human-computer interaction / J.M. Carroll -- IV. Robotics, Image and Vision. Sensing robots / J.M. Brady. Fundamentals of bicentric perspective / J.J. Koenderink. Digital HDTV: a technical challenge / A.N. Netravali -- V. Signal Processing, Control and Manufacturing Automation. Autonomous control / K.J. Astrom. Analog and digital computing / R.W. Brockett. Stochastic control and large deviations / W.H. Fleming. Differential-geometric methods: a powerful set of new tools for optimal control / H.J. Sussmann. Coordinating vehicles in an automated highway / P. Varaiya. Opportunities and challenges in signal processing and analysis / A.S. Willsky. Neural computing and stochastic optimization / E. Wong -- VI. Scientific Computing, Numerical Software, and Computer Aided Engineering
Control code
27035362
Dimensions
24 cm
Extent
xv, 371 pages
Isbn
9783540563204
Lccn
92041021
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1475026
Label
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, A. Bensoussan, J.-P. Verjus (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Inaugural Conference. World mathematical year 2,000 and computer sciences / J.L. Lions. Abstract (II. Symbolic Computation, Programming, and Software Engineering). Dependable parallel computing by randomization / M.O. Rabin -- I. Parallel Processing, Databases, Networks, and Distributed Systems. System dependability / B. Randell. Technology, networks, and the library of the year 2,000 / J.H. Saltzer. Mosaic C: an experimental fine-grain multicomputer / C.L. Seitz. New frontiers in database system research / J.D. Ullman -- II. Symbolic Computation, Programming, and Software Engineering. Formal theories and software systems: fundamental connections between computer science and logic / R.L. Constable. Time for concurrency / Z. Manna and A. Pnueli. Horizons of parallel computation / F.P. Preparata and G. Bilardi. Control software for virtual-circuit switches: call processing / R. Sethi, R. Campbell, S. Dorward, A. Iyengar, C. Kalmanek, G. Murakami, Ce-Kuen Shieh and See-Mong Tan
  • III. Artificial Intelligence, Cognitive Systems, and Man-Machine Communication. What is knowledge representation, and where is it going? / R.J. Brachman. Creating a design science of human-computer interaction / J.M. Carroll -- IV. Robotics, Image and Vision. Sensing robots / J.M. Brady. Fundamentals of bicentric perspective / J.J. Koenderink. Digital HDTV: a technical challenge / A.N. Netravali -- V. Signal Processing, Control and Manufacturing Automation. Autonomous control / K.J. Astrom. Analog and digital computing / R.W. Brockett. Stochastic control and large deviations / W.H. Fleming. Differential-geometric methods: a powerful set of new tools for optimal control / H.J. Sussmann. Coordinating vehicles in an automated highway / P. Varaiya. Opportunities and challenges in signal processing and analysis / A.S. Willsky. Neural computing and stochastic optimization / E. Wong -- VI. Scientific Computing, Numerical Software, and Computer Aided Engineering
Control code
27035362
Dimensions
24 cm
Extent
xv, 371 pages
Isbn
9783540563204
Lccn
92041021
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1475026

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...