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

When Ruby Redlich graduated from SCS this past May, she left campus with more than her bachelor's degree in computational biology. She also had a first-author credit in a top journal for research that ...

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

In light of NAEAST23 results and difficulties in asking for a more approachable contest from the problem setters, my priority this season will be maximizing the performance of top team at NAEAST24.

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

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

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

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

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.