SRI International
-
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 to overcoming common barriers in implementing Dual Enrollment programs.
-
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.
-
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 also strongly correlated with aerosol composition or type.
-
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 definition cannot discover novel pathways.