Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
541	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
542	La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:32:01 Mathematics Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Halting problem Computable function Algorithm Computability theory Theoretical computer science Computer science
543	1979 Turing Award Lecture Notation Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2014-11-20 19:25:19 Derivative Differential calculus Exponentiation Obfuscated code Classical cipher Mathematics Mathematical analysis Computer programming
544	TURING AWARD LECTURE Reflections on Trusting Trust To what extent should one trust a statement that a program is free of Trojan horses? Perhaps it is more important to trust the people who wrote the software. Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2002-10-03 01:20:59 Procedural programming languages C ALGOL 68 Printf format string D Fortran Unix Quine PL/I Computing Computer programming Software engineering
545	Viewpoint Jeannette M. Wing Computational Thinking It represents a universally applicable attitude and skill set everyone, not just Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-08-10 13:24:37 Science Theoretical computer science Open problems Alan Turing Philosophy of artificial intelligence Computer science Strong AI Quantum computer Turing test Problem solving Applied mathematics Computational thinking
546	cSplash, Event for High School Students, Courant Institute What is the Numerical Halting Problem? Chee Yap Computer Science Dept, Courant, NYU Mar 29, 2008 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:24 Computer science Theory of computation Models of computation Formal methods Alan Turing Computability Halting problem Turing machine Reduction Theoretical computer science Applied mathematics Computability theory
547	Complete results of the 2008 2K BotPrize competition Schedule of matches Judge 1 Bot Round Add to Reading List Source URL: botprize.org Language: English - Date: 2013-01-21 08:53:06 Video game bot Video game development Turing test
548	Balancing Usability and Security in a Video CAPTCHA Kurt Alfred Kluever Richard Zanibbi Google, Inc. Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2009-05-29 13:18:18 Human–computer interaction CAPTCHA Collective intelligence Information retrieval Tag Video search engine Usability Turing test Transaction authentication number Information Web 2.0 Computing
549	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
550	3rd Heidelberg Laureate Forum August 23 – 28, 2015 Abel, Fields and Turing Laureates Meet the Next Generation Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2014-11-20 10:58:12 Information theory Nevanlinna Prize Heidelberg Alan Turing Abel Prize British people Science English people

UPDATE