Erich Grädel

Thomas Wilke

Jörg Flum

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

History and Perspectives

Logic and Automata

Risto Väinolä

Frank Riedel

Ancient lakes are exceptional freshwater environments that have continued to exist for hundreds of thousands of years. They have long been recognized as centres of biodiversity and hotspots of evolution. During recent decades, speciation in ancient lakes has emerged as an important and exciting topic in evolutionary biology. The contributions in this volume deal with patterns and processes of biological diversification in three prominent ancient lake systems. Of these, the famous East African Great Lakes already have a strong tradition of evolutionary studies, but the two other systems have so far received much less attention. The exceptional biodiversity of the European sister lakes Ohrid and Prespa of the Balkans has long been known, but has largely been neglected in the international literature until recently. The rich biota and problems of its evolution in the two central lake systems on the Indonesian island of Sulawesi, in turn, have only lately started to draw scientific attention. This volume aims at deepening the awareness of the unusual biological diversity in ancient lakes in general, and of the role of these lakes as natural laboratories for the study of speciation and diversification in particular. It should stimulate further research that will lead to a better understanding of key evolutionary processes in these lakes, and to knowledge that might help in mitigating the deterioration of their diversity in the future.

Proceedings of the Fourth Symposium on Speciation in Ancient Lakes, Berlin, Germany, September 4-8, 2006

Patterns and Processes of Speciation in Ancient Lakes

Florian Mundhenke

Fernando Ramos Arenas

Mashup hat sich als Begriff eingebürgert für auditiv, visuell, audiovisuell „vermischte“ Neuarrangements, Collagen, Bricolagen in der Musik, in Videos, in Computerspielen, in der (aktuellen Medien-)Kunst, in der Architektur. Es handelt sich um eine Verbindung heterogener Elemente, die etwas (scheinbar) Neues hervorbringen. Im Internet verbinden Websites unterschiedliche Elemente (beispielsweise Musik, Video, Hyperlinks) mit unterschiedlichen Funktionen. Ausgangspunkt für diesen Band ist die These, dass es einerseits mediale und kulturelle Techniken gibt, die diese Form des Mischgenres erst ermöglichen. Andererseits muss berücksichtigt werden, dass die mediale Kompetenz der User exponentiell angestiegen ist und weiter ansteigt. Der Band geht unter anderem der Frage nach, inwieweit es sich bei Mashups um eine qualitativ neue Form der Aneignung und/oder nur eine produktive Auseinandersetzung mit medialen Angeboten handelt.

Neue Praktiken und Ästhetiken in populären Medienkulturen

Mashups

Wolfgang Thomas

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games. The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

A Guide to Current Research

Automata, Logics, and Infinite Games

Thomas Wilke

Books

Your next favorite book is out there