SRI International
-
Automated Reasoning, Fast and Slow
We present some tentative and preliminary speculation on the prospects for automated reasoning in the style of System 1, and the synergy with the more traditional System 2 strand of work.
-
Next Generation Preschool Math Demo: Tablet Games for Preschool Classrooms
This paper describes the Next Generation Preschool Math project, a $3 million, four-year research and development initiative funded by the National Science Foundation.
-
Polysomnographic Validation of a Wireless Dry Headband Technology for Sleep Monitoring in Healthy Young Adults
The present study aimed to explore the validity and reliability of a wireless dry headband technology for sleep monitoring (WS), through a comparison with concurrent polysomnographic (PSG) recording in healthy young adults.
-
Wernicke-Korsakoff Syndrome: A Nutritional Alcohol-Related Brain Disorder
-
In Vivo Measurement of Aldehyde Dehydrogenase-2 Activity in Rat Liver Ethanol Model Using Dynamic MRSI of Hyperpolarized [1-(13) C] Pyruvate
In this work, we show that dynamic MRSI of hyperpolarized pyruvate and its conversion to [1-13C]lactate can provide an indirect in vivo measurement of ALDH2 activity via the concentration of NADH.
-
Structure and Function of Parkin E3 Ubiquitin Ligase Reveals Aspects of RING and HECT Ligases
Here we present the 1.58 Å structure of Parkin-R0RBR, revealing the fold architecture for the four RING domains, and several unpredicted interfaces.
-
Antileishmanial Activity of Natural Product-Like Naphthoquinones
The antileishmanial activity of compounds inspired by naphthoquinone secondary metabolites from Bignoniaceae is presented.
-
Video Object Segmentation through Spatially Accurate and Temporally Dense Extraction of Primary Object Regions
In this paper, we propose a novel approach to extract primary object segments in videos in the ‘object proposal’ domain. The extracted primary object regions are then used to build object models for optimized video segmentation.
-
Designing Early Childhood Math Games: A Research-Driven Approach
This paper describes the iterative research and development process used by the Next Generation Preschool Math project, which integrates content analysis, logic model processes, and iterative design and research approaches.
-
Intrinsic Functional Connectivity in Alcoholism: Test-Retest Stability and Normalization with Sobriety
-
Non-Clinical Safety Evaluation of Xoma 3AB, a Novel Triple Antibody Drug Product Targeting Botulinum Toxin Type a, in Sprague-Dawley Rats
-
Relationship between Cardiovascular Resting State and Visual Attention
We investigated the relationship between blood pressure, resting heart rate and heart rate variability (HRV) and performance in a visuospatial attention task comparing normotensive and hypotensive young adults.