Javascript is required for the SCS calendar.

This webpage is a benchmark data set for keystroke dynamics. It is a supplement to the paper "Comparing Anomaly-Detection Algorithms for Keystroke Dynamics," by Kevin Killourhy and Roy Maxion, ...

Linkage are composed of links and lower pairs. The simplest closed-loop linkage is the four-bar linkage, which has three moving links, one fixed link and four pin joints. A linkage with one link fixed ...

"We look at people like Jack Pidgeon or the public school teacher who stretched the envelope for 30 years as exceptions, as anachronisms, because only the toughest can make a life of it. And that's ...

Pseudorandom permutations from random reversible circuits W. Gay, W. He, N. Kocurek, R. O'Donnell CRYPTO '25 Quartic quantum speedups for planted inference Alexander Schmidhuber, R. O'Donnell, R.

We introduce a stochastic graph-based method for computing relative importance of textual units for Natural Language Processing. We test the technique on the problem of Text Summarization (TS).

I'm a professor in the Machine Learning Department at Carnegie Mellon. I am also affiliated with the Robotics Institute. I'm interested in multi-agent planning, reinforcement learning, ...

Thread operations include thread creation, termination, synchronization (joins,blocking), scheduling, data management and process interaction. A thread does not maintain a list of created threads, nor ...

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, ...

(eq x y) is true if and only if x and y are the same identical object. (Implementationally, x and y are usually eq if and only if they address the same identical memory location.) It should be noted ...

Research Interests My most recent work focuses on 3D perception in the context of robotic manipulation. My thesis addresses several aspects of contact-rich robotic manipulation including mechanics ...

A wheel provided with suitably shaped teeth, receiving an intermittent circular motion from an oscillating or reciprocating member, is called a ratchet wheel. A simple form of ratchet mechanism is ...