Turing-100

Keyphrases

Publications

2012

Laszlo Gyongyosi, Sándor Imre
On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels. Turing-100 (2012)
Omri Tal
Towards an Information-Theoretic Approach to Population Structure. Turing-100 (2012)
Joscha Bach, Mario Verdicchio
What kind of machine is the mind? Turing-100 (2012)
Daniel Leivant
Alternating Turing machines and the analytical hierarchy. Turing-100 (2012)
Mikhail Soutchanski, Wael Yehia
Towards an Expressive Practical Logical Action Theory. Turing-100 (2012)
Cristian Prisacariu
The Glory of the Past and Geometrical Concurrency. Turing-100 (2012)
Edgar G. Daylight
Turing's Influence on Programming. Turing-100 (2012)
Israel Belfer
The Info-Computation Turn in Physics. Turing-100 (2012)
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements. Turing-100 (2012)
Martín Hötzel Escardó, Paulo Oliva
Computing Nash Equilibria of Unbounded Games. Turing-100 (2012)
Qiang Shen, Ren Diao, Pan Su
Feature Selection Ensemble. Turing-100 (2012)
Rao Mikkilineni, Albert Comparini, Giovanni Morana
The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing. Turing-100 (2012)
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 (2012)
Graham White
The Frame Problem and the Semantics of Classical Proofs. Turing-100 (2012)
Jérôme Leroux
Vector Addition Systems Reachability Problem (A Simpler Solution). Turing-100 (2012)
Frédéric Prost
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. Turing-100 (2012)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. Turing-100 (2012)
Tony Veale
The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms. Turing-100 (2012)
Michael Stephen Fiske
Turing Incomputable Computation. Turing-100 (2012)
Anthony J. Genot, Teruo Fujii, Yannick Rondelez
Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics. Turing-100 (2012)
Rusins Freivalds
Ultrametric automata and Turing machines. Turing-100 (2012)
Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Liò, Giuseppe Nicosia
Computing with Metabolic Machines. Turing-100 (2012)
Fouad B. Chedid
On Natural Representations of Objects. Turing-100 (2012)
Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best
Unifying Equivalences for Timed Transition Systems. Turing-100 (2012)
Jozef Kelemen
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. Turing-100 (2012)
Yun Shang, Xian Lu, Ruqian Lu
The computing power of Turing machine based on quantum logic. Turing-100 (2012)
Laszlo Gyongyosi, Sándor Imre
Secure Communication over Zero-Private Capacity Quantum Channels. Turing-100 (2012)
Jeroen Fokker
The chess example in Turing's Mind paper is really about ambiguity. Turing-100 (2012)
Shaoying Liu
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. Turing-100 (2012)
Sorin Stratulat
A Unified View of Induction Reasoning for First-Order Logic. Turing-100 (2012)
Peter Wegner, Eugene Eberbach, Mark Burgin
Computational Completeness of Interaction Machines and Turing Machines. Turing-100 (2012)
José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard
Turing Tests with Turing Machines. Turing-100 (2012)

volume 10, 2012

Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 Turing-100 10 (2012)