Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Lightweight scheduler sampling brings statistical model checking to nondeterministic formalisms with undiscounted properties, in constant memory. Its direct application to continuous-time models is rendered ineffective by their dense concrete state spaces and the need to consider continuous input for optimal decisions. In this paper we describe the challenges and state of the art in applying lightweight scheduler sampling to three continuous-time formalisms: After a review of recent work on exploiting discrete abstractions for probabilistic timed automata, we discuss scheduler sampling for Markov automata and apply it on two case studies. We provide further insights into the tradeoffs between scheduler classes for stochastic automata. Throughout, we present extended experiments and new visualisations of the distribution of schedulers.</p

Comparison of spontaneous with controlled mode of ventilation in tonsillectomy

Methods: This randomized study compares spontaneous versus controlled ventilation in 60 ASA I and II patients undergoing tonsillectomy as regards haemodynamic stability, recovery characteristics, intra- and immediate postoperative complications and surgical impressions.Results: The patients in the balanced anaesthesia (B) group showed less haemodynamic variability compared to baseline after tracheal intubation, mouth gag application and removal and incision. Two patients had dysrhythmias in the B group compared to six in the spontaneous breathing (S) group. Six patients in the S group had a rise in endtidal carbon dioxide concentration above 7.8 kPa (60 mmHg). Recovery scores were higher in the B group at 10 and 20 min into recovery. The surgical impression of bleeding and jaw relaxation was similar with both groups. The incidence of postoperative nausea and vomiting and agitation was higher in the S group but did not achieve statistical significance.CONCLUSION: Use of balanced anaesthesia offered more haemodynamic stability and a rapid recovery

Additional consensus recommendations for conducting complex innovative trials of oncology agents: a post-pandemic perspective

In our 2020 consensus paper, we devised ten recommendations for conducting Complex Innovative Design (CID) trials to evaluate cancer drugs. Within weeks of its publication, the UK was hit by the first wave of the SARS-CoV-2 pandemic. Large CID trials were prioritised to compare the efficacy of new and repurposed COVID-19 treatments and inform regulatory decisions. The unusual circumstances of the pandemic meant studies such as RECOVERY were opened almost immediately and recruited record numbers of participants. However, trial teams were required to make concessions and adaptations to these studies to ensure recruitment was rapid and broad. As these are relevant to cancer trials that enrol patients with similar risk factors, we have added three new recommendations to our original ten: employing pragmatism such as using focused information sheets and collection of only the most relevant data; minimising negative environmental impacts with paperless systems; and using direct-to-patient communication methods to improve uptake. These recommendations can be applied to all oncology CID trials to improve their inclusivity, uptake and efficiency. Above all, the success of CID studies during the COVID-19 pandemic underscores their efficacy as tools for rapid treatment evaluation

Surfaceome interrogation using an RNA-seq approach highlights leukemia initiating cell biomarkers in an LMO2 T cell transgenic model.

The surfaceome is critical because surface proteins provide a gateway for internal signals and transfer of molecules into cells, and surfaceome differences can influence therapy response. We have used a surfaceome analysis method, based on comparing RNA-seq data between normal and abnormal cells (Surfaceome DataBase Mining or Surfaceome DBM), to identify sets of upregulated cell surface protein mRNAs in an LMO2-mediated T-ALL mouse model and corroborated by protein detection using antibodies. In this model the leukemia initiating cells (LICs) comprise pre-leukaemic, differentiation inhibited thymocytes allowing us to provide a profile of the LIC surfaceome in which GPR56, CD53 and CD59a are co-expressed with CD25. Implementation of cell surface interaction assays demonstrates fluid interaction of surface proteins and CD25 is only internalized when co-localized with other proteins. The Surfaceome DBM approach to analyse cancer cell surfaceomes is a way to find targetable surface biomarkers for clinical conditions where RNA-seq data from normal and abnormal cell are available

The Global COVID-19 Observatory and Resource Center for Childhood Cancer: A response for the pediatric oncology community by SIOP and St. Jude Global

The COVID-19 pandemic quickly led to an abundance of publications and recommendations, despite a paucity of information on how COVID-19 affects children with cancer. This created a dire need for a trusted resource with curated information and a space for the pediatric oncology community to share experiences. The Global COVID-19 Observatory and Resource Center for Childhood Cancer was developed, launched, and maintained by the International Society of Pediatric Oncology and St. Jude Children's Research Hospital. The three components (Resource Library, Global Registry, and Collaboration Space) complement each other, establishing a mechanism to generate and transfer knowledge rapidly throughout the community

Effective delivery of Complex Innovative Design (CID) cancer trials—A consensus statement

The traditional cancer drug development pathway is increasingly being superseded by trials that address multiple clinical questions. These are collectively termed Complex Innovative Design (CID) trials. CID trials not only assess the safety and toxicity of novel anticancer medicines but also their efficacy in biomarker-selected patients, specific cancer cohorts or in combination with other agents. They can be adapted to include new cohorts and test additional agents within a single protocol. Whilst CID trials can speed up the traditional route to drug licencing, they can be challenging to design, conduct and interpret. The Experimental Cancer Medicine Centres (ECMC) network, funded by the National Institute for Health Research (NIHR), Cancer Research UK (CRUK) and the Health Boards of Wales, Northern Ireland and Scotland, formed a working group with relevant stakeholders from clinical trials units, the pharmaceutical industry, funding bodies, regulators and patients to identify the main challenges of CID trials. The working group generated ten consensus recommendations. These aim to improve the conduct, quality and acceptability of oncology CID trials in clinical research and, importantly, to expedite the process by which effective treatments can reach cancer patients

Useful pharmacodynamic endpoints in children: selection, measurement, and next steps.

Pharmacodynamic (PD) endpoints are essential for establishing the benefit-to-risk ratio for therapeutic interventions in children and neonates. This article discusses the selection of an appropriate measure of response, the PD endpoint, which is a critical methodological step in designing pediatric efficacy and safety studies. We provide an overview of existing guidance on the choice of PD endpoints in pediatric clinical research. We identified several considerations relevant to the selection and measurement of PD endpoints in pediatric clinical trials, including the use of biomarkers, modeling, compliance, scoring systems, and validated measurement tools. To be useful, PD endpoints in children need to be clinically relevant, responsive to both treatment and/or disease progression, reproducible, and reliable. In most pediatric disease areas, this requires significant validation efforts. We propose a minimal set of criteria for useful PD endpoint selection and measurement. We conclude that, given the current heterogeneity of pediatric PD endpoint definitions and measurements, both across and within defined disease areas, there is an acute need for internationally agreed, validated, and condition-specific pediatric PD endpoints that consider the needs of all stakeholders, including healthcare providers, policy makers, patients, and families.Pediatric Research advance online publication, 11 April 2018; doi:10.1038/pr.2018.38

The Cognitive Ecology of the Internet

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet

Transcriptional responses of Burkholderia cenocepacia to polymyxin B in isogenic strains with diverse polymyxin B resistance phenotypes

<p>Abstract</p> <p>Background</p> <p><it>Burkholderia cenocepacia </it>is a Gram-negative opportunistic pathogen displaying high resistance to antimicrobial peptides and polymyxins. We identified mechanisms of resistance by analyzing transcriptional changes to polymyxin B treatment in three isogenic <it>B. cenocepacia </it>strains with diverse polymyxin B resistance phenotypes: the polymyxin B-resistant parental strain K56-2, a polymyxin B-sensitive K56-2 mutant strain with heptoseless lipopolysaccharide (LPS) (RSF34), and a derivative of RSF34 (RSF34 4000B) isolated through multiple rounds of selection in polymyxin B that despite having a heptoseless LPS is highly polymyxin B-resistant.</p> <p>Results</p> <p>A heptoseless LPS mutant of <it>B. cenocepacia </it>was passaged through multiple rounds of selection to regain high levels of polymyxin B-resistance. This process resulted in various phenotypic changes in the isolate that could contribute to polymyxin B resistance and are consistent with LPS-independent changes in the outer membrane. The transcriptional response of three <it>B. cenocepacia </it>strains to subinhibitory concentrations of polymyxin B was analyzed using microarray analysis and validated by quantitative Real Time-PCR. There were numerous baseline changes in expression between the three strains in the absence of polymyxin B. In both K56-2 and RSF34, similar transcriptional changes upon treatment with polymyxin B were found and included upregulation of various genes that may be involved in polymyxin B resistance and downregulation of genes required for the synthesis and operation of flagella. This last result was validated phenotypically as both swimming and swarming motility were impaired in the presence of polymyxin B. RSF34 4000B had altered the expression in a larger number of genes upon treatment with polymyxin B than either K56-2 or RSF34, but the relative fold-changes in expression were lower.</p> <p>Conclusions</p> <p>It is possible to generate polymyxin B-resistant isolates from polymyxin B-sensitive mutant strains of <it>B. cenocepacia</it>, likely due to the multifactorial nature of polymyxin B resistance of this bacterium. Microarray analysis showed that <it>B. cenocepacia </it>mounts multiple transcriptional responses following exposure to polymyxin B. Polymyxin B-regulated genes identified in this study may be required for polymyxin B resistance, which must be tested experimentally. Exposure to polymyxin B also decreases expression of flagellar genes resulting in reduced swimming and swarming motility.</p

Effectiveness of adjuvant occupational therapy in employees with depression: design of a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Major depressive disorder is among the medical conditions with the highest negative impact on work outcome. However, little is known regarding evidence-based interventions targeting the improvement of work outcomes in depressed employees. In this paper, the design of a randomized controlled trial is presented in order to evaluate the effectiveness of adjuvant occupational therapy in employees with depression. This occupational intervention is based on an earlier intervention, which was designed and proven effective by our research group, and is the only intervention to date that specifically targets work outcome in depressed employees.</p> <p>Methods/Design</p> <p>In a two-arm randomized controlled trial, a total of 117 participants are randomized to either 'care as usual' or <it>' </it>care as usual' with the addition of occupational therapy. Patients included in the study are employees who are absent from work due to depression for at least 25% of their contract hours, and who have a possibility of returning to their own or a new job. The occupational intervention consists of six individual sessions, eight group sessions and a work-place visit over a 16-week period. By increasing exposure to the working environment, and by stimulating communication between employer and employee, the occupational intervention aims to enhance self-efficacy and the acquisition of more adaptive coping strategies. Assessments take place at baseline, and at 6, 12, and 18-month follow-ups. Primary outcome measure is work participation (hours of absenteeism and time until work resumption). Secondary outcome measures are work functioning, symptomatology, health-related quality of life, and neurocognitive functioning. In addition, cost-effectiveness is evaluated from a societal perspective. Finally, mechanisms of change (intermediate outcomes) and potential patient-treatment matching variables are investigated.</p> <p>Discussion</p> <p>This study hopes to provide valuable knowledge regarding an intervention to treat depression, one of the most common and debilitating diseases of our time. If our intervention is proven (cost-) effective, the personal, economic, and health benefits for both patients and employers are far-reaching.</p> <p>Trial registration number</p> <p>NTR2057</p