Showing reports for year: 2007

Title:Algorithmic Reformulation of Polynomial Problems
Authors:Brown, Christopher W.
Serial Number:2007-01
Publication Date:6-13-2007
Abstract:This paper considers the problem of existential quantifier elimination for real algebra (QE). It introduces an algorithmic framework for exploring reformulations of QE problems, with the goal of finding reformulations that make difficult problems tractable for QE implementations, or for which these implementations find simpler solutions. The program qfr is introduced, which implements this approach, and its performance on some example problems is reported.
View ReportView bibtex

Title:Mobile Vehicle Teleoperated Over Wireless IP
Authors:Akin, Micah, Crabbe, Frederick L.
Serial Number:2007-02
Publication Date:6-13-2007
Abstract:This document describes an effort to create a low cost teleoperated vehicle that is controlled via 802.11g Wifi and the Internet. It is unusual in that it can be controlled at a great distance but yet is still inexpensive. The appendices provide instruction on how to construct and operate the vehicle, along with the necessary source code.
View ReportView bibtex