Turing100 Volume Information Turing100 Volume InformationTitle:  Turing100. The Alan Turing Centenary  Editors:  Andrei Voronkov  Series:  EasyChair Proceedings in Computing  Volume:  10  Publication date:  June 22, 2012 
PapersAuthors  Title  Pages  PDF 

Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Lio` and Giuseppe Nicosia  Computing with Metabolic Machines  115   Joscha Bach and Mario Verdicchio  What kind of machine is the mind?  1619   Israel Belfer  The InfoComputation Turn in Physics  2033   Fouad Chedid  On Natural Representations of Objects  3441   Edgar Daylight  Turing's Influence on Programming  4252   Martin Escardo and Paulo Oliva  Computing Nash Equilibria of Unbounded Games  5365   Michael Fiske  Turing Incomputable Computation  6691   Jeroen Fokker  The chess example in Turing's Mind paper is really about ambiguity  9297   Rusins Freivalds  Ultrametric automata and Turing machines  98112   Anthony J. Genot, Teruo Fujii and Yannick Rondelez  Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics  113117   Laszlo Gyongyosi and Sandor Imre  Secure Communication over ZeroPrivate Capacity Quantum Channels  118131   Laszlo Gyongyosi and Sandor Imre  On the Mathematical Boundaries of Communication with ZeroCapacity Quantum Channels  132139   Jose HernandezOrallo, Javier Insa, David Dowe and Bill Hibbard  Turing Tests with Turing Machines  140156   TsanSheng Hsu, ChurnJung Liau and DaWei Wang  Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements  157167   Cornelis Huizing, Ruurd Kuiper and Tom Verhoeff  Generalizations of Rice's Theorem, Applicable to Executable and NonExecutable Formalisms  168180   Hadi Katebi, Karem A. Sakallah and Igor L. Markov  Graph Symmetry Detection and Canonical Labeling: Differences and Synergies  181195   Jozef Kelemen  A Note on Turing’s Three Pioneering Initiatives and on Their Interplays  196203   Daniel Leivant  Alternating Turing machines and the analytical hierarchy  204213   Jerome Leroux  Vector Addition Systems Reachability Problem (A Simpler Solution)  214228   Shaoying Liu  Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs  229238   Rao Mikkilineni, Albert Comparini and Giovanni Morana  The Turing OMachine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing  239251   Cristian Prisacariu  The Glory of the Past and Geometrical Concurrency  252267   Frederic Prost  On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess  268277   Yun Shang, Xian Lu and Ruqian Lu  The computing power of Turing machine based on quantum logic  278288   Qiang Shen, Ren Diao and Pan Su  Feature Selection Ensemble  289306   Mikhail Soutchanski and Wael Yehia  Towards an Expressive Practical Logical Action Theory  307325   Sorin Stratulat  A Unified View of Induction Reasoning for FirstOrder Logic  326352   Omri Tal  Towards an InformationTheoretic Approach to Population Structure  353369   Tony Veale  The Soul of a New Cliché: Conventions and MetaConventions in the Creative Linguistic Variation of Familiar Forms  370385   Irina Virbitskaite, Nataliya Gribovskaya and Eike Best  Unifying Equivalences for Timed Transition Systems  386404   Peter Wegner, Eugene Eberbach and Mark Burgin  Computational Completeness of Interaction Machines and Turing Machines  405414   Graham White  The Frame Problem and the Semantics of Classical Proofs  415429  
KeyphrasesCount  Keyphrase 

6  turing machine  3  turing test  2  computability, expressiveness  1  "during" modality, active element, alternating turing machines, ambiguity, artificial intelligence, autonomic computing, backward induction, bar recursion, behavioral equivalences, biological cad, black hole thermodynamics, boolean function, category theory, chess problem, church tuirng hypothesis, classical logic, classification, cliché, coalgebraic bisimulation, completeness, 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, execution based computation formalisms, expedite the canonical labeling search, explicit induction, 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, p adic numbers, pan computationalism, 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, solomonoff kolmogorov complexity, specification based computation formalisms, specification based testing, st configuration structures, stereotypes, styles of reasoning, subgame optimal equilibrium, super turing computational power, the analytical hierarchy, the projection problem, time, timed transition system, turing, vas, web 
