QDA-a method for systematic informal program analysis

Formal verification of program properties may be infeasible or impractical, and informal analysis may be sufficient. Informal analysis involves the informal acceptance, by inspection, of the validity of program properties or steps in an analysis. Informal analysis may also involve abstraction. Abstraction can be used to eliminate details and concentrate on more general properties. Abstraction will result in informal analysis if it includes the use of undefined properties. A systematic, informal method for analysis called QDA (Quick Defect Analysis) is described. QDA is a comments analysis process based on facts and hypotheses. Facts are used to create an abstract program model, and hypotheses are selected, nonobvious program properties which are identified as needing verification. Hypotheses are proved from the facts that define an abstraction. QDA is hypothesis-driven in the sense that only those parts of an abstraction that are needed to prove hypotheses are created. The QDA approach was applied to a previously well tested operational flight program (OFP). The QDA method and the results of the OFP experiment are presented. The problems of incomplete or unsound informal analysis are analyzed, the relationship of QDA to other analysis methods is discussed, and suggested improvements to the QDA method are described     

Red blood cell glutathione status in patients with gastrointestinal malignancies treated with 5-fluorouracil

As an alternative to surgical splenectomy, partial splenic embolization was performed in seven children for hypersplenism manifested by splenomegaly, thrombocytopenia, leukopenia, and erythrocyte hemolysis. Within a few days, platelet and leukocyte counts rose significantly in all patients and were maintained in six of seven patients during a follow-up period of 9 to 69 months. Spleen size and abdominal distention also decreased significantly in all children. There were no infectious complications.     

Studies on the action of interleukin-1 on term human fetal membranes and decidua

The present study describes the development of an enzyme-linked immunosorbent assay capable of quantifying serum antibody of all four canine IgG subclasses. A panel of subclass-restricted and subclass-specific monoclonal antibodies was used to measure IgG subclasses in the serum of healthy dogs, as well as in dogs with a range of clinical diseases. The subclasses have been redefined as IgG1, IgG2, IgG3 and IgG4 based on a comparison with the relative concentration and electrophoretic mobilities of human IgG subclasses. In serum samples from healthy dogs, the concentration of IgG1 (mean, 8.17 +/- 0.95 mg ml-1) and IgG2 (mean, 8.15 +/- 3.16 mg ml-1) were very similar and considerably higher than the levels of IgG3 (mean, 0.36 +/- 0.43 mg ml-1) and IgG4 (mean, 0.95 +/- 0.45 mg ml-1). There was no apparent difference in the level of subclasses between the different breeds comprising this normal population. Sera from dogs with a range of immune-mediated or inflammatory diseases all had markedly elevated levels of IgG2 (more than 13 mg ml-1), but IgG1 decreased (less than 4 mg ml-1) to levels below the normal range.     

Ethics for psychology organizations.

Comments on K. S. Pope and V. A. Vetter's (see record 1992-25072-001) survey results on ethical dilemmas faced by members of psychology organizations. The author notes 2 specific concerns about psychology organizations accepting financial sponsorship from organizations that financially benefit from the sponsorship: the potential for a conflict of interest and the financial burden on the clients of psychology organizations. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Reproducibility of functional transcranial Doppler sonography in determining hemispheric language lateralization

BACKGROUND AND PURPOSE: Since functional transcranial Doppler ultrasonography (fTCD) allows convenient and fully automated quantification of language lateralization, it seems ideal for longitudinal studies of perfusion changes during deterioration as well as recovery of language functions. However, during serial examinations, the technical, stochastic, and physiological variabilities of cerebral blood flow velocities (CBFV) have to be considered. Therefore, before fTCD is accepted as a tool for evaluation of changes in lateralization in the diseased state, its reliability in healthy subjects needs to be determined. METHODS: We performed fTCD during a word generation task based on a previously validated technique with automated calculation of the averaged CBFV differences in the middle cerebral arteries providing an index of lateralization (LI). RESULTS: (1) The accuracy of the LI as assessed by the confidence interval was better than 1% of the mean hemispheric difference. (2) On repeated examination, LIs obtained from 10 subjects showed a high test-retest reproducibility (Pearson product moment correlation coefficient r = 0.95, P < 0.0001). (3) On 10 repeated assessments of LI in the same subject, no practice effects were detected. CONCLUSIONS: Functional TCD is a suitable and very robust tool for the longitudinal quantitative measurement of cerebral language lateralization.     

Treatment of acute lateral ankle ligament ruptures. A prospective 9-13-year follow-up study of three different therapies in 79 patients

In a prospective study of 79 patients with arthrographically verified acute ruptured lateral ankle ligaments we have evaluated the long-term results of three different treatments: operation and walking-cast, walking-cast alone and elastic bandage. The average follow-up period was 11 (9-13) years, and 32 parameters concerning interview, clinical and radiographic examinations were statistically analysed. The three kinds of treatment were found to be equal, since only one parameter showed significant difference at a 5% level using Fisher's exact and the Mann-Whitney test, and no difference by using the Kruskal-Wallis test for homogeneity. Residual disabilities and late complications, such as instability, pain on activity, and the number of secondary ligament reconstructions and talocrural arthroses were low. It was concluded that nonoperative treatment provided adequate results even after a decade.     

Engineering dental pulp-like tissue in vitro

Injury or infection of adult dental pulp often necessitates root canal therapy. This terminates dentin formation and subsequent tooth maturation. In addition, the synthetic materials currently utilized to replace lost tooth structure are not capable of completely replacing the function of the lost tissue, and often fail over time. This report describes a technique to engineer new pulp-like tissues utilizing cultured cells and synthetic extracellular matrices. Fibroblasts were obtained from human adult dental pulps and multiplied in culture. These cells were subsequently seeded onto synthetic matrices fabricated from fibers (approximately 15 microns in diameter) of polyglycolic acid (PGA). The pulp-derived fibroblasts adhered to the fibers, proliferated, and formed a new tissue over 60 days in culture with a cellularity similar to that of native pulp. These tissues may find application in the regeneration of oral tissues and may provide novel systems in which to study the biocompatibility of materials and chemicals used in dentistry.