University of Wisconsin

file

Visible to the public Smart Flexible Camera Sheet: Ultra-thin Semantic-guided Cooperative Micro-camera Array

Abstract:

This highly interdisciplinary research addresses two fundamental challenges in image sensing and image understanding: 1) versatile camera systems in a small form factor, and 2) 3-dimensional scene and object recognition from 2-dimensional photos. These fundamental challenges are tackled together by developing a cyber-physical imaging system, called a smart flexible camera sheet, which integrates an array of many micro-cameras (each millimeters in size) onto a thin substrate.

file

Visible to the public Preserving Confidentiality of Sensitive Information in Power System Models

Abstract:

The electric power grid is a critical infrastructure that is vulnerable to physical and cyber attacks. As a result, data describing grid topology and components is considered sensitive information. There is also increasing need to foster cooperation among the participants in microgrid-enabled electric marketplace.

file

Visible to the public Preserving Confidentiality of Sensitive Information in Power System Models

Abstract:

The electric power grid is a critical infrastructure that is vulnerable to physical and cyber attacks. As a result, data describing grid topology and components is considered sensitive information. There is also increasing need to foster cooperation among the participants in microgrid-enabled electric marketplace.

file

Visible to the public Smart Flexible Camera Sheet: Ultra-thin Semantic-guided Cooperative Micro-camera Array

Abstract:

Our proposed research is motivated by two fundamental challenges that are traditionally studied in separate disciplines. The first key challenge is that in existing digital cameras, the functionalities of a camera are constrained by its size due to the optics and quantum nature of light. It remains a challenge to design a camera architecture that has both - a small form factor and has versatile functionalities, e.g.

file

Visible to the public Through the Lens of Abstraction

This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.