Publications
-
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.
-
Exploring Differences in Online Professional Development Seminars with the Community of Inquiry Framework
After the seminars, an analysis using the community of inquiry framework was conducted to better understand what occurred in the dialogue of the seminars to understand whether patterns of facilitator…
-
Contextualized Learning and Assessment
Presentation made at The Learning Summit, The League for Innovation in the Community College, Phoenix, Arizona.
-
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…
-
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…
-
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.