Publications
-
Automating the ILP Setup Task: Converting User Advice About Specific Examples Into General Background Knowledge
We introduce two techniques to automate the use of ILP for a non-ILP expert including automatic generation of background knowledge from user-supplied information in the form of a simple relevance…
-
Glutathione Peroxidase 4 Is Associated with Neuromelanin in Substantia Nigra and Dystrophic Axons in Putamen of Parkinson’s Brain
This study demonstrates an up-regulation of GPX4 in neurons of substantia nigra and association of this protein with dystrophic axons in striatum of Parkinson's brain, indicating a possible neuroprotective role.
-
Inotropic Contractile Reserve and Response to Cardiac Resynchronization Therapy in Patients with Markedly Remodeled Left Ventricle
The aim of this study was to evaluate the role of ICR in predicting response to CRT in patients with markedly remodeled left ventricles.
-
Laying The Foundation For Improving U.S. Workforce Education: Workforce Researchers’ Expertise, Funding Sources, And Links To NSF’s Ate Targeted Research Program
This study sought to characterize the interests, funding sources, and awareness of researchers about Targeted Research grants offered by the National Science Foundation’s (NSF) Advanced Technological Education (ATE) program.
-
Relational Abstractions for Continuous and Hybrid Systems
In this paper, we define relational abstractions of hybrid systems. We construct relational abstractions by reusing template-based invariant generation techniques for continuous systems described by Ordinary Differential Equations (ODE).
-
Sleep-Active Cells in the Cerebral Cortex and Their Role in Slow-Wave Activity
We recently identified neurons in the cerebral cortex that become activated during sleep episodes with high slow-wave activity (SWA).
-
Designing Scenario-Based Assessment Items Using An Evidence-Centered Design Framework
-
A High Spatial Resolution Retrieval of No2 Column Densities from Omi: Method and Evaluation
We present a new retrieval of tropospheric NO2 vertical column density from the OMI based on high spatial and temporal resolution terrain and profile inputs.
-
Eight Issues for Learning Scientists About Education and the Economy
This article seeks both to problematize conventional wisdom about links between learning sciences research and economic growth and to suggest possible directions for future research aimed at discovering stronger links.
-
English Access to Structured Data
We present work on using a domain model to guide text interpretation, in the context of a project that aims to interpret English questions as a sequence of queries to…
-
Identifying the Provenance of Correlated Anomalies
We present an architecture that allows fine-grained auditing on individual hosts, space-efficient representation of anomalous activity that can be centrally correlated, and tracing anomalies back to individual files and processes…
-
In Situ Determination of Total Dissolved Inorganic Carbon By Underwater Membrane Introduction Mass Spectrometry
Factors affecting the response of the membrane introduction mass spectrometer (MIMS) system were examined to optimize calibrations and enhance the accuracy of component ocean carbon system measurements.