Publications
-
Recent developments in quantitative proteomics
This review focuses primarily on the quantitative aspect of protein expression and the associated computational machinery for making large-scale identifications of proteins and their post-translational modifications.
-
Large area a-Si/Si nanowire hybrid solar cells
In order to address this issue we have devised a scheme where a thin a-Si solar cell is deposited over a disordered nanowire mat.
-
Online planning for a material control system for liquid crystal display manufacturing
The hyper-modular printer control project at PARC has proven that a tightly integrated model-based planning and control framework can effectively control a complex physical system.
-
Dynamic state-space partitioning in external-memory graph search
We introduce a method for dynamic partitioning and show that it leads to improved search performance in solving STRIPS planning problems.
-
RetroTime: retrospectively visualizing and labeling time intervals
This paper describes the user experience using RetroTime, and describes how it could be extended to support more complex labeling tasks, particularly in multi-person environments.
-
Enhanced personalized information delivery
This paper describes the concept of enhanced personalized information delivery.
-
Workshop on hybrid pervasive/digital inference
Web 2.0 technologies have encouraged users to curate more information online.
-
Fiftieth Anniversary of the First Incoherent Scatter Radar Experiment
At a Cornell University (Ithaca, N.Y.) departmental seminar in the spring of 1958, William Gordon showed that a powerful radar system could detect the uncorrelated and extremely weak scattered signals…
-
Multiple Gap-Filling of Flux-Balance Models
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
Simcheck: a Contract Type System for Simulink
We provide a contract-based type system of Simulink with annotations and dimensions/units associated with ports and links.
-
Towards Spoken Clinical-Question Answering: Evaluating and Adapting Automatic Speech-Recognition Systems for Spoken Clinical Questions
We evaluate existing automatic speech-recognition (ASR) systems to measure their performance in interpreting spoken clinical questions and to adapt one ASR system to improve its performance on this task.
-
Policy-Based Integration of Provenance Metadata
We use an architecture where aggregation, fusion, and composition policies define how provenance records can be automatically merged to facilitate the analysis and reproducibility of experiments.