Making CAPTCHAs Clickable Richard Chow Philippe Golle Markus Jakobsson

Source URL: crypto.stanford.edu

• Security
• Computing
• Human-based computation
• Reverse Turing test
• Luis von Ahn
• Turing test
• Optical character recognition
• Clickable
• Computer security
• Artificial intelligence
• Alan Turing
• CAPTCHA

Speech and Language Processing An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition Second Edition

Source URL: www.cs.colorado.edu

• Linguistics
• Natural language processing
• Turing test
• Speech recognition
• Alan Turing
• Algorithm
• Word-sense disambiguation
• Speech synthesis
• HAL
• Science
• Computational linguistics
• Artificial intelligence

A short history of small machines L. De Mol and M. Bullynck A short history of small machines “This operation is so simple that it becomes laborious to apply” (Lehmer,

Source URL: logica.ugent.be

• Abstraction
• Axiology
• Logic
• Philosophy of mathematics
• Alan Turing
• Mathematical logic
• Function
• Computer
• Mathematics
• Science
• British people

Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University

Source URL: www.cs.indiana.edu

• Applied mathematics
• Iota and Jot
• Combinatory logic
• Beta normal form
• Evaluation strategy
• Jot
• Binary lambda calculus
• Reduction strategy
• Lambda
• Lambda calculus
• Theoretical computer science
• Mathematical logic

Logic in question L. De Mol When the bubble of symbolic logic finally burst.

Source URL: logica.ugent.be

• Computer science
• Theory of computation
• Alan Turing
• Models of computation
• Church–Turing thesis
• Turing machine
• Logic
• Algorithm
• Computability
• Computability theory
• Theoretical computer science
• Mathematics

The Winograd Schema Challenge Hector J. Levesque Ernest Davis Leora Morgenstern

Source URL: www.cs.nyu.edu

• Philosophy of artificial intelligence
• Alan Turing
• Human–computer interaction
• Philosophy of mind
• Turing test
• Question
• Consciousness
• Chinese room
• SAT
• Science
• Cognitive science
• Mind

Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed]

Source URL: www.cs.duke.edu

• Theoretical computer science
• Pushdown automaton
• Deterministic pushdown automaton
• Nondeterministic finite automaton
• Finite-state machine
• Non-deterministic Turing machine
• Turing machine
• LL parser
• LR parser
• Theory of computation
• Automata theory
• Models of computation

Microsoft PowerPoint - turing-09-5

Source URL: www.pmg.lcs.mit.edu

Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed]

Source URL: logica.ugent.be

• Computer science
• Theory of computation
• Busy beaver
• Turing machine
• Halting problem
• Computable function
• Alan Turing
• Mathematical proof
• Computability
• Mathematics
• Theoretical computer science
• Computability theory

hopcroft-john-april[removed]

Source URL: www.cs.iastate.edu

• Academia
• John Hopcroft
• Guggenheim Fellows
• Jeffrey Ullman
• Turing Award
• Alfred Aho
• Chandrajit Bajaj
• Turing Award laureates
• Computer science
• Science