The paper develops a framework that is based on the idea that modal logic provides an appropriate framework for the speciication of data ow analysis (DFA) algorithms as soon as programs are represented as models of the logic. This can be exploited to construct a DFA-generator that generates eecient implementations of DFA-algorithms from modal speciications by partially evaluating a speciic mode...

BACKGROUND Canine rabies is a neglected disease causing 55,000 human deaths worldwide per year, and 99% of all cases are transmitted by dog bites. In N'Djaména, the capital of Chad, rabies is endemic with an incidence of 1.71/1,000 dogs (95% C.I. 1.45-1.98). The gold standard of rabies diagnosis is the direct immunofluorescent antibody (DFA) test, requiring a fluorescent microscope. The Centers...

This study evaluates the performance of a PCR assay for the detection of Pneumocystis carinii from respiratory specimens that has been designed for use in the clinical microbiology laboratory. The test includes a simple method for nucleic acid extraction and amplification, a colorimetric probe hybridization technique for detection of amplicons, and an internal control to evaluate for the presen...

Improvement in time resolution sometimes introduces fast (short-range) random noises into temporal data sequences. These noises affect the results of power-spectrum analyses and the Detrended Fluctuation Analysis (DFA). The DFA is one of useful methods for analyzing long-range correlations in non-stationary sequences. The effects of noises are discussed based on artificial temporal sequences. S...

PURPOSE To determine factors affecting the disc-fovea angle (DFA), and to test the hypotheses that adjusting for DFA improves limits of retinal nerve fiber layer (RNFL) variability in normal subjects or enhances performance of RNFL measures for glaucoma detection. METHODS Disc-fovea angle was measured on scanning laser ophthalmoscope fundus images from 170 eyes (110 normal and glaucoma subjec...

Oral 14(R,S)-[(18)F]-fluoro-6-thia-heptadecanoic acid was used to determine whether an increase in cardiac dietary fatty acid (DFA) metabolism in impaired glucose tolerance (IGT) is different in men and women. Myocardial DFA partitioning after 6 h was higher in IGT versus control subjects (P = 0.006) in both men (2.14 [95% CI 1.70-2.18] vs. 1.28 standard uptake value [SUV] units [0.80-1.76]) an...

To determine the accuracy of the Syva (Palo Alto, Calif.) direct fluorescent-antibody (DFA) test in comparison with the Gen-Probe (San Diego, Calif.) Accuprobe culture confirmation test, we tested 395 isolates of Neisseria gonorrhoeae from cultures obtained from patients attending a sexually transmitted disease clinic from 1 July 1991 through 30 June 1992. All isolates were tested for DFA react...

Fluctuation Analysis (FA) and specially Detrended Fluctuation Analysis (DFA) are techniques commonly used to quantify correlations and scaling properties of complex time series such as the observable outputs of great variety of dynamical systems, from Economics to Physiology. Often, such correlated time series are analyzed using the magnitude and sign decomposition, i.e., by using FA or DFA to ...

A 58-year-old man presented with paralysis and pain in the left leg, and a mass was found in his thigh. Because of the growth of the mass and the worsening of his symptoms, the patient visited our hospital. Multidetector computed tomography revealed a large deep femoral arterial (DFA) aneurysm. Surgical intervention was planned because of the large size of the aneurysm, the high risk of perfora...

A new direct immunofluorescence monoclonal antibody (DFA) method (Genetic Systems, Inc., Seattle, Wash.) for identification of Pneumocystis carinii in induced sputum and bronchoalveolar lavage specimens was compared in a blinded study with an established Giemsa stain method. We evaluated 148 consecutive clinical specimens from 104 patients with the following results. For the 67 patients (64%) i...