This document describes a simple API for a general description logic system.

This document describes a simple API for a general description logic system. This forms the first of a number of such specifications. Later versions will introduce more higher-level functionality. The current, Level 0 specification provides basic access to the reasoning capabilities of a DL reasoner.

As part of a larger clinical drug-drug interaction (DDI) study aimed at in vitro to in vivo prediction of HIV protease inhibitor metabolic and transporter-based DDIs, we measured the inductive (staggered administration) and inductive plus inhibitory (simultaneously administered) effect of multiple dose ritonavir (RTV), nelfinavir (NFV), or rifampin (RIF) on the pharmacokinetics of the P-glycopr...

cholera outbreak is more common in developing countries. the causative agent of the disease is vibrio cholerae strains o1 and o139. traditional diagnostic testing for vibrio is not always reliable, because vibrio can enter a viable but non cultivable state. therefore, nucleic acid-based tests have emerged as a useful alternative to traditional enrichment testing.       in this investigation, a ...

This paper describes and evaluates DIG, a dynamic invariant generator that infers invariants from observed program traces, focusing on numerical and array variables. For numerical invariants, DIG supports both nonlinear equalities and inequalities of arbitrary degree defined over numerical program variables. For array invariants, DIG generates nested relations among multi-dimensional array vari...