To free wearable tech from the burden of batteries, SCS researchers developed Power-Over-Skin, which allows electricity to travel through the human body and could one day power battery-free devices ...

This is a guide to editing and executing Standard ML (SML) programs at Carnegie Mellon University, using the Standard ML of New Jersey system. This document was written by Peter Lee (petel@cs.cmu.edu) ...

A technical introduction to the fundamentals of programming with an emphasis on producing clear, robust, and reasonably efficient code using top-down design, informal analysis, and effective testing ...

I am a postdoctoral fellow at Carnegie Mellon University. I was awarded a PhD from CMU's Machine Learning Department in December 2010. I am interested in machine learning techniques for structured ...

Like a shot to your dome piece, I'm back to hit you with my annual roundup of what happened in the rumble-tumble game of databases. Yes, I used to write this article on the OtterTune blog, but the ...

The handout Automated Theorem Proving contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not ...

This is Graham Neubig's lab at the Language Technologies Institute of Carnegie Mellon University. We do research on natural language processing and machine learning, specifically machine translation, ...

For office hours of the TAs and Zoom links, please check Piazza.

Realistic image manipulation is challenging because it requires modifying the image appearance in a user-controlled way, while preserving the realism of the result. Unless the user has considerable ...

Below is the week-by-week schedule for the course. For copies of the demo code written in class, please see the demo code repository.

In a domain of research defined by many of the greatest challenges facing computer scientists and roboticists today, perhaps none is greater than the creation of algorithms and programming language to ...