Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
71	Applied Mathematics and Computation xxxxxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc Add to Reading List Source URL: scribblethink.org Language: English - Date: 2012-10-07 04:35:37 Computability theory Theory of computation Randomness Theoretical computer science Algorithmic information theory Kolmogorov complexity Algorithmically random sequence Computable function Complexity Algorithm Pseudorandomness Lossless compression
72	Powerpoint-presentation Information and Computing Sciences Add to Reading List Source URL: www.usefulpatterns.org Language: English - Date: 2015-04-25 08:23:03 Algorithmic information theory Computability theory Randomness Theoretical computer science Turing machine Kolmogorov complexity Algorithmically random sequence Algorithmic probability Minimum description length Complexity Ray Solomonoff Algorithm
73	Computability 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Computability theory Theory of computation Turing machine Models of computation Theoretical computer science Computability Algorithm Halting problem Reduction Computable function NP Complexity class
74	Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089 Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-03-16 13:13:45 Recursion Binary trees Knowledge representation Computability theory B-tree Binary expression tree Tree traversal Disjunctive normal form Tree Parallel Tree Contraction Interval tree
75	Microsoft Word - Some Questions on Moral Hazard.doc Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2008-12-05 05:29:03 Computability theory operator BorelKolmogorov paradox
76	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
77	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
78	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
79	Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2013-08-28 05:10:42 Complexity classes Theoretical computer science Computational resources Mathematical logic Computability theory Algorithm Recursion NP DSPACE FO Exponential time hypothesis Time complexity
80	ESTIMATES FOR SPECTRAL DENSITY FUNCTIONS OF MATRICES OVER C[Zd ] arXiv:1310.8564v2 [math.NT] 29 Oct 2014 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2014-10-30 03:27:38 Spectral theory Computability theory Lambda calculus Theoretical computer science

UPDATE