Publications
-
Yices 2.2
We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for…
-
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.
-
N-CANDA Data Integration: Anatomy of an Asynchronous Infrastructure for Multi-Site, Multi-Instrument Longitudinal Data Capture
The concepts implemented in N-CANDA’s data collection system helped reduce project start-up time by several months.
-
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are…
-
The EcoCyc Database
This review outlines the data content of EcoCyc and of the procedures by which this content is generated.
-
Multi-source anomaly detection: using across-domain and across-time peer-group consistency checks
We present robust anomaly detection in multi-dimensional data.
-
Methodology Considerations in School Mental Health Research
This paper reviews key steps needed to effectively study SMH research questions. Considerations around research designs, methods for describing effects and outcomes, issues in measurement of process and outcomes, and…
-
Articulatory Features from Deep Neural Networks and Their Role in Speech Recognition
This paper presents a deep neural network (DNN) to extract articulatory information from the speech signal and explores different ways to use such information in a continuous speech recognition task.
-
Effect of Bitopertin, a Glycine Reuptake Inhibitor, on Negative Symptoms of Schizophrenia: A Randomized, Double-Blind, Proof-of-Concept Study
Our objective is to determine the efficacy and safety of bitopertin (RG1678), a glycine reuptake inhibitor, in patients with schizophrenia and predominant negative symptoms who were stable while taking an…
-
Efficiently Gap-Filling Reaction Networks
We present a computational technique, called FastGapFilling, that efficiently completes a reaction network by using only Linear Programming, not MILP.
-
Sample Collection in Clinical Proteomics – Proteolytic Activity Profile of Serum and Plasma
We utilized the platform to ascertain the impact of three commonly used anticoagulants (EDTA, heparin, and citrate) on the proteolytic activity profile of plasma and serum collected from a healthy…
-
Permeability Enhancing Lipid-Based Co-Solvent and SEDDS Formulations of SQ641, an Antimycobacterial Agent
The objective of this study was to develop an oral preclinical liquid formulation of SQ641 and to determine the permeability across rat intestinal tissue by Ussing chamber.