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: ...

New instruments for imaging human brain activity, such as fMRI, offer a wonderful opportunity to study mechanisms in the brain. Our group develops statistical machine learning algorithms to analyze ...

This course provides a thorough, hands-on introduction to automated theorem proving. It consists of a traditional lecture component and a joint project in which we will construct a theorem prover. The ...

This course is an introduction to fundamental computing principles and programming techniques for creative cultural practitioners, with special consideration to applications in the visual arts, music, ...

# Quotes enclose characters to tell Python "this is a string!" # single-quoted or double-quoted strings are the most common print('single-quotes') print("double ...

Individual lecture notes handed out in class are listed on the course schedule page. Here are the complete set and some additional supporting papers. To avoid copyright issues, these are posted for ...

Tom: Monday 1:20-1:50pm, Wednesday 1:20-1:50pm, In class and just outside the lecture room Communication: Piazza is intended for all future announcements, general questions about the course, ...

From smart phones, to multi-core CPUs and GPUs, to the world's largest supercomputers, parallel processing is ubiquitous in modern computing. The goal of this course is to provide a deep understanding ...

This week we’ll be learning about Latex, a typesetting program recommended by many classes at CMU.

If at any point you get stuck during this initial setup or throughout the semester, please don’t hesitate to post on Piazza or come to office hours. SSH is a ...