Computer Science Today: Recent Trends and Developments

✍ Scribed by Gilles Brassard (auth.), Jan van Leeuwen (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1995
• Tongue: English
• Leaves: 657
• Series: Lecture Notes in Computer Science 1000
• Edition: 1
• Category: Library

✦ Synopsis

This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology.
This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field.

✦ Table of Contents

A quantum jump in computer science....Pages 1-14
Artificial life and real world computing....Pages 15-28
Recurrent neural networks....Pages 29-45
Scalable computing....Pages 46-61
Efficient use of parallel & distributed systems: From theory to practice....Pages 62-77
Experimental validation of models of parallel computation....Pages 78-100
Quo vadetis, parallel machine models?....Pages 101-114
Templates for linear algebra problems....Pages 115-140
The ART behind IDEAS....Pages 141-158
Algorithmic number theory and its relationship to computational complexity....Pages 159-171
Edge-coloring algorithms....Pages 172-183
Towards a computational theory of genome rearrangements....Pages 184-202
Algebraic topology and distributed computing a primer....Pages 203-217
Differential BDDs....Pages 218-233
Algorithmic techniques for geometric optimization....Pages 234-253
All the needles in a haystack: Can exhaustive search overcome combinatorial chaos?....Pages 254-274
Fundamental limitations on search algorithms: Evolutionary computing in perspective....Pages 275-291
Mathematical system models as a basis of software engineering....Pages 292-306
Formulations and formalisms in software architecture....Pages 307-323
The Oz Programming Model....Pages 324-343
Standard Generalized Markup Language: Mathematical and philosophical issues....Pages 344-365
Avoiding the undefined by underspecification....Pages 366-373
Towards a theory of recursive structures....Pages 374-391
Chu spaces and their interpretation as concurrent objects....Pages 392-405
Abstracting unification: A key step in the design of logic program analyses....Pages 406-425
Programming Satan's computer....Pages 426-440
Petri Net models of distributed algorithms....Pages 441-454
Symmetry and induction in model checking....Pages 455-470
Alternating automata and program verification....Pages 471-485
Reasoning about actions and change with ramification....Pages 486-504
Trends in active vision....Pages 505-517
Computational machine learning in theory and praxis....Pages 518-535
Fuzzy sets as a tool for modeling....Pages 536-548
Information retrieval and informative reasoning....Pages 549-559
Database transaction models....Pages 560-574
Multimedia authoring tools: State of the art and research challenges....Pages 575-591
Computational models for distributed multimedia applications....Pages 592-607
Hypermedia systems as internet tools....Pages 608-624

✦ Subjects

Computer Science, general