Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance. The book includes a wealth of results - classical, recent, and others which have not been published before. In developing the mathematics underlying the size, dynamic and structural complexity measures, various connections with mathematical logic, constructive topology, probability and programming theories are established. The facts are presented in detail. Extensive examples are provided, to help clarify notions and constructions. The lists of exercises and problems include routine exercises, interesting results, as well as some open problems.

Discrete mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring June 21-25,2010(seehttp://arn.local.frs.riken.jp/UC10/). The venue was the Sanjo (Hilltop) Conference Hall at Hongo Campus of the University of Tokyo. Hongo Campus was formerly the residence of the Maeda family, one of the richest feudal lords in the Edo period of Japan. The Japanese garden in the residence is partially preserved, including the pond and the hill on which the conference hall is located. Within walking distance from Hongo Campus are Ueno park with many museums, the Akihabara area, which is now the center of Japanesepop culture, and the Korakuenamusement park/baseball stadium. The International Conference on Unconventional Computation (UC) series (seehttp://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/)isdevotedto all aspects of unconventional computation theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model.

Mathematical logic --- Complex analysis --- Biology --- Computer science --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- biologie --- computers --- programmeren (informatica) --- wiskunde --- algoritmen --- KI (kunstmatige intelligentie) --- logica --- AI (artificiële intelligentie)