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

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

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

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

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

I am 8 years old. Some of my little friends say that there is no Santa Claus. Papa says "If you see it in the Sun, it is so." Please tell me the truth, is there a Santa Claus? Virginia, Your little ...

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

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.

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

YouTube reference: https://www.youtube.com/watch?v=47d_y57pOUw.

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