Publications
-
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?
-
Stanford-UBC Entity Linking at TAC-KBP
This paper describes the joint Stanford-UBC knowledge base population system for the entity linking task.
-
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.
-
Trypanosoma Cruzi-Induced Activation of Functionally Distinct Alpha Beta and Gamma Delta CD4(-) CD8(-) T Cells in Individuals with Polar Forms of Chagas’ Disease
In this work, we sought to investigate whether αβ or γδ DN T cells display distinct immunoregulatory potentials in patients with polar forms of human Chagas' disease.
-
Bayesian Minimax Estimation of the Normal Model with Incomplete Prior Covariance Matrix Specification
This work addresses the issue of Bayesian robustness in the multivariate normal model when the prior covariance matrix is not completely specified, but rather is described in terms of positive…