Publications
-
Non-Linear Rewrite Closure and Weak Normalization
In this paper, we construct a rewrite closure for term rewrite systems that satisfy two properties: the right-hand side term in each rewrite rule contains no repeated variable (right-linear) and…
-
Pharmacokinetics and Toxicity of a Neuroprotective Cembranoid
-
Respiratory and Auditory Cortical Processing in Children with Obstructive Sleep Apnea Syndrome
We hypothesized that, during sleep, children with OSAS have abnormal RREP, normal cortical processing of nonrespiratory stimuli, and persistence of abnormal RREP after treatment.
-
Effects of Isoflurane Anesthesia on Hyperpolarized C-13 Metabolic Measurements in Rat Brain
-
Example of a Complementary Use of Model Checking and Agent-Based Simulation
In this work, agent-based, hybrid time simulation and model checking are combined and their respective advantages leveraged in an original manner to find problematic human-automation interaction (HAI) early in the…
-
The Acute Effects of Alcohol on Sleep Architecture in Late Adolescence
This study examined the effect of alcohol on sleep architecture in women and men aged 18–21 years and whether previously reported sleep architecture effects may have been as an artificial…
-
Women with Dysmenorrhea Are Hypersensitive to Experimental Deep Muscle Pain across the Menstrual Cycle
We investigated whether women with primary dysmenorrhea are hyperalgesic to deep muscle pain induced by a cleanly nociceptive method of hypertonic saline injection.
-
Ink-jet and gravure printed electronics
Drop-on-demand ink-jet printing enables rapid, digital prototyping of electronic circuits based on solution-processable conductors, semiconductors and dielectrics.
-
A decade of organic / polymeric photovoltaic research
This review article takes a retrospective look at the research and development of OPV, and focuses on recent advances of solution-processed materials and devices during the last decade, particular the…
-
Direct determination of the silicon donor ionization energy in homoepitaxial AlN from photoluminescence two-electron transitions
We report on the identification of a two-electron transition for the shallow donor silicon in homoepitaxial AlN.
-
Printed organic integrated circuits for sensor systems
This presentation summarizes the Flextech project on an all-printed temperature sensor tag.
-
Novel Human Radiation Exposure Biomarker Panel Applicable for Patient Triage
A panel of only three proteins is sufficient to accurately distinguish an individual that was exposed to low-levels of ionizing radiation from an unexposed person. These findings have significant implications…