Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
361	Molecular Computing Machines M Yaakov Benenson Ehud Shapiro Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-01-29 12:27:14 Turing machine Automata theory Models of computation Computability theory Read-only Turing machine Finite-state machine DNA computing Computability Deterministic automaton Theory of computation Theoretical computer science Applied mathematics
362	Contact: Virginia Gold Add to Reading List Source URL: amturing.acm.org Language: English - Date: 2014-11-13 11:00:53 Science Turing Award Alan Turing Association for Computing Machinery Charles P. Thacker Turing Computer scientist Alan Kay Edmund M. Clarke Turing Award laureates Computing Computer science
363	ENIGMA The Life and Death of Alan Turing Libretto and music by Barry Truax For tenor (Alan Turing) and six digital soundtracks BACKGROUND INFORMATION Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2013-01-06 15:08:50 Alan Turing Turing machine Enigma Apple Inc. British people English people Computing
364	Models of Computation Lecture 6: Turing Machines [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggest Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:13 Computability theory Computer science Alan Turing Models of computation Computability Halting problem Church–Turing thesis Description number Non-deterministic Turing machine Turing machine Theory of computation Theoretical computer science
365	Latent Fault Detection in Cloud Services Mickey Gabela,b,1 , Ran Gilad-Bachracha , Nikolaj Bjørnera , Assaf Schustera,b,1 a Microsoft b Computer Research, Redmond, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-07-13 21:23:13 Turing machine Μ operator Models of computation Computability theory
366	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science
367	Asia Pacific Mathematics Newsletter 1 OnDemons Demons and On Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:56 Applied mathematics Computability theory Models of computation Turing machine Alan Turing Hypercomputation Super-recursive algorithm Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
368	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science
369	Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas Ryan Williams∗ Carnegie Mellon University Abstract Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2008-04-30 19:50:48 Complexity classes True quantified Boolean formula Alternating Turing machine FO DTIME NTIME Time complexity SL Turing machine Theoretical computer science Computational complexity theory Applied mathematics
370	SpringA Year of Changes Sennott Square Add to Reading List Source URL: www.cs.pitt.edu Language: English - Date: 2013-02-01 09:25:54 Academia Expert systems Computational neuroscience Cheminformatics Dendral Department of Computer Science John McCarthy Tom M. Mitchell Computer science Artificial intelligence Science Turing Award laureates

UPDATE