Computer Science Today: Recent Trends and Developments (Lecture Notes in Computer Science, 1000)

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. 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