Videos

99DOTS: Using Mobile Phones to Ensure Complete Recovery from Tuberculosis

2 days ago
Tuberculosis (TB) is a completely curable disease, yet over 1 million people die from TB every year. One of the major challenges is to ensure that patients complete a full six-month course of antibiotics, which is required to make a full recovery. Using 99DOTS, patients reveal unpredictable hidden phone numbers whenever they dispense medication from […]

Gender Salience and Racial Frames, Potholes for Women in Science

2 days ago
This talk grounds the experience of harassment sociologically drawing attention to the way that race and gender interact to shape who experiences gender harassment and how they respond to it. Gender salience explains how gender moves from the background to the foreground when women experience harassment and racial frames account for the hypersexualization of women […]

F*: Tactics, SMT, and metaprogramming

4 days ago
I’ll present the incipient tactics engine for F*, a programming language aimed at verification with an SMT backend. In the quest to make both F* proofs faster and more reliable and the language itself more extensible, we provide a way for user programs to manipulate internal compiler structures for breaking down proof obligations or computing […]

Composition and Inheritance in Declarative Configuration Languages

5 days ago
Configuring large computing installations is a difficult problem — there are many different subsystems involved, all with their own language, and many different people with an interest in overlapping aspects of the overall configuration. Deploying and maintaining a configuration which reliably meets everyone’s “higher-level” requirements is hard, and configuration errors are responsible for a significant […]

Reconfigurable Acceleration of Genomic Data Processing

6 days ago
This talk presents recent advances in speeding up the processing of genomic data, making use of reconfigurable data flow engines based on field programmable gate arrays. Our design involves the FM-index technique and exploits the reconfigurability of field-programmable technology. Applications include speeding up time-consuming tasks such as bisulfite sequence alignment for prenatal and cancer diagnosis, […]

Smart Enough to Work With Us? Foundations and Challenges for Teamwork-Enabled AI Systems

7 days ago
For much of its history, AI research has aimed toward building intelligent machines independently of their interactions with people. As the world of computing has evolved, and systems pervade ever more facets of life, the challenges of building computer systems smart enough to work effectively with people, in groups as well as individually, has become […]

AI in the Open World

7 days ago
Fielding AI solutions in the open world requires systems to grapple with incompleteness and uncertainty. This session will address several promising areas of research in open world AI, including enhancing robustness via leveraging algorithmic portfolios, learning from experiences in rich simulation environments, harnessing approaches to transfer learning, and learning and personalization from small training sets. […]

Homomorphic Encryption for Arithmetic of Approximate Numbers

1 week ago
We suggest a method to construct a homomorphic encryption scheme for approximate arithmetic. It supports approximate addition and multiplication of encrypted messages, together with the rescaling procedure for managing the magnitude of plaintext. This procedure truncates a ciphertext into a smaller modulus, which results in rounding of plaintext after homomorphic operations. The main idea is […]

Video Abstract: AI for Earth Classification

2 weeks ago
Understanding the land cover types and locations within specific regions enables effective environmental conservation. With sufficiently high spatial and temporal resolution, scientists and planners can identify which natural resources are at risk and the level of risk. This information helps inform decisions about how and where to focus conservation efforts. Current land cover products don’t […]

Seeing AI app – Product Channel

2 weeks ago
Product Channel gives audio beeps to help locate barcodes and then scans them to identify products. Seeing AI is a free app that narrates the world around you. Designed for the blind and low vision community, this ongoing research project harnesses the power of AI to open up the visual world and describe nearby people, […]

Video Abstract: Project InnerEye – Assistive AI for Cancer Treatment

2 weeks ago
Project InnerEye is a new AI product targeted at improving the productivity of oncologists, radiologists and surgeons when working with radiological images. The project’s main focus is in the treatment of tumors and monitoring the progression of cancer in temporal studies. InnerEye builds upon many years of research in computer vision and machine learning. It […]

Video Abstract: Project InnerEye – Assistive AI for Cancer Treatment

3 weeks ago
Project InnerEye is a new AI product targeted at improving the productivity of oncologists, radiologists and surgeons when working with radiological images. The project’s main focus is in the treatment of tumors and monitoring the progression of cancer in temporal studies. InnerEye builds upon many years of research in computer vision and machine learning. It […]