LEADER 05550nam 22007335 450 001 996466087503316 005 20200629113715.0 010 $a3-540-47520-6 024 7 $a10.1007/3-540-56320-2 035 $a(CKB)1000000000233920 035 $a(SSID)ssj0000323401 035 $a(PQKBManifestationID)11242468 035 $a(PQKBTitleCode)TC0000323401 035 $a(PQKBWorkID)10300420 035 $a(PQKB)11355000 035 $a(DE-He213)978-3-540-47520-0 035 $a(PPN)155197711 035 $a(EXLCZ)991000000000233920 100 $a20121227d1992 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFuture Tendencies in Computer Science, Control and Applied Mathematics$b[electronic resource] $eInternational Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings /$fedited by Alain Bensoussan, Jean-Pierre Verjus 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (XVIII, 378 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v653 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56320-2 327 $aWorld 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v653 606 $aComputers 606 $aComputer organization 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer-aided engineering 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044 615 0$aComputers. 615 0$aComputer organization. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer-aided engineering. 615 14$aTheory of Computation. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aInformation Systems and Communication Service. 615 24$aArtificial Intelligence. 615 24$aComputer-Aided Engineering (CAD, CAE) and Design. 676 $a004 702 $aBensoussan$b Alain$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVerjus$b Jean-Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on the Occasion of the 25th Anniversary of INRIA 906 $aBOOK 912 $a996466087503316 996 $aFuture tendencies in computer science, control and applied mathematics$91487584 997 $aUNISA