Publications
-
MEMS Electric-Field Probes for Laboratory Plasmas
This paper presents microfabricated sensors for directly measuring fine-scale plasma parameters in typical laboratory plasmas.
-
Seasonal Oscillations of Middle Atmosphere Temperature Observed By Rayleigh Lidars and Their Comparisons with Timed/Saber Observations
The long-term temperature data sets obtained by Rayleigh lidars at six different locations from low to high latitudes within the NDACC were used to derive the annual oscillations and semiannual…
-
Observations of Ionospheric Heating During the Passage of Solar Coronal Hole Fast Streams
Using ionospheric temperature measurements made continuously by the PFISR and ESR during the International Polar Year, we provide evidence for directly driven ionospheric heating associated with the solar wind corotating…
-
Oxygen-Induced Tension in the Sheep Ductus Arteriosus: Effects of Gestationon Potassium and Calcium Channel Regulation
We used isolated fetal sheep ductus arteriosus (pretreated with inhibitors of prostaglandin and nitric oxide production) to determine whether changes in K+- and CaL-channel activity could account for the developmental…
-
Automated Deduction for Verification
We introduce some of the basic deduction techniques used in software and hardware verification and outline the theoretical and engineering issues in building deductive verification tools.
-
IXIR: a Statistical Information Distillation System
We present an approach that focuses on the sentence extraction phase of the distillation process.
-
Clinical Trial Participant Characteristics and Saliva and DNA Metrics
This article describes an assessment of saliva biospecimen samples collected through the mail, trial participant demographic and behavioral characteristics, and their association with saliva and DNA quantity and quality.
-
Protein Expression Is Altered During Spontaneous Sleep in Aged Sprague Dawley Rats
Age-related changes in brain function include those affecting learning, memory, and sleep-wakefulness. Sleep-wakefulness is an essential behavior that results from the interaction of multiple brain regions, peptides, and neurotransmitters.
-
Reanalysis of tyrannosaurus rex mass spectra
We reanalyze Asara et al.s tandem mass spectra using a different search engine and different statistical tools.
-
Controlling error propagation in mobile-infrastructure based localization
This paper proposes a computationally efficient error control mechanism to mitigate the error propagation effect for mobile-infrastructure based localization
-
Learning communities in a large enterprise
This paper reports on our study of the deployment of online learning communities in a large enterprise of IT services.
-
GaN and InGaN(112_2) surfaces: group-III adlayers and indium incorporation
In this talk, the speaker will discuss PARC's approach to circuit design and modeling in the context of building sensor systems in partnership with Thinfilm Electronics based on an ink-jet…