<--- Back to Details
First PageDocument Content
Computational neuroscience / Software engineering / Applied mathematics / Computing / Domain-specific language / Artificial neural network / Neural network / Algorithm / Fold / Generative model / Convolutional neural network
Date: 2018-08-06 06:17:49
Computational neuroscience
Software engineering
Applied mathematics
Computing
Domain-specific language
Artificial neural network
Neural network
Algorithm
Fold
Generative model
Convolutional neural network

D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction

Add to Reading List

Source URL: uclmr.github.io

Download Document from Source Website

File Size: 188,56 KB

Share Document on Facebook

Similar Documents

Cryptography / Mathematics / Algebra / Finite fields / Computational hardness assumptions / Integer factorization algorithms / Emerging technologies / Quantum computing / RSA / Euclidean algorithm / Quantum algorithm / XTR

Lecture 19, Thurs March 30: RSA and Shor’s Algorithm Today we’ll see Shor’s algorithm. Given a positive integer ​N​, which we’ll assume for simplicity is a product of two primes |​and , this algorithm lets

DocID: 1xVSj - View Document

Mathematics / Algebra / Abstract algebra / Finite fields / Field theory / Angle / Sine / Factorial / XTR / Valuation / Non-analytic smooth function / Proof that  is irrational

IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

DocID: 1xVRx - View Document

Theoretical computer science / Computational complexity theory / Mathematics / Emerging technologies / Quantum computing / Quantum algorithms / Quantum information science / Quantum algorithm / Algorithm / P versus NP problem / NP / PP

Lecture 22, Tues April 11: Grover The next quantum algorithm we’ll cover is… Grover’s Algorithm which was discovered in 1995, shortly after Shor’s algorithm. Both Grover and Shor were working at Bell Labs at the

DocID: 1xVQ3 - View Document

Theoretical computer science / Emerging technologies / Quantum computing / Computational complexity theory / Quantum information science / Computer science / Quantum algorithm / Time complexity / Asymptotically optimal algorithm / Grover's algorithm / Quantum algorithm for linear systems of equations

Lecture 23, Thurs April 13: BBBV, Applications of Grover It’s great that we can get a quadratic speedup with Grover’s algorithm, but we were able to get an exponential​ speedup with Shor’s algorithm… So why can

DocID: 1xVKf - View Document

Mathematics / Abstract algebra / Mathematical analysis / Algebraic number theory / Discriminant of an algebraic number field / Riemann hypothesis / Algebraic number field / Table of stars with Bayer designations / Computational complexity of mathematical operations

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS

DocID: 1xVGU - View Document