Author: SRI International
-
Alcohol’s Effects on Brain and Behavior
One main area of this research has focused on the neuropsychological sequelae of alcoholism, which has resulted in the description of a pattern of sparing and impairment that provided an essential understanding of the functional deficits as well as of spared capabilities that could be useful in recovery.
-
Using Data Mining Findings to Aid Searching for Better Cognitive Models
We propose a hybrid approach in which we leverage findings from our previous educational data mining work to aid the search for a better cognitive model and thus, improve the efficiency of LFA.
-
21st Century Skills in STEM Workforce Training Assessments
What skills do tech employers seek? A scenario-based learning approach for teaching STEM tech education is posited.
-
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 semi-definite bounds.
-
Gibbs Sampling in Open-Universe Stochastic Languages
This paper goes some way to remedying this deficit by introducing, and proving correct, a generalization of Gibbs sampling to partial worlds with possibly varying model structure.
-
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.
-
Switching Logic Synthesis for Reachability
We consider the problem of driving a system from some initial configuration to a desired configuration while avoiding some unsafe configurations.
-
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.
-
Using Data Mining Findings To Aid Searching For Better Skill Models
We propose a hybrid approach in which we leverage findings from our previous educational data mining work to aid the search for a better skill model and thus, improve the efficiency of LFA.
-
BLADE: An Attack-Agnostic Approach for Preventing Drive-By Malware Infections
The BLADE (Block All Drive-by download Exploits) system asserts that all executable files delivered through browser downloads must result from explicit user consent and transparently redirects every unconsented browser download into a nonexecutable secure zone of disk.
-
Leveraging Evidence-Centered Design In Large-Scale And Formative Assessment Practices
This paper depicts ECD as a series of integrated layers describing an assessment design process that includes analyzing and modeling domains, specifying arguments in terms of student, task and evidence models, and implementing the assessment and executing operational processes.
-
Lorentzian Symmetry in an Expanding Hyperbolic Geometry: the Connection with Minkowski Space
The geometric isometry of negative curvature in both position and velocity spaces now provides additional evidence for a previously demonstrated reciprocal relationship between the Lorentz transformation phenomenology and the Hubble velocity-distance law.