Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.\ud \u

Early Markers of Glycaemic Control in Children with Type 1 Diabetes Mellitus

Background: Type 1 diabetes mellitus (T1DM) may lead to severe long-term health consequences. In a longitudinal study, we aimed to identify factors present at diagnosis and 6 months later that were associated with glycosylated haemoglobin (HbA 1c) levels at 24 months after T1DM diagnosis, so that diabetic children at risk of poor glycaemic control may be identified. Methods: 229 children,15 years of age diagnosed with T1DM in the Auckland region were studied. Data collected at diagnosis were: age, sex, weight, height, ethnicity, family living arrangement, socio-economic status (SES), T1DM antibody titre, venous pH and bicarbonate. At 6 and 24 months after diagnosis we collected data on weight, height, HbA 1c level, and insulin dose. Results: Factors at diagnosis that were associated with higher HbA1c levels at 6 months: female sex (p,0.05), lower SES (p,0.01), non-European ethnicity (p,0.01) and younger age (p,0.05). At 24 months, higher HbA1c was associated with lower SES (p,0.001), Pacific Island ethnicity (p,0.001), not living with both biological parents (p,0.05), and greater BMI SDS (p,0.05). A regression equation to predict HbA1c at 24 months was consequently developed. Conclusions: Deterioration in glycaemic control shortly after diagnosis in diabetic children is particularly marked in Pacific Island children and in those not living with both biological parents. Clinicians need to be aware of factors associated wit

Differential expression of immunologic proteins in gingiva after socket preservation in mini pigs

During healing following tooth extraction, inflammation and the immune response within the extraction socket are related to bone resorption. Objective : We sought to identify how the alloplastic material used for socket preservation affects the immune responses and osteoclastic activity within extraction sockets. Material and Methods : Using a porcine model, we extracted teeth and grafted biphasic calcium phosphate into the extraction sockets. We then performed a peptide analysis with samples of gingival tissue from adjacent to the sockets and compared the extraction only (EO) and extraction with socket preservation (SP) groups. We also used real-time polymerase chain reaction (PCR) to evaluate the expression level of immunoglobulins, chemokines and other factors related to osteoclastogenesis. Differences between the groups were analyzed for statistical significance using paired t tests. Results : Levels of IgM, IgG and IGL expression were higher in the EO group than in the SP group 1 week post-extraction, as were the levels of CCL3, CCL5, CXCL2, IFN-γ and TNF-α expression (p<0.05). In addition, receptor activator of nuclear factor kappa-B ligand (RANKL) was also significantly upregulated in the EO group (p<0.05), as were IL-1β, IL-6 and IL-8 (p<0.05). Conclusions : These results suggest that the beneficial effect of socket preservation can be explained by suppression of immune responses and inflammation

Lawson criterion for ignition exceeded in an inertial fusion experiment

For more than half a century, researchers around the world have been engaged in attempts to achieve fusion ignition as a proof of principle of various fusion concepts. Following the Lawson criterion, an ignited plasma is one where the fusion heating power is high enough to overcome all the physical processes that cool the fusion plasma, creating a positive thermodynamic feedback loop with rapidly increasing temperature. In inertially confined fusion, ignition is a state where the fusion plasma can begin "burn propagation" into surrounding cold fuel, enabling the possibility of high energy gain. While "scientific breakeven" (i.e., unity target gain) has not yet been achieved (here target gain is 0.72, 1.37 MJ of fusion for 1.92 MJ of laser energy), this Letter reports the first controlled fusion experiment, using laser indirect drive, on the National Ignition Facility to produce capsule gain (here 5.8) and reach ignition by nine different formulations of the Lawson criterion

Intraperitoneal drain placement and outcomes after elective colorectal surgery: international matched, prospective, cohort study

Despite current guidelines, intraperitoneal drain placement after elective colorectal surgery remains widespread. Drains were not associated with earlier detection of intraperitoneal collections, but were associated with prolonged hospital stay and increased risk of surgical-site infections.Background Many surgeons routinely place intraperitoneal drains after elective colorectal surgery. However, enhanced recovery after surgery guidelines recommend against their routine use owing to a lack of clear clinical benefit. This study aimed to describe international variation in intraperitoneal drain placement and the safety of this practice. Methods COMPASS (COMPlicAted intra-abdominal collectionS after colorectal Surgery) was a prospective, international, cohort study which enrolled consecutive adults undergoing elective colorectal surgery (February to March 2020). The primary outcome was the rate of intraperitoneal drain placement. Secondary outcomes included: rate and time to diagnosis of postoperative intraperitoneal collections; rate of surgical site infections (SSIs); time to discharge; and 30-day major postoperative complications (Clavien-Dindo grade at least III). After propensity score matching, multivariable logistic regression and Cox proportional hazards regression were used to estimate the independent association of the secondary outcomes with drain placement. Results Overall, 1805 patients from 22 countries were included (798 women, 44.2 per cent; median age 67.0 years). The drain insertion rate was 51.9 per cent (937 patients). After matching, drains were not associated with reduced rates (odds ratio (OR) 1.33, 95 per cent c.i. 0.79 to 2.23; P = 0.287) or earlier detection (hazard ratio (HR) 0.87, 0.33 to 2.31; P = 0.780) of collections. Although not associated with worse major postoperative complications (OR 1.09, 0.68 to 1.75; P = 0.709), drains were associated with delayed hospital discharge (HR 0.58, 0.52 to 0.66; P &lt; 0.001) and an increased risk of SSIs (OR 2.47, 1.50 to 4.05; P &lt; 0.001). Conclusion Intraperitoneal drain placement after elective colorectal surgery is not associated with earlier detection of postoperative collections, but prolongs hospital stay and increases SSI risk

Dissecting mechanisms of resistance to targeted drug combination therapy in human colorectal cancer.

Genomic alterations in cancer cells result in vulnerabilities that clinicians can exploit using molecularly targeted drugs, guided by knowledge of the tumour genotype. However, the selective activity of these drugs exerts an evolutionary pressure on cancers that can result in the outgrowth of resistant clones. Use of rational drug combinations can overcome resistance to targeted drugs, but resistance may eventually develop to combinatorial therapies. We selected MAPK- and PI3K-pathway inhibition in colorectal cancer as a model system to dissect out mechanisms of resistance. We focused on these signalling pathways because they are frequently activated in colorectal tumours, have well-characterised mutations and are clinically relevant. By treating a panel of 47 human colorectal cancer cell lines with a combination of MEK- and PI3K-inhibitors, we observe a synergistic inhibition of growth in almost all cell lines. Cells with KRAS mutations are less sensitive to PI3K inhibition, but are particularly sensitive to the combined treatment. Colorectal cancer cell lines with inherent or acquired resistance to monotherapy do not show a synergistic response to the combination treatment. Cells that acquire resistance to an MEK-PI3K inhibitor combination treatment still respond to an ERK-PI3K inhibitor regimen, but subsequently also acquire resistance to this combination treatment. Importantly, the mechanisms of resistance to MEK and PI3K inhibitors observed, MEK1/2 mutation or loss of PTEN, are similar to those detected in the clinic. ERK inhibitors may have clinical utility in overcoming resistance to MEK inhibitor regimes; however, we find a recurrent active site mutation of ERK2 that drives resistance to ERK inhibitors in mono- or combined regimens, suggesting that resistance will remain a hurdle. Importantly, we find that the addition of low concentrations of the BCL2-family inhibitor navitoclax to the MEK-PI3K inhibitor regimen improves the synergistic interaction and blocks the acquisition of resistance

Extending a General-Purpose Algebraic Modeling Language to Combinatorial Optimization: A Logic Programming Approach

this paper is to suggest, by analysis and by example, how we are now in a much improved position to overcome this deadlock. The first part of this paper (sections 1--3) explores combinatorial extensions to th