Publications
-
Interactive Retrieval of Targets for Wide Area Surveillance
We address the problem of interactive search for a target of interest in surveillance imagery.
-
Language Analytics for Assessing Brain Health: Cognitive Impairment, Depression and Pre-Symptomatic Alzheimers Disease
We present data demonstrating how brain health may be assessed by applying data-mining and text analytics to patient language.
-
Leveraging speaker diarization for meeting recognition from distant microphones
We investigate using state-of-the-art speaker diarization output for speech recognition purposes.
-
Absorption Angstrom Exponent in Aeronet and Related Data as an Indicator of Aerosol Composition
The main purpose of this paper is to show that AAE values for an Aerosol Robotic Network (AERONET) set of retrievals from Sun-sky measurements describing full aerosol vertical columns are…
-
Rewriting, Inference, and Proof
We discuss a range of issues at the intersection of rewriting and inference. How can other inference procedures be combined with rewriting? Can rewriting be used to describe inference procedures?
-
Technology-Enabled and Universally Designed Assessment: Considering Access in Measuring the Achievement of Students with Disabilities-A Foundation for Research
This paper represents one outcome from the Invitational Research Symposium on Technology-Enabled and Universally Designed Assessments, which examined technology-enabled assessments (TEA) and universal design (UD) as they relate to students…
-
Airborne Observation of Aerosol Optical Depth During Arctas: Vertical Profiles, Inter-Comparison, Fine-Mode Fraction and Horizontal Variability
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…
-
MicroRNA Expression Differentiates Histology and Predicts Survival of Lung Cancer
We investigated whether microRNA (miR) expression profiles can differentiate histologic subtypes and predict survival for non–small cell lung cancer.
-
A Variational Data Assimilation System for Nearshore Applications of SWAN
This paper uses the variational approach described by Walker (2006) for assimilation of data into the nearshore spectral wave model SWAN.
-
Recommendations for End-User Development
We provide an overview of the state of the art in end-user development, focusing on the different kinds of recommendations made to users. We identify four classes of suggestion that…
-
Representational Technology For Learning Mathematics: An Investigation Of Teaching Practices In Latino/A Classrooms
This paper explores representation- and language-rich mathematics instruction in two classrooms with low-income Latino/a students.
-
Theory of Reals for Verification and Synthesis of Hybrid Dynamical Systems
Formal verification and synthesis are both indispensable components of any methodology for designing and efficiently developing safe cyber-physical systems.