Publications
-
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…
-
Longitudinal Analysis of the Electroencephalogram and Sleep Phenotype in the R6/2 Mouse Model of Huntington’s Disease
We conducted a longitudinal characterization of sleep/wake and electroencephalographic activity in the R6/2 mouse model of Huntington’s disease to determine whether analogous electroencephalographic ‘signatures’ could be identified early in disease…
-
Suppression of the Hanle Effect in Organic Spintronic Devices
We study carrier spin transport under a transverse magnetic field in organic structures.
-
Re-Examining Temporal Niche
We review evidence showing that under different environmental conditions, this system can adopt different harmonic configurations.
-
Curcumin Regulates Colon Cancer by Inhibiting P-Glycoprotein in Cancerous Colon Perfusion Rat Model
In the present study curcumin inhibitory action on p-glycoprotein increased permeability of irinotecan, so in the colon cancer it would be beneficial if curcumin used as add on therapy.
-
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…
-
Groups: Knowledge Spreadsheets for Symbolic Biocomputing
‘Groups’ is an implementation of Knowledge Spreadsheets (KSs) within the Pathway Tools system.