Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlan M. Turing 2012
- Andrei Voronkov:
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. EPiC Series in Computing 10, EasyChair 2012 - Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Liò, Giuseppe Nicosia:
Computing with Metabolic Machines. 1-15 - Joscha Bach, Mario Verdicchio:
What kind of machine is the mind? 16-19 - Israel Belfer
:
The Info-Computation Turn in Physics. 20-33 - Fouad B. Chedid:
On Natural Representations of Objects. 34-41 - Edgar G. Daylight:
Turing's Influence on Programming. 42-52 - Martín Hötzel Escardó, Paulo Oliva:
Computing Nash Equilibria of Unbounded Games. 53-65 - Michael Stephen Fiske:
Turing Incomputable Computation. 66-91 - Jeroen Fokker:
The chess example in Turing's Mind paper is really about ambiguity. 92-97 - Rusins Freivalds:
Ultrametric automata and Turing machines. 98-112 - Anthony J. Genot, Teruo Fujii, Yannick Rondelez:
Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics. 113-117 - Laszlo Gyongyosi, Sándor Imre:
Secure Communication over Zero-Private Capacity Quantum Channels. 118-131 - Laszlo Gyongyosi, Sándor Imre:
On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels. 132-139 - José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard:
Turing Tests with Turing Machines. 140-156 - Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang:
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements. 157-167 - Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. 168-180 - Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. 181-195 - Jozef Kelemen:
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. 196-203 - Daniel Leivant:
Alternating Turing machines and the analytical hierarchy. 204-213 - Jérôme Leroux:
Vector Addition Systems Reachability Problem (A Simpler Solution). 214-228 - Shaoying Liu:
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. 229-238 - Rao Mikkilineni, Albert Comparini, Giovanni Morana:
The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing. 239-251 - Cristian Prisacariu:
The Glory of the Past and Geometrical Concurrency. 252-267 - Frédéric Prost:
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. 268-277 - Yun Shang, Xian Lu, Ruqian Lu:
The computing power of Turing machine based on quantum logic. 278-288 - Qiang Shen, Ren Diao, Pan Su:
Feature Selection Ensemble. 289-306 - Mikhail Soutchanski, Wael Yehia:
Towards an Expressive Practical Logical Action Theory. 307-325 - Sorin Stratulat:
A Unified View of Induction Reasoning for First-Order Logic. 326-352 - Omri Tal:
Towards an Information-Theoretic Approach to Population Structure. 353-369 - Tony Veale:
The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms. 370-385 - Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best:
Unifying Equivalences for Timed Transition Systems. 386-404 - Peter Wegner, Eugene Eberbach, Mark Burgin:
Computational Completeness of Interaction Machines and Turing Machines. 405-414 - Graham White:
The Frame Problem and the Semantics of Classical Proofs. 415-429
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
