Branching heuristics determine the performance of search-based SAT solvers. We note that recently, Neural Machine Learning approaches have been proposed to learn such heuristics from data. The first step in learning a ...

Mosquitoes are directly responsible for the death of more than a million people each year. Yet the ability to mitigate their deadly impact or even monitor them in the wild to better understand their behavior remains ...

Buffer pools are essential for disk-based database management system (DBMS) performance as accessing memory on disk is orders of magnitude more expensive than accessing data in-memory. As such, one of the most important ...

The RoboCup Small Size Robotic Soccer League exists to drive research in robotics and artificial intelligence and the systems which compose those fields. In the Small Size League, teams of five fully autonomous robots play ...

Gentrification is an impactful trend in American cities, yet our ability to measure and predict this process remains weak. This thesis explores the use of machine learning to predict gentrification in Atlanta, Georgia. We ...

We present a differentiable framework capable of learning a wide variety of compositions of simple policies that we call skills. By recursively composing skills with themselves, we can create hierarchies that display complex ...