Author: SRI International
-
Non-Linear Rewrite Closure and Weak Normalization
In this paper, we construct a rewrite closure for term rewrite systems that satisfy two properties: the right-hand side term in each rewrite rule contains no repeated variable (right-linear) and contains no variable occurring at depth greater than one (right-shallow).
-
Community Structure of Archaea in the Water Column Above Gas Hydrates in the Gulf of Mexico
In this study, we presented the 16S rDNA sequences and lipid profiles in the context of water chemistry to characterize the archaeal community structure above a gas hydrate mound (MC 118) in GOM.
-
Evaluation of the California Subject Matter Project: California International Studies Project Case Study
The California International Studies Project (CISP) strives to provide standards-based professional development in history and international studies to prepare students to live, work, and be informed, active citizens.
-
High School Reform in Chicago Public Schools: Instructional Development Systems (Part Two of a Series of Five Reports)
This report sets forth preliminary evaluative work concerning the implementation and early outcomes of the IDS initiative. We describe the successes and challenges associated with implementing the IDS initiative.
-
Evaluation of the California Subject Matter Project: California Mathematics Project Case Study
This is a case study of a partnership between the mathematics department at California State University, Bakersfield (CSUB) and Green Hills High School (GHHS).
-
High School Reform in Chicago Public Schools: Renaissance 2010 (Part Three of a Series of Five Reports)
The Renaissance 2010 initiative was established to increase the number of high-quality education options across Chicago. This report presents findings about Renaissance 2010 high schools drawn from a larger study on high school reform in CPS.
-
C/NOFS and Radar Observations During a Convective Ionospheric Storm Event Over South America
Evidence for seeding by both gravity waves and the Kelvin-Helmholtz instability is presented.
-
Growth of Cubic Silicon Carbide on Oxide Using Polysilicon as a Seed Layer for Micro-Electro-Mechanical Machine Applications
The growth of highly oriented 3C–SiC directly on an oxide release layer was investigated as an alternative to using silicon-on-insulator (SOI) substrates for freestanding SiC films for MEMS applications.
-
MRI Estimates of Brain Iron Concentration in Normal Aging: Comparison of Field-Dependent (Fdri) and Phase (Swi) Methods
The results showed that both methods detected high globus pallidus iron concentration regardless of age and significantly greater iron in putamen with advancing age.
-
Visualizing Implanted Tumors in Mice with Magnetic Resonance Imaging Using Magnetotactic Bacteria
Magnetotactic bacteria can produce positive magnetic resonance imaging contrast and colonize mouse tumor xenografts, providing a potential tool for improved magnetic resonance imaging visualization in preclinical and translational studies to track cancer.
-
Evaluation of the California Subject Matter Project: California Reading and Literature Project Case Study
We share here the story of how this partnership evolved, some of the impacts it had on the teachers and administrators involved and the students they served, and a few of the challenges they continue to address now.
-
Programmable Deblocking Filter Architecture for a VC-1 Video Decoder
This letter describes a programmable VC-1 deblocking filter architecture with capabilities to support different standards.