Publications
-
Fabrication of Highly Spin-Polarized Co2FeAl0.5Si0.5 Thin-Films
Ferromagnetic Heusler Co2FeAl0.5Si0.5 epitaxial thin-films have been fabricated in the L21 structure with saturation magnetizations over 1200 emu/cm3.
-
Mechatronic Design of an Integrated Robotic Hand
In this paper, we present a hand designed for minimalistic dexterous manipulation, in which every stage of the design process also considered its manufacturing cost. Finally, we present the results…
-
The Gradual Verifier
We propose a gradual verification approach, GraVy. For a given piece of Java code, GraVy partitions the statements into those that are unreachable, or from which exceptional termination is impossible, inevitable, or…
-
Computer-Guided Inquiry to Improve Science Learning
Engaging students in inquiry practices is known to motivate them to persist in science, technology, engineering, and mathematics (STEM) fields and to create lifelong learners. In inquiry, students initiate investigations,…
-
A Synthesized Algorithm for Interactive Consistency
We discovered our algorithm using an automated synthesis technique that is based on bounded model checking and QBF solving. Our synthesis technique is general and simple, and it is a…
-
Safety Envelope for Security
We present an approach for detecting sensor spoofing attacks on a cyber-physical system. Our approach consists of two steps. In the first step, we construct a safety envelope of the system. In…
-
Designing Bifunctional NOP Receptor-Mu-Opioid Receptor Ligands from NOP-Receptor Selective Scaffolds. Part II
We describe a continuing structure–activity relationship (SAR) study of the NOP-selective piperidin-4-yl-1,3-dihydroindol-2-one scaffold, to obtain bifunctional activity at MOP, and a suitable ratio of NOP/MOP agonist activity that produces a…
-
ABT-089 and ABT-894 reduce levodopa-induced dyskinesias in a monkey model of Parkinson’s disease
Here, we examined the effect of two β2 nAChR agonists, ABT-089 and ABT-894, that previously were approved for phase 2 clinical trials for other indications.
-
Comparison of the Neutral Wind Seasonal Variation from Midlatitude Conjugate Observations
The seasonal variation of F region neutral wind from the midlatitude conjugate Fabry-Perot interferometer observations has been studied.
-
Maternal Nutrition at Conception Modulates DNA Methylation of Human Metastable Epialleles
We show that significant seasonal variations in methyl-donor nutrient intake of mothers around the time of conception influence 13 relevant plasma biomarkers. Our results demonstrate that maternal nutritional status during…
-
Auroral Ionospheric F Region Density Cavity Formation and Evolution: Mica Campaign Results
Auroral ionospheric F region density depletions observed by PFISR (Poker Flat Incoherent Scatter Radar) during the MICA (Magnetosphere-Ionosphere Coupling in the Alfvén Resonator) sounding rocket campaign are critically examined alongside complementary numerical…
-
Sudemycin E Influences Alternative Splicing and Changes Chromatin Modifications
To determine the effect on gene expression, we performed genome-wide array analysis. Sudemycin E first causes a rapid change in alternative pre-messenger RNA splicing, which is later followed by changes…