OBJECTIVE The objective of this study was to compare the plaque removal efficacy of a prototype manual Deep Clean toothbrush versus an American Dental Association (ADA) manual toothbrush and the ADA manual toothbrush in conjunction with floss. METHODS This study was a randomized, examiner-blind, six-period cross-over, single-center study conducted in 60 adult subjects that examined plaque rem...

Genetic defects in the adenosine deaminase (ADA) gene are among the most common causes for severe combined immunodeficiency (SCID). ADA-SCID patients suffer from lymphopenia, severely impaired cellular and humoral immunity, failure to thrive, and recurrent infections. Currently available therapeutic options for this otherwise fatal disorder include bone marrow transplantation (BMT), enzyme repl...

vaccines against the hiv-1 virus offers the best hope for eliminating hiv-associated mortality. recombinant adenovector type 5 (rad5) vaccine is a potential candidate for preventive vaccine strategies. in this study, we evaluated the rad5 prime/protein boost strategy in a murine model. we used rad5 harboring single hiv-1 genes. these genes, including gag (p24) and exon1 of tat, were amplified f...

This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of ab-stract executors, detailing the progress guarantees that these executors must pro-vide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied ...

The Ada language has been designed to support development of concurrent and distributed sojiware. While the Ada-83 standard defined the basic mechanisms of rendezvous-based tasking, the Ada-95 standard significantly extended this capability with the introduction of several advanced tasking constructs. We present and discuss formal models of these key tasking constructs using the Petri net model...

This paper describes the development of a predictive model for corporate insolvency risk in Australia. The model building methodology is empirical with out-ofsample future year test sets. The regression method used is logistic regression after pre-processing by quantisation of interval (or numeric) attributes. We show that logistic regression matches the performance of ensemble methods, such as...

Model checking 7] has proven to be an eeec-tive analysis tool for domains such as hardware circuits and communication protocols. However, it has not yet been widely applied to more general concurrent systems, such as those realized by Ada multi-tasking programs. A major impediment to the use of model checking in such systems is the exponential growth of the state space, which results from the p...