This thesis investigates the use of Carrier-phase Differential GPS (CDGPS) in relative navigation filters for formation flying spacecraft. This work analyzes the relationship between the Extended Kalman Filter (EKF) design parameters and the resulting estimation accuracies, and in particular, the…

We explore, in increasing complexity, various strategies for addressing the Multi-
Armed Bandit Problem in order to find the algorithm that maximizes the clickthrough
rate in the Exploration and Exploitation Challenge 3 competition. The data used
result from the actions…

Previous research into the linguistic benefits of study abroad suggests that vocabulary growth among less proficient learners is substantially enhanced by study abroad, whereas more proficient learners make less progress in terms of items gained. This study aims to assess…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

by Vuong P. Nguyen., Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997., Includes bibliographical references (leaves 67-68).

by Ronnie E. Thebeau., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2001., Includes bibliographical references (p. 149).

If we are to understand the innately human ability to solve complex problems, we must first understand the cognitive processes that allow us to combine different kinds of knowledge, to learn new things and to communicate with other people. I…

Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to…

Previous work in software product lines showed an increment of up to 10 times in productivity and product quality [SEI Prod_Line]; because of this, the software product line approach is critical for the success of a development project including a…

The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems will increase in the future when more critical systems are developed in areas such as industry, science,…