NSDI ’16: 13th USENIX Symposium on Networked Systems Design and Implementation March 16–18, 2016 Santa Clara, CA Message from the Program Co-Chairs. . . . . . . . . . . . . . . . . . . . . . . .

Source URL: www.usenix.org

• Higher education in China
• Computer science
• Ion Stoica
• Science and technology in the United States
• Databricks
• Ali Ghodsi
• Matei Zaharia
• Hari Balakrishnan
• Scott Shenker
• Tsinghua University
• Microsoft Research
• Carnegie Mellon University

Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ

Source URL: www.purdue.edu

• Planetary science
• Planetary geology
• Astronomy
• Nature
• Lunar science
• Impact crater
• Meteorite
• Secondary crater
• Impact event
• Meteoroid
• Hypervelocity
• Meteor Crater

` AWS Activate - Frequently Asked Questions (FAQ) 1. What is AWS Activate? AWS Activate is a program designed to provide your startup with the resources you need to get started

Source URL: www.eban.org

• Economy
• Computing
• Cloud infrastructure
• Amazon Web Services
• Web hosting
• Business
• Startup company

RobustFill: Neural Program Learning under Noisy I/O

Source URL: rishabhmit.bitbucket.io

• Computational neuroscience
• Artificial neural networks
• Applied mathematics
• Cognitive science
• Neuroscience
• Computational statistics
• Market research
• Mathematical psychology
• Neural network
• Machine learning
• Recurrent neural network
• Memory

vRAM: Faster Verifiable RAM With Program-Independent Preprocessing Yupeng Zhang∗ , Daniel Genkin† , ∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡ , ∗ and Charalampos Papamanthou∗ ∗ University † Universi

Source URL: web.eecs.umich.edu

Purpose The Wyoming Business Council Trade Show and Market Expansion Grant program helps defray costs for private Wyoming for-profit businesses participating in market expansion activities, such as trade shows and trade

Source URL: wyomingbusiness.org

• Expense
• Wyoming Business Council
• Budget

National Quantum Initiative Act The National Quantum Initiative Act establishes a federal program to accelerate quantum research and development for the United States’ economic and national security. Quantum Informatio

Source URL: science.house.gov

• Theoretical computer science
• Quantum information science
• Emerging technologies
• Physics
• Quantum cryptography
• Quantum mechanics
• Quantum computing
• Quantum technology
• Quantum information
• Quantum network
• Pittsburgh Quantum Institute

OFFICIAL RULES Tampa Bay Times Newspaper in Education Monthly Teacher ContestThese rules are for the Tampa Bay Times Newspaper in Education Program’s Monthly Teacher Contest (“Contest”). This Pr

Source URL: nieonline.com

STATE OF WYOMING WYECIP Lite Energy Management Program (WYLITE) - Pre-Approval Guidelines Instructions 1. Review and complete the program eligibility information below. Information to be completed by WBC Regional Direct

Source URL: www.wyomingbusiness.org

• Energy conservation
• Lockheed Corporation
• Trident
• Energy service company
• Fiction
• Energy

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Logic in computer science
• Automated theorem proving
• Reasoning
• Program analysis
• Natural deduction
• Logical framework
• Resolution
• First-order logic