Publications
-
Preliminary Steps Towards a Knowledge Factory Process
In this demo/poster session, we will demonstrate the biology knowledge base created using AURA, the electronic textbook application Inquire, and discuss the knowledge engineering process we used to construct the…
-
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.
-
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…
-
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…
-
The comparison of MODIS-Aqua (C5) and CALIOP (V2 & V3) aerosol optical depth
We assess the consistency between instantaneously collocated level-2 aerosol optical depth (AOD) retrievals from MODIS-Aqua (C5) and CALIOP (Version 2 & 3), comparing the standard MODIS AOD (MYD04_L2) data to…
-
Using Survival Analysis to Describe Developmental Achievements of Early Intervention Recipients at Kindergarten
Survival analysis was used to document the developmental achievements of 2298 kindergarten children who participated in the National Early Intervention Longitudinal Study, a study that followed children from entry to…