Publications
-
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors problem and the complement of the shortest vector problem.
-
San Francisco Bay Area KIPP Schools, A Study of Early Implementation and Achievement: Final Report
This report describes the implementation and impact of the Knowledge Is Power Program (KIPP) in five Bay Area middle schools.
-
Model Driven Segmentation of Articulating Humans in Laplacian Eigenspace
We propose a general approach using Laplacian Eigenmaps and a graphical model of the human body to segment 3D voxel data of humans into different articulated chains. In the bottom-up…
-
Aspect shifts in Indo Aryan
We introduce supporting data from the history of Old and Middle Indo-Aryan languages, whose instantiation of this pattern has not been previously noted.
-
Micro-fluidic-based optical detection platform for characterizing fluorescing objects with integrated wavelength detection
We describe a compact, low-cost analyte detection platform that combines a fluidic channel, large area fluorescence excitation and on chip wavelength detection.
-
Uncertain luck and counterfactual stupidity
I argue that predicates of relative stupidity do have at-issue entailments, contra Barker 2002, based on evidence from their interaction with epistemic modals and with counterfactuals.
-
Heuristic search for target-value path problem
In this paper, we introduce a new class of search problems in which the objective is to find a path whose total cost is as close as possible to a…
-
Combining breadth-first and depth-first strategies in searching for optimal treewidth
This paper describes a new way to integrate the two strategies in a single search algorithm that combines the complementary strengths of both strategies to achieve significant speedups over either…
-
Delegating capabilities in predicate encryption systems
We formally define delegation in predicate encryption systems and propose a new security definition for delegation.
-
Capacity-delay tradeoff for information dissemination modalities in wireless networks
This paper presents the first comprehensive capacity-delay tradeoff study for random wireless ad hoc networks under all information dissemination modalities when nodes operate either with multi-packet reception (MPR) or single-packet…
-
Paper-centric structuring in learning processes
This paper introduces two new concepts for augmented semantic structuring of paper-based learning processes.
-
Early Indicators of Exposure to Biological Threat Agents Using Host Gene Profiles in Peripheral Blood Mononuclear Cells
To detect exposures to the various pathogens more rapidly, especially during these early stages, we evaluated a suite of host responses to biological threat agents using global gene expression profiling…