Publications
-
Utilization of Services in a Randomized Trial Testing Phone- and Web-Based Interventions for Smoking Cessation
No prior research, to our knowledge, has systematically compared the effectiveness of these three treatment modalities in a randomized trial.
-
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.
-
Cerebral Blood Flow in Posterior Cortical Nodes of the Default Mode Network Decreases with Task Engagement But Remains Higher Than in Most Brain Regions
We employed 3D arterial spin labeling imaging to examine regional cerebral blood flow (CBF) during rest, a spatial working memory task, and a second rest.
-
Implementing Evidence-Centered Design To Develop Assessments For Students With Significant Cognitive Disabilities: Guidelines For Creating Design Patterns And Development Specifications And Exemplar Task Templates For Mathematics (Alternate Assessment Design)
-
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
We consider the various types of goals studied in the literature, including performance, achievement, and maintenance goals.
-
Airborne Observation of Aerosol Optical Depth During Arctas: Vertical Profiles, Inter-Comparison and Fine-Mode Fraction
We describe aerosol optical depth (AOD) measured during the Arctic Research of the Composition of the Troposphere from Aircraft and Satellites (ARCTAS) experiment, focusing on vertical profiles, inter-comparison with correlative…