|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laszlo Gyongyosi, Sándor Imre |
On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels.  |
Turing-100  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Omri Tal |
Towards an Information-Theoretic Approach to Population Structure. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joscha Bach, Mario Verdicchio |
What kind of machine is the mind? |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant |
Alternating Turing machines and the analytical hierarchy. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Soutchanski, Wael Yehia |
Towards an Expressive Practical Logical Action Theory. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Prisacariu |
The Glory of the Past and Geometrical Concurrency. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight |
Turing's Influence on Programming. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Israel Belfer |
The Info-Computation Turn in Physics. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang 0004 |
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Hötzel Escardó, Paulo Oliva |
Computing Nash Equilibria of Unbounded Games. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Shen 0001, Ren Diao, Pan Su |
Feature Selection Ensemble. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Cornelis Huizing, Ruurd Kuiper 0001, Tom Verhoeff |
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham White 0001 |
The Frame Problem and the Semantics of Classical Proofs. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Leroux |
Vector Addition Systems Reachability Problem (A Simpler Solution). |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Prost |
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Veale |
The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stephen Fiske |
Turing Incomputable Computation. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Genot, Teruo Fujii, Yannick Rondelez |
Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rusins Freivalds |
Ultrametric automata and Turing machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Liò, Giuseppe Nicosia |
Computing with Metabolic Machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fouad B. Chedid |
On Natural Representations of Objects. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best |
Unifying Equivalences for Timed Transition Systems. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Kelemen |
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Voronkov (eds.) |
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 |
Turing-100 |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yun Shang, Xian Lu, Ruqian Lu |
The computing power of Turing machine based on quantum logic. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laszlo Gyongyosi, Sándor Imre |
Secure Communication over Zero-Private Capacity Quantum Channels. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Fokker |
The chess example in Turing's Mind paper is really about ambiguity. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu |
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Stratulat |
A Unified View of Induction Reasoning for First-Order Logic. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Wegner, Eugene Eberbach, Mark Burgin |
Computational Completeness of Interaction Machines and Turing Machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard |
Turing Tests with Turing Machines. |
Turing-100 |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license