Publications
-
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.
-
Use of Education Data at the Local Level: From Accountability to Instructional Improvement
The use of student data systems to improve education and help students succeed is a national priority.
-
Creation of a Genome-Wide Metabolic Pathway Database for Populus trichocarpa Using a New Approach for Reconstruction and Curation of Metabolic Pathways for Plants
We developed a general approach for reconstructing metabolic pathway complements of plant genomes. Two new reference databases were created and added to the core of the infrastructure: PlantCyc, and RESD.
-
DEGAS: de novo discovery of dysregulated pathways in human diseases
While a pathway is usually defined as a set of genes known to share a specific function, pathway boundaries are frequently difficult to assign, and methods that rely on such…
-
Designing Large-Scale Science Assessment Tasks For Students With High-Incidence Disabilities: The Use Of Evidence-Centered Design, Design Patterns, And Universal Design For Learning
-
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…
-
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.
-
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…