Dana Scott, the Hillman University Professor of Computer Science, Philosophy and Mathematical Logic (Emeritus), has received the 2025 K. Jon Barwise Prize from the American Philosophical Association.
SCS researchers have developed an AI-powered chatbot, PeerCoPilot, designed both with and specifically for people working in behavioral health.
SCS faculty members Aayush Jain, Aditi Raghunathan and Jun-Yan Zhu have received 2026 Sloan Research Fellowships.
A book by John C. Reynolds, published by Cambridge University Press (U.S., Britain). hardback, Fall 1998 500+xii pages ISBN: 9780521594141 (old ISBN: 0-521-59414-6 ...
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 ...
Javascript is required for the SCS calendar.
@article{Sawhney:2020:MCG, author = {Sawhney, Rohan and Crane, Keenan}, title = {Monte Carlo Geometry Processing: A Grid-Free Approach to PDE-Based Methods on ...
Frank Pfenning Personal Home Page Recent Drafts, Talks, and Publications See also Publications (as of November 12, 2025), DBLP, Google Scholar Profile Security Reasoning via Substructural Dependency ...
The King and Queen of Hearts were seated on their throne when they arrived, with a great crowd assembled about them--all sorts of little birds and beasts, as well as the whole pack of cards: the Knave ...
Office: Smith Hall, Rm. 215, 4800 Forbes Ave. I am an Associate Professor with the Robotics Institute and Computer Science Department at Carnegie Mellon University. My research interests span many ...
In normal form games, players move simultaneously and the game ends immediately after players move. Extensive Form: In this game type, players can move sequentially, allowing for a game tree structure ...
Abstract: Recent research has shown the benefit of framing problems of imitation learning as solutions to Markov Decision Problems. This approach reduces learning to the problem of recovering a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results