Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
101	Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Internet Standards Internet protocols Computability theory Daikon Software testing Domain Name System Security Extensions Domain Name System Freeciv Programming language Object Process Methodology Specification language Internet protocol suite
102	Lecture 14 Recursion Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-27 00:27:14 Recursion Theoretical computer science Mathematical logic Computability theory Subroutines Factorial This Recursive definition While loop
103	Diatomic Molecules with Large Angular Momentum in the Born–Oppenheimer Approximation Sharon M. Hughes†∗ and George A. Hagedorn† Department of Mathematics and Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2008-09-03 19:26:34 Quantum chemistry Molecular physics Computability theory operator ALGOL 68 Operator R0 Molecular Hamiltonian BornOppenheimer approximation
104	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
105	1 Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2016-03-21 01:41:35 Computability theory Recursively enumerable set Theory of computation Formal languages Spectral theory
106	"What Does a Computer Simulation Have to Reproduce? The Case of VMWare" Introduction The VMWare products and other virtualization and emulation technologies are not new (VMWare itself dates from the 1990s; emulation in a Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2010-08-13 21:51:26 Turing machine Philosophy of mind Philosophy of technology Electronic design automation Operations research Simulation Emulator Virtualization Computability Virtual machine Computer simulation Computer
107	Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Theory of computation Computability theory Busy beaver Computable function Computability Turing machine Halting problem Hypercomputation Computable number Algorithm Alan Turing Ackermann function
108	1 Almost Affine Lambda Terms Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:10 Proof theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Sequent Valuation CurryHoward correspondence Quantum group
109	BOOKS ABOUT TABE COMPUTATION Cityhalllosangeles.com TABE COMPUTATION Add to Reading List Source URL: t.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:57:52 Theoretical computer science Computability theory Adult education Tests of Adult Basic Education Computer science Theory of computation Computation
110	Microsoft PowerPoint - Lect03procedures.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-14 14:11:00 Theoretical computer science Computability theory Recursion Subroutines Scheme Algorithm Structure and Interpretation of Computer Programs Factorial

UPDATE