Ecumenical modal logic

The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz' system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings. Prawitz' main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. In a recent work, Ecumenical sequent calculi and a nested system were presented, and some very interesting proof theoretical properties of the systems were established. In this work we extend Prawitz' Ecumenical idea to alethic K-modalities

Foundations for Reliable and Flexible Interactive Multimedia Scores

International audienceInteractive Scores (IS) is a formalism for composing and performing interactive multimedia scores with several applications in video games, live performance installations, and virtual museums. The composer defines the temporal organization of the score by asserting temporal relations (TRs) between temporal objects (TOs). At execution time, the performer may modify the start/stop times of the TOs by triggering interaction points and the system guarantees that all the TRs are satisfied. Implementations of IS and formal models of their behavior have already been proposed, but these do not provide usable means to reason about their properties. In this paper we introduce ReactiveIS, a programming language that fully captures the temporal structure of IS during both composition and execution. For that, we propose a semantics based on tree-like structures representing the execution state of the score at each point in time. The semantics captures the hierarchical aspects of IS and provides an intuitive representation of their execution. We also endow ReactiveIS with a logical semantics based on linear logic, thus widening the reasoning techniques available for IS. We show that ReactiveIS is general enough to capture the full behavior of IS and that it provides declarative ways to increase IS expressivity with, for instance, conditional statements and loops

Acute kidney injury in children

Acute kidney injury (AKI) (previously called acute renal failure) is characterized by a reversible increase in the blood concentration of creatinine and nitrogenous waste products and by the inability of the kidney to regulate fluid and electrolyte homeostasis appropriately. The incidence of AKI in children appears to be increasing, and the etiology of AKI over the past decades has shifted from primary renal disease to multifactorial causes, particularly in hospitalized children. Genetic factors may predispose some children to AKI. Renal injury can be divided into pre-renal failure, intrinsic renal disease including vascular insults, and obstructive uropathies. The pathophysiology of hypoxia/ischemia-induced AKI is not well understood, but significant progress in elucidating the cellular, biochemical and molecular events has been made over the past several years. The history, physical examination, and laboratory studies, including urinalysis and radiographic studies, can establish the likely cause(s) of AKI. Many interventions such as ‘renal-dose dopamine’ and diuretic therapy have been shown not to alter the course of AKI. The prognosis of AKI is highly dependent on the underlying etiology of the AKI. Children who have suffered AKI from any cause are at risk for late development of kidney disease several years after the initial insult. Therapeutic interventions in AKI have been largely disappointing, likely due to the complex nature of the pathophysiology of AKI, the fact that the serum creatinine concentration is an insensitive measure of kidney function, and because of co-morbid factors in treated patients. Improved understanding of the pathophysiology of AKI, early biomarkers of AKI, and better classification of AKI are needed for the development of successful therapeutic strategies for the treatment of AKI

Mycolactone-dependent depletion of endothelial cell thrombomodulin is strongly associated with fibrin deposition in Buruli ulcer lesions

A well-known histopathological feature of diseased skin in Buruli ulcer (BU) is coagulative necrosis caused by the Mycobacterium ulcerans macrolide exotoxin mycolactone. Since the underlying mechanism is not known, we have investigated the effect of mycolactone on endothelial cells, focussing on the expression of surface anticoagulant molecules involved in the protein C anticoagulant pathway. Congenital deficiencies in this natural anticoagulant pathway are known to induce thrombotic complications such as purpura fulimans and spontaneous necrosis. Mycolactone profoundly decreased thrombomodulin (TM) expression on the surface of human dermal microvascular endothelial cells (HDMVEC) at doses as low as 2ng/ml and as early as 8hrs after exposure. TM activates protein C by altering thrombin's substrate specificity, and exposure of HDMVEC to mycolactone for 24 hours resulted in an almost complete loss of the cells' ability to produce activated protein C. Loss of TM was shown to be due to a previously described mechanism involving mycolactone-dependent blockade of Sec61 translocation that results in proteasome-dependent degradation of newly synthesised ER-transiting proteins. Indeed, depletion from cells determined by live-cell imaging of cells stably expressing a recombinant TM-GFP fusion protein occurred at the known turnover rate. In order to determine the relevance of these findings to BU disease, immunohistochemistry of punch biopsies from 40 BU lesions (31 ulcers, nine plaques) was performed. TM abundance was profoundly reduced in the subcutis of 78% of biopsies. Furthermore, it was confirmed that fibrin deposition is a common feature of BU lesions, particularly in the necrotic areas. These findings indicate that there is decreased ability to control thrombin generation in BU skin. Mycolactone's effects on normal endothelial cell function, including its ability to activate the protein C anticoagulant pathway are strongly associated with this. Fibrin-driven tisischemia could contribute to the development of the tissue necrosis seen in BU lesions

Acute cardiac injury after subarachnoid haemorrhage: two case reports

It is well known that cardiopulmonary complications are often associated to subarachnoid haemorrhage. For appropriate therapeutic managing it is very important to distinguish acute coronary syndrome from neurogenic myocardial injury, which is a reversible condition. Furthermore, because the hearts of brain dead patients may be utilized for therapeutic purpose, it has became of importance to rule out erroneous diagnosis of cardiac ischemia in order to avoid rejection of hearts potential suitable for transplantation

Body composition in male elite athletes, comparison of bioelectrical impedance spectroscopy with dual energy X-ray absorptiometry

<p>Abstract</p> <p>Background</p> <p>The aim of this study was to compare body composition results from bioelectrical spectroscopy (BIS) with results from dual energy X-ray absorptiometry (DXA) in a population of male elite athletes. Body composition was assessed using DXA (Lunar Prodigy, GE Lunar Corp., Madison, USA) and BIS (Hydra 4200, Xitron Technologies Inc, San Diego, California, USA) at the same occasion. Agreement between methods was assessed using paired t-tests and agreement-plots.</p> <p>Results</p> <p>Thirty-three male elite athletes (soccer and ice hockey) were included in the study. The results showed that BIS underestimates the proportion of fat mass by 4.6% points in the ice hockey players. In soccer players the BIS resulted in a lower mean fat mass by 1.1% points. Agreement between the methods at the individual level was highly variable.</p> <p>Conclusion</p> <p>Body composition results assessed by BIS in elite athletes should be interpreted with caution, especially in individual subjects. BIS may present values of fat mass that is either higher or lower than fat mass assessed by DXA, independent of true fat content of the individual.</p

Pre-Exposure to 50 Hz Magnetic Fields Modifies Menadione-Induced Genotoxic Effects in Human SH-SY5Y Neuroblastoma Cells

BACKGROUND: Extremely low frequency (ELF) magnetic fields (MF) are generated by power lines and various electric appliances. They have been classified as possibly carcinogenic by the International Agency for Research on Cancer, but a mechanistic explanation for carcinogenic effects is lacking. A previous study in our laboratory showed that pre-exposure to ELF MF altered cancer-relevant cellular responses (cell cycle arrest, apoptosis) to menadione-induced DNA damage, but it did not include endpoints measuring actual genetic damage. In the present study, we examined whether pre-exposure to ELF MF affects chemically induced DNA damage level, DNA repair rate, or micronucleus frequency in human SH-SY5Y neuroblastoma cells. METHODOLOGY/PRINCIPAL FINDINGS: Exposure to 50 Hz MF was conducted at 100 µT for 24 hours, followed by chemical exposure for 3 hours. The chemicals used for inducing DNA damage and subsequent micronucleus formation were menadione and methyl methanesulphonate (MMS). Pre-treatment with MF enhanced menadione-induced DNA damage, DNA repair rate, and micronucleus formation in human SH-SY5Y neuroblastoma cells. Although the results with MMS indicated similar effects, the differences were not statistically significant. No effects were observed after MF exposure alone. CONCLUSIONS: The results confirm our previous findings showing that pre-exposure to MFs as low as 100 µT alters cellular responses to menadione, and show that increased genotoxicity results from such interaction. The present findings also indicate that complementary data at several chronological points may be critical for understanding the MF effects on DNA damage, repair, and post-repair integrity of the genome

Anthropometric Variables Accurately Predict Dual Energy X-Ray Absorptiometric-Derived Body Composition and Can Be Used to Screen for Diabetes

The current world-wide epidemic of obesity has stimulated interest in developing simple screening methods to identify individuals with undiagnosed diabetes mellitus type 2 (DM2) or metabolic syndrome (MS). Prior work utilizing body composition obtained by sophisticated technology has shown that the ratio of abdominal fat to total fat is a good predictor for DM2 or MS. The goals of this study were to determine how well simple anthropometric variables predict the fat mass distribution as determined by dual energy x-ray absorptometry (DXA), and whether these are useful to screen for DM2 or MS within a population. To accomplish this, the body composition of 341 females spanning a wide range of body mass indices and with a 23% prevalence of DM2 and MS was determined using DXA. Stepwise linear regression models incorporating age, weight, height, waistline, and hipline predicted DXA body composition (i.e., fat mass, trunk fat, fat free mass, and total mass) with good accuracy. Using body composition as independent variables, nominal logistic regression was then performed to estimate the probability of DM2. The results show good discrimination with the receiver operating characteristic (ROC) having an area under the curve (AUC) of 0.78. The anthropometrically-derived body composition equations derived from the full DXA study group were then applied to a group of 1153 female patients selected from a general endocrinology practice. Similar to the smaller study group, the ROC from logistical regression using body composition had an AUC of 0.81 for the detection of DM2. These results are superior to screening based on questionnaires and compare favorably with published data derived from invasive testing, e.g., hemoglobin A1c. This anthropometric approach offers promise for the development of simple, inexpensive, non-invasive screening to identify individuals with metabolic dysfunction within large populations

Do aluminium-based phosphate binders continue to have a role in contemporary nephrology practice?

Background: Aluminium-containing phosphate binders have long been used for treatment of hyperphosphatemia in dialysis patients. Their safety became controversial in the early 1980's after reports of aluminium related neurological and bone disease began to appear. Available historical evidence however, suggests that neurological toxicity may have primarily been caused by excessive exposure to aluminium in dialysis fluid, rather than aluminium-containing oral phosphate binders. Limited evidence suggests that aluminium bone disease may also be on the decline in the era of aluminium removal from dialysis fluid, even with continued use of aluminium binders