Learn More
Modern industrial, government, and academic organizations are collecting massive amounts of data (“big data”) at an unprecedented scale and pace. The ability to perform timely and costeffective analytical processing of such large datasets to extract deep insights is now a key ingredient for success. These insights can drive automated processes for(More)
Induction of cytochrome P450 3A4 (CYP3A4) is determined typically by employing primary culture of human hepatocytes and measuring CYP3A4 mRNA, protein and microsomal activity. Recently a pregnane X receptor (PXR) reporter gene assay was established to screen CYP3A4 inducers. To evaluate results from the PXR reporter gene assay with those from the(More)
We present a method of generating test sequences for concurrent programs and communication protocols that are modeled as communicating nondeterministic finite state machines (CNFSMs). A conformance relation, called trace-equivalence, is defined within this model, serving as a guide to test generation. A test generation method for a single nondeterministic(More)
Many modern software systems provide progress indicators for long-running tasks. These progress indicators make systems more user-friendly by helping the user quickly estimate how much of the task has been completed and when the task will finish. However, none of the existing commercial RDBMSs provides a non-trival progress indicator for long-running(More)
In this paper, the fitness of estimating vessel profiles with Gaussian function is evaluated and an amplitude-modified second-order Gaussian filter is proposed for the detection and measurement of vessels. Mathematical analysis is given and supported by a simulation and experiments to demonstrate that the vessel width can be measured in linear relationship(More)
BACKGROUND Scientific evidence on the effects of chronic periodontitis on diabetes mellitus remains inadequate and inconclusive. This intervention study is designed to evaluate the effects of periodontal treatment on clinical response, systemic inflammatory parameters, and metabolic control in patients with Type 2 diabetes. METHODS A total of 134 patients(More)
Evaluating biliary excretion, a major elimination pathway for many compounds, is important in drug discovery. The bile duct-cannulated (BDC) rat model is commonly used to determine the percentage of dose excreted as intact parent into bile. However, a study using BDC rats is time-consuming and cost-ineffective. The present report describes a computational(More)
In order to test the control portion of communication software, specifications are usually first abstracted to state machines, then test cases are generated from the resulting machines. The state machines obtained from the specification are often both partially-specified and nondeterministic. We come out with a method of generating test suites for the(More)
Recently, progress indicators have been proposed for long-running SQL queries in RDBMSs. Although the proposed techniques work well for a subset of SQL queries, they are preliminary in the sense that (1) they cannot provide non-trivial estimates for some SQL queries, and (2) the provided estimates can be rather imprecise in certain cases. In this paper, we(More)