Publications
-
Investigating Collaborative Innovation in a Virtual World Task
In this paper we introduce a framework of innovation based on behaviours identified as being conducive to collaborative innovation. We also report on a study of a task designed to…
-
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…
-
Production of the No Photofragment in the Desorption of Rdx and Hmx from Surfaces
We investigate the degree of photofragmentation into NO resulting from the irradiation of the explosives RDX and HMX coated on a variety of surfaces.
-
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…
-
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.
-
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…