Publications
-
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…
-
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…
-
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…
-
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.
-
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…
-
Groups: Knowledge Spreadsheets for Symbolic Biocomputing
‘Groups’ is an implementation of Knowledge Spreadsheets (KSs) within the Pathway Tools system.
-
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.
-
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…
-
An Exploratory Study of Interdisciplinarity and Breakthrough Ideas
We conduct an exploratory study to understand how to measure the degree of interdisciplinarity involved in novel, significant research fields, and how those measures capture the integration of disparate ideas…
-
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.