Publications
-
Development of a Transillumination Infrared Modality for Differential Vasoactive Optical Imaging
We present the development and implementation of a new near infrared transillumination imaging modality for tissue imaging. Exogenous inhaled hyperoxic and hypercarbic gases are used as "vasoactive contrast agents" via…
-
A Safety-Case Approach for Certifying Adaptive Systems
In this paper, we argue that analysis tools based on recent advances in formal methods (SMT solvers, infinite bounded model checkers, and k-induction) can provide suitable modeling notations, effective analysis,…
-
Target Tracking with Incomplete Detection
In this paper, we address the multiple target tracking problem as a maximum a posteriori problem.
-
Data-Driven Lexicon Expansion for Mandarin Broadcast News and Conversation Speech Recognition
We present a data-driven framework for expanding the lexicon to improve Mandarin broadcast news and conversation speech recognition.
-
Isolines: efficient spatio-temporal data aggregation in sensor networks
This paper introduces an energy-efficient data collection technique that takes advantage of spatial and temporal data correlation for monitoring continuously changing conditions such as temperature, humidity, rain fall, radiation, substance…
-
Embracing interference in ad hoc networks using joint routing and scheduling with multiple packet reception
We present an approach that takes advantage of multi-packet reception (MPR) to reduce the negative effects of multiple access interference and therefore increase the capacity of an ad hoc network.
-
Embracing interference in ad hoc networks using joint routing and scheduling with multiple packet reception
We present an approach that takes advantage of multi-packet reception (MPR) to reduce the negative effects of multiple access interference and therefore increase the capacity of an ad hoc network.
-
Powers of 10: modeling complex information-seeking systems at multiple scales
New models of information-seeking support systems offer two advantages: they move us from prescientific conceptual frameworks about information seeking to more rigorous scientific theories and predictive models while, at the…
-
Learning by Reading: Normalizing complex linguistic structures onto a knowledge representation
This brief position paper illustrates the power of this approach in PARCs Bridge system through examples of textual inference.
-
Predicate privacy in encryption systems
In this paper, we consider a new notion called predicate privacy, that is, the property that a token should not reveal information about the query predicate encoded in it.
-
Holding on and letting go: facts, counterfactuals and before
-
Combinatorial Chemistry: Oh What a Decade or Two Can Do
This short commentary takes a stroll through the early days of the field of combinatorial chemistry and molecular diversity. It offers a high-level perspective on the field's beginnings--and its future--as…