Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
761	© 2003 The Charles Babbage Institute for the History of Information Technology 211 Andersen Library, 222 – 21st Avenue South, Minneapolis, MN[removed]USA Reflections on 20 Years—One Standard Robert E. Kahn Corporation Add to Reading List Source URL: www.cbi.umn.edu Language: English - Date: 2007-05-17 10:27:13 Computing ARPANET Vint Cerf Bob Kahn Internet protocol suite DARPA Transmission Control Protocol Internet Internet Experiment Note Science and technology in the United States Turing Award laureates Technology
762	Technical Report UCAM-CL-TR ISSN[removed]Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-12-02 09:28:45 Computing Turing Award laureates Ucam Algorithm Logic for Computable Functions Proof assistant HOL Robin Milner Compiler Logic in computer science Theoretical computer science Computer science
763	CONTACT: Virginia Gold[removed]removed] Add to Reading List Source URL: awards.acm.org Language: English - Date: 2013-12-16 13:02:14 Academia Information retrieval Computing Turing Award W. Wallace McDowell Award Computer science Association for Computing Machinery Science
764	make or break Simon Biggs Edinburgh College of Art University of Edinburgh Spiral Jetty, Robert Smithson, 1970 Add to Reading List Source URL: www.pocos.org Language: English - Date: 2014-03-29 12:47:36 Spiral Visual arts Art history Land art Turing machine Robert Smithson
765	Evaluating Existing Audio CAPTCHAs and an Interface Optimized for Non-Visual Use Jeffrey P. Bigham and Anna C. Cavender Department of Computer Science and Engineering DUB Group University of Washington Add to Reading List Source URL: www.annacavender.com Language: English - Date: 2008-12-08 13:44:54 Human–computer interaction CAPTCHA World Wide Web Artificial intelligence Reverse Turing test Turing test Luis von Ahn Usability Web accessibility Human-based computation Computing Alan Turing
766	First Friday News & Views THE MONTHLY NEWSLETTER PRIESTLY MAN DATING Add to Reading List Source URL: www.ffbciowa.org Language: English - Date: 2012-08-10 08:53:22 Roxanne Conlin Chuck Grassley Perseus Hades Alan Turing Zeus Pandora Roxanne Greek mythology Film Clash of the Titans
767	Editorial Profile he American Association for Artificial Intelligence (AAAI) is the principal scientific society serving the artificial intelligence community in the United States. Founded in 1979, the association consis Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 17:17:46 Academia Association for the Advancement of Artificial Intelligence Edward Feigenbaum Daniel G. Bobrow Marvin Minsky Nils Nilsson Raj Reddy Applications of artificial intelligence Ai Science Artificial intelligence Turing Award laureates
768	Vienna, December 6, 2013 Press release #1 Vienna Summer of Logic 2014 Add to Reading List Source URL: vsl2014.at Language: English - Date: 2013-12-09 05:39:20 Vienna Circle Logical positivism Analytic philosophers Philosophers of science Logic Kurt Gödel Mathematical logic Alan Turing Moritz Schlick Science Philosophy Knowledge
769	Visions III A Strategic Plan for the Coastal and Estuarine Research Federation (CERF[removed] – [removed]CERF Mission Statement Add to Reading List Source URL: www.erf.org Language: English - Date: 2014-04-16 11:16:15 Turing Award laureates United States Publishing Vint Cerf Academia Coastal and Estuarine Research Federation Cerf Estuaries and Coasts
770	Logic in Computer Science Logic and computer science are closely related. Basic research in logic is crucial for computer and software engineering. All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Lo Add to Reading List Source URL: vsl2014.at Language: English - Date: 2014-07-02 09:00:38 Computability theory Turing machine Alan Turing Theoretical computer science Models of computation Logic Computer Mathematical logic Turing completeness Science Mathematics Computer science

UPDATE