Publications
-
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.
-
Sol-gel solution-deposited InGaZnO thin film transistors
Thin film transistors fabricated by solution processing of sol-gel oxide semiconductor precursors in the group In-Ga-Zn are described.
-
Customer care dialog management, an inverse reinforcement learning approach
Many dialog systems are still based on deterministic approaches with a pre-defined set of tasks where adaptability is limited.
-
A comparative usability study of two-factor authentication
In this paper, we present an exploratory comparative study of the usability of 2F technologies.
-
New Electrode Architecture for High Performance Lithium Ion Batteries
In this work, a new approach to maximize power will be theoretically and experimentally presented using an ordered, dual-scale porosity distribution in the dense, thick electrodes targeting high energy density.
-
Verification and design exploration through Meta tool integration with OpenModelica
This paper gives an overview of the META tools and their integration with OpenModelica.
-
Verification and design exploration through Meta tool integration with OpenModelica
This paper gives an overview of the META tools and their integration with OpenModelica.
-
Modeling mass and density distribution effects on the performance of co-extruded electrodes for high energy density Li-ion batteries
Utilizing an existing macro-homogeneous porous electrode model developed by John Newman, this paper aims to explore the potential energy density gains which can be realized in lithium-ion battery electrodes fabricated…