Publications
-
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…
-
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…
-
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