Rainbow of Computer Science

1. Front Matter

   PDF

2. Algorithmics

   1. Front Matter

      Pages 1-1

      PDF

   2. Improved Approximations for Hard Optimization Problems via Problem Instance Classification

      • Hans-Joachim Böckenhauer, Juraj Hromkovič, Tobias Mömke

      Pages 3-19

   3. Covering and Packing with Spheres by Diagonal Distortion in ℝⁿ

      • Herbert Edelsbrunner, Michael Kerber

      Pages 20-35

   4. Counting Plane Graphs with Exponential Speed-Up

      • Andreas Razen, Emo Welzl

      Pages 36-46

3. Formal Languages and Automata

   1. Front Matter

      Pages 47-47

      PDF

   2. Ancient Typefaces and Parametric Weighted Finite Automata

      • Jürgen Albert, German Tischler

      Pages 49-62

   3. On Language Decompositions and Primality

      • Michael Domaratzki, Kai Salomaa

      Pages 63-75

   4. A Unifying Kleene Theorem for Weighted Finite Automata

      • Zoltán Ésik, Werner Kuich

      Pages 76-89

   5. Local Squares, Periodicity and Finite Automata

      • Mari Huova, Juhani Karhumäki, Aleksi Saarela, Kalle Saari

      Pages 90-101

   6. P and dP Automata: A Survey

      • Gheorghe Păun, Mario J. Pérez-Jiménez

      Pages 102-115

   7. On the General Coloring Problem

      • N. W. Sauer

      Pages 116-126

4. Learning

   1. Front Matter

      Pages 127-127

      PDF

   2. Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities

      • Gitta Domik, Gerhard Fischer

      Pages 129-143

   3. Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation

      • Erik Duval, Katrien Verbert, Joris Klerkx

      Pages 144-156

   4. Why E-Learning as It Stands Is Not Enough

      • Narayanan Kulathuramaiyer, Hermann Maurer

      Pages 157-164

5. The Practice of Informatics

   1. Front Matter

      Pages 165-165

      PDF

   2. Domains: Their Simulation, Monitoring and Control—A Divertimento of Ideas and Suggestions

      • Dines Bjørner

      Pages 167-183

   3. Roots and Stimuli to a New Perception of Informatics

      • Jozef Gruska

      Pages 184-199

   4. Towards a New Shape Description Paradigm Using the Generative Modeling Language

      • Sven Havemann, Dieter W. Fellner

      Pages 200-214

This book is dedicated to Hermann Maurer on the occasion of his 70th birthday. The title word Rainbow reflects the beauty and variety of the achievements of this outstanding scientist, and also the diversity and depth of current research in computer science. The high admiration that Professor Maurer enjoys in the computer science community all over the world was witnessed by the enthusiastic response received to the request to contribute to this book. The contributors are leading researchers, also representing the diversity of computer science. The research areas included in the book range from Automata, Formal Languages and Computability to various aspects of the Practice of Computer Science, as well as from Algorithmics to Learning. The book consists of a brief Preface describing the achievements of Professor Maurer, followed by twenty articles roughly grouped together according to their topics. Most of the articles are written in a style understandable to a wider audience. The book is useful to anyone interested in recent developments in computer science.

• algorithmic learning
• approximation algorithms
• computational learning theory
• computer science logic
• data structures
• new paradigms
• theoretical computer science
• theory of computing
• uncertainty
• unconventional models
• web-based learning

From the reviews:

“In the tradition of all Festschriften, this volume in tribute to Hermann Maurer collects short contributions on a variety of topics of particular relevance to the honoree. Given the diversity of Maurer’s published work, these topics range over many areas, which the editors have organized into sections about algorithms, formal languages and automata, learning, and the practice of informatics. … Nearly every practitioner of computer science or informatics will find something interesting in this volume.” (R. Roos, ACM Computing Reviews, December, 2011)

• Department of Computer Science, Science Centre, The University of Auckland, Auckland, New Zealand

  Cristian S. Calude

• Leiden Institute of Center Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  Grzegorz Rozenberg

• Turku Centre for Computer Science (TUCS), University of Turku, Turku, Finland

  Arto Salomaa

Policies and ethics