To free wearable tech from the burden of batteries, SCS researchers developed Power-Over-Skin, which allows electricity to travel through the human body and could one day power battery-free devices ...

La gestion des connaissances est aujourd'hui un enjeu d'avenir pour toutes les sociétés dont le capital est de plus en plus constitué de "matière grise". Cet ouvrage fournit une synthèse des méthodes ...

A CMU team developed Pangea to make AI and large language models accessible to people who speak languages beyond the Western-centric ones traditionally used to train these models. Artificial ...

J. Callahan, D. Hopkins, M. Weiser, and B. Shneiderman. 1988. An empirical comparison of pie vs. linear menus. In Proceedings of the SIGCHI Conference on Human ...

This is a graduate research seminar on Homotopy Type Theory (HoTT), a recent enrichment of Intuitionistic Type Theory (ITT) to include "higher-dimensional" types. The dimensionality of a type refers ...

Fri 17-Jan Recitation 1: Lower Bounds [Recitation 1] [Solutions] ...

I am interested in the performance analysis and design of computer systems, particularly distributed systems. I use analytical models to capture the important characteristics of a computer system, and ...

The advent of large-scale training has produced a cornucopia of powerful visual recognition models. However, generative models, such as GANs, have traditionally been trained from scratch in an ...

The ICS course provides a programmer's view of how computer systems execute programs, store information, and communicate. It enables students to become more effective programmers, especially in ...

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

Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.