156 research outputs found

    Weak Sequential Composition in Process Algebras

    Get PDF
    n this paper we study a special operator for sequential composition, which is defined relative to a dependency relation over the actions of a given system. The idea is that actions which are not dependent (intuitively because they share no common resources) do not have to wait for one another to proceed, even if they are composed sequentially. Such a notion has been studied before in a linear-time setting, but until recently there has been no systematic investigation in the context of process algebras. We give a structural operational semantics for a process algebraic language containing such a sequential composition operator, which shows some interesting interplay with choice. We give a complete axiomatisation of strong bisimilarity and we show consistency of the operational semantics with an event-based denotational semantics developed recently by the second author. The axiom system allows to derive the communication closed layers law, which in the linear time setting has been shown to be a very useful instrument in correctness preserving transformations. We conclude with a couple of examples

    Tension-type headache and sleep apnea in the general population

    Get PDF
    The main objective of this study is to investigate the relationship between tension-type headache and obstructive sleep apnea in the general population. The method involves a cross-sectional population-based study. A random age and gender stratified sample of 40,000 persons aged 20–80 years residing in Akershus, Hedmark or Oppland County, Norway were drawn by the National Population Register. A postal questionnaire containing the Berlin Questionnaire was used to classify respondents to be of either high or low risk of obstructive sleep apnea. Included in this study were 297 persons with high risk and 134 persons with low risk of sleep apnea, aged 30–65 years. They underwent an extensive clinical interview, a physical and a neurological examination by physicians, and in-hospital polysomnography. Those with apnea hypopnoea index (AHI) ≥5 were classified with obstructive sleep apnea. Tension-type headache was diagnosed according to the International Classification of Headache Disorders. Results showed the prevalence of frequent and chronic tension-type headache was 18.7 and 2.1% in the participants with obstructive sleep apnea. The logistic regression analyses showed no significant relationship between tension-type headache and obstructive sleep apnea, with adjusted odds ratios for frequent tension-type headache of 0.95 (0.55–1.62) and chronic tension-type headache of 1.91 (0.37–9.85). The results did not change when using cut-off of moderate (AHI ≥15) and severe (AHI ≥30) obstructive sleep apnea. Thus, we did not find any significant relationship between tension-type headache and the AHI. The presence and severity of sleep apneas seem not to influence presence and attack-frequency of tension-type headache in the general population

    Conventional and molecular epidemiology of Tuberculosis in Manitoba

    Get PDF
    BACKGROUND: To describe the demographic and geographic distribution of tuberculosis (TB) in Manitoba, thus determining risk factors associated with clustering and higher incidence rates in distinct subpopulations. METHODS: Data from the Manitoba TB Registry was compiled to generate a database on 855 patients with tuberculosis and their contacts from 1992–1999. Recovered isolates of M. tuberculosis were typed by IS6110 restriction fragment length polymorphisms. Bivariate and multivariate logistic regression models were used to identify risk factors involved in clustering. RESULTS: A trend to clustering was observed among the Canadian-born treaty Aboriginal subgroup in contrast to the foreign-born. The dominant type, designated fingerprint type 1, accounts for 25.8% of total cases and 75.3% of treaty Aboriginal cases. Among type 1 patients residing in urban areas, 98.9% lived in Winnipeg. In rural areas, 92.8% lived on Aboriginal reserves. Statistical models revealed that significant risk factors for acquiring clustered tuberculosis are gender, age, ethnic origin and residence. Those at increased risk are: males (p < 0.05); those under age 65 (p < 0.01 for each age subgroup); treaty Aboriginals (p < 0.001), and those living on reserve land (p < 0.001). CONCLUSION: Molecular typing of isolates in conjunction with contact tracing data supports the notion of the largest ongoing transmission of a single strain of TB within the treaty-status population of Canada recorded to date. This data demonstrates the necessity of continued surveillance of countries with low prevalence of the disease in order to determine and target high-risk populations for concentrated prevention and control measures

    25th RCOphth Congress, President's Session paper:25 years of progress in medical retina

    Get PDF
    The quarter century since the foundation of the Royal College of Ophthalmologists has coincided with immense change in the subspecialty of medical retina, which has moved from being the province of a few dedicated enthusiasts to being an integral, core part of ophthalmology in every eye department. In age-related macular degeneration, there has been a move away from targeted, destructive laser therapy, dependent on fluorescein angiography to intravitreal injection therapy of anti-growth factor agents, largely guided by optical coherence tomography. As a result of these changes, ophthalmologists have witnessed a marked improvement in visual outcomes for their patients with wet age-related macular degeneration (AMD), while at the same time developing and enacting entirely novel ways of delivering care. In the field of diabetic retinopathy, this period also saw advances in laser technology and a move away from highly destructive laser photocoagulation treatment to gentler retinal laser treatments. The introduction of intravitreal therapies, both steroids and anti-growth factor agents, has further advanced the treatment of diabetic macular oedema. This era has also seen in the United Kingdom the introduction of a coordinated national diabetic retinopathy screening programme, which offers an increasing hope that the burden of blindness from diabetic eye disease can be lessened. Exciting future advances in retinal imaging, genetics, and pharmacology will allow us to further improve outcomes for our patients and for ophthalmologists specialising in medical retina, the future looks very exciting but increasingly busy

    Association between erythrocyte Na+K+-ATPase activity and some blood lipids in type 1 diabetic patients from Lagos, Nigeria

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Altered levels of erythrocyte Na<sup>+</sup>K<sup>+</sup>-ATPase, atherogenic and anti-atherogenic lipid metabolites have been implicated in diabetic complications but their pattern of interactions remains poorly understood.</p> <p>This study evaluated this relationship in Nigerian patients with Type 1 diabetes mellitus.</p> <p>Methods</p> <p>A total of 34 consented Type 1 diabetic patients and age -matched 27 non-diabetic controls were enrolled. Fasting plasma levels of total cholesterol, triglycerides and HDL-cholesterol were determined spectrophotometrically and LDL-cholesterol estimated using Friedewald formula. Total protein content and Na+K+-ATPase activity were also determined spectrophotometrically from ghost erythrocyte membrane prepared by osmotic lysis.</p> <p>Results</p> <p>Results indicate significant (P < 0.05) reduction in Na<sup>+</sup>K<sup>+</sup>-ATPase activity in the Type 1 diabetic patients (0.38 ± 0.08 vs. 0.59 ± 0.07 uM Pi/mgprotein/h) compared to the control but with greater reduction in the diabetic subgroup with poor glycemic control (n = 20) and in whom cases of hypercholesterolemia (8.8%), hypertriglyceridemia (2.9%) and elevated LDL-cholesterol (5.9% each) were found. Correlation analyses further revealed significant (P < 0.05) inverse correlations [r = -(0.708-0.797] between all the atherogenic lipid metabolites measured and Na<sup>+</sup>K<sup>+</sup>-ATPase in this subgroup contrary to group with good glycemic control or non-diabetic subjects in which significant (P < 0.05) Na<sup>+</sup>K<sup>+</sup>-ATPase and HDL-C association were found (r = 0.427 - 0.489). The Na<sup>+</sup>K<sup>+</sup>-ATPase from the diabetic patients also exhibited increased sensitivity to digoxin and alterations in kinetic constants Vmax and Km determined by glycemic status of the patients.</p> <p>Conclusion</p> <p>It can be concluded that poor glycemic control evokes greater reduction in erythrocyte Na<sup>+</sup>K<sup>+</sup>-ATPase activity and promote enzyme-blood atherogenic lipid relationships in Type 1 diabetic Nigerian patients.</p

    The use of preoperative radiotherapy in the management of patients with clinically resectable rectal cancer: a practice guideline

    Get PDF
    BACKGROUND: This systematic review with meta-analysis was designed to evaluate the literature and to develop recommendations regarding the use of preoperative radiotherapy in the management of patients with resectable rectal cancer. METHODS: The MEDLINE, CANCERLIT and Cochrane Library databases, and abstracts published in the annual proceedings of the American Society of Clinical Oncology and the American Society for Therapeutic Radiology and Oncology were systematically searched for evidence. Relevant reports were reviewed by four members of the Gastrointestinal Cancer Disease Site Group and the references from these reports were searched for additional trials. External review by Ontario practitioners was obtained through a mailed survey. Final approval of the practice guideline report was obtained from the Practice Guidelines Coordinating Committee. RESULTS: Two meta-analyses of preoperative radiotherapy versus surgery alone, nineteen trials that compared preoperative radiotherapy plus surgery to surgery alone, and five trials that compared preoperative radiotherapy to alternative treatments were obtained. Randomized trials demonstrate that preoperative radiotherapy followed by surgery is significantly more effective than surgery alone in preventing local recurrence in patients with resectable rectal cancer and it may also improve survival. A single trial, using surgery with total mesorectal excision, has shown similar benefits in local recurrence. CONCLUSION: For adult patients with clinically resectable rectal cancer we conclude that: • Preoperative radiotherapy is an acceptable alternative to the previous practice of postoperative radiotherapy for patients with stage II and III resectable rectal cancer; • Both preoperative and postoperative radiotherapy decrease local recurrence but neither improves survival as much as postoperative radiotherapy combined with chemotherapy. Therefore, if preoperative radiotherapy is used, chemotherapy should be added postoperatively to at least patients with stage III disease

    Clinical performance and radiation dosimetry of no-carrier-added vs carrier-added 123I-metaiodobenzylguanidine (MIBG) for the assessment of cardiac sympathetic nerve activity

    Get PDF
    Purpose We hypothesized that assessment of myocardial sympathetic activity with no-carrier-added (nca) I-123-metaiodobenzylguanidine (MIBG) compared to carrier-added (ca) I-123-MIBG would lead to an improvement of clinical performance without major differences in radiation dosimetry. Methods In nine healthy volunteers, 15 min and 4 h planar thoracic scintigrams and conjugate whole-body scans were performed up to 48 h following intravenous injection of 185 MBq I-123-MIBG. The subjects were given both nca and ca I-123-MIBG. Early heart/mediastinal ratios (H/M), late H/M ratios and myocardial washout were calculated. The fraction of administered activity in ten source organs was quantified from the attenuation-corrected geometric mean counts in conjugate views. Radiation-absorbed doses were estimated with OLINDA/EXM software. Results Both early and late H/M were higher for nca I-123-MIBG (ca I-123-MIBG early H/M 2.46 +/- 0.15 vs nca I-123-MIBG 2.84 +/- 0.15, p = 0.001 and ca I-123-MIBG late H/M 2.69 +/- 0.14 vs nca I-123-MIBG 3.34 +/- 0.18, p = 0.002). Myocardial washout showed a longer retention time for nca I-123-MIBG (p <0.001). The effective dose equivalent (adult male model) for nca I-123-MIBG was similar to that for ca I-123-MIBG (0.025 +/- 0.002 mSv/MBq vs 0.026 +/- 0.002 mSv/MBq, p = 0.055, respectively). Conclusion No-carrier-added I-123-MIBG yields a higher relative myocardial uptake and is associated with a higher myocardial retention. This difference between nca I-123-MIBG and ca I-123-MIBG in myocardial uptake did not result in major differences in estimated absorbed doses. Therefore, nca I-123-MIBG is to be preferred over ca I-123-MIBG for the assessment of cardiac sympathetic activit

    The biological effects of diagnostic cardiac imaging on chronically exposed physicians: the importance of being non-ionizing

    Get PDF
    Ultrasounds and ionizing radiation are extensively used for diagnostic applications in the cardiology clinical practice. This paper reviewed the available information on occupational risk of the cardiologists who perform, every day, cardiac imaging procedures. At the moment, there are no consistent evidence that exposure to medical ultrasound is capable of inducing genetic effects, and representing a serious health hazard for clinical staff. In contrast, exposure to ionizing radiation may result in adverse health effect on clinical cardiologists. Although the current risk estimates are clouded by approximations and extrapolations, most data from cytogenetic studies have reported a detrimental effect on somatic DNA of professionally exposed personnel to chronic low doses of ionizing radiation. Since interventional cardiologists and electro-physiologists have the highest radiation exposure among health professionals, a major awareness is crucial for improving occupational protection. Furthermore, the use of a biological dosimeter could be a reliable tool for the risk quantification on an individual basis
    corecore