Automatic cell generation for recurrence structures /

"NSF-OCA-MCS76-81686-000052."--Cover.

An algorithm for solving linear recurrence systems on parallel and pipelined machines /

"UILU-ENG 78 1745."

Sperner's theorem on maximal-sized antichains and its generation /

Includes bibliographical references.

Theorem proving with abstraction, part II /

Supported in part by the National Science Foundation under grant MCS 77-22830.

Some new results on resolution in automated theorem proving,

Issued also as thesis (M.S.) University of Illinois.

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Report of Commission appointed to investigate the cause of recent disastrous explosions in the coal-mines of southeastern Kansas and to suggest some means of preventing the recurrence of such disasters.

"Archie Fulton, Lansing, James A. Orr, Weir City, Edward Bartow, Lawrence."

Binomial theorem and logarithms. For the use of the midshipmen at the naval school, Philadelphia.

Preface signed: William Chauvenet.

Outlines of a system of political economy : written with a view to prove to government and the country, that the cause of the present agricultural distress is entirely artificial, and to suggest a plan for the management of the currency, by which it may be remedied now, and any recurrence of similar evils be prevented in future ; together with the fourth edition of an Essay on the principles of banking /

Goldsmiths'-Kress no. 23743.

The influence of viral genotypes and rejection episodes on the recurrence of hepatitis C after liver transplantation

Purpose. The aim of this study was to report the influence of hepatitis C virus (HCV) genotype and rejection episodes on the outcome of orthotopic liver transplantation (OLT), hepatitis recurrence, and progression to graft cirrhosis after OLT. Methods. Fifty-three patients who all had undergone OLT for end-stage liver cirrhosis were selected for this study. Hepatitis C genotype was determined. Recurrent hepatitis and rejection were diagnosed based on elevated liver function tests and a liver biopsy. Results. The patients were followed up for a mean of 51.9 +/- 34.3 months. The cumulative survival rate was no different in OLT for hepatitis C and OLT for all other liver diseases. After OLT, serum HCV RNA was detected in 93%. Histological recurrence occurred in 85% of all patients. The 1-, 3-, and 5-year recurrence rates were 48%, 77%, and 85%, respectively. Of the 41 patients with recurrent hepatitis C, 4 (10%) had cirrhosis, 18 (44%) had hepatitis with fibrosis, and 91 (46%) had hepatitis without fibrosis at the end of follow-up. A total of 32% of the patients were infected by HCV genotype 1b and 68% by other HCV genotypes. The recurrence rates were significantly higher in patients infected with genotype 1b than in those with other genotypes (p = 0.04). Twenty of 48 patients (42%) experienced acute rejection. There was a strong association between the number of rejection episodes and the incidence of HCV-related cirrhosis (p < 0.01). Conclusion. Our findings showed the genotype 1b to result in a higher recurrence rate after OLT. On the other hand, rejection episodes were associated with a more rapid progression to graft cirrhosis.

Recurrence of Helicobacter pylori infection in adults with intellectual disability

Although Helicobacter pylori infection is very common among particular groups of adults with intellectual disability, the rate of recurrence (reinfection or recrudescence) is unknown in this population. Thirty-six months after successful treatment of H. pylori, 28 adults with intellectual disability were retested using the faecal antigen test. Six (21%) of 28 patients tested positive, giving an approximate yearly recurrence rate of 7%, a rate considerably higher than that in the general popu-lation (

The philosophical significance of Cox's theorem

Cox's theorem states that, under certain assumptions, any measure of belief is isomorphic to a probability measure. This theorem, although intended as a justification of the subjectivist interpretation of probability theory, is sometimes presented as an argument for more controversial theses. Of particular interest is the thesis that the only coherent means of representing uncertainty is via the probability calculus. In this paper I examine the logical assumptions of Cox's theorem and I show how these impinge on the philosophical conclusions thought to be supported by the theorem. I show that the more controversial thesis is not supported by Cox's theorem. (C) 2003 Elsevier Inc. All rights reserved.