Publications
-
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base
Our long-term goal is to build a query answering system that can answer questions on a wide variety of topics and explain the answers.
-
Using DNA Fingerprints to Infer Familial Relationships Within NHANES III Households
We inferred family relationships within households using DNA fingerprints (Identifiler®) that contain the DNA loci used by law enforcement agencies for forensic identification of individuals.
-
Distinguishing Methicillin-Resistant and Sensitive Staphylococcus Aureus Using Volatile Headspace Metabolites
This proof-of-concept study used solid-phase microextraction fibers (SPME) to collect headspace vapors from a methicillin sensitive Staphylococcus aureus (MSSA) and a methicillin-resistant Staphylococcus aureus (MRSA) strain grown in vitro in liquid growth medium.
-
Dual Enrollment: Lessons Learned on School‐Level Implementation
This paper is based on a synthesis of findings from prior research. After first reviewing the status of Dual Enrollment across the Nation, we identify lessons learned and potential solutions…
-
Engaging Youth with STEM Professionals in Afterschool Programs
-
Fixpoints and Search in PVS
We use a mechanically checked proof of the Knaster–Tarski theorem to illustrate several features of the Prototype Verification System (PVS).
-
Integrated Genomic Analysis Identifies Clinically Relevant Subtypes of Glioblastoma Characterized By Abnormalities in PDGFRA, IDH1, EGFR, and NF1
We provide a framework that unifies transcriptomic and genomic dimensions for GBM molecular stratification with important implications for future studies.
-
Integration of Technology, Curriculum, and Professional Development for Advancing Middle School Mathematics: Three Large-Scale Studies
The authors present three studies designed to evaluate the impact of replacement units targeting student learning of advanced middle school mathematics.
-
Machine Learning Methods for Metabolic Pathway Prediction
ML methods for pathway prediction perform as well as existing methods, and have qualitative advantages in terms of extensibility, tunability, and explainability.
-
Observations of Ozone Production in a Dissipating Tropical Convective Cell During TC4
From 13 July–9 August 2007, 25 ozonesondes were launched from Las Tablas, Panama as part of the Tropical Composition, Cloud, and Climate Coupling (TC4) mission.
-
Comprehensive Evaluation of Let-Dependence of Chromosome Aberrations After Particle Radiation Exposure in Vivo
-
A New Method for Deriving Aerosol Solar Radiative Forcing and Its First Application Within Milagro/Intex-B
We introduce a method for deriving aerosol spectral radiative forcing along with single scattering albedo, asymmetry parameter, and surface albedo from airborne vertical profile measurements of shortwave spectral irradiance and…