Publications
-
Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment
An approach to question answering through automated deduction is advocated. External knowledge resources, including data and software, are consulted through a mechanism known as procedural attachment.
-
Forcing and Dynamics of Seafloor-Water Column Exchangeon a Broad Continental Shelf
-
Key Management and Secure Software Updates in Wireless Process Control Environments
To reduce the risk of successful cryptanalysis, new keys must be established (rekeying). We have designed a rekeying scheme that provides both backward and forward secrecy.
-
New Proton Conductive Composite Materials with Inorganic and Styrene Grafted and Sulfonated Vdf/Ctfe Fluoropolymers
A new functionalized and crosslinkable P(VDF-CTFE) (vinylidene fluoride/chlorotrifluoroethylene copolymer) was synthesized using functional borane/oxygen initiator and grafted with styrene (St) via atom transfer radical polymerization followed by partial or the…
-
Prospects For Transforming Schools With Technology-Supported Assessment
-
Recognizing Arabic speakers with English phones
We investigate the question of whether phone recognition models trained on large English databases can be used for speaker recognition in another language.
-
Regional Protein Expression During Spontaneous Sleep-Wakefulness
-
Teachers’ Use Of Student Data Systems To Improve Instruction: 2005-2007
This report describes an exploratory substudy on teachers’ thinking about data conducted in conjunction with the larger Study of Education Data Systems and Decision Making data collection and the implications…
-
An Email Assistant That Learns to Suggest Reusable Replies
We have implemented an approach in which rapid improvement in performance at suggesting reusable text is achieved by learning from limited user feedback.
-
Canary in a Coal Mine? Interest in Bupropion SR Use Among Smokers in the COMPASS Trial
In this letter, we share our experience recruiting smokers to three clinical cessation trials, each offering concomitant pharmacotherapy.
-
CenSurE: Center Surround Extremas for Realtime Feature Detection and Matching
We explore the suitability of different feature detectors for the task of image registration, and in particular for visual odometry, using two criteria: stability and accuracy.
-
Characteristics of Effective Alternative Teacher Certification Programs
Findings suggest that an effective alternative certification program places candidates in schools with strong leadership, a collegial atmosphere, and adequate materials.