Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
991	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
992	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
993	Structured Parameter Estimation for LFG-DOP using Backoff Mary Hearne? and Khalil Sima’an† ? School of Computing, Dublin City University, Glasnevin, Dublin 9, Ireland † Institute for Logic, Language and Computation Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Data-oriented parsing Natural language parsing Knowledge representation Dilution of precision Lexical functional grammar Tree Density estimation
994	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
995	BOOKS ABOUT TABE ASSESSMENT MATH COMPUTATION PRACTICE TEST Cityhalllosangeles.com TABE ASSESSMENT MATH CO... Add to Reading List Source URL: t.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:57:51 Adult education Tests of Adult Basic Education Educational assessment
996	c 2005 Cambridge University Press Combinatorics, Probability and Computing, 737–754. DOI: S0963548305007005 Printed in the United Kingdom Approximate Counting and Quantum Computation Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2006-01-18 09:22:02 Quantum computing Computational complexity theory Quantum complexity theory Polynomials Complexity classes Tutte polynomial BQP PP Chromatic polynomial NP Quantum algorithm Time complexity
997	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: eglassman.github.io Language: English - Date: 2016-07-29 16:41:12 Theoretical computer science Alan Turing Mathematical logic Turing machine Algorithm MATLAB Computational complexity theory Human-based computation Problem solving NP Simulation
998	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
999	Automatic Protocol Selection in Secure Two-Party Computations Florian Kerschbaum1 , Thomas Schneider2 , and Axel Schr¨opfer1 1 SAP AG {florian.kerschbaum,axel.schroepfer}@sap.com Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2014-05-12 11:51:10 Public-key cryptography Cryptography Homeomorphisms Homomorphic encryption Secure multi-party computation Paillier cryptosystem Communications protocol Cryptographic protocol Secret sharing Data Encryption Standard
1000	Research Statement Theory and Computation of Optimal Geometry John M. Sullivan July 2003 My research in optimal geometry involves a unique combination of mathematical theory and numerical experiments. Traditionally, pure Add to Reading List Source URL: torus.math.uiuc.edu Language: English - Date: 2003-07-17 22:04:18 Geometric topology Differential geometry Surfaces Differential topology Willmore energy Minimal surface Foam Minimax eversion Differential geometry of surfaces Ropelength Knot Sphere