|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 944 occurrences of 549 keywords
|
|
|
Results
Found 3915 publication records. Showing 3912 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Lenny Pitt |
Turing Tumble is Turing-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.09343, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Feng Xia 0001, Jiaying Liu 0006, Jing Ren 0001, Wei Wang 0077, Xiangjie Kong 0001 |
Turing Number: How Far Are You to A. M. Turing Award? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.00706, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Tianrong Lin |
Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.06211, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Philip D. Welch |
Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum-Shub-Smale machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(2), pp. 159-180, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Mengxin Chen, Ranchao Wu, Liping Chen |
Spatiotemporal patterns induced by Turing and Turing-Hopf bifurcations in a predator-prey system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 380, pp. 125300, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Feng Xia 0001, Jiaying Liu 0006, Jing Ren 0001, Wei Wang 0077, Xiangjie Kong 0001 |
Turing number: how far are you to A. M. Turing award? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGWEB Newsl. ![In: SIGWEB Newsl. 2020(Autumn), pp. 5:1-5:8, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Paul M. B. Vitányi |
Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 778, pp. 78-80, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jobst Landgrebe, Barry Smith 0001 |
There is no general AI: Why Turing machines cannot pass the Turing test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.05833, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Paul M. B. Vitányi |
Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.10805, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Arnaud Ducrot, Xiaoming Fu 0003, Pierre Magal |
Turing and Turing-Hopf Bifurcations for a Reaction Diffusion Equation with Nonlocal Advection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 28(5), pp. 1959-1997, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Avelino J. Gonzalez, James Hollister, Ronald F. DeMara, Jason Leigh, Brandan Lanman, Sangyoon Lee, Shane T. Parker, Christopher Walls, Jeanne E. Parker, Josiah Wong, Clayton Barham, Bryan Wilder |
AI in Informal Science Education: Bringing Turing Back to Life to Perform the Turing Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Educ. ![In: Int. J. Artif. Intell. Educ. 27(2), pp. 353-384, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Moshe Y. Vardi |
Would Turing have won the Turing award? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 60(11), pp. 7, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Thomas E. Woolley, Ruth E. Baker, Philip K. Maini |
Turing's Theory of Morphogenesis: Where We Started, Where We Are and Where We Want to Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Incomputable ![In: The Incomputable: Journeys Beyond the Turing Barrier, pp. 219-235, 2017, Springer International Publishing, 978-3-319-43667-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | David H. Hamer |
Review of Prof: Alan Turing Decoded by Dermot Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 40(6), pp. 553-555, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Chris Christensen |
Companion review of Prof: Alan Turing Decoded by Dermot Turing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 40(6), pp. 556-562, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Eli Dresner, Ofra Rechter |
From Symbol to 'Symbol', to Abstract Symbol: Response to Copeland and Shagrir on Turing-Machine Realism Versus Turing-Machine Purism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 26(3), pp. 253-257, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Alex Ushveridze |
Can Turing machine be curious about its Turing test results? Three informal lectures on physics of intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.08109, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
Feedback Turing Computability, and Turing Computability as Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 523-534, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Moshe Y. Vardi |
Would Turing have passed the Turing Test? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 57(9), pp. 5, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Rod Downey (eds.) |
Turing's Legacy: Developments from Turing's Ideas in Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
DBLP DOI BibTeX RDF |
|
24 | Matjaz Gams |
Alan Turing, Turing Machines and Stronger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 37(1), pp. 9-14, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Hector Zenil |
Turing patterns with Turing machines: emergence and low-level structure formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 12(2), pp. 291-303, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Vasyl Ustimenko, Urszula Romanczuk |
On Extremal Graph Theory, Explicit Algebraic Constructions of Extremal Graphs and Corresponding Turing Encryption Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence, Evolutionary Computing and Metaheuristics ![In: Artificial Intelligence, Evolutionary Computing and Metaheuristics - In the Footsteps of Alan Turing, pp. 257-285, 2013, Springer, 978-3-642-29693-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Kieran Greer |
Turing: Then, Now and Still Key. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence, Evolutionary Computing and Metaheuristics ![In: Artificial Intelligence, Evolutionary Computing and Metaheuristics - In the Footsteps of Alan Turing, pp. 43-62, 2013, Springer, 978-3-642-29693-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Mark Burgin, Eugene Eberbach |
Recursively Generated Evolutionary Turing Machines and Evolutionary Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence, Evolutionary Computing and Metaheuristics ![In: Artificial Intelligence, Evolutionary Computing and Metaheuristics - In the Footsteps of Alan Turing, pp. 201-230, 2013, Springer, 978-3-642-29693-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Elena N. Benderskaya, Sofya V. Zhukova |
Multidisciplinary Trends in Modern Artificial Intelligence: Turing's Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence, Evolutionary Computing and Metaheuristics ![In: Artificial Intelligence, Evolutionary Computing and Metaheuristics - In the Footsteps of Alan Turing, pp. 319-343, 2013, Springer, 978-3-642-29693-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Roman V. Yampolskiy |
Turing Test as a Defining Feature of AI-Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence, Evolutionary Computing and Metaheuristics ![In: Artificial Intelligence, Evolutionary Computing and Metaheuristics - In the Footsteps of Alan Turing, pp. 3-17, 2013, Springer, 978-3-642-29693-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Richard J. Lipton |
Might Turing Have Won a Turing Award? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 45(6), pp. 96-97, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Hector Zenil |
Turing Patterns with Turing Machines: Emergence and Low-level Structure Formation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.1572, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Emmanuel Jeandel |
On Immortal Configurations in Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 334-343, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Jean Lassègue, Giuseppe Longo |
What is Turing's Comparison between Mechanism and Writing Worth? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 450-461, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Juris Hartmanis |
Turing Machine-Inspired Computer Science Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 276-282, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | David Fernández-Duque, Joost J. Joosten |
Turing Progressions and Their Well-Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 212-221, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Víctor A. Ocasio-González |
Turing Computable Embeddings and Coding Families of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 539-548, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | James D. Murray 0001 |
After Turing: Mathematical Modelling in the Biomedical and Social Sciences - From Animal Coat Patterns to Brain Tumours to Saving Marriages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 517-527, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Shigeru Kondo |
Turing Pattern Formation without Diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 416-421, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Susan G. Sterrett |
Bringing Up Turing's 'Child-Machine'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 703-713, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Lorenzo Carlucci, Konrad Zdanowski |
A Note on Ramsey Theorems and Turing Jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 89-95, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Verónica Becher |
Turing's Normal Numbers: Towards Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 35-45, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Matthew P. Szudzik |
Is Turing's Thesis the Consequence of a More General Physical Principle? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 714-722, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan A. Sherratt |
Turing Patterns in Deserts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 667-674, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Paul W. Rendell |
A Simple Universal Turing Machine for the Game of Life Turing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 6(4-5), pp. 323-340, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Selmer Bringsjord |
God, souls, and Turing: in defense of the theological objection to the Turing test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 39(3), pp. 414-422, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Tsunehiro Yoshinaga, Jianliang Xu, Makoto Sakamoto |
Non-closure Properties of 1-Inkdot Nondeterministic Turing Machines and Alternating Turing Machines with Only Universal States Using Small Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(6), pp. 1148-1152, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Paul W. Rendell |
A Simple Universal Turing Machine for the Game of Life Turing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Game of Life Cellular Automata ![In: Game of Life Cellular Automata., pp. 519-545, 2010, Springer, 978-1-8499-6216-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Mark Burgin, Eugene Eberbach |
Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 91(1), pp. 53-77, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | E. H. Flach, Santiago Schnell, John Norbury |
Turing pattern outside of the Turing domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 20(9), pp. 959-963, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jirí Wiedermann |
Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 317(1-3), pp. 61-69, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Géza Harváth, Katsushi Inoue, Akira Ito, Yue Wang 0002 |
Closure Property of Probabilistic Turing Machines and Alternating Turing Machines with Sublogarithmic Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 12(3), pp. 397-409, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | B. Jack Copeland, Diane Proudfoot |
What Turing Did after He Invented the Universal Turing Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 9(4), pp. 491-509, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Katsushi Inoue, Akira Ito, Itsuo Takanami |
A Relationship Between Nondeterministic Turing Machines and 1-Inkdot Turing Machines with Small Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 43(4), pp. 225-227, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Armin Hemmerling |
Turing-Automaten, Systeme von Turing-Automaten und Zellularräume in mehrdimensionalen Speichermedien. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1979 |
RDF |
|
23 | Miklós Ajtai |
Oblivious RAMs without cryptogrpahic assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 181-190, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
RAM, oblivious |
23 | Hajnal Andréka, István Németi, Péter Németi |
General relativistic hypercomputing and foundation of mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(3), pp. 499-516, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Relativistic computation, Hypercomputation, Church-Thuring barrier, General relativity theory, Kerr-Newman spacetimes, Church Thesis, Blue-shift problem, Evaporation of black holes, Supertasks, Malament-Hogarth spacetime, Hilbert programme, Foundations of mathematics, Black holes, Cosmology |
23 | Andrea Sorbi, Guohua Wu, Yue Yang 0004 |
High Minimal Pairs in the Enumeration Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings, pp. 335-344, 2009, Springer, 978-3-642-02016-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Wells |
Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 247-261, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
universal computation, small UTM, preclassical computers, Colossus |
23 | Peter Koepke |
Ordinal Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 280-289, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ordinal machines, Infinite Time Register Machines, Constructible sets |
23 | David Doty |
Dimension Extractors and Optimal Decompression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 425-463, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Compression, Kolmogorov complexity, Dimension, Extractor, Martingale, Algorithmic randomness |
23 | M. Sakthi Balan, Helmut Jürgensen |
On the universality of peptide computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 7(1), pp. 71-94, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Peptide computing, DNA computing, Molecular computing, Unconventional computing |
23 | Johanna N. Y. Franklin |
Schnorr trivial reals: a construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(7-8), pp. 665-678, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Subject Classification (2000) 03D15 |
23 | Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker |
On the Complexity of Measurement in Classical Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 20-30, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Linear Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rewriting, Computation and Proof ![In: Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, pp. 182-195, 2007, Springer, 978-3-540-73146-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
linear calculi, computable functions, iteration, Recursion theory |
23 | Antoine Meyer |
Traces of Term-Automatic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings, pp. 489-500, 2007, Springer, 978-3-540-74455-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Hongxia Shen, Zhen Jin 0001 |
Two dimensional pattern formation of prey-predator system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (2) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 343-346, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Holger Spakowski, Rahul Tripathi |
Hierarchical Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 777-788, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Jerzy Mycka, Francisco Coelho, José Félix Costa |
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings, pp. 195-206, 2006, Springer, 3-540-38593-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | M. Sakthi Balan, Helmut Jürgensen |
Peptide Computing - Universality and Theoretical Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings, pp. 57-71, 2006, Springer, 3-540-38593-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | S. Barry Cooper |
How Can Nature Help Us Compute? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings, pp. 1-13, 2006, Springer, 3-540-31198-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Graham P. Oliver, Richard M. Thomas |
Automatic Presentations for Finitely Generated Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings, pp. 693-704, 2005, Springer, 3-540-24998-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Lars Kristiansen, Mathias Barra |
The Small Grzegorczyk Classes and the Typed lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings, pp. 252-262, 2005, Springer, 3-540-26179-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Vasco Brattka, Matthias Schröder 0001 |
Computing with Sequences, Weak Topologies and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 462-476, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Priya Baliga, T. Y. Lin |
Kolmogorov complexity based automata modeling for intrusion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 387-392, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Newton Lee |
A word from the editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 2(2), pp. 2, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | W. Paul Cockshott |
Array languages and the challenge of modern computer architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 34(3), pp. 13-19, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Peng Yin 0003, Andrew J. Turberfield, Sudheer Sahu, John H. Reif |
Design of an Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers, pp. 426-444, 2004, Springer, 3-540-26174-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Luis Antunes 0002, Lance Fortnow, N. V. Vinodchandran |
Using Depth to Capture Average-Case Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings, pp. 303-310, 2003, Springer, 3-540-40543-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Frank Stephan 0001 |
On one-sided versus two-sided classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(7), pp. 489-513, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03D28, 68T05, 03D30 |
23 | Peter A. Fejer, Richard A. Shore |
Every incomplete computably enumerable truth-table degree is branching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(2), pp. 113-123, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03D30, 03D25 |
23 | Leslie G. Valiant |
Quantum computers that can be simulated classically in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 114-123, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Aggelos Kiayias, Aris Pagourtzis, Kiron Sharma, Stathis Zachos |
Acceptor-Definable Counting Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers, pp. 453-463, 2001, Springer, 3-540-07544-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Amir M. Ben-Amram, Neil D. Jones |
Computational complexity via programming languages: constant factors do matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 37(2), pp. 83-120, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Umesh V. Vazirani |
Fourier Transforms and Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 208-220, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Holger Petersen 0001, John Michael Robson |
Efficient Simulations by Queue Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 884-895, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Oded Goldreich 0001, Rafail Ostrovsky |
Software Protection and Simulation on Oblivious RAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(3), pp. 431-473, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
simulation of random access machines, software protection, pseudorandom functions |
23 | Rusins Freivalds, Marek Karpinski |
Lower Space Bounds for Randomized Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 580-592, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Ioan I. Macarie |
Space-Efficient Deterministic Simulation of Probabilistic Automata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 109-122, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Martin Schmidt 0007 |
On the Power of Several Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 64-75, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Harry G. Mairson |
Deciding ML Typability is Complete for Deterministic Exponential Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 382-401, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
ML |
23 | Yuri Gurevich, Saharon Shelah |
Nearly Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic at Botik ![In: Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings, pp. 108-118, 1989, Springer, 3-540-51237-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Klaus Ambos-Spies |
On the Structure of Polynomial Time Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings, pp. 198-208, 1984, Springer, 3-540-12920-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
23 | Petr Hájek 0001 |
Arithmetical Complexity of Some Problems in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings, pp. 282-287, 1977, Springer, 0-387-08353-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
23 | Arnold L. Rosenberg |
On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 15(4), pp. 672-679, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
22 | Stephen A. Fenner, William I. Gasarch, Brian Postow |
The Complexity of Finding SUBSEQ(A). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(3), pp. 577-612, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Turing degree, Higman’s lemma, Unbounded search, Recursive mathematics, Computational complexity, Computability, Context-free grammar, Automata theory, Automaton, Context-free language, Subsequence, Reverse mathematics, Bounded queries |
22 | Mark Hogarth |
A new problem for rule following. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(3), pp. 493-498, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Wittgenstein, Non-Turing computing, Malament-Hogarth spacetime, Algorithm |
22 | Ravi V. Gomatam |
Quantum Theory, the Chinese Room Argument and the Symbol Grounding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings, pp. 174-183, 2009, Springer, 978-3-642-00833-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Chinese Room Argument, Symbol Grounding Problem, Sanskrit Room Argument, Universal Turing Machine, Exotic manifolds, Artificial Intelligence, Topology, Quantum theory |
22 | B. J. Smith, Harry S. Delugach |
Another Reason Why Conceptual Graphs Need Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, pp. 293-306, 2009, Springer, 978-3-642-03078-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
context, sequence, iteration, actors, conceptual graphs, Turing machine, alternative, non-monotonic logic |
22 | Jérôme Durand-Lose |
Abstract Geometrical Computation and Computable Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 158-167, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Signal machine, Type-2 Turing machine, Computable analysis, Analog computation, Abstract geometrical computation |
22 | John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran |
Partial Bi-immunity, Scaled Dimension, and NP-Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 42(2), pp. 131-142, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Many-one completeness, Bi-immunity, Scaled dimension, Turing completeness |
22 | William B. Langdon, Riccardo Poli |
Mapping non-conventional extensions of genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 7(1), pp. 21-43, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Markov analysis of program search spaces, Any time computation, Entropy and irreversible loss of information, Program convergence, Halting probability genetic algorithms, Genetic programming, Turing complete, Program termination |
22 | Mohammad Shirali-Shahreza, Sajad Shirali-Shahreza |
A CAPTCHA system for Nintendo DS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games, NETGAMES 2008, Worcester, Massachusetts, USA, October 21-22, 2008, pp. 104-105, 2008, ACM, 978-1-60558-132-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CAPTCHA (completely automated public turing test to tell computers and human apart), Nintendo DS, game consoles |
Displaying result #301 - #400 of 3912 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|