2613 Speedway, Stop A2800 | Austin, TX 78712 | (MEDIA CONTACT Lauryn Feil Senior Communications Coordinator

Source URL: lifelong.engr.utexas.edu

• Science and technology in the United States
• Science and technology
• Engineering
• Turing Award laureates
• Ethernet
• David Boggs
• Butler Lampson
• Charles P. Thacker
• PARC
• Institute of Electrical and Electronics Engineers
• National Medal of Technology and Innovation
• Xerox Alto

1 Turing Machines with Atoms Mikołaj Boja´nczyk, Bartek Klin, Sławomir Lasota, Szymon Toru´nczyk University of Warsaw, e-mail: {bojan,klin,sl,szymtor}@mimuw.edu.pl

Source URL: duch.mimuw.edu.pl

1. Binární halda Uvažme následující problém ze života: jsme velmi vytíženým manažerem, kterému se plánovací diář stále plní obrovským množstvím úkolů. Každý úkol má předepsanou prioritu a vž

Source URL: turing.cz

A Turing Machine Resisting Isolated Bursts Of Faults Peter Gács Ilir Çapuni Boston University December 4, 2013

Source URL: www.cs.bu.edu

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.monad.me.uk

Criticisms of the Turing Test and Why You Should Ignore (Most of) Them Katrina LaCurts MIT CSAIL, 6.893

Source URL: people.csail.mit.edu

Turing Machines with Atoms (LICSM. Bojańczyk, B. Klin, S. Lasota, S. Toruńczyk University of Warsaw

Source URL: highlights-conference.org

CAPTCHA: Using Hard AI Problems For Security Luis von Ahn1 , Manuel Blum1 , Nicholas J. Hopper1 , and John Langford2 1 Computer Science Dept., Carnegie Mellon University, Pittsburgh PA 15213, USA

Source URL: www-users.cs.umn.edu

• Academia
• Artificial intelligence
• Cognitive science
• Computational neuroscience
• Human-based computation
• CAPTCHA
• Computer security
• Computer vision
• Philosophy of artificial intelligence
• Internet bot
• Turing test
• Artificial general intelligence

Answering Subcognitive Turing Test Questions: A Reply to French To be submitted to the Journal of Experimental and Theoretical Artificial Intelligence. Peter D. Turney Institute for Information Technology

Source URL: www.extractor.com

ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS RYUTA ARISAKA, ANUPAM DAS, AND LUTZ STRASSBURGER ´ INRIA, 1 rue Honor´e d’Estienne d’Orves,, Campus de l’Ecole Polytechnique, Bˆ atiment Alan Turing, 91120 Palais

Source URL: www.anupamdas.com