<--- Back to Details
First PageDocument Content
Space science / Planetary Science Institute / Solar System / Astrobiology / Dawn / William Kenneth Hartmann / 4 Vesta / Spaceflight / Space / Planetary science
Date: 2013-06-12 17:47:59
Space science
Planetary Science Institute
Solar System
Astrobiology
Dawn
William Kenneth Hartmann
4 Vesta
Spaceflight
Space
Planetary science

PSI ANNUAL REPORT 2012.indd

Add to Reading List

Source URL: www.psi.edu

Download Document from Source Website

File Size: 3,54 MB

Share Document on Facebook

Similar Documents

Fellows of the Royal Society / Colleges of the University of Cambridge / Science and technology in the United Kingdom / Institute of Physics / Daphne Jackson Trust / Women in science / Athene Donald / Julia Higgins / Heather Williams / Brian Cox

NEWSLETTER No 17 News fromWelcome notes from Dawn Leslie, WIPG Chair Welcome to our first Newsletter of the New Year, which provides an update of our recent activities as well as some of our plans for 2013.

DocID: 1xVS9 - View Document

Computer programming / Software engineering / Computing / Recursion / Computability theory / Theoretical computer science / Subroutines / Algorithms / Quicksort / Divide and conquer algorithm / Recurrent neural network / Artificial neural network

Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science

DocID: 1xVOh - View Document

Machine learning / Training /  test /  and validation sets / Validity / Probability distribution / Artificial intelligence / Cognition / Cognitive science / Computational neuroscience

Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction

DocID: 1xUXm - View Document

Computational neuroscience / Artificial neural networks / Applied mathematics / Cybernetics / Neuroscience / Convolutional neural network / Feature learning / Deep learning / Karel / Neural network / Long short-term memory / Machine learning

Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction

DocID: 1xUUA - View Document

Computing / Software bugs / Software engineering / Data types / Computer memory / Primitive types / C standard library / Memory safety / Stack buffer overflow / Pointer / Dangling pointer / Buffer overflow

SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

DocID: 1xUU0 - View Document