Search results for "Turing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Yongming Li 0001	Approximation and universality of fuzzy Turing machines.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	fuzzy Turing machine, fuzzy recursively enumerable language, fuzzy recursive language, universal fuzzy Turing machine, fuzzy algorithm
102	Lane A. Hemaspaandra, Mayur Thakur	Query-Monotonic Turing Reductions.	COCOON	2005	DBLP DOI BibTeX RDF
95	Alasdair Urquhart	S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF
83	Joseph Farfel, Vincent Conitzer	Turing Trade: A Hybrid of a Turing Test and a Prediction Market.	AMMA	2009	DBLP DOI BibTeX RDF	deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests
83	Wolfgang Merkle, Frank Stephan 0001	On C-Degrees, H-Degrees and T-Degrees.	CCC	2007	DBLP DOI BibTeX RDF
73	Robert I. Soare	Computability and Incomputability.	CiE	2007	DBLP DOI BibTeX RDF	Turing a-machine, Church-Turing Thesis, Kurt Gödel, Turing o-machine, computable approximations, effectively continuous functions on reals, computability in analysis, strong reducibilities reexamined, computability, Alan Turing
72	John Dermot Turing	The man with the terrible trousers.	The Turing Guide	2017	DBLP BibTeX RDF
72	Laurent Bienvenu, David Doty, Frank Stephan 0001	Constructive Dimension and Turing Degrees.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Randomness, Extractor, Degree, Turing, Constructive dimension
70		Turing's legacy: developments from Turing's ideas in logic.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
70	José Hernández-Orallo, Javier Insa-Cabrera, David L. Dowe, Bill Hibbard	Turing Tests with Turing Machines.	Turing-100	2012	DBLP DOI BibTeX RDF
64	Amashini Naidoo, Nelishia Pillay	Using Genetic Programming for Turing Machine Induction.	EuroGP	2008	DBLP DOI BibTeX RDF	genetic programming, grammatical inference, Turing machines
64	R. Gregory Taylor	Motivating the Church-Turing thesis in the twenty-first century.	ITiCSE	1998	DBLP DOI BibTeX RDF	Church-Turing thesis, Markov algorithm, vector machine, Turing machine, computability theory, register machine
58	Thomas C. Hales	Mathematics in the age of the Turing machine.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Robert Irving Soare	Turing and the discovery of computability.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Anil Nerode	Musings on Turing's Thesis.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Steven Homer, Alan L. Selman	Turing and the development of computational complexity.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Charles F. Miller	Turing machines to word problems.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Cameron E. Freer, Daniel M. Roy 0001, Joshua B. Tenenbaum	Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Dag Normann	Higher generalizations of the Turing Model.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Lenore Blum	Alan Turing and the other theory of computation (expanded).	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Jeremy Avigad, Vasco Brattka	Computability and analysis: the legacy of Alan Turing.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Rod Downey	Computability theory, algorithmic randomness and Turing's anticipation.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	Harry Buhrman	Turing in Quantumland.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
58	John White	Welcome to the ACM Turing Centenary Celebration!	ACM-TURING	2012	DBLP DOI BibTeX RDF
58	Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall 0001, William Newman	Turing the Man.	ACM-TURING	2012	DBLP DOI BibTeX RDF
58	Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao	The Turing Computational Model.	ACM-TURING	2012	DBLP DOI BibTeX RDF
58	Vinton G. Cerf	Welcome to the ACM Turing Centenary Program.	ACM-TURING	2012	DBLP DOI BibTeX RDF
58	Alan C. Kay	Extracting Energy from the Turing Tarpit.	ACM-TURING	2012	DBLP DOI BibTeX RDF
58	Daniel Leivant	Alternating Turing machines and the analytical hierarchy.	Turing-100	2012	DBLP DOI BibTeX RDF
58	Edgar G. Daylight	Turing's Influence on Programming.	Turing-100	2012	DBLP DOI BibTeX RDF
58	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
58	Michael Stephen Fiske	Turing Incomputable Computation.	Turing-100	2012	DBLP DOI BibTeX RDF
58	Rusins Freivalds	Ultrametric automata and Turing machines.	Turing-100	2012	DBLP DOI BibTeX RDF
58	Jozef Kelemen	A Note on Turing's Three Pioneering Initiatives and on Their Interplays.	Turing-100	2012	DBLP DOI BibTeX RDF
58	Yun Shang, Xian Lu, Ruqian Lu	The computing power of Turing machine based on quantum logic.	Turing-100	2012	DBLP DOI BibTeX RDF
58	Jeroen Fokker	The chess example in Turing's Mind paper is really about ambiguity.	Turing-100	2012	DBLP DOI BibTeX RDF
58	Peter Wegner, Eugene Eberbach, Mark Burgin	Computational Completeness of Interaction Machines and Turing Machines.	Turing-100	2012	DBLP DOI BibTeX RDF
57	Eugene Eberbach, Mark Burgin	Evolution of evolution: Self-constructing Evolutionary Turing Machine case study.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
57	Dina Q. Goldin, Peter Wegner	The Church-Turing Thesis: Breaking the Myth.	CiE	2005	DBLP DOI BibTeX RDF
57	Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki	Some Properties of One-Pebble Turing Machines with Sublogarithmic Space.	ISAAC	2003	DBLP DOI BibTeX RDF
57	Natalie K. Person, Arthur C. Graesser	Human or Computer? AutoTutor in a Bystander Turing Test.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
56	James R. Cordy, T. C. Nicholas Graham	Design of an interpretive environment for Turing.	PLDI	1987	DBLP DOI BibTeX RDF	TURING
56	Ruqian Lu, Hongge Liu, Songmao Zhang, Zhi Jin, Zichu Wei	Some Cognitive Aspects of a Turing Test for Children.	Cognitive Systems	2005	DBLP DOI BibTeX RDF	Children Turing test, knowledge, intelligence, cognitive system, Turing test
53	Harry Buhrman, Montserrat Hermo	On the Sparse Set Conjecture for Sets with Low Denisty.	STACS	1995	DBLP DOI BibTeX RDF
52	David Doty	Every Sequence Is Decompressible from a Random One.	CiE	2006	DBLP DOI BibTeX RDF	compression, Kolmogorov complexity, martingale, Turing reduction, random sequence, Constructive dimension
49	Damien Woods, Turlough Neary	The Complexity of Small Universal Turing Machines.	CiE	2007	DBLP DOI BibTeX RDF
49	Bruno Durand 0001, Andrei A. Muchnik, Maxim Ushakov, Nikolai K. Vereshchagin	Ecological Turing Machines.	ICALP	2004	DBLP DOI BibTeX RDF
49	Wilson Rosa de Oliveira, Marcílio Carlos Pereira de Souto, Teresa Bernarda Ludermir	Turing Machines with Finite Memory.	SBRN	2002	DBLP DOI BibTeX RDF
49	Benedikt Löwe	Turing cones and set theory of the reals.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000):03D28, 03E60, 03D65, 03E50, 03E15
49	Saul Kripke	From the Church-Turing Thesis to the First-Order Algorithm Theorem.	LICS	2000	DBLP DOI BibTeX RDF
49	Alan M. Turing, D. Bayley	Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 1945-1946.	Cryptologia	2012	DBLP DOI BibTeX RDF
49	Alan M. Turing	Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe.	Cryptologia	2003	DBLP DOI BibTeX RDF
49	Wilfried Sieg	On mind & Turing's machines.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine
49	Jingbo Hao, Jianping Yin, Boyun Zhang	Modeling Viral Agents and Their Dynamics with Persistent Turing Machines and Cellular Automata.	PRIMA	2006	DBLP DOI BibTeX RDF	Viral Agent, Persistent Turing Machine, Dynamics, Cellular Automaton
49	Jérôme Durand-Lose	Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal.	CiE	2006	DBLP DOI BibTeX RDF	2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation
49	Jérôme Durand-Lose	Abstract Geometrical Computation: Turing-Computing Ability and Undecidability.	CiE	2005	DBLP DOI BibTeX RDF	Analog model of computation, Turing universality, Cellular automata, Geometry, Abstract geometrical computation
49	Héctor Fabio Restrepo, Daniel Mange	An Embryonics Implementation of a Self-Replicating Universal Turing Machine.	ICES	2001	DBLP DOI BibTeX RDF	universal Turing machine, cellular automata, self-repair, self-replication, Embryonics
49	Stephen G. Perelgut, James R. Cordy	Turing Plus: a comparison with C and Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C, Pascal, TURING
47	Bruce Edmonds, Carlos Gershenson	Learning, Social Intelligence and the Turing Test - Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test.	CiE	2012	DBLP DOI BibTeX RDF
46	Diane Proudfoot	The Turing test - from every angle.	The Turing Guide	2017	DBLP BibTeX RDF
46	Stephen Wolfram	A century of Turing.	The Turing Guide	2017	DBLP BibTeX RDF
46	Doron Swade	Turing, Lovelace, and Babbage.	The Turing Guide	2017	DBLP BibTeX RDF
46	David Leavitt	Turing and the paranormal.	The Turing Guide	2017	DBLP BibTeX RDF
46	Mark D. Sprevak	Turing's model of the mind.	The Turing Guide	2017	DBLP BibTeX RDF
46	Diane Proudfoot	Turing's concept of intelligence.	The Turing Guide	2017	DBLP BibTeX RDF
46	Thomas E. Woolley, Ruth E. Baker, Philip K. Maini	Turing's theory of morphogenesis.	The Turing Guide	2017	DBLP BibTeX RDF
46	Brian Randell	Turing and the origins of digital computers.	The Turing Guide	2017	DBLP BibTeX RDF
46	Jonathan P. Bowen, Jack Copeland	Turing's legacy.	The Turing Guide	2017	DBLP BibTeX RDF
46	Jack Copeland	Turing's great invention: the universal computing machine.	The Turing Guide	2017	DBLP BibTeX RDF
46	Bernard Richards	Radiolaria: validating the Turing theory.	The Turing Guide	2017	DBLP BibTeX RDF
46	Ivor Grattan-Guinness	Turing's mentor, Max Newman.	The Turing Guide	2017	DBLP BibTeX RDF
46	Brian E. Carpenter, Robert W. Doran	Turing's Zeitgeist.	The Turing Guide	2017	DBLP BibTeX RDF
46	Rod Downey	Turing and randomness.	The Turing Guide	2017	DBLP BibTeX RDF
46	Robin Whitty, Robin Wilson	Introducing Turing's mathematics.	The Turing Guide	2017	DBLP BibTeX RDF
46	Simon Greenish, Jonathan P. Bowen, Jack Copeland	Turing's Monument.	The Turing Guide	2017	DBLP BibTeX RDF
46	Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker	Turing's Theory of Developmental Pattern Formation.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	J. M. E. Hyland	The Forgotten Turing.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Philip D. Welch	Turing Transcendent: Beyond the Event Horizon.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Stuart A. Kauffman	Answering Descartes: Beyond Turing.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Solomon Feferman	Turing's 'Oracle': From Absolute to Relative Computability and Back.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Scott Aaronson	The Ghost in the Quantum Turing Machine.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Kanti V. Mardia, S. Barry Cooper	Alan Turing and Enigmatic Statistics.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Richard Gordon	Walking the Tightrope: The Dilemma of Hierarchical Instabilities in Turing's Morphogenesis.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Stephen Wolfram	What Alan Turing Might Have Discovered.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Ueli Maurer	Cryptography and Computation after Turing.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Andrew R. Booker	Turing and the Primes.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
46	Wilfried Sieg	Step by recursive step: Church's analysis of effective calculability.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
46	Philip D. Welch	Transfinite machine models.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
46	Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov	Computable model theory.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
46		ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Andrei Voronkov (eds.)	Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012	Turing-100	2012	DBLP BibTeX RDF
46	Edmund M. Clarke	Computable Real Numbers and Why They Are Still Important Today.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Butler W. Lampson	What Computers Do: Model, Connect and Engage.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Dana S. Scott	Lambda Calculus Then and Now.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth	Programming Languages - Past Achievements and Future Challenges.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	David A. Patterson 0001, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker	Computer Architecture.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy	Human and Machine Intelligence.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson	Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir	Information, Data, Security in a Networked Future.	ACM-TURING	2012	DBLP DOI BibTeX RDF
46	Christos H. Papadimitriou, Leonard M. Adleman, Richard M. Karp, Donald E. Knuth, Robert E. Tarjan, Leslie G. Valiant	An Algorithmic View of the Universe.	ACM-TURING	2012	DBLP DOI BibTeX RDF