Publications
-
Relational Abstractions for Continuous and Hybrid Systems
In this paper, we define relational abstractions of hybrid systems. We construct relational abstractions by reusing template-based invariant generation techniques for continuous systems described by Ordinary Differential Equations (ODE).
-
Sleep-Active Cells in the Cerebral Cortex and Their Role in Slow-Wave Activity
We recently identified neurons in the cerebral cortex that become activated during sleep episodes with high slow-wave activity (SWA).
-
A High-Throughput Fluorescence Polarization Assay for Inhibitors of Gyrase B
The assay performed with an average Z′ factor of 0.80 and was able to identify GyrB inhibitors from a screening library.
-
Headphone-Based Spatial Sound
This article reviews the physical and psychoacoustic foundations, practical methods, and engineering challenges to the realization of motion-tracked sound over headphones.
-
Neurological assessments after treatment with the antimalarial beta-arteether in neonatal and adult rats
This study shows that repeated treatment with clinically relevant doses of βAE causes motor deficits associated with brainstem damage in rodents and suggests that repeated treatment with βAE in children…
-
Ontological Analysis of Terrain Data
We formalize the properties of each piece of data and its processing history in a geographic ontology, and use declarative Semantic Web Rule Language (SWRL) rules to calculate the errors…
-
Partial Occupancy of the Glycine Transporter Type 1 in Monkey By Rg1678 Leads to Efficacy in a Model of Prefrontal Cortical Function
-
Signal Enhancement and Background Suppression Using Interference and Entanglement
We describe two-photon absorption processes excited by entangled pairs but not by nonentangled pairs of the same energy and polarization.
-
Sleep-Active Neuronal Nitric Oxide Synthase-Positive Cells of the Cerebral Cortex: a Local Regulator of Sleep?
We review the possible functions of neuronal nitric oxide synthase in regulating neuronal activity, synaptic plasticity and cerebral blood flow within the context of local sleep regulation in the cerebral…
-
Independent Contributions of Cortical Gray Matter, Aging, Sex and Alcoholism to K-Complex Amplitude Evoked During Sleep
The amplitude of the N550 component derived from the averaged evoked K-complex decreases with normal aging and with alcoholism. The study was designed to determine whether these declines are related…
-
Inquire for Ipad: a Biology Textbook That Answers Questions
We present Inquire: Biology, an electronic textbook that provides question-answering capability.
-
Neuropeptide B Induces Slow Wave Sleep in Mice
These results suggest that NPB induced physiological SWS through GPR7 and that NPB and GPR7 may have a role in modulating the occurrence of sleep and wakefulness.