Publications
-
Synthesizing Switching Logic Using Constraint Solving
We present an approach for solving the switching logic synthesis problem in the case when the dynamics in each mode are given using differential equations and the synthesized system is…
-
Uncertainty Quantification of a Graphite Nitridation Experiment Using a Bayesian Approach
A stochastic system based Bayesian approach is applied to estimate different model parameters and hence quantify the uncertainty of a graphite nitridation experiment.
-
Evaluation of Gyrase B as a Drug Target in Mycobacterium Tuberculosis
Aminobenzimidazole inhibitors of GyrB exhibit many of the characteristics required for their consideration as a potential front-line antimycobacterial therapeutic.
-
Flexible printed electronics: from materials characterization to device integration
In this talk, I will present the advantages and limitations of printed devices, and then discuss how to integrate the individual components by using complementary organic semiconductor circuits.
-
Solution-processed memristive junctions used in a threshold indicator
Memristive metal/oxide/metal structures were patterned by inkjet printing, and these printed crossbar junctions were characterized to infer ionic and electronic transport parameters such as mobility and ion distribution.
-
Model-based systems engineering for the design and development of complex aerospace systems
This paper presents a model-based system-engineering framework that was developed as part of the META program.
-
Proceedings of the Fifth International Conference on Provable Security (ProvSec)
The ProvSec conference provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area.
-
Finding credible information sources in social networks based on content and social structure
We conducted an experiment designed to measure the extent to which different factors in online social networks affect both explicit and implicit judgments of credibility.
-
Rapid mixing of sub-microliter drops by magnetic micro-stirring
We demonstrate rapid mixing of sub-microliter droplets (250nl) using miniaturized magnetic stir bars (400 m by 200 m by 15 m).
-
Near-Field Plates: Metamaterial Surfaces/Arrays for Subwavelength Focusing and Probing
We present a brief overview of near-field plates, which are nonperiodic grating-like surfaces/arrays that can focus electromagnetic field to subwavelength resolutions.
-
Organizing Research and Development at the Intersection of Learning, Implementation, and Design
This article describes elements of an approach to research and development called design-based implementation research.
-
An Enhanced β Turn in Water
A series of tetrapeptides based on the sequence Ac-Ala-Pro-Ala-Ala-NH2 containing all possible combinations of l- and d-amino acids was synthesized.