Publications
-
Shaping Professional Development to Promote the Diffusion of Instructional Expertise among Teachers
This study examines how high-quality professional development can promote the diffusion of effective teaching strategies among teachers through collaboration.
-
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.
-
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.
-
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.
-
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…
-
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.
-
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.
-
Re-Examining Temporal Niche
We review evidence showing that under different environmental conditions, this system can adopt different harmonic configurations.
-
JBernstein: A Validity Checker for Generalized Polynomial Constraints
Despite substantial advances in verification technology, complexity issues with classical decision procedures for nonlinear real arithmetic are still a major obstacle for formal verification of real-world applications.
-
Measurements of the O+ to H+ Transition Height and Ion Temperatures in the Lower Topside Ionosphere over Arecibo for Equinox Conditions During the 2008-2009 Extreme Solar Minimum
We present incoherent scatter radar measurements of electron density, electron and ion temperatures, and ion composition made at Arecibo Observatory during the recent extreme solar minimum of 2007–2009...