Foundations of Computer Science

by Brauer, Wilfried; Freksa, Christian; Jantzen, Matthias; Valk, R.

• ISBN13: 9783540637462
• ISBN10: 354063746X
• Format: Paperback
• Copyright: 1997-06-01
• Publisher: Springer Verlag

Summary

Das vorliegende Kursbuch ist streng am Katalog der Lernziele der DGMM-Ausbildung orientiert. Die Herausgeber sind ärztliche und physiotherapeutische Lehrkräfte des DGMM-Ärzteseminars mit langjähriger Erfahrung im Unterricht.

Table of Contents

Computer Science and Its Potential	1	(36)
Friedrich L. Bauer
The might of formulas and their limits	1	(8)
Heinz Zemanek
Hardware - software: an equivalence and a contradiction	9	(12)
Wolfgang Coy
Defining discipline	21	(16)
Social Implications of Computer Science	37	(42)
Dirk Siefkes
Computer science as cultural development	37	(12)
Jozef Gruska
Roland Vollmar
Towards adjusting informatics education to information era	49	(20)
Herbert Klaeren
Christiane Floyd
Friedrich Diestelmeier
Informatics and society: a curriculum for distance education	69	(10)
Theory of Formal Languages and Automata	79	(74)
Alexandru Mateescu
Grzegorz Rozenberg
Arto Salomaa
Syntactic and semantic aspects of parallelism	79	(28)
Ingbert Kupka
Unique fixpoints in complete lattices with applications to formal languages and semantics	107	(10)
Georg Karner
Werner Kuich
On abstract families of languages, power series, and elements	117	(8)
Klaus-Jorn Lange
Are there formal languages complete for SymSPACE (log n)?	125	(10)
Matthias Jantzen
On twist-closed trios: a new morphic characterization of r.e. sets	135	(8)
Javier Esparza
Peter Rossmanith
An automata approach to some problems on context-free grammars	143	(10)
Structures and Complexity Theory	153	(66)
Karel Culik
Jarkko Kari
On aperiodic sets of Wang tiles	153	(10)
Birgit Jenner
Closure under complementation of logspace complexity classes - a survey	163	(14)
Bernd Kirsig
A relation between sparse and printable sets in NSPACE (log n)	177	(8)
Klaus Weihrauch
A foundation for computable analysis	185	(16)
Jurgen Schmidhuber
A computer scientist's view of life, the universe, and everything	201	(8)
Manfred Kudlek
Calendars and chronologies	209	(10)
Petri Nets	219	(60)
Hartmut Ehrig
Julia Padberg
A uniform approach to Petri Nets	219	(14)
Astrid Kiehn
Observing partial order runs of Petri Nets	233	(6)
Jose Meseguer
Ugo Montanari
Vladimiro Sassone
Representation theorems for Petri Nets	239	(12)
Volker Diekert
A remark to trace equations	251	(10)
Ekkart Kindler
Wolfgang Reisig
Verification of distributed algorithms with algebraic Petri Nets	261	(10)
Walter Vogler
A short story on action refinement	271	(8)
Systems Analysis and Distributed Systems	279	(42)
Manfred Broy
Interactive and reactive systems: states, oberservations, experiments, input, output, nondeterminism, compositionality, and all that	279	(8)
Hans Daduna
Discrete time analysis of a state dependent tandem with different customer types	287	(10)
Jorg Desel
How distributed algorithms play the token game	297	(10)
Rolf Walter
The asynchronous stack revisited: rounds set the twilight reeling	307	(6)
Burkhard Monien
Petra Berenbrink
Reinhard Luling
Marco Riedel
Online scheduling of continuous media streams	313	(8)
Software Engineering and Verification	321	(38)
Hans Langmaack
Contribution to Goodenough's and Gerhart's theory of software testing and verification: relation between strong compiler test and compiler implementation verification	321	(16)
Gunter Hotz
Hongzhong Wu
On the arrangement complexity of uniform trees	337	(14)
Harold Boley
A relational-functional integration for declarative programming	351	(8)
Cognition and Artificial Intelligence	359	(30)
Siegfried KanngieBer
Inside and outside the Chinese Room	359	(10)
Christopher Habel
Carola Eschenbach
Abstract structures in spatial cognition	369	(10)
Christian Freksa
Spatial and temporal structures in cognitive processes	379	(10)
Knowledge Representation and Reasoning	389	(40)
Daniel Hernandez
Qualitative vs. fuzzy representations of spatial distance	389	(10)
Simone Pribbenow
What's a part? On formalizing part-whole relations	399	(8)
Claus R. Rollinger
SPOCK: a feasibility study on the completeness of parts lists	407	(10)
Kerstin Schill
Decision support systems with adaptive reasoning strategies	417	(12)
Machine Learning	429	(36)
Katharina Morik
Knowledge discovery in databases - an inductive logic programming approach	429	(8)
Kurt Ammon
The composition heuristic	437	(8)
Gerhard WeiB
The job assignment problem: a study in parallel and distributed machine learning	445	(10)
Mohamed Salah Hamdi
Karl Kaiser
Self-improving behavior arbitration	455	(10)
Neural Networks and Robotics	465	(24)
Margit Sturm
Neural networks for manipulator path planning	465	(8)
Martin Eldracher
Thomas Pic
Path planning using a subgoal graph	473	(8)
Christian Schittenkopf
Gustavo Deco
A nonlinear Markovian characterization of time series using neural networks	481	(8)
Language and Information Systems	489	(26)
Gabriele Scheler
Feature-based perception of semantic concepts	489	(10)
Gerda Ruge
Automatic detection of thesaurus relations for information retrieval applications	499	(8)
Leo Pfefferer
Dieter Schutt
InfoSphere(TM)-V: a new approach to 3D-visualization of information	507	(8)
Author Index	515