Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, David A. Moon, Crispin Perdue, Kent M. Pitman, Richard C. Waters, and Jon L ...
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 ...
Triangle generates a conforming constrained Delaunay triangulation whenever the -q, -a, or -u, switch is used. These switches set constraints on angles and triangle sizes in the mesh. The -q switch ...
You will need to download and install a set of 3rd party software to analyze and visualize the data. Capturing the images: Use digital camera to take images in ...
15-210 aims to teach methods for designing, analyzing, and programming sequential and parallel algorithms and data structures. The emphasis is on teaching fundamental concepts applicable across a wide ...
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 ...
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 ...
Please enroll in Piazza for this course...announcements will be broadcast via Piazza. 15-745 is a graduate course in optimizing compilers for modern architectures. The learning objectives are: To ...
The SCS Graduate Application Support Program is an annual student-led initiative made available to applicants to our doctoral programs, particularly those from underrepresented groups. Historically, ...
SCS offers a wide range of professional and academic master's programs across its seven departments. Admissions and requirements vary by program and are determined by the program's home department.