Publications
-
The Proof Monad
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed.
-
Development of a New Generation of 4-Aminoquinoline Antimalarial Compounds Using Predictive Pharmacokinetic and Toxicology Models
ADMET prediction studies were employed to evaluate a library of new molecules based on the 4-aminoquinolone-related structure of CQ.
-
The Puf-Family RNA-Binding Protein Pfpuf2 Regulates Sexual Development and Sex Differentiation in the Malaria Parasite Plasmodium Falciparum
In this study we determined the function of PfPuf2, a member of the Puf family of translational repressors, in gametocytogenesis of Plasmodium falciparum.
-
Light-Driven Formation and Rupture of Droplet Bilayers
We demonstrate optical manipulation of nanoliter aqueous droplets containing surfactant or lipid molecules and immersed in an organic liquid using near infrared light.
-
Automated Assessment of Physical-Motion Tasks for Military Integrative Training
We describe the performance assessment component of the BASE-IT system, a real-time monitoring system of performance of U.S. Marines during training exercises for urban warfare.
-
Comparison of Indoor Robot Localization Techniques in the Absence of GPS
We report here on the performance of several implementations of the main class of localization algorithms that use a laser, Simultaneous Localization And Mapping (SLAM) on the RAWSEEDS benchmark.
-
Designing the Logistics for Large-Scale Randomized Controlled Trials: Six Strategies for Implementation at Scale
The Scaling Up SimCalc Project demonstrates how careful attention to logistics can permit use of a distributed data strategy in a set of large-scale experiments without compromising rigorous control and…
-
Monocyte Dysfunction in Sydenham’s Chorea Patients
We evaluated the activation state of monocytes, cells that are precursors of macrophages, to characterize the inflammation profile of patients.
-
Mouse Urinary Biomarkers Provide Signatures of Maturation, Diet, Stress Level, and Diurnal Rhythm
We compared the volatile compositions of mouse urine using solid-phase microextraction and gas chromatography–mass spectrometry (SPME-GC/MS).
-
Space-Based Constraints on Spatial and Temporal Patterns of NOx Emissions in California, 2005-2008
We describe ground and space-based measurements of spatial and temporal variation of NO2 in four California metropolitan regions.
-
MR Diffusion Tensor Imaging: a Window Into White Matter Integrity of the Working Brain
Here we present an overview of the principles of diffusion tensor imaging (DTI) and its contribution to progress in our current understanding of normal and pathological brain function.
-
On Large-Scale Wave Structure and Equatorial Spread F Without a Post-Sunset Rise of the F Layer
Large-scale wave structure (LSWS) and the plasma structure, referred to as equatorial spread F (ESF), are shown, for the first time, to develop on a night, when the post-sunset rise (PSSR) of…