©Copyright 2015 Daniel Perelman Program Synthesis Without Full Specifications for Novel Applications

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Algorithm
• Mathematical logic
• Theoretical computer science
• JavaScript
• Eval
• Futures and promises

SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva

Source URL: www.lix.polytechnique.fr

• Formal methods
• Algebraic structures
• Abstract interpretation
• Refinement
• Lattice
• Universal quantification
• Mathematics
• Computing
• Theoretical computer science

Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take

Source URL: homes.sice.indiana.edu

METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension

Source URL: eta.impa.br

• Mathematics
• Mathematical analysis
• Geometry
• Functional analysis
• Metric geometry
• Banach spaces
• General topology
• BanachMazur compactum
• Tsirelson space
• Normed vector space
• Metric space
• Compact operator

Job Description Title: Crisis Line Specialist Program: Advocacy Program Start Date: October/November

Source URL: calltosafety.org

• Violence against women
• Human behavior
• Violence
• Violence against men
• Crime
• Rape
• Gender studies
• Criminology
• Domestic violence
• Sexual violence
• Rape crisis center

Clara: Generating Polyphonic and Multi-Instrument Music Using an AWD-LSTM Architecture Christine Payne, OpenAI Scholars Program August 29, 2018 Clara is an LSTM that composes piano music and chamber music. It

Source URL: www.christinemcleavey.com

• Music
• Keyboard instruments
• Artificial neural networks
• Chordophones
• Piano
• Rhythm section
• Long short-term memory
• Reason
• MIDI
• Chord
• Guitar chord

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

Source URL: uclmr.github.io

• Computational neuroscience
• Software engineering
• Applied mathematics
• Computing
• Domain-specific language
• Artificial neural network
• Neural network
• Algorithm
• Fold
• Generative model
• Convolutional neural network

City Resilience Program Exchange with Swiss Partners AGENDA

Source URL: www.seco-cooperation.admin.ch

• Disaster preparedness
• Emergency management
• Safety
• Prevention
• Resilience
• Urban resilience
• Psychological resilience
• Ecological resilience

Neuro-Symbolic Program Corrector for Introductory Programming Assignments Sahil Bhatia Pushmeet Kohli

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computational linguistics
• Applied mathematics
• Source code
• Syntax
• N-gram
• Artificial neural network
• Parsing
• Recurrent neural network
• Speech recognition
• TeX