|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 132-139, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Omri Tal |
Towards an Information-Theoretic Approach to Population Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 353-369, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joscha Bach, Mario Verdicchio |
What kind of machine is the mind? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 16-19, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant |
Alternating Turing machines and the analytical hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 204-213, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Soutchanski, Wael Yehia |
Towards an Expressive Practical Logical Action Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 307-325, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Prisacariu |
The Glory of the Past and Geometrical Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 252-267, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edgar G. Daylight |
Turing's Influence on Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 42-52, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Israel Belfer |
The Info-Computation Turn in Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 20-33, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 157-167, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Paulo Oliva |
Computing Nash Equilibria of Unbounded Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 53-65, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Shen 0001, Ren Diao, Pan Su |
Feature Selection Ensemble. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 289-306, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 239-251, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 168-180, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Graham White 0001 |
The Frame Problem and the Semantics of Classical Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 415-429, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Vector Addition Systems Reachability Problem (A Simpler Solution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 214-228, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 268-277, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 181-195, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 370-385, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Stephen Fiske |
Turing Incomputable Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 66-91, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 113-117, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rusins Freivalds |
Ultrametric automata and Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 98-112, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Angione, Giovanni Carapezza, Jole Costanza, Pietro Liò, Giuseppe Nicosia |
Computing with Metabolic Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 1-15, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fouad B. Chedid |
On Natural Representations of Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 34-41, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best |
Unifying Equivalences for Timed Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 386-404, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Kelemen |
A Note on Turing's Three Pioneering Initiatives and on Their Interplays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 196-203, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov (eds.) |
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yun Shang, Xian Lu, Ruqian Lu |
The computing power of Turing machine based on quantum logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 278-288, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laszlo Gyongyosi, Sándor Imre |
Secure Communication over Zero-Private Capacity Quantum Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 118-131, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Fokker |
The chess example in Turing's Mind paper is really about ambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 92-97, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 229-238, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
A Unified View of Induction Reasoning for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 326-352, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Wegner, Eugene Eberbach, Mark Burgin |
Computational Completeness of Interaction Machines and Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 405-414, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard |
Turing Tests with Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turing-100 ![In: Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012, pp. 140-156, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|