Publications
-
An ACT-R model of sensemaking in geospatial intelligence tasks
We developed an ACT-R model of sensemaking in a geospatial intelligence task based on two widely used learning processes in ACT-R: instance base learning and reinforcement learning.
-
Privacy Enhancing Technologies
The 13th Privacy Enhancing Technologies Symposium (PETS 2013) brought together privacy and anonymity experts from around the world to discuss recent advances and new perspectives.
-
Towards gravure printed electronics, a systematic approach
In this study a custom gravure cylinder was produced with a single test pattern repeated for different design variables such as resolution, cell depth, and frame-out.
-
Animal Care Practices in Experiments on Biological Rhythms and Sleep: Report of the Joint Task Force of the Society for Research on Biological Rhythms and the Sleep Research Society
This report reviews requirements for experiments on biological rhythms and sleep and discusses how scientific considerations can be reconciled with the recommendations of the Guide.
-
Comparison of organic pulse-generator circuits for ferroelectric memories fabricated by all-additive printing
Both circuits are shown to successfully generate pulses that write the memory with a minimum voltage of 16 V.
-
The routineness of routines: measuring rhythms of media interaction
We argue that work does not fall into discrete classes of routine versus nonroutine; rather, task performance lies on a continuum of routineness and routineness metrics are important to the…
-
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.
-
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...
-
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…
-
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…
-
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…