SRI International
-
JBernstein: A Validity Checker for Generalized Polynomial Constraints
Despite substantial advances in verification technology, complexity issues with classical decision procedures for nonlinear real arithmetic are still a major obstacle for formal verification of real-world applications.
-
Statistical Comparison of TEC Derived from GPS and ISR Observations at High Latitudes
A comprehensive data set collected with the Poker Flat Incoherent Scatter Radar and GPS receiver in Fairbanks, Alaska is employed to analyze and compare the total electron content estimates derived from two radio techniques at high latitudes.
-
Measurements of the O+ to H+ Transition Height and Ion Temperatures in the Lower Topside Ionosphere over Arecibo for Equinox Conditions During the 2008-2009 Extreme Solar Minimum
We present incoherent scatter radar measurements of electron density, electron and ion temperatures, and ion composition made at Arecibo Observatory during the recent extreme solar minimum of 2007–2009…
-
Automorphism Groups of Graphical Models and Lifted Variational Inference
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model.
-
Determining Receiver Biases in GPS-Derived Total Electron Content in the Auroral Oval and Polar Cap Region Using Ionosonde Measurements
We will test the applicability of common numerical methods for estimating receiver DCBs in high-latitude regions and compare our CADI-calibrated GPS vertical TEC measurements to corresponding International GNSS Service IONEX-interpolated vTEC map data.
-
The Association between Postload Plasma Glucose Levels and 38-Year Mortality Risk of Coronary Heart Disease: The Prospective NHLBI Twin Study
We aimed to evaluate whether the association between postload plasma glucose levels (ppGlucose) and long-term risk of mortality from coronary heart disease was independent of or attributable to genes and common environment.
-
Groups: Knowledge Spreadsheets for Symbolic Biocomputing
‘Groups’ is an implementation of Knowledge Spreadsheets (KSs) within the Pathway Tools system.
-
Science, Technology, Engineering, and Mathematics (STEM) Participation Among College Students with an Autism Spectrum Disorder
This study analyzed data from the National Longitudinal Transition Study-2, a nationally representative sample of students with an ASD in special education.
-
Comparison of a New Cobinamide-Based Method to a Standard Laboratory Method for Measuring Cyanide in Human Blood
The authors developed and validated a method to quantify cyanide based on the high binding affinity of the vitamin B12 analog, cobinamide, for cyanide and a major spectral change observed for cyanide-bound cobinamide.
-
Potential Reporting Bias in fMRI Studies of the Brain
Functional magnetic resonance imaging (fMRI) studies have reported multiple activation foci associated with a variety of conditions, stimuli or tasks.
-
Adversaries and countermeasures in privacy-enhanced urban sensing systems
In this paper, we explore a number of scenarios where nodes of an Urban Sensing system are subject to individual queries.
-
Mismatch Between Policies and Experiences of Beginning Teachers in California
It would be hard to argue with the statement that parents of students have a right to expect their children’s teachers are well prepared and well qualified. Our collective social, economic and political well-being depends largely on the strength of the public school systems educating our children. Just as our future rests with our children,…