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

Over the last seven years, I've read perhaps four hundred papers in computer science and math. Thirty or so were well-written. These anomalies aside, extracting meaning from most of the papers was ...

In addition to the engine, the Scone system comes with a number of knowledge-base files, each of which is a collection of descriptions and statements about the entities in some subject area. The "core ...

Introduction In this lab, you will examine a JUnit test for my two library classes that implement the Stack interface (ArrayStack and LinkedStack) and learn how to ...

Your class project is an opportunity for you to explore an interesting machine learning problem of your choice in the context of a real-world data set. Below, you will find some project ideas, but the ...

We now shift from our discussion of simple linear models to neural networks. Neural networks are a class of models that go beyond linear classifiers. Recall that the three main components of a machine ...

The author's experience of Scientology stretches over a period of 14 years from when it was a little known and interesting form of psychotherapy, to September 1968 when he was declared an S.P.

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

Modal logic is the study of the laws of inference for judgments such as "it is necessary that", "it is possible that", "K knows that", "K affirms that", etc. Its ...

Machine learning is dedicated to furthering scientific understanding of automated learning and to producing the next generation of tools for data analysis and decision-making based on that ...

Note: this is a tentative lecture schedule that is subject to change.