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

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 a graduate research seminar on Homotopy Type Theory (HoTT), a recent enrichment of Intuitionistic Type Theory (ITT) to include "higher-dimensional" types. The dimensionality of a type refers ...

The exact topics of the lectures are subject to change. We do not anticipate changing any of the other dates (exams, assignments, etc.) To watch the lecture videos, sign in to YouTube using your ...

Q: How can I learn more about the Fall 2023 offering? A: The pages on this website are for the Spring 2023 offering of 10-301/601. However, they offer a nice picture of what the course in Fall 2023 is ...

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

(load "fft/fft_demo.lsp") ;; you must load the code before calling functions (hp-test) ;; simple high-pass by zeroing low frames (mod-test) ;; FM cross-synthesis (mod-test-w) ;; FM cross-synthesis ...

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 ([email protected]) ...

Do not be daunted by the many options of the function make-array. All that is required to construct an array is a list of the dimensions; most of the options are for relatively esoteric applications.

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

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