9783540281931 - Fundamentals of Computation Theory: 15th International Symposium, FCT 2005, Lubeck, Germany, August 2005 Proceedings: 15th International Symposium, ... Notes in Com... (3 Ergebnisse)

Zustand: New. In.

Zustand: New. Invited Talks.- The Complexity of Querying External Memory and Streaming Data.- The Smoothed Analysis of Algorithms.- Path Coupling Using Stopping Times.- Circuits.- On the Incompressibility of Monotone DNFs.- Bounds on the Power of Constant-Depth Quantum C.

Taschenbuch. Zustand: Neu. Neuware - This volume is dedicated to the 15th Symposium on Fundamentals of Com- tation Theory FCT 2005, held in Lu beck, Germany, on August 17 20, 2005. The FCT symposium was established in 1977 as a biennial event for - searchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, and formal and logical methods. The previous FCT conferences were held in the following places: Poznan (Poland, 1977),Wendisch- Rietz (Germany, 1979), Szeged (Hungary, 1981), Borgholm (Sweden, 1983), Cottbus(Germany,1985),Kazan(Russia,1987),Szeged(Hungary,1989),Gosen- Berlin (Germany, 1991), Szeged (Hungary, 1993), Dresden (Germany, 1995), Krak ow (Poland, 1997), Iasi (Romania, 1999), Riga (Latvia, 2001) and Malmo (Sweden, 2003). The FCT conference seriesis coordinatedby a steering comm- tee. Its current members are B. Chlebus (Denver/Warsaw),Z. Esik (Szeged), M. Karpinski (Bonn), A. Lingas (Lund), M. Santha (Paris), E. Upfal (Providence) and I. Wegener (Dortmund). The call for papers for FCT 2005 sought contributions on original research in all aspects of theoretical computer science including design and analysis of algorithms, abstract data types, approximation algorithms, automata and formal languages, categorical and topological approaches, circuits, computational and structural complexity, circuit and proof theory, computational biology, com- tational geometry, computer systems theory, concurrency theory, cryptography, domain theory, distributed algorithms and computation, molecular computation, quantumcomputation and information, granular computation, probabilistic c- putation, learning theory, rewriting, semantics, logic in computer science, spe- cation, transformation and veri cation, and algebraic aspects of computer s- ence.