Publications
-
Context Unification with One Context Variable
In this paper we analyze the special case of context unification where the use of at most one context variable is allowed and show that it is in NP.
-
Discovery of 1-[3-(4-Bromo-2-Methyl-2H-Pyrazol-3-Yl)-4-Methoxyphenyl]-3-(2, 4-Difluorophenyl)Urea (Nelotanserin) and Related 5-Hydroxytryptamine 2A Inverse Agonists for the Treatment of Insomnia
We describe here a series of 5-HT2A inverse-agonists that when dosed in rats, both consolidate the stages of NREM sleep, resulting in fewer awakenings, and increase a physiological measure of sleep…
-
Refractive Index Measurements of Ammonia and Hydrocarbon Ices at 632.8 nm
Optical constants in a broad temperature and wavelength range are important input parameters in radiative transfer models used in studies of planetary atmospheres.
-
The Alignment of the Informal and Formal Organizational Supports for Reform: Implications for Improving Teaching in Schools
This article combines social network analysis with interview data to analyze how well the formal and informal aspects of a school’s social context are aligned.
-
Accurate Characterization of Free Carrier Refraction in InP
Using recently published results of intrinsic and free carrier nonlinear absorption coefficients in InP, nonlinear refraction was investigated at 1.064 μm using ns duration lasers to characterize refraction from generated…
-
Special Issue on Automated Deduction: Decidability, Complexity, Tractability
Although general logical formalisms (predicate logic, set theory, number theory) are undecidable or not even recursively enumerable, it is often the case that in applications only special fragments need to…
-
Force Requirements for Artificial Muscle to Create an Eyelid Blink with Eyelid Sling
Our objective is to determine the force requirements, optimal vector, and appropriate materials of a novel eyelid sling device that will be used to rehabilitate eyelid closure (blink) in congenital…
-
Soccer science and the Bayes community: exploring the cognitive implications of modern scientific communication
This paper reports on a series of experiments in this area, and a prototype implementation using a research platform called CACHE.
-
Handheld, microfluidic-based detection platform for on-the-flow analyte characterization
We have demonstrated a new optical detection technique that delivers high signal-to-noise discrimination without precision optics to enable a flow cytometer that can combine high performance, robustness, compactness, low cost,…
-
Microfluidic-based detection platform for on-the-flow analyte characterization
In this paper we will describe and illustrate a new detection technique that will enable a compact, microfluidic-based flow cytometer that satisfies POC specifications for performance, robustness, compactness, cost, reagent…
-
Lasing of semi-polar InGaN/GaN(1122) heterostructures grown on m-plane sapphire substrates
Results for long-wavelength emitters are presented for semi-polar InGaN/AlGaN/GaN heterostructures grown on GaN(1122)/m-sapphire templates by metalorganic chemical vapor deposition.
-
Compact and fast read-out for wavelength-encoded biosensors
We will describe a compact and fast wavelength monitor that can resolve sub-pm wavelength changes.