Buch, Englisch, Band 1000, 645 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 2020 g
Recent Trends and Developments
Buch, Englisch, Band 1000, 645 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 2020 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-60105-0
Verlag: Springer Berlin Heidelberg
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
A quantum jump in computer science.- Artificial life and real world computing.- Recurrent neural networks.- Scalable computing.- Efficient use of parallel & distributed systems: From theory to practice.- Experimental validation of models of parallel computation.- Quo vadetis, parallel machine models?.- Templates for linear algebra problems.- The ART behind IDEAS.- Algorithmic number theory and its relationship to computational complexity.- Edge-coloring algorithms.- Towards a computational theory of genome rearrangements.- Algebraic topology and distributed computing a primer.- Differential BDDs.- Algorithmic techniques for geometric optimization.- All the needles in a haystack: Can exhaustive search overcome combinatorial chaos?.- Fundamental limitations on search algorithms: Evolutionary computing in perspective.- Mathematical system models as a basis of software engineering.- Formulations and formalisms in software architecture.- The Oz Programming Model.- Standard Generalized Markup Language: Mathematical and philosophical issues.- Avoiding the undefined by underspecification.- Towards a theory of recursive structures.- Chu spaces and their interpretation as concurrent objects.- Abstracting unification: A key step in the design of logic program analyses.- Programming Satan's computer.- Petri Net models of distributed algorithms.- Symmetry and induction in model checking.- Alternating automata and program verification.- Reasoning about actions and change with ramification.- Trends in active vision.- Computational machine learning in theory and praxis.- Fuzzy sets as a tool for modeling.- Information retrieval and informative reasoning.- Database transaction models.- Multimedia authoring tools: State of the art and research challenges.- Computational models for distributed multimedia applications.- Hypermedia systems as internet tools.