Mobile robots and autonomous vehicles are often unable to turn in place, either due to mechanical design or to momentum from moving quickly. A Dubins Curve is a geometric model commonly used in robotics planning for the ...

Reinforcement Learning is concerned with developing machine learning approaches to answer the question: "What should I do?" Transfer Learning attempts to use previously trained Reinforcement Learning models to achieve ...

This thesis reviews several challenges in the use and implementation of faceted execution, a programming-language mechanism for enforcing privacy policies. I present a proof-of-concept of a module-rewriting technique for ...

Authorship attribution is the process of identifying the author of a given work. This thesis surveys the history and foundations of authorship attribution, and then analyzes multiple machine learning methods that are used ...

Faceted execution is a technique for dynamic information flow control that allows programmers to program in a policy-agnostic manner. Racets uses macros to extend Racket with support for faceted execution. We present the ...

Recommendation systems exist in almost every aspect of online business. Whether the system is recommending books, movies, clothes, etc., an algorithm is running behind the scenes. These algorithms are hard to acquire in ...

Machine learning has become a popular tool for decision making. As these algorithms continue to make more of our decisions, the question arises of whether they are sound and just. Seeking the answer to this question is a ...

Improving the performance of dense numerical programs is an area that has been studied for decades. There are numerous approaches that people have applied on those problems, including upgrading the algorithm, running the ...

Androids phones were first introduced late 2008 and has become increasingly popular today. While android phones became increasingly popular so did the Android applications market; not only are more and more people downloading ...

This paper examines the ideas presented in Van Horn and Might’s 2010 paper, Abstracting Abstract Machines as a recent development of static analysis of programs. The paper consolidates background information on the lambda ...