Toward Comprehensive Specification of Distributed Systems

A new approach to modelling distributed systems is presented. It uses sequential processes and event synchronization as building blocks to construct a cohesive picture of the interdependent requirements for the functionality, architecture, scheduling policies, and performance attributes of a distributed system. A language called CSPS (an extension of Hoare\u27s CSP) is used in the illustration of the approach. Employing CSP as a base allows modelled systems to be verified using techniques already developed for verifying CSP programs and leads to the emergence of a uniform incremental strategy for verifying both logical and performance properties of distributed systems. Several small distributed systems have been modelled using this approach. These exercises enabled us to evaluate the notation system and to gain some expertise on how to approach the specification of distributed systems. This paper describes one of the models and the modelling strategy that has emerged from these exercises

Multicohort cross-sectional study of cognitive and behavioural digital biomarkers in neurodegeneration: the Living Lab Study protocol

INTRODUCTION AND AIMS: Digital biomarkers can provide a cost-effective, objective and robust measure for neurological disease progression, changes in care needs and the effect of interventions. Motor function, physiology and behaviour can provide informative measures of neurological conditions and neurodegenerative decline. New digital technologies present an opportunity to provide remote, high-frequency monitoring of patients from within their homes. The purpose of the living lab study is to develop novel digital biomarkers of functional impairment in those living with neurodegenerative disease (NDD) and neurological conditions. METHODS AND ANALYSIS: The Living Lab study is a cross-sectional observational study of cognition and behaviour in people living with NDDs and other, non-degenerative neurological conditions. Patients (n≥25 for each patient group) with dementia, Parkinson's disease, amyotrophic lateral sclerosis, mild cognitive impairment, traumatic brain injury and stroke along with controls (n≥60) will be pragmatically recruited. Patients will carry out activities of daily living and functional assessments within the Living Lab. The Living Lab is an apartment-laboratory containing a functional kitchen, bathroom, bed and living area to provide a controlled environment to develop novel digital biomarkers. The Living Lab provides an important intermediary stage between the conventional laboratory and the home. Multiple passive environmental sensors, internet-enabled medical devices, wearables and electroencephalography (EEG) will be used to characterise functional impairments of NDDs and non-NDD conditions. We will also relate these digital technology measures to clinical and cognitive outcomes. ETHICS AND DISSEMINATION: Ethical approvals have been granted by the Imperial College Research Ethics Committee (reference number: 21IC6992). Results from the study will be disseminated at conferences and within peer-reviewed journals

A randomised phase II multicentre trial of irinotecan (CPT-11) using four different schedules in patients with metastatic colorectal cancer

The purpose of this phase II trial was to compare the efficacy, safety and pharmacokinetics of four irinotecan schedules for the treatment of metastatic colorectal cancer. In total, 174 5-fluorouracil pretreated patients were randomised to: arm A (n=41), 350 mg m(-2) irinotecan as a 90-min i.v. infusion q3 weeks; arm B (n=38), 125 mg m(-2) irinotecan as a 90-min i.v. infusion weekly x 4 weeks q6 weeks; arm C (n=46), 250 mg m(-2) irinotecan as a 90-min i.v. infusion q2 weeks; or arm D (n=49), 10 mg m(-2) day(-1) irinotecan as a 14-day continuous infusion q3 weeks. No significant differences in efficacy across the four arms were observed, although a shorter time to treatment failure was noted for arm D (1.7 months; P=0.02). Overall response rates were in the range 5-11%. Secondary end points included median survival (6.4-9.4 months), and time to progression (2.7-3.8 months) and treatment failure (1.7-3.2 months). Similarly, there were no significant differences in the incidence of grade 3-4 toxicities, although the toxicity profile between arms A, B, and C and D did differ. Generally, significantly less haematologic toxicity, alopecia and cholinergic syndrome were observed in arm D; however, there was a trend for increased gastrointestinal toxicity. Irinotecan is an effective and safe second-line treatment for colorectal cancer. The schedules examined yielded equivalent results, indicating that there is no advantage of the prolonged vs short infusion schedule

Stability mechanisms of a thermophilic laccase probed by molecular dynamics.

Laccases are highly stable, industrially important enzymes capable of oxidizing a large range of substrates. Causes for their stability are, as for other proteins, poorly understood. In this work, multiple-seed molecular dynamics (MD) was applied to a Trametes versicolor laccase in response to variable ionic strengths, temperatures, and glycosylation status. Near-physiological conditions provided excellent agreement with the crystal structure (average RMSD ∼0.92 Å) and residual agreement with experimental B-factors. The persistence of backbone hydrogen bonds was identified as a key descriptor of structural response to environment, whereas solvent-accessibility, radius of gyration, and fluctuations were only locally relevant. Backbone hydrogen bonds decreased systematically with temperature in all simulations (∼9 per 50 K), probing structural changes associated with enthalpy-entropy compensation. Approaching T opt (∼350 K) from 300 K, this change correlated with a beginning "unzipping" of critical β-sheets. 0 M ionic strength triggered partial denucleation of the C-terminal (known experimentally to be sensitive) at 400 K, suggesting a general salt stabilization effect. In contrast, F(-) (but not Cl(-)) specifically impaired secondary structure by formation of strong hydrogen bonds with backbone NH, providing a mechanism for experimentally observed small anion destabilization, potentially remedied by site-directed mutagenesis at critical intrusion sites. N-glycosylation was found to support structural integrity by increasing persistent backbone hydrogen bonds by ∼4 across simulations, mainly via prevention of F(-) intrusion. Hydrogen-bond loss in distinct loop regions and ends of critical β-sheets suggest potential strategies for laboratory optimization of these industrially important enzymes

Observaţii fenologice asupra speciei Cotoneaster Horizontalis în condiţiile judeţului Iaşi

From the multitude of dendrological species, Cotoneaster genus, with all the species included, is particularly important in garden design, especially that the conditions of our country are generally favorable and very favorable for the growth of these species. The purpose of the paper is to highlight the ornamental potential of the most popular specie of Cotoneaster genus, respectively Cotoneaster horizontalis that was studied in the Iasi region conditions. During the growing season there were made observations and determinations concerning shoots annual growth rate, the growth rhythm of leaves and the number of flowers on the stem

Irinotecan combined with fluorouracil compared with fluorouracil alone as first-line treatment for metastatic colorectal cancer: a multicentre randomised trial

Irinotecan is active against colorectal cancer in patients whose disease is refractory to fluorouracil. We investigated the efficacy of these two agents combined for first-line treatment of metastatic colorectal cancer