Publications
-
Detection of agreement and disagreement in broadcast conversations
We present Conditional Random Fields based approaches for detecting agreement/disagreement between speakers in English broadcast conversation shows.
-
Synthesis of Loop-Free Programs
We present experimental results that show that our tool Brahma can efficiently synthesize highly nontrivial 10-20 line loop-free bit vector programs.
-
Annual Survey of Water Vapor Behavior from the OMEGA Mapping Spectrometer Onboard Mars Express
We present here the annual behavior of atmospheric water vapor on Mars, as observed by the OMEGA spectrometer on board Mars Express during its first martian year.
-
Evaluation of the Pka Values and Ionization Sequence of Bumetanide Using 1H and 13C NMR and UV Spectroscopy
The present study summarizes available literature data and then characterizes nuclear magnetic resonance (NMR) and ultraviolet (UV) spectral changes over a range of pH values to delineate the apparent sequence…
-
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.
-
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…
-
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.
-
Synthesizing Geometry Constructions
In this paper, we study the problem of automatically solving ruler/compass based geometry construction problems.
-
The Combination of Cobinamide and Sulfanegen Is Highly Effective in Mouse Models of Cyanide Poisoning
We are developing two new cyanide antidotes—cobinamide, a vitamin B12 analog, and sulfanegen, a 3-mercaptopyruvate prodrug. Both drugs can be given by intramuscular administration, and therefore could be used to…
-
Absence of Association Between Specific Common Variants of the Obesity-Related Fto Gene and Psychological and Behavioral Eating Disorder Phenotypes
To determine whether FTO may influence weight regulation through psychological and behavioral factors, seven single-nucleotide polymorphisms of the FTO gene were genotyped in individuals with anorexia nervosa (AN) and 677…