Components as processes: an exercise in coalgebraic modeling

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USASoftware components, arising, typically, in systems ’ analysis and design, are characterized by a public interface and a private encapsulated state. They persist (and evolve) in time, according to some behavioural patterns. This paper is an exercise in modeling such components as coalgebras for some kinds of endofunctors on , capturing both (interface) types and behavioural aspects. The construction of component categories, cofibred over the interface space, emerges by generalizing the usual notion of a coalgebra morphism. A collection of composition operators as well as a generic notion of bisimilarity, are discussed

Subtype Specificity of Genetic Loci Associated With Stroke in 16 664 Cases and 32 792 Controls

Background: Genome-wide association studies have identified multiple loci associated with stroke. However, the specific stroke subtypes affected, and whether loci influence both ischemic and hemorrhagic stroke, remains unknown. For loci associated with stroke, we aimed to infer the combination of stroke subtypes likely to be affected, and in doing so assess the extent to which such loci have homogeneous effects across stroke subtypes. Methods: We performed Bayesian multinomial regression in 16 664 stroke cases and 32 792 controls of European ancestry to determine the most likely combination of stroke subtypes affected for loci with published genome-wide stroke associations, using model selection. Cases were subtyped under 2 commonly used stroke classification systems, TOAST (Trial of Org 10172 Acute Stroke Treatment) and causative classification of stroke. All individuals had genotypes imputed to the Haplotype Reference Consortium 1.1 Panel. Results: Sixteen loci were considered for analysis. Seven loci influenced both hemorrhagic and ischemic stroke, 3 of which influenced ischemic and hemorrhagic subtypes under both TOAST and causative classification of stroke. Under causative classification of stroke, 4 loci influenced both small vessel stroke and intracerebral hemorrhage. An EDNRA locus demonstrated opposing effects on ischemic and hemorrhagic stroke. No loci were predicted to influence all stroke subtypes in the same direction, and only one locus (12q24) was predicted to influence all ischemic stroke subtypes. Conclusions: Heterogeneity in the influence of stroke-associated loci on stroke subtypes is pervasive, reflecting differing causal pathways. However, overlap exists between hemorrhagic and ischemic stroke, which may reflect shared pathobiology predisposing to small vessel arteriopathy. Stroke is a complex, heterogeneous disorder requiring tailored analytic strategies to decipher genetic mechanisms

Serum magnesium and calcium levels in relation to ischemic stroke : Mendelian randomization study

ObjectiveTo determine whether serum magnesium and calcium concentrations are causally associated with ischemic stroke or any of its subtypes using the mendelian randomization approach.MethodsAnalyses were conducted using summary statistics data for 13 single-nucleotide polymorphisms robustly associated with serum magnesium (n = 6) or serum calcium (n = 7) concentrations. The corresponding data for ischemic stroke were obtained from the MEGASTROKE consortium (34,217 cases and 404,630 noncases).ResultsIn standard mendelian randomization analysis, the odds ratios for each 0.1 mmol/L (about 1 SD) increase in genetically predicted serum magnesium concentrations were 0.78 (95% confidence interval [CI] 0.69-0.89; p = 1.3 × 10-4) for all ischemic stroke, 0.63 (95% CI 0.50-0.80; p = 1.6 × 10-4) for cardioembolic stroke, and 0.60 (95% CI 0.44-0.82; p = 0.001) for large artery stroke; there was no association with small vessel stroke (odds ratio 0.90, 95% CI 0.67-1.20; p = 0.46). Only the association with cardioembolic stroke was robust in sensitivity analyses. There was no association of genetically predicted serum calcium concentrations with all ischemic stroke (per 0.5 mg/dL [about 1 SD] increase in serum calcium: odds ratio 1.03, 95% CI 0.88-1.21) or with any subtype.ConclusionsThis study found that genetically higher serum magnesium concentrations are associated with a reduced risk of cardioembolic stroke but found no significant association of genetically higher serum calcium concentrations with any ischemic stroke subtype

Subtype Specificity of Genetic Loci Associated With Stroke in 16 664 Cases and 32 792 Controls

Background: Genome-wide association studies have identified multiple loci associated with stroke. However, the specific stroke subtypes affected, and whether loci influence both ischemic and hemorrhagic stroke, remains unknown. For loci associated with stroke, we aimed to infer the combination of stroke subtypes likely to be affected, and in doing so assess the extent to which such loci have homogeneous effects across stroke subtypes. Methods: We performed Bayesian multinomial regression in 16 664 stroke cases and 32 792 controls of European ancestry to determine the most likely combination of stroke subtypes affected for loci with published genome-wide stroke associations, using model selection. Cases were subtyped under 2 commonly used stroke classification systems, TOAST (Trial of Org 10172 Acute Stroke Treatment) and causative classification of stroke. All individuals had genotypes imputed to the Haplotype Reference Consortium 1.1 Panel. Results: Sixteen loci were considered for analysis. Seven loci influenced both hemorrhagic and ischemic stroke, 3 of which influenced ischemic and hemorrhagic subtypes under both TOAST and causative classification of stroke. Under causative classification of stroke, 4 loci influenced both small vessel stroke and intracerebral hemorrhage. An EDNRA locus demonstrated opposing effects on ischemic and hemorrhagic stroke. No loci were predicted to influence all stroke subtypes in the same direction, and only one locus (12q24) was predicted to influence all ischemic stroke subtypes. Conclusions: Heterogeneity in the influence of stroke-associated loci on stroke subtypes is pervasive, reflecting differing causal pathways. However, overlap exists between hemorrhagic and ischemic stroke, which may reflect shared pathobiology predisposing to small vessel arteriopathy. Stroke is a complex, heterogeneous disorder requiring tailored analytic strategies to decipher genetic mechanisms

The UK Biobank imaging enhancement of 100,000 participants: rationale, data collection, management and future directions

UK Biobank is a population-based cohort of half a million participants aged 40–69 years recruited between 2006 and 2010. In 2014, UK Biobank started the world’s largest multi-modal imaging study, with the aim of re-inviting 100,000 participants to undergo brain, cardiac and abdominal magnetic resonance imaging, dual-energy X-ray absorptiometry and carotid ultrasound. The combination of large-scale multi-modal imaging with extensive phenotypic and genetic data offers an unprecedented resource for scientists to conduct health-related research. This article provides an in-depth overview of the imaging enhancement, including the data collected, how it is managed and processed, and future direction

Local therapy of cancer with free IL-2

This is a position paper about the therapeutic effects of locally applied free IL-2 in the treatment of cancer. Local therapy: IL-2 therapy of cancer was originally introduced as a systemic therapy. This therapy led to about 20% objective responses. Systemic therapy however was very toxic due to the vascular leakage syndrome. Nevertheless, this treatment was a break-through in cancer immunotherapy and stimulated some interesting questions: Supposing that the mechanism of IL-2 treatment is both proliferation and tumoricidal activity of the tumor infiltrating cells, then locally applied IL-2 should result in a much higher local IL-2 concentration than systemic IL-2 application. Consequently a greater beneficial effect could be expected after local IL-2 application (peritumoral = juxtatumoral, intratumoral, intra-arterial, intracavitary, or intratracheal = inhalation). Free IL-2: Many groups have tried to prepare a more effective IL-2 formulation than free IL-2. Examples are slow release systems, insertion of the IL-2 gene into a tumor cell causing prolonged IL-2 release. However, logistically free IL-2 is much easier to apply; hence we concentrated in this review and in most of our experiments on the use of free IL-2. Local therapy with free IL-2 may be effective against transplanted tumors in experimental animals, and against various spontaneous carcinomas, sarcomas, and melanoma in veterinary and human cancer patients. It may induce rejection of very large, metastasized tumor loads, for instance advanced clinical tumors. The effects of even a single IL-2 application may be impressive. Not each tumor or tumor type is sensitive to local IL-2 application. For instance transplanted EL4 lymphoma or TLX9 lymphoma were not sensitive in our hands. Also the extent of sensitivity differs: In Bovine Ocular Squamous Cell Carcinoma (BOSCC) often a complete regression is obtained, whereas with the Bovine Vulval Papilloma and Carcinoma Complex (BVPCC) mainly stable disease is attained. Analysis of the results of local IL-2 therapy in 288 cases of cancer in human patients shows that there were 27% Complete Regressions (CR), 23% Partial Regressions (PR), 18% Stable Disease (SD), and 32% Progressive Disease (PD). In all tumors analyzed, local IL-2 therapy was more effective than systemic IL-2 treatment. Intratumoral IL-2 applications are more effective than peritumoral application or application at a distant site. Tumor regression induced by intratumoral IL-2 application may be a fast process (requiring about a week) in the case of a highly vascular tumor since IL-2 induces vascular leakage/edema and consequently massive tumor necrosis. The latter then stimulates an immune response. In less vascular tumors or less vascular tumor sites, regression may require 9–20 months; this regression is mainly caused by a cytotoxic leukocyte reaction. Hence the disadvantageous vascular leakage syndrome complicating systemic treatment is however advantageous in local treatment, since local edema may initiate tumor necrosis. Thus the therapeutic effect of local IL-2 treatment is not primarily based on tumor immunity, but tumor immunity seems to be useful as a secondary component of the IL-2 induced local processes. If local IL-2 is combined with surgery, radiotherapy or local chemotherapy the therapeutic effect is usually greater than with either therapy alone. Hence local free IL-2 application can be recommended as an addition to standard treatment protocols. Local treatment with free IL-2 is straightforward and can readily be applied even during surgical interventions. Local IL-2 treatment is usually without serious side effects and besides minor complaints it is generally well supported. Only small quantities of IL-2 are required. Hence the therapy is relatively cheap. A single IL-2 application of 4.5 million U IL-2 costs about 70 Euros. Thus combined local treatment may offer an alternative in those circumstances when more expensive forms of treatment are not available, for instance in resource poor countries

Relating coalgebraic notions of bisimulation

The theory of coalgebras, for an endofunctor on a category, has been proposed as a general theory of transition systems. We investigate and relate four generalizations of bisimulation to this setting, providing conditions under which the four different generalizations coincide. We study transfinite sequences whose limits are the greatest bisimulations

Risk factors and prognosis of young stroke. The FUTURE study: A prospective cohort study. Study rationale and protocol

Contains fulltext : 98322.pdf (postprint version ) (Open Access)BACKGROUND: Young stroke can have devastating consequences with respect to quality of life, the ability to work, plan or run a family, and participate in social life. Better insight into risk factors and the long-term prognosis is extremely important, especially in young stroke patients with a life expectancy of decades. To date, detailed information on risk factors and the long-term prognosis in young stroke patients, and more specific risk of mortality or recurrent vascular events, remains scarce. METHODS/DESIGN: The FUTURE study is a prospective cohort study on risk factors and prognosis of young ischemic and hemorrhagic stroke among 1006 patients, aged 18-50 years, included in our study database between 1-1-1980 and 1-11-2010. Follow-up visits at our research centre take place from the end of 2009 until the end of 2011. Control subjects will be recruited among the patients' spouses, relatives or social environment. Information on mortality and incident vascular events will be retrieved via structured questionnaires. In addition, participants are invited to the research centre to undergo an extensive sub study including MRI. DISCUSSION: The FUTURE study has the potential to make an important contribution to increase the knowledge on risk factors and long-term prognosis in young stroke patients. Our study differs from previous studies by having a maximal follow-up of more than 30 years, including not only TIA and ischemic stroke but also hemorrhagic stroke, the addition of healthy controls and prospectively collect data during an extensive follow-up visit. Completion of the FUTURE study may provide better information for treating physicians and patients with respect to the prognosis of young stroke.8 p

Serum magnesium and calcium levels in relation to ischemic stroke : Mendelian randomization study

ObjectiveTo determine whether serum magnesium and calcium concentrations are causally associated with ischemic stroke or any of its subtypes using the mendelian randomization approach.MethodsAnalyses were conducted using summary statistics data for 13 single-nucleotide polymorphisms robustly associated with serum magnesium (n = 6) or serum calcium (n = 7) concentrations. The corresponding data for ischemic stroke were obtained from the MEGASTROKE consortium (34,217 cases and 404,630 noncases).ResultsIn standard mendelian randomization analysis, the odds ratios for each 0.1 mmol/L (about 1 SD) increase in genetically predicted serum magnesium concentrations were 0.78 (95% confidence interval [CI] 0.69-0.89; p = 1.3 7 10-4) for all ischemic stroke, 0.63 (95% CI 0.50-0.80; p = 1.6 7 10-4) for cardioembolic stroke, and 0.60 (95% CI 0.44-0.82; p = 0.001) for large artery stroke; there was no association with small vessel stroke (odds ratio 0.90, 95% CI 0.67-1.20; p = 0.46). Only the association with cardioembolic stroke was robust in sensitivity analyses. There was no association of genetically predicted serum calcium concentrations with all ischemic stroke (per 0.5 mg/dL [about 1 SD] increase in serum calcium: odds ratio 1.03, 95% CI 0.88-1.21) or with any subtype.ConclusionsThis study found that genetically higher serum magnesium concentrations are associated with a reduced risk of cardioembolic stroke but found no significant association of genetically higher serum calcium concentrations with any ischemic stroke subtype

A922 Sequential measurement of 1 hour creatinine clearance (1-CRCL) in critically ill patients at risk of acute kidney injury (AKI)

Meeting abstrac