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

Source URL: uclmr.github.io

• 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

JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1

Source URL: jeapostrophe.github.io

• Mathematics
• Mathematical logic
• Theoretical computer science
• Enumerative combinatorics
• Enumeration
• Ordering
• Lambda calculus
• Type theory
• Enumerated type
• Recursively enumerable set
• Combinatory logic

JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

Source URL: dacongy.github.io

• Debugging
• Computer programming
• Software engineering
• Computing
• Breakpoint
• Debugger
• Switch statement
• TeX
• Program slicing
• Wing IDE

Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse

Source URL: mebsout.github.io

Chapter 12: Epidemiology of Autism Spectrum Disorders Alison Presmanes Hill, Katharine Zuckerman, and Eric Fombonne Abstract In this chapter, we review existing prevalence estimates for ASDs since 2000 and discuss metho

Source URL: alison.rbind.io

• Psychiatry
• Health
• Psychiatric diagnosis
• Abnormal psychology
• Autism
• Pervasive developmental disorders
• Learning disabilities
• Neurological disorders
• Epidemiology of autism
• Autism spectrum
• ric Fombonne
• Asperger syndrome

Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes  Inria  CNRS  IRISA (France) Correctness 2017 Denver, Colorado

Source URL: correctness-workshop.github.io

• Psychometrics
• Design of experiments
• Statistical hypothesis testing
• Test
• Psychology
• Education
• Parallel computing
• Human behavior

UDAP WHITEPAPER Universal Decentralized Asset Protocol(UDAP) Tokenizing Anything

Source URL: www.udap.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Distributed computing
• Decentralization
• Computing
• Alternative currencies
• Ethereum
• Non-fungible token
• Decentralized application
• Smart contract
• CryptoKitties

Designing a Secret Handshake: Authenticated Key Exchange as a Capability System Dominic Tarr July 10, 2015 Abstract Capability Based Security is a conceptual framework for designing

Source URL: dominictarr.github.io

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Key management
• Public key infrastructure
• Man-in-the-middle attack
• Secure Shell
• Forward secrecy
• Elliptic-curve DiffieHellman
• Replay attack
• Cryptographic protocol
• Handshaking

FunFair Technology Roadmap and Discussion June 6, 2017, v0.97 Jeremy Longley and Oliver Hopton v0.9 - DRAFT - Copyright 2017, FunFair

Source URL: funfair.io

• Cryptocurrencies
• Computing
• Information
• Blockchain
• Ethereum
• Smart contract
• Slot machine
• Bitcoin
• Hash chain
• Hash function
• Casino game
• Draft:FunFair Technologies

A Touch of Evil: High-Assurance CryptographicHardware from Untrusted Components

Source URL: acmccs.github.io

• Cryptography
• Hardware Trojan
• RSA
• Public-key cryptography
• Key
• ElGamal encryption
• Digital signature
• Advantage
• Encryption