Publications
-
Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data
We present a unifying framework that extends the CP formalism in both model and solutions, to tackle ill-defined combinatorial problems with incomplete or erroneous data.
-
Combining Equational Reasoning
Given a theory 𝕋T, a set of equations E, and a single equation e, the uniform word problem (UWP) is to determine if 𝐸⇒𝑒E⇒e in the theory 𝕋T.
-
Discriminative Genre-Independent Audio-Visual Scene Change Detection
We present a technique for genre-independent scene-change detection using audio and video features in a discriminative support vector machine (SVM) framework.
-
Distributed Multi-Sensor Fusion for Improved Collaborative GPS-Denied Navigation
This paper addresses the problem of determining high accuracy absolute and relative 3-D positions of mobile sensor network nodes by fusing inertial and radio frequency (RF) ranging measurements to support…
-
High-Pressure Mineralogy of Shock Veins in Meteorites Does Constrain the Equilibrium Shock Pressure and Its Duration
-
Messages for New Japanese Government from U.S. Science Community: Japan’s Challenges in Developing a Space Strategy and Restructuring Space Organizations
-
Pharmacokinetics and Immunogenicity Assays for a Human Monoclonal Antibody Mixture Specific for Botulinum Neurotoxin A
-
SLC6A3 and Body Mass Index in the Prostate, Lung, Colorectal and Ovarian Cancer Screening Trial
We evaluated associations between polymorphisms at the dopamine transporter gene(SLC6A3) and body mass index (BMI), among participants in the Prostate, Lung, Colorectal and Ovarian (PLCO) Cancer Screening Trial.
-
System Support for Forensic Inference
This paper argues for the development of a formal framework for constructing “digital artifacts” that can serve as proxies for physical evidence; a system so imbued would facilitate sound digital…
-
Association of the DRD2 Gene Taq1A Polymorphism and Smoking Behavior: a Meta-Analysis and New Data
Our a priori hypothesis was that the association of the DRD2 Taq1A polymorphism with smoking behavior would be more prominent in females than males.
-
Using Cognitive Interviews And Student Response Processes To Validate An Interpretive Argument For The Ets Iskills Assessment
Evaluating the trustworthiness of Internet-based or other digital information has become an essential 21st century skill. The iSkills™ assessment, from Educational Testing Service (ETS), purports to measure such digital evaluation…
-
CESAR (Compact Echelle Spectrograph for Aeronomical Research) Opto-Mechanical Design
Our goal is to significantly expand the range of upper atmospheric science investigations (nightglow, aurora, and dayglow emissions) by providing to aeronomers a high-throughput, high-dispersion, large-passband spectrograph.