Publications
-
How to Serve Soup: Interleaving Demonstration and Assisted Editing to Support Nonprogrammers
The Adept Task Learning system is an end-user programming environment that combines programming by demonstration and direct manipulation to support customization by nonprogrammers.
-
Patent Ductus Arteriosus Ligation Alters Pulmonary Gene Expression in Preterm Baboons
Ibuprofen-induced ductus closure improves pulmonary mechanics and increases alveolar surface area in premature baboons compared with baboons with a persistent patent ductus arteriosus (PDA).
-
Pharmacogenetics of Smoking Cessation in General Practice: Results from the Patch Ii and Patch in Practice Trials
The results and lessons learned from this general practice-based pharmacogenetic research programme provide transportable insights at the transition to the second generation of pharmacogenetic and genomic investigations of smoking cessation…
-
Rewriting in Practice
The field of rewriting is broadly concerned with manipulating representations of objects so that we go from a larger representation to a smaller representation.
-
Self-Reported Depressive Symptoms Are Associated with Cognitive Compromise and Poorer Life Functioning in Alcoholism, Hiv and Their Comorbidity
-
The Pathway Tools Pathway Prediction Algorithm
The PathoLogic component of the Pathway Tools software performs prediction of metabolic pathways in sequenced and annotated genomes.
-
Automated Formal Verification of the TTEthernet Synchronization Quality
In this paper, we present an automated proof of the TTEthernet clock-synchronization algorithm that is based on the SAL model checker.
-
Developing The Area Of Design-Based Implementation Research
This paper provides an overview of the background and purposes of our workshop on design-based implementation research.
-
Development of New Miniature Multiple Reflection Time of Flight Spectrometer
-
Examining Culturally Responsive Teaching Practices Over Three Enactments Of A Personally Consequential Elementary Science Unit
-
Expanding The Model Of Item Writing Expertise: Cognitive Processes And Requisite Knowledge Structures
An understanding of test takers’ response processes and knowledge structures is used to predict the psychometric properties of the items. This same knowledge of test takers’ responses and knowledge structures…
-
Flexible Depth of Field Photography
We present an imaging system that enables one to control the DOF in new and powerful ways. Our approach is to vary the position and/or orientation of the image detector…