This thesis concerns the application of High Performance Computing to Discrete Optimization, and the development of massively parallel algorithms designed to accelerate the solving process of Mixed-Integer Programs (MIPs). ...

Large graphs are now commonplace, amplifying the fundamental challenges of exploring, navigating, and understanding massive data. Our work tackles critical aspects of graph sensemaking, to create human-in-the-loop network ...

Modern distributed systems are often considered to be black-boxes that greatly limit the potential to understand behaviors at the level of detail necessary to diagnose some of the most important types of performance problems. ...

Recently we have witnessed rapid consolidation of traditional and emerging communications infrastructures, leading to the convergence of telephony and the Internet. While this convergence has been beneficial in many ways, ...

Advances in sensor miniaturization, low-power computing, and battery life have enabled the first generation of mainstream wearable cameras. Millions of hours of videos are captured by these devices every year, creating a ...

With continued advances in science and technology, big graph (or network) data, such as World Wide Web, social networks, academic collaboration networks, transportation networks, telecommunication networks, biological ...

Software is becoming increasingly pervasive and complex. These trends expose masses of users to unintended software failures and deliberate cyber-attacks. A widely adopted solution to enforce software quality is automated ...

The use of multiple cooperative robots or mobile devices has the potential to enable fast information gathering, and more efficient coverage and monitoring of large areas. In particular, distributed SLAM, i.e., the cooperative ...

Head-worn displays (HWDs) such as Google Glass are becoming more common. However, the optimal location for the display of such devices is an open question. Existing devices have displays located above, below, and in line ...

When managing cancer, people encounter many physical, emotional, social, and logistical challenges that impede on their quality of life and their ability to effectively manage their health. Helping people overcome these ...