Publications
-
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries
This paper introduces Smten, a tool for automatically translating high-level symbolic computations into SMT queries.
-
3D Optic Disc Reconstruction Via a Global Fundus Stereo Algorithm
This paper presents a novel method to recover 3D structure of the optic disc in the retina from two uncalibrated fundus images.
-
Carbon-14 Labeling of K777
The antitrypanosomal agent K777•HCl was labeled with carbon-14 to support absorption, distribution, metabolism, and excretion studies of this potential new drug for the treatment of Chagas disease.
-
First Measurement of the BO B2Σ+ Radiative Lifetime by Laser-Induced Fluorescence Via the B2Σ+–X2Σ+ Transition
Observation of the temporal evolution of the fluorescence following laser excitation of boron monoxide molecules to the B 2Σ+ state is used to extract the radiative lifetime and collisional removal rate constant with…
-
Promoting access to college in an era of fiscal constraints: The University of California’s Early Academic Outreach Program
We compared outcomes for EAOP students both to similar students within their schools and to similar students in other schools. This analysis of student data reveals especially promising evidence regarding…
-
Backscattering by Right-Angle Dihedrals for All Possible Angles of Incidence
The theory includes both: single scattering at either of the two faces of the dihedral and reflection at one face followed by scattering at the opposing face.
-
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.
-
Adversaries and countermeasures in privacy-enhanced urban sensing systems
In this paper, we explore a number of scenarios where nodes of an Urban Sensing system are subject to individual queries.
-
Fabrication of vanadium oxide microbolometers on thin polyimide films
We report the fabrication and characterization of thin film vanadium oxide microbolometer detector elements on thin (12.5 um) polyimide films.