Turing100. The Alan Turing Centenary32 articles•429 pages•Published: June 22, 2012 PapersPages 115  Pages 1619  Pages 2033  Pages 3441  Pages 4252  Pages 5365  Pages 6691  Pages 9297  Pages 98112  Pages 113117  Pages 118131  Pages 132139  Pages 140156  Pages 157167  Pages 168180  Pages 181195  Pages 196203  Pages 204213  Pages 214228  Pages 229238  Pages 239251  Pages 252267  Pages 268277  Pages 278288  Pages 289306  Pages 307325  Pages 326352  Pages 353369  Pages 370385  Pages 386404  Pages 405414  Pages 415429 
Keyphrases"during" modality, active element, alternating Turing machines, ambiguity, Artificial Intelligence, Autonomic Computing, backward induction, bar recursion, behavioral equivalences, Biological CAD, blackhole thermodynamics, Boolean function, category theory, chess problem, ChurchTuirng Hypothesis, classical logic, Classification, cliché, Coalgebraic Bisimulation, completeness, computability^{2}, computation, Computationalism, computer chess, computer science history, concurrency models, Cryptography, data privacy, Data Reliability, Davis, Description Logic, digital ontology, Digital physics, DIME Network Architecture, distributed computing, DNA nanotechnology, Ensemble, Ensemble Construction, enzymes, Executionbased computation formalisms, Expedite the Canonical Labeling Search, explicit induction, expressiveness^{2}, FCAPS, feature selection, firing pattern, frame problem, functionalism, game theory, generalized Rice theorem, Graph Canonical Labeling, Graph Symmetry Detection, Halting Theorem, Harmony Search, hereditary history preserving bisimulation, higher dimensional automata, higher dimensional modal logic, history, history of science, Hoare logic, human unpredictability, hybrid logic, hyperarithmetical sets, hypercomputation, imitation games, implicit induction, incomputable, induction theorem proving, Information Systems, information theory, informativeness for assignment, intelligence, Interaction machine, Kolmogorov complexity, language, learning, level set, linguistic creativity, Linguistic norms, linguistics, logic, logics for reasoning about actions, matching pennies, meaningful information, metabolic machine, Mind as machine, modal logic, models of computation, morphogenesis, Nash equilibrium, natural computing, Natural representation, neural networks, nonlinear kinetics, Open Maps Bisimulation, oracle machine, padic numbers, Pancomputationalism, Pareto optimality, past modalities, Path Bisimulation, Petri net, Philosophy of AI, philosophy of science, polaractivation, population divergence, positive and negative randomness, Presburger arithmetic, private quantum communication, probabilistic algorithms, probabilistic logic, program analysis, programming, progression, proof theory, quantum communications, quantum cryptography, quantum entanglement, quantum information, quantum logic, quantum random, reachability problem, Regression, Reiter's Basic action theories, scientific revolution, selection functions, Sensitive and Fragile Biological Circuits, Sensitivity and Robustness Analysis, Situation Calculus, social impact of information technology, software testing, SolomonoffKolmogorov complexity, Specificationbased computation formalisms, specificationbased testing, STconfiguration structures, stereotypes, styles of reasoning, subgame optimal equilibrium, superTuring computational power, the analytical hierarchy, the projection problem, time, timed transition system, Turing, Turing machine^{6}, Turing Test^{3}, VAS, Web 
