Ultrasonography of gallbladder abnormalities due to schistosomiasis

After malaria, schistosomiasis remains the most important tropical parasitic disease in large parts of the world. Schistosomiasis has recently re-emerged in Southern Europe. Intestinal schistosomiasis is caused by most Schistosoma (S.) spp. pathogenic to humans and leads to chronic inflammation and fibrosis of the colon as well as to liver fibrosis. Gallbladder abnormalities usually occur in patients with advanced hepatic portal fibrosis due to Schistosoma mansoni infection. Occasionally, gallbladder abnormalities have been seen also in children and occurring without associated overt liver abnormalities.The specific S. mansoni-induced gallbladder abnormalities detectable by ultrasound include typical hyperechogenic wall thickening with external gallbladder wall protuberances. The luminal wall surface is smooth. The condition is usually clinically silent although some cases of symptomatic cholecystitis have been described. The ultrasonographic Murphy response is negative. Gallbladder contractility is impaired but sludge and calculi occur rarely. Contrary to other trematodes such as liver flukes, S. mansoni does not obstruct the biliary tract. Advanced gallbladder fibrosis is unlikely to reverse after therapy.

Philippi Grülingii ... Tractatus novus de calculo et suppressione urinae : multis exemplis, observationibus et notis illustratus.

Mode of access: Internet.

Proceedings : WHO Regional Symposium on Vesical Calculus Disease, sponsored by the World Health Organization, Bangkok, Thailand, January 1972 /

Item 507-A-25.

Philosophical, medical, and experimental essays ... /

Contiene: I. On the state of the population in Manchester, and other adjacent places -- II. On the proportional mortality of the small pox and measles, in the several periods of life, and different seasons of the year; together with its comparative fatality to males and females -- III. On the different quantities of rain which fall, at different heights, over the same spot of ground -- IV. On the solution of stones of the urinary and of the gall bladder, by water impregnated with fixed air -- V. On the nature and composition of urinary calculi -- VI. On the internal regulation of hospitals -- VII. On the influence of fixed air on the colours and vegetation of plants -- VIII. On the action of different manures -- IX. On the properties of different absorbents -- X. Miscellaneous observations, cases, and inquiries.

The modern treatment of stone in the bladder by litholapaxy : a description of the operation and instruments, with cases illustrative of the difficulties and complications met with /

Mode of access: Internet.

Observations on the nature and cure of calculus, sea scurvy, consumption, catarrh, and fever: together with conjectures upon several other subjects of physiology and pathology.

Includes two memoirs (p. 171-252) on the laws and on the principle of irritability, translated by Mr. Woodhouse from the French of Dr. Girtanner. The memoirs appeared originally in Observations sur la physique, sur l'histoire naturelle et sur les arts, 1790, vol. xxxvi, p. 422-440; vol. xxxvii, p. 139-154.

Die Krankheiten der Harnblase /

Includes bibliographical references (p. [xi]-xxxi).

Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

The application of methods of uncertain reasoning to the biological classification of river water quality

This thesis presents an investigation into the application of methods of uncertain reasoning to the biological classification of river water quality. Existing biological methods for reporting river water quality are critically evaluated, and the adoption of a discrete biological classification scheme advocated. Reasoning methods for managing uncertainty are explained, in which the Bayesian and Dempster-Shafer calculi are cited as primary numerical schemes. Elicitation of qualitative knowledge on benthic invertebrates is described. The specificity of benthic response to changes in water quality leads to the adoption of a sensor model of data interpretation, in which a reference set of taxa provide probabilistic support for the biological classes. The significance of sensor states, including that of absence, is shown. Novel techniques of directly eliciting the required uncertainty measures are presented. Bayesian and Dempster-Shafer calculi were used to combine the evidence provided by the sensors. The performance of these automatic classifiers was compared with the expert's own discrete classification of sampled sites. Variations of sensor data weighting, combination order and belief representation were examined for their effect on classification performance. The behaviour of the calculi under evidential conflict and alternative combination rules was investigated. Small variations in evidential weight and the inclusion of evidence from sensors absent from a sample improved classification performance of Bayesian belief and support for singleton hypotheses. For simple support, inclusion of absent evidence decreased classification rate. The performance of Dempster-Shafer classification using consonant belief functions was comparable to Bayesian and singleton belief. Recommendations are made for further work in biological classification using uncertain reasoning methods, including the combination of multiple-expert opinion, the use of Bayesian networks, and the integration of classification software within a decision support system for water quality assessment.

Recent developments in computed tomography for urolithiasis: diagnosis and characterization.

Objective. To critically evaluate the current literature in an effort to establish the current role of radiologic imaging, advances in computed tomography (CT) and standard film radiography in the diagnosis, and characterization of urinary tract calculi. Conclusion. CT has a valuable role when utilized prudently during surveillance of patients following endourological therapy. In this paper, we outline the basic principles relating to the effects of exposure to ionizing radiation as a result of CT scanning. We discuss the current developments in low-dose CT technology, which have resulted in significant reductions in CT radiation doses (to approximately one-third of what they were a decade ago) while preserving image quality. Finally, we will discuss an important recent development now commercially available on the latest generation of CT scanners, namely, dual energy imaging, which is showing promise in urinary tract imaging as a means of characterizing the composition of urinary tract calculi.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.