Publications
-
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
We present decidability results for termination of classes of term rewriting systems modulo permutative theories.
-
Detection, Correlation, and Visualization of Attacks Against Critical Infrastructure Systems
We present some results of the Detection and Analysis of Threats to the Energy Sector project, wherein we adapted and developed several intrusion detection technologies for control systems.
-
High-Enthalpy Test Environments, Flow Modeling and in Situ Diagnostics for Characterizing Ultra-High Temperature Ceramics
We describe the test environments generated by two types of these ground test facilities – subsonic inductively coupled plasma tunnels and supersonic arc-jet tunnels – and discuss the important roles…
-
Spoken Proper Name Retrieval for Limited Resource Languages Using Multilingual Hybrid Representations
In this paper, we present our research efforts towards multilingual spoken information retrieval with limitations in acoustic training data.
-
Optically-pumped lasing of semipolar InGaN/GaN(1122) heterostructures
Results for long-wavelength emitters are presented for growth of semi-polar InGaN/AlGaN/GaN heterostructures on GaN(1122)/m-sapphire templates by metalorganic chemical vapor deposition (MOCVD).
-
The “3D Wiki”: blending virtual worlds and web architecture for remote collaboration
In this paper we describe the technology behind our 3D Wiki, a system meant to address this problem.
-
One experience collecting sensitive mobile data
We report on our efforts to collect behavioral data based on activities recorded by phones.
-
Load-Deformation Behavior of Nitinol Stents
In the work reported here, testing devices were designed and constructed to measure loads in stents undergoing tensile, bending, and torsional deformations.
-
The Early College High School Initiative: an Overview of Five Evaluation Years
This article will provide an overview of the key findings across 5 years of the ECHSI evaluation, in particular highlighting how participants have implemented the ECHSI's core principles.
-
New Impact Evidences Discovered in the Vicinity of Tai Lake, Southeast China: Indicating a Unique Impact Crater
Ejecta were discovered first and revive the impact origin hypothesis [3, 4 abstract of this meeting], and indicate an impact event of less than ten thousand years.
-
All Shocked Meteorites Were Shocked at Significant Depth in Their Parent Bodies
We have recently realized that it is virtually impossible for a meteorite to survive strong shock unless it is well below the surface of a parent body.
-
Callosal Microstructural Abnormalities in Alzheimer’s Disease and Alcoholism: Same Phenotype, Different Mechanisms
Magnetic resonance and diffusion tensor imaging data were acquired and midsagittal area, length, dorsoventral height, fractional anisotropy, and mean diffusivity of the total corpus callosum and volume of the lateral…