Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
711	ALAN TURING: THE HIDDEN WARTIME MANUSCRIPT BY THE FATHER OF COMPUTING Monday April 13, 2015 New York Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2015-02-10 17:39:36 Business models Commerce Game theory Auction Bonhams Bid EBay Auctioneering Business Auction theory
712	Bounded Memory Protocols Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , Andre Scedrov4 Abstract It is well-known that the Dolev-Yao adversary is a powerful adversary. Besides acting as the network, intercepting, de Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2014-08-21 13:21:17 Computing Cryptography Communications protocol Adversary model Cryptographic nonce Turing machine Memory Bounded set Cryptographic protocols Data Information
713	Computing Technology: Created, Fallen, In Need Of Redemption? Joel C. Adams Department of Computer Science Calvin College Abstract If we accept the premise that computing technology is a part of the created order, then a Add to Reading List Source URL: www.calvin.edu Language: English - Date: 2002-08-29 14:10:31 Computation Computability Programming language Operating system Applied mathematics Science Theory of computation Lateral computing Turing Award Computer science Computing Computer
714	Bounded memory Dolev-Yao adversaries in collaborative systems Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , and Andre Scedrov3 1 Queen Mary, University of London, UK Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2010-09-30 13:57:08 Theory of computation Models of computation PSPACE-complete Non-deterministic Turing machine Cryptographic nonce Configuration Theoretical computer science Turing machine Applied mathematics
715	AISB/IACAP World Congress[removed]Alan Turing 2012 1/12 Natural Computing/Unconventional Computing and its Philosophical Significance Turing Test, Chinese Room Argument, Symbol Grounding Problem. Meanings in Artifici Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2012-07-07 16:09:33 Philosophy of artificial intelligence Alan Turing Human–computer interaction Turing test Symbol grounding Chinese room Consciousness Constraint satisfaction Constraint Philosophy of mind Cognitive science Mind
716	Remembering the Past for Meaningful AI-D Julie S. Weber1 & Kentaro Toyama2 1 Computer Science & Engineering, University of Michigan School of Information, University of California, Berkeley Add to Reading List Source URL: ai-d.org Language: English - Date: 2010-04-24 15:53:15 Development Philosophy of artificial intelligence Human–computer interaction Computational neuroscience Emerging technologies Information and communication technologies for development Applications of artificial intelligence Kentaro Toyama Turing test Science Technology Artificial intelligence
717	C. H. Bennett Logical Reversibility of Computation* Abstract: The usual general-purpose computing automaton (e.g.. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2013-01-12 09:26:33 Theory of computation Computer science Computability theory Formal methods Reversible computing Computation history Computability Reverse computation Post–Turing machine Turing machine Models of computation Theoretical computer science
718	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID[removed], 10 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 16:18:32 Academia Predation Reaction–diffusion system Differential equations Systems theory Pattern formation Mathematical and theoretical biology Harry Swinney Alan Turing Science Mathematical modeling British people
719	Decoupling Cache Coherence from Architecture in XML Klaus Oberecker, Aris Mallas and E. David Zotter Abstract but is buffetted by previous work in the field. Add to Reading List Source URL: www.zotter.com Language: English - Date: 2007-11-05 14:06:35 Models of computation Analysis of algorithms Computability theory Formal methods Randomized algorithm Algorithm Turing machine Applied mathematics Theoretical computer science Computer science
720	Complexity-theoretic barriers to validated solution of initial value problems Aki K AWAMURA www.cs.toronto.edu/˜kawamura/ Department of Computer Science Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2008-05-30 11:12:20 Computer science Models of computation Theory of computation Computational complexity theory Oracle machine Reduction Computability Turing machine Algorithm Theoretical computer science Computability theory Applied mathematics

UPDATE