Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
971	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
972	2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Turing Award laureates Formal methods Joseph Sifakis Cybernetics Systems theory Component-based software engineering Model checking Turing Award Amir Pnueli Computer science Science Software engineering
973	Contact: Virginia Gold[removed]removed] Add to Reading List Source URL: amturing.acm.org Language: English - Date: 2014-03-18 09:23:50 Dijkstra Prize Distributed computing Software engineers Turing Award Leslie Lamport Association for Computing Machinery Edsger W. Dijkstra Edmund M. Clarke ACM SIGACT Computing Computer science Turing Award laureates
974	Microsoft Word - tests-show-machines-closing-human-abilities.htm Add to Reading List Source URL: francoispachet.fr Language: English - Date: 2012-01-05 06:47:02 Science Philosophy of artificial intelligence Human–computer interaction Turing test Philosophy of mind Robot Uncanny valley Consciousness Computing Machinery and Intelligence Alan Turing Artificial intelligence Cognitive science
975	i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2013-03-25 07:54:23 Computability theory Theory of computation Models of computation Mathematical logic Quantum computer Turing machine Boolean algebra Algorithm Hypercomputation Theoretical computer science Mathematics Applied mathematics
976	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
977	Stichwortverzeichnis a Alan Turing 108 ff., 112 Albert Einstein 151, 207, 209, 218, 224, 226 f., 231, 246 f. Add to Reading List Source URL: www.wiley-vch.de Language: German - Date: 2013-03-10 22:05:54
978	Re: CAPTCHAs – Understanding CAPTCHA-Solving Services in an Economic Context Marti Motoyama, Kirill Levchenko, Chris Kanich, Damon McCoy, Geoffrey M. Voelker and Stefan Savage University of California, San Diego {mmoto Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2010-06-02 19:00:02 Software Human-based computation CAPTCHA Alan Turing XRumer Luis von Ahn Forum spam PhpBB Turing test Computing Internet Spamming
979	82 Friday, 19 July 2013] No[removed]FIFTH SESSION, FOURTH LEGISLATURE Add to Reading List Source URL: www.dabhisho.org.za Language: English - Date: 2014-01-23 06:14:41 Models of computation Alan Turing
980	Separation of NP-completeness Notions A. Pavan Alan L Selman ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2001-03-30 11:54:28 Complexity classes Models of computation Computability theory Mathematical optimization NP Time complexity Oracle machine P Turing machine Theoretical computer science Computational complexity theory Applied mathematics

UPDATE