Reactive Systems over Cospans

The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for semantic models with an underlying reduction semantics. The derivation procedure requires the presence of certain colimits (or, more usually and generally, bicolimits) which need to be constructed separately within each model. In this paper, we offer a general construction of such bicolimits in a class of bicategories of cospans. The construction sheds light on as well as extends Ehrig and Konig’s rewriting via borrowed contexts and opens the way to a unified treatment of several applications

Deriving Bisimulation Congruences: A 2-Categorical Approach

We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for process calculi where terms are viewed modulo structural congruence. We develop their basic properties and show that bisimulation on the LTS derived via GRPOs is a congruence, provided that sufficiently many GRPOs exist. The theory is applied to a simple subset of CCS and the resulting LTS is compared to one derived using a procedure proposed by Sewell

Deriving Bisimulation Congruences using 2-Categories

We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for process calculi where terms are viewed modulo structural congruence. We develop their basic properties and show that bisimulation on the LTS derived via GRPOs is a congruence, provided that sufficiently many GRPOs exist. The theory is applied to a simple subset of CCS and the resulting LTS is compared to one derived using a procedure proposed by Sewell

A Congruence for Petri Nets

We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings. We derive a labelled transition system (LTS) semantics for such nets using GIPOs and characterise the resulting congruence. Technically, our results are similar to the recent work by Milner on applying the theory of bigraphs to Petri Nets. The two main differences are that we treat p/t nets instead of c/e nets and we deal directly with a category of nets instead of encoding them into bigraphs

Fragmentation of α- and β-alanine molecules by ions at Bragg-peak energies

The interaction of keV He(+), He(2+), and O(5+) ions with isolated alpha and beta isomers of the amino acid alanine was studied by means of high resolution coincidence time-of-flight mass spectrometry. We observed a strong isomer dependence of characteristic fragmentation channels which manifests in strongly altered branching ratios. Despite the ultrashort initial perturbation by the incoming ion, evidence for molecular rearrangement leading to the formation of H(3)(+) was found. The measured kinetic energies of ionic alanine fragments can be sufficient to induce secondary damage to DNA in a biological environment. (C) 2008 American Institute of Physics

Section 5: Cumulative Ecosystem Effects

Section 5 introduces cumulative effects and brings in brief case discussions focused on herring, salmon, and orcas. Understanding the layers of stressors the ecosystem faces is integral to gaining a full picture of declines in ecosystem function

Comparison of single- and multistage strategies during fenestrated-branched endovascular aortic repair of thoracoabdominal aortic aneurysms

Objective: The aim of this study was to compare outcomes of single or multistage approach during fenestrated-branched endovascular aortic repair (FB-EVAR) of extensive thoracoabdominal aortic aneurysms (TAAAs). Methods: We reviewed the clinical data of consecutive patients treated by FB-EVAR for extent I to III TAAAs in 24 centers (2006-2021). All patients received a single brand manufactured patient-specific or off-the-shelf fenestrated-branched stent grafts. Staging strategies included proximal thoracic aortic repair, minimally invasive segmental artery coil embolization, temporary aneurysm sac perfusion and combinations of these techniques. Endpoints were analyzed for elective repair in patients who had a single- or multistage approach before and after propensity score adjustment for baseline differences, including the composite 30-day/in-hospital mortality and/or permanent paraplegia, major adverse event, patient survival, and freedom from aortic-related mortality. Results: A total of 1947 patients (65% male; mean age, 71 ± 8 years) underwent FB-EVAR of 155 extent I (10%), 729 extent II (46%), and 713 extent III TAAAs (44%). A single-stage approach was used in 939 patients (48%) and a multistage approach in 1008 patients (52%). A multistage approach was more frequently used in patients undergoing elective compared with non-elective repair (55% vs 35%; P < .001). Staging strategies were proximal thoracic aortic repair in 743 patients (74%), temporary aneurysm sac perfusion in 128 (13%), minimally invasive segmental artery coil embolization in 10 (1%), and combinations in 127 (12%). Among patients undergoing elective repair (n = 1597), the composite endpoint of 30-day/in-hospital mortality and/or permanent paraplegia rate occurred in 14% of single-stage and 6% of multistage approach patients (P < .001). After adjustment with a propensity score, multistage approach was associated with lower rates of 30-day/in-hospital mortality and/or permanent paraplegia (odds ratio, 0.466; 95% confidence interval, 0.271-0.801; P = .006) and higher patient survival at 1 year (86.9±1.3% vs 79.6±1.7%) and 3 years (72.7±2.1% vs 64.2±2.3%; adjusted hazard ratio, 0.714; 95% confidence interval, 0.528-0.966; P = .029), compared with a single stage approach. Conclusions: Staging elective FB-EVAR of extent I to III TAAAs was associated with decreased risk of mortality and/or permanent paraplegia at 30 days or within hospital stay, and with higher patient survival at 1 and 3 years

Doxycycline versus prednisolone as an initial treatment strategy for bullous pemphigoid: a pragmatic non-inferiority randomised controlled trial

Background: Bullous pemphigoid (BP) is a blistering skin disorder with increased mortality. We tested whether a strategy of starting treatment with doxycycline conveys acceptable short-term blister control whilst conferring long-term safety advantages over starting treatment with oral corticosteroids. Methods: Pragmatic multi-centre parallel-group randomised controlled trial of adults with BP (≥3 blisters ≥2 sites and linear basement membrane IgG/C3) plus economic evaluation. Participants were randomised to doxycycline (200 mg/day) or prednisolone (0·5 mg/kg/day). Localised adjuvant potent topical corticosteroids (<30 g/week) was permitted weeks 1-3. The non-inferiority primary effectiveness outcome was the proportion of participants with ≤3 blisters at 6 weeks. We assumed that doxycycline would be 25% less effective than corticosteroids with a 37% acceptable margin of noninferiority. The primary safety outcome was the proportion with severe, life-threatening or fatal treatment-related adverse events by 52 weeks. Analysis used a regression model adjusting for baseline disease severity, age and Karnofsky score, with missing data imputed. Results: 132 patients were randomised to doxycycline and 121 to prednisolone from 54 UK and 7 German dermatology centres. Mean age was 77·7 years and 68.4% had moderate to severe baseline disease. For those starting doxycycline, 83/112 (74·1%) had ≤3 blisters at 6 weeks compared with 92/101 (91·1%) for prednisolone, a difference of 18·6% favouring prednisolone (upper limit of 90% CI, 26·1%, within the predefined 37% margin). Related severe, life-threatening and fatal events at 52 weeks were 18·5% for those starting doxycycline and 36·6% for prednisolone (mITT analysis), an adjusted difference of 19·0% (95% CI, 7·9%, 30·1%, p=0·001). Conclusions: A strategy of starting BP patients on doxycycline is non-inferior to standard treatment with oral prednisolone for short-term blister control and significantly safer long-term

Semantic Barbs and Biorthogonality

We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory of barbs and demonstrate its robustness by showing that it gives rise to the correct observables in specific process calculi which model synchronous, asynchronous and broadcast communication regimes

Locating Reactions using 2-Categories

Groupoidal relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner's approach to deriving labelled bisimulation congruences from reduction systems. In this paper, we develop the theory of GRPOs further, proving that well-known equivalences, other than bisimulation, are congruences. To demonstrate the type of category theoretic arguments which are inherent in the 2-categorical approach, we construct GRPOs in a category of 'bunches and wirings.' Finally, we prove that the 2-categorical theory of GRPOs is a generalisation of the approaches based on Milner's precategories and Leifer's functorial reactive systems