Informatik (15.755 Artikel)

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the c...

A second edition of a book is a success and an obligation at the same time. We are satis ed that a number of university courses have been orga> nized on the basis of the rst volume of Comprehensive...

This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst volume in two - gards: Part III ?rst adds topology, di?erential, and integra...

Compression-Based Methods of Statistical Analysis and Prediction of Time Series

Compression-Based Methods of Statistical Analysis and Prediction of Time Series

Computability

Prerequisites and Notation.- 1: Basic Concepts of Computability.- 1.1 Flowcharts and Machines.- 1.2 Register Machines and Register Computability.- 1.3 Primitive Recursive and ?-Recursive Functions....

Computability

Foundations and Tools for Pursuing Scientific Applications

The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth wor...

Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration computable operators? Is zero finding for comp...

Languages, Dialogues, Games, Ontologies

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum ...

Computation and Communication Technologies

Shifting and Lifting of Cellular Automata.- Learning as Data Compression.- Reachability Problems: An Update.- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming P...