SRI International
-
Bounded Verification of Adaptive Flight Control Systems
We formally verify a direct model reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions.
-
Video Synchronization and Its Application to Object Transfer
We trade some generality in estimating and aligning camera motion for reduced computational complexity and increased image-based nature.
-
Disrupted Frontocerebellar Networks in Alcoholics Revealed By Resting State Functional Connectivity Imaging
-
Do Evoked Potential Differences Reflect a Deficit in Those Suffering a Sleep Disorder, or Resilience in Those Who Can Avoid It?
The novel approach taken by Gumenyuk and colleagues in this issue of SLEEP1 has produced interesting and novel data about SWSD, specifically, the absence of a difference in N1, the appearance of a right hemisphere specific difference in the mismatch negativity (MMN), and an enhanced P3a to novel stimuli in the SWSD group.
-
Evaluation of Programs and Continuum of Service, 2009-10
-
ITL Research Design
This paper describes the design of Innovative Teaching and Learning (ITL) Research, a multiyear global research program sponsored initially by Microsoft’s Partners in Learning, with increasing partnership from governments and other stakeholders around the world.
-
Middleware for Managing Provenance Metadata
We describe middleware for managing distributed provenance metadata, where each host maintains an authoritative local repository of the provenance metadata gathered on it.
-
National Evaluation of Writing Project Professional Development: Year 3 Report
The current evaluation focuses on a subset of the professional development offered by Local Writing Project sites partnerships with schools serving middle grades students.
-
OH Radicals and H2O2 Molecules in the Gas Phase Near to TiO2 Surfaces
The time-resolved evolution of the OH radical concentration has been observed at different pressures and at varying distances between the photocatalytic surface and the detection volume.
-
Recent Developments of Semi-Fuel Cells for Powering Underwater Sensors and Platforms
This paper studies two novel galvanic cells and postulates their use in underwater power applications.
-
Automatic Blood Vessel Localization in Small Field of View Eye Images
We present an automatic technique for localizing vessels in small field of view images using multi-scale matched filters. We also estimate local vessel properties – width and orientation – along the length of each vessel.
-
Binge Ethanol Treatment Is Insufficient to Elevate Cytokine Levels Measured in Rat Blood, Liver, and Brain