Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
591	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-10-27 06:39:41 Computability theory Formal methods Models of computation Theory of computation Algorithm Mathematical logic Turing machine Algorithm characterizations Theoretical computer science Applied mathematics Mathematics
592	Spring[removed]On the Origin of the Net and the Netizen Netizens and WSIS: Celebrating the Demand for Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2009-09-04 03:15:12 Media technology J. C. R. Licklider ARPANET Turing Award laureates Packet switching Robert Taylor Intelligence amplification Computer network Internet governance Technology Computing Science
593	t he sin g u l a rit y \| specia l rep o rt Can Machines Be Conscious? Yes—and a new Turing test might prove it By Christof Koch and Giulio Tononi Add to Reading List Source URL: www.klab.caltech.edu Language: English - Date: 2008-06-06 23:10:51 Cognition Artificial intelligence Computational neuroscience Cognitive psychology Consciousness Artificial consciousness Integrated Information Theory Philosophical zombie Strong AI Cognitive science Mind Philosophy of mind
594	How to Do Philosophy Informationally Gian Maria Greco, Gianluca Paronitti, Matteo Turilli, and Luciano Floridi Information Ethics Group, Oxford University Computing Laboratory, Oxford, United Kingdom Abstract. In this pa Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:54:33 Philosophy of mind Metaphysics Cognition Ontology Reality Turing test Constructionism Abstraction Philosophy of information Philosophy Mind Philosophy of artificial intelligence
595	Seven Catchy Phrases for Computational Creativity Research A Position Paper Simon Colton Computational Creativity Group Department of Computing, Imperial College, London Add to Reading List Source URL: www.thepaintingfool.com Language: English - Date: 2013-10-24 13:18:45 Alan Turing Computational creativity Creativity Philosophy of mind Mind Turing test Software Strong AI Creative industries Philosophy of artificial intelligence Artificial intelligence Human–computer interaction
596	A Marriage of Convenience: THE FOUNDING OF THE MIT ARTIFICIAL INTELLIGENCE LABORATORY Stefanie Chiou Craig Music Add to Reading List Source URL: worrydream.com Language: English - Date: 2013-07-29 17:47:12 Turing Award laureates MIT Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Computational neuroscience Hackers: Heroes of the Computer Revolution Marvin Minsky Time-sharing TX-0 John McCarthy Computing Science Lisp programming language
597	Ring The The journal of the Cambridge Computer Lab Ring Issue XXVI — January 2011 — £20 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-31 05:55:21 United Kingdom Alan Turing British people English people Members of the Order of the British Empire
598	PsycCRITIQUES December 29, 2014, Vol. 59, No. 52, Article 10 © 2014 American Psychological Association Coded Messages A Review of Add to Reading List Source URL: psqtest.typepad.com Language: English - Date: 2015-03-09 10:19:59 Buckinghamshire Milton Keynes Philosophy of artificial intelligence Bletchley Park Turing test Turing machine Colossus computer Enigma Computing Machinery and Intelligence Alan Turing Cryptography United Kingdom
599	ICRM Life Sciences Working Group RCUF Radionuclide Calibrator User Forum John Keightley November 2008 Add to Reading List Source URL: physics.nist.gov Language: English - Date: 2010-08-18 09:17:16 National Physical Laboratory Serco Vial Technology Science Alan Turing Containers Metrology
600	Introduction LTL model checking CTL model checking Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-01 22:24:18 Formal methods Theoretical computer science Model checkers Logic in computer science Kripke structure PAT Binary decision diagram Turing Award Algorithm Model checking Mathematics Temporal logic

UPDATE