|
|
|
|
|
|
|
|
To see the description, click on each project in the following list: 1. RoboCup 2. Location-based service application for tourists 3. Location-based traffic alert system 4. Web-based evaluation of capacity estimation tools 5. End-to-end non-intrusive available bandwidth estimation tool 7. Ad hoc networking for unmanned systems SAT solver is an algorithm that decides if a Boolean formula is satisfiable. Boolean satisfiability (SAT) is a fundamental problem in computation, and proved to be NP-complete. Although SAT is a hard computing problem, it is demanded in many applications such as hardware design and verification, artificial intelligence, computer vision, scheduling/planning, etc. Now, more and more computers are equipped with multi-core CPUs, and connected through internet. The performance of SAT solvers can be improved if the underlying parallel computing features are utilized. This project is focused on developing a fast SAT solver with parallel and distributed execution. I would like to work with an undergraduate student in this project with a strong background in C/C++ programming, algorithms and data structures. In addition, knowledge in computer architecture and OS (especially Linux) is highly desirable. 10. Image processing 11. Design and implementation of a large-scale compute cluster 12. Power Management in the Internet 13. Graphical User Interface for Security Policies 14. Location-based Security Enforcement 15. Transportation path reconstruction using GPS-enabled cell phones 16. Developing Intelligent Power Management Techniques for Cell Phone Software Applications 17. Enhancing an Expert System for travel behavior collected using GPS-enabled cell phones 18. Advanced Mode Detection algorithms 19. Advanced User Interface for Cell Phone that Aids Cognitively-Disabled Transit Riders 20. Advanced real-time path prediction using GPS-enabled cell phones 21. Creating a navigation system using new Geographic Information System (GIS)–compatible databases for data storage and analysis
The projects will engage undergraduate students in several state-of-the art research projects in Computer Science and Engineering and related fields through individual interaction between students and faculty mentors as well as collaborative work among faculty and students across disciplines. The program provides interesting research opportunities in the areas of Computer Networks, Artificial Intelligence, Robotics, Transportation, Computer Architecture, VLSI design, Image Processing, and Bioinformatics, among others. Initially, students will be introduced to fundamentals of research, such as methodologies, tools, techniques, literature searches, technical writing, and presentation skills expected to aid them in their forecoming activities and responsibilities. After this introduction, they will work directly on specific research projects. In addition, they will participate in activities designed to promote the exchange of ideas and knowledge, including academic and social activities. The faculty mentors will closely supervise the students, but as they become more familiar with the techniques and goals of their research, they will be encouraged and allowed to become more independent in their work. In addition, the faculty will participate in planned social events both on and off campus. Mid-semester, students will be asked to give a 10-minute progress presentation on their research. This activity is aimed to improve the students’ professional presentation skills, to provide valuable feedback to mentors and peers, and will be an important checkpoint of progress. At the end of the summer session, all students will be required to present their work in the REU poster competition. Cash prizes will be given for the three best poster presentations, with honorable mentions to the following three. In addition, all students will receive a book on research for future reference in their research endeavors. |
