Publications
-
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…
-
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
In this paper, we present a set of algorithms for the reverse engineering of digital circuits starting from an unstructured netlist and resulting in a high-level netlist with components such…
-
Digital Games, Design, and Learning: A Systematic Review and Meta-Analysis (Brief)
The present meta-analysis synthesized research on digital games to systematically examine their efficacy for learning. We focused on research published between 2000 and 2012 in light of the dramatic evolution…
-
Ionospheric Ion Temperature Forecasting in Multiples of 27 Days
In this study we demonstrate that over a 3 year period, ionospheric variability observed from Poker Flat, Alaska, has, in fact, a high degree of long-term predictability.
-
Characteristics of Large-Scale Wave Structure Observed from African and Southeast Asian Longitudinal Sectors
In this scenario, a comprehensive study is carried out, for the first time, on the spatial and temporal characteristics of LSWS observed in spatial domain over African and Southeast Asian…
-
Digital Games, Design, and Learning: A Systematic Review and Meta-Analysis (Executive Summary)
We synthesize comparisons of game conditions versus non-game conditions (i.e., media comparisons) as well as comparisons of augmented game designs versus equivalent standard game designs (i.e., value-added comparisons).
-
mRNA Splicing-Modulatory Pharmacophores: The Total Synthesis of Herboxidiene, a Pladienolide-Herboxidiene Hybrid Analog and Related Derivatives
We report an improved enantioselective synthesis of herboxidiene and the first report of its biologically active totally synthetic analog: 6-norherboxidiene.
-
Distributed Coverage with Mobile Robots on a Graph: Locational Optimization and Equal-Mass Partitioning
This paper presents decentralized algorithms for coverage with mobile robots on a graph. We use distributed vertex substitution for locational optimization and equal mass partitioning, and the controllers minimize the…
-
Automatic 3D Change Detection for Glaucoma Diagnosis
We propose an automatic approach for detecting these changes in 3D models reconstructed from fundus images of the same patient taken at different times.
-
Tracking Elevated Pollution Layers with a Newly Developed Hyperspectral Sun/Sky Spectrometer (4STAR): Results from the TCAP 2012 and 2013 Campaigns
We compare results with coincident measurements. We find 0.045 g/cm2 (4.2%) negative bias and 0.28 g/cm2 (26.3%) root-mean-square difference (RMSD) in water vapor layer comparison with an in situ hygrometer and an overall RMSD…