A video sequence of an underwater scene taken from above the water surface suffers from severe distortions due to water fluctuations. In this paper, we simultaneously estimate the shape of the water ...

Hi there! I am an Assistant Professor with the Robotics Institute and Computer Science Department in the School of Computer Science at Carnegie Mellon University. My research interests span many ...

Korion Health, a startup founded by M.D./Ph.D. student Anna Li, won the $1 million Hult Prize Global Competition.

Team Chiron, a collaboration between researchers from CMU and the University of Pittsburgh, will compete in the second round of DARPA's Triage Challenge.

This course provides an overview of the state of the art in program analysis and recent research in the area. Topics include program representations, abstract interpretation, type-based and constraint ...

Carnegie Mellon’s School of Computer Science is widely recognized as one of the first and best computer science programs in the world. Our programs train the next generation of innovators to solve ...

Be Ye Not Lost Among Precepts of Order... - The Book of Uterus 1;5 Some excerpts from an interview with Malaclypse the Younger by THE GREATER METROPOLITAN YORBA LINDA ...

HHsim is a graphical simulation of a section of excitable neuronal membrane using the Hodgkin-Huxley equations. It provides full access to the Hodgkin-Huxley parameters, membrane parameters, stimulus ...

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...

The authors thank Saul Schleimer and Henry Segerman for helpful discussions about topological examples, and Nick Stadie for perspective on molecular symmetries. This work was supported by a Packard ...

Since its founding more than 25 years ago, the Carnegie Mellon School of Computer Science has been a world leader in computing research and education. Our graduate programs consistently rank among the ...