We study machine learning formulations of inductive program synthesis; given input-output examples, we try to synthesize source code that maps inputs to corresponding outputs. Our aims are to develop ...

Part of setting up a microcontroller when writing a piece of firmware usually involves configuring its connections to the outside world. You define a mapping of physical pins to intenral peripherals ...

School of Information Science and Technology, Hangzhou Normal University, Hangzhou, China Automated programming has become a powerful tool for solving real-world problems. Code generation, in ...

Twelve-lead ECGs, although standard in hospitals, can be bulky and impractical for home use. On the other hand, Apple Watch’s ECG app is easy to use, but it is limited in what it can detect because it ...

Newcomers are students who have recently arrived from other countries and speak a language other than English. While their experiences with education can vary, one commonality is that they have a ...

This repository contains my implementation of the Hybrid Input-Output (HIO) algorithm for phase retrieval — recovering phase information from Fourier magnitude data, a key problem in computational ...

Classification of gas wells is an important part of optimizing development strategies and increasing the recovery. The original classification standard of gas wells in the Sulige gas field has weak ...

There's a familiar TV discourse taking shape online right now, the kind that I suspect will look awfully familiar to you if you remember the way Game of Thrones crashed and burned in its eighth and ...

Making proteins for research or therapies often starts with cell-line development. In many applications, genetic engineering is used to optimize a cell line for producing high levels of the intended ...