1,855 research outputs found

    ASTRALogy: Unrealistic Expectations?

    Get PDF
    Revascularization versus medical therapy for renal-arter

    Reasoning about goal-directed real-time teleo-reactive programs

    Get PDF
    The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are particularly useful for implementing controllers for autonomous agents that must react robustly to their dynamically changing environments. In this paper, we develop a real-time logic that is based on Duration Calculus and use this logic to formalise the semantics of teleo-reactive programs. We develop rely/guarantee rules that facilitate reasoning about a program and its environment in a compositional manner. We present several theorems for simplifying proofs of teleo-reactive programs and present a partially mechanised method for proving progress properties of goal-directed agents. © 2013 British Computer Society

    Visceral Leishmaniasis in Traveler to Guyana Caused by Leishmania siamensis, London, UK.

    Get PDF
    The parasite Leishmania siamensis is a zoonotic agent of leishmaniasis; infection in animals has been documented in Europe and the United States. Reported authochthonous human infections have been limited to Thailand. We report a case of human visceral Leishmania siamensis infection acquired in Guyana, suggesting colonization in South America

    Type A interrupted aortic arch with Taussig-Bing anomaly: An unusual indication for staged repair

    Get PDF
    Complex transposition of great arteries (TGA) is when additional cono-truncal anomalies coexist with a TGA. Notable reasons for staged repair include the need to the need to adapt the left ventricle to the systemic high pressures. We report a case of staged repair of Type A Interrupted aortic arch with Taussig-Bing anomaly in a one month old male. Single stage repair could not be done for this patient because of technical difficulties, positive preoperative blood culture and associated airway problem. Patient had a successful two stage surgery involving an initial extended end-to-end anastomosis, PDA ligation with PA Banding and a delayed arterial switch operation done two months later.KEY WORDS: Interrupted aortic arch, arterial switch operation, Taussig-Bing Anomaly, Transposition of Great arteries

    An ongoing case-control study to evaluate the NHS Bowel Cancer Screening Programme

    Get PDF
    © 2014 Massat et al.; licensee BioMed Central. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated

    Occurrence of testicular microlithiasis in androgen insensitive hypogonadal mice

    Get PDF
    <b>Background</b>: Testicular microliths are calcifications found within the seminiferous tubules. In humans, testicular microlithiasis (TM) has an unknown etiology but may be significantly associated with testicular germ cell tumors. Factors inducing microlith development may also, therefore, act as susceptibility factors for malignant testicular conditions. Studies to identify the mechanisms of microlith development have been hampered by the lack of suitable animal models for TM.<BR/> <b>Methods</b>: This was an observational study of the testicular phenotype of different mouse models. The mouse models were: cryptorchid mice, mice lacking androgen receptors (ARs) on the Sertoli cells (SCARKO), mice with a ubiquitous loss of androgen ARs (ARKO), hypogonadal (hpg) mice which lack circulating gonadotrophins, and hpg mice crossed with SCARKO (hpg.SCARKO) and ARKO (hpg.ARKO) mice.<BR/> <b>Results</b>: Microscopic TM was seen in 94% of hpg.ARKO mice (n=16) and the mean number of microliths per testis was 81 +/- 54. Occasional small microliths were seen in 36% (n=11) of hpg testes (mean 2 +/- 0.5 per testis) and 30% (n=10) of hpg.SCARKO testes (mean 8 +/- 6 per testis). No microliths were seen in cryptorchid, ARKO or SCARKO mice. There was no significant effect of FSH or androgen on TM in hpg.ARKO mice.<BR/> <b>Conclusions</b>: We have identified a mouse model of TM and show that lack of endocrine stimulation is a cause of TM. Importantly, this model will provide a means with which to identify the mechanisms of TM development and the underlying changes in protein and gene expression

    Intramuscular myxoid lipoma in the proximal forearm presenting as an olecranon mass with superficial radial nerve palsy: a case report

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Extremity lipomas may occur in any location, including the proximal forearm. We describe a case of a patient with an intramuscular lipoma presenting as an unusual posterior elbow mass.</p> <p>Case presentation</p> <p>We discuss the case of a 57-year-old Caucasian man who presented with a tender, posterior elbow mass initially diagnosed as chronic olecranon bursitis. A minor sensory disturbance in the distribution of the superficial radial nerve was initially thought to be unrelated, but was likely caused by mass effect from the lipoma. No pre-operative advanced imaging was obtained because the diagnosis was felt to have already been made. At the time of surgery, a fatty mass originating in the volar forearm muscles was found to have breached the dorsal forearm fascia and displaced the olecranon bursa. Tissue diagnosis was made by histopathology as a myxoid lipoma with no aggressive features. Post-operative recovery was uneventful.</p> <p>Conclusion</p> <p>We present a case of an unusual elbow mass presenting with symptoms consistent with chronic olecranon bursitis, a relatively common condition. The only unexplained pre-operative finding was the non-specific finding of a transient superficial radial nerve deficit. We remind clinicians to be cautious when diagnosing soft tissue masses in the extremities when unexplained physical findings are present.</p

    A self administered reliable questionnaire to assess lower bowel symptoms

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Bowel symptoms are considered indicators of the presence of colorectal cancer and other bowel diseases. Self administered questionnaires that elicit information about lower bowel symptoms have not been assessed for reliability, although this has been done for upper bowel symptoms. Our aim was to develop a self administered questionnaire for eliciting the presence, nature and severity of lower bowel symptoms potentially related to colorectal cancer, and assess its reliability.</p> <p>Methods</p> <p>Immediately before consulting a gastroenterologist or colorectal surgeon, 263 patients likely to have a colonoscopy completed the questionnaire. Reliability was assessed in two ways: by assessing agreement between patient responses and (a) responses given by the doctor at the consultation; and (b) responses given by patients two weeks later.</p> <p>Results</p> <p>There was more than 75% agreement for 78% of the questions for the patient-doctor comparison and for 92% of the questions for the patient-patient comparison. Agreement for the length of time a symptom was present, its severity, duration, frequency of occurrence and whether or not medical consultation had been sought, all had agreement of greater than 70%. Over all questions, the chance corrected agreement for the patient-doctor comparison had a median kappa of 65% (which represents substantial agreement), interquartile range 57–72%. The patient-patient comparison also showed substantial agreement with a median kappa of 75%, interquartile range 68–81%.</p> <p>Conclusion</p> <p>This self administered questionnaire about lower bowel symptoms is a useful way of eliciting details of bowel symptoms. It is a reliable instrument that is acceptable to patients and easily completed. Its use could guide the clinical consultation, allowing a more efficient, comprehensive and useful interaction, ensuring that all symptoms are assessed. It will also be a useful tool in research studies on bowel symptoms and their predictive value for colorectal cancer and other diseases. Studies assessing whether bowel symptoms predict the presence of colorectal cancer should provide estimates of the reliability of the symptom elicitation.</p

    Sexuality and Affection among Elderly German Men and Women in Long-Term Relationships: Results of a Prospective Population-Based Study

    Get PDF
    This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.The study was funded by the German Federal Ministry for Families, Senior Citizens, Women and Youth (AZ 314-1722-102/16; AZ 301-1720-295/2), the Ministry for Science, Research and Art Baden-Württemberg, and the University of Rostock (FORUN 989020; 889048)
    corecore