Author: SRI International
-
Verification and design exploration through Meta tool integration with OpenModelica
This paper gives an overview of the META tools and their integration with OpenModelica.
-
Verification and design exploration through Meta tool integration with OpenModelica
This paper gives an overview of the META tools and their integration with OpenModelica.
-
Incorporating Digital Learning Resources in the Classroom: A First Look at Using Khan Academy
Today’s teachers are using online learning resources and blending digital learning with traditional teacher-led instruction. But it’s challenging to identify high-quality resources and determine how they will work best in classrooms, given particular instructional priorities and the characteristics of the students being served. As a leading digital learning organization in K-12 education, Khan Academy has…
-
Modeling mass and density distribution effects on the performance of co-extruded electrodes for high energy density Li-ion batteries
Utilizing an existing macro-homogeneous porous electrode model developed by John Newman, this paper aims to explore the potential energy density gains which can be realized in lithium-ion battery electrodes fabricated with co-extrusion printing technology.
-
Digital Games, Design, and Learning: A Systematic Review and Meta-Analysis (Brief)
The present meta-analysis synthesized research on digital games to systematically examine their efficacy for learning. We focused on research published between 2000 and 2012 in light of the dramatic evolution of digital games for learning over the past decade.
-
Digital Games, Design, and Learning: A Systematic Review and Meta-Analysis (Executive Summary)
We synthesize comparisons of game conditions versus non-game conditions (i.e., media comparisons) as well as comparisons of augmented game designs versus equivalent standard game designs (i.e., value-added comparisons).
-
PORTR: Pre-Operative and Post-Recurrence Brain Tumor Registration
We propose a new method for deformable registration of pre-operative and post-recurrence brain MR scans of glioma patients. To address this challenging task, our method, called PORTR, explicitly accounts for pathological information.
-
Hyperpolarized [1,4-C-13]-Diethylsuccinate: A Potential Dnp Substrate for in Vivo Metabolic Imaging
In this work, the applicability of a novel imaging agent, [1,4-(13)C]-diethylsuccinate, for hyperpolarized (13)C metabolic imaging of the TCA cycle was explored.
-
Influence of Systemic Interleukin-6 on the Inverse Association between Your-Choice American Heart Diet and a 41-Year Mortality Risk from Coronary Heart Disease among Men
Our premise is systemic inflammation measured as plasma interleukin-6 levels medicates the association between whole diet and long-term mortality risk from coronary heart disease independent of genes.
-
Distributed Coverage with Mobile Robots on a Graph: Locational Optimization and Equal-Mass Partitioning
This paper presents decentralized algorithms for coverage with mobile robots on a graph. We use distributed vertex substitution for locational optimization and equal mass partitioning, and the controllers minimize the corresponding cost functions.
-
Heater-Induced Ionization Inferred from Spectrometric Airglow Measurements
Spectrographic airglow measurements were made during an ionospheric modification experiment at High Frequency Active Auroral Research Program on 12 March 2013.
-
Type IV Collagen α1-Chain Noncollagenous Domain Blocks MMP-2 Activation Both in-Vitro and in-Vivo
In the present study, the regulation of MMP-2 activation by α1(IV)NC1 was evaluated. α1β1-integrin which is required for inhibition of angiogenesis is not playing a role in cellular invasion and inhibition of MMP-2 activation by α1(IV)NC1.