Non-Deterministic Kleene Coalgebras

In this paper, we present a systematic way of deriving (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of systems. This generalizes both the results of Kleene (on regular languages and deterministic finite automata) and Milner (on regular behaviours and finite labelled transition systems), and includes many other systems such as Mealy and Moore machines

Subjective cognitive functioning in patients with a meningioma:Its course and association with objective cognitive functioning and psychological symptoms

Objective: Although meningioma patients show deficits in objective cognitive functioning (OCF) measured with neuropsychological tests, subjective cognitive functioning (SCF) has received little attention. We investigate SCF from pre- to post-surgery and its associations with OCF, psychological, sociodemographic, and clinical characteristics.Methods: SCF was measured using the Cognitive Failures Questionnaire (CFQ) one day before (T0), and three (T3) and twelve months (T12) after surgery. Patients' scores were compared to normative data and changes over time were assessed. The neuropsychological battery CNS Vital Signs and the Hospital Anxiety and Depression Scale were administered. Correlations of SCF with OCF, psychological, sociodemographic, and clinical characteristics were explored.Results: Patients reported significantly better SCF as compared with controls at T0 (N=54) and T3 (N=242), but not at T12 (N=50). A significant decrease in group level SCF was observed from T0 to T12 (n=24, p&lt;.001). SCF was associated with anxiety at all time points (rs=-0.543 to -0.352) and with depression at T3 and T12 (r=-0.338 and -0.574), but not with OCF, sociodemographic, or clinical characteristics (rs=-0.202 to 0.288).Conclusions: Meningioma patients experienced better SCF as compared to controls before and three months after surgery, which might be the result of phenomena related to disease and recovery. As the findings suggest that cognitive symptoms might increase later on, future studies should further investigate the course of SCF in meningioma patients. In clinical practice, measurements of SCF should be combined with those of OCF and psychological distress in order to determine whether and which interventions are needed.</p

Extended Initiality for Typed Abstract Syntax

Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax. Zsid\'o proves an initiality result for simply-typed syntax: given a signature S, the abstract syntax associated to S constitutes the initial object in a category of models of S in monads. However, the iteration principle her theorem provides only accounts for translations between two languages over a fixed set of object types. We generalize Zsid\'o's notion of model such that object types may vary, yielding a larger category, while preserving initiality of the syntax therein. Thus we obtain an extended initiality theorem for typed abstract syntax, in which translations between terms over different types can be specified via the associated category-theoretic iteration operator as an initial morphism. Our definitions ensure that translations specified via initiality are type-safe, i.e. compatible with the typing in the source and target language in the obvious sense. Our main example is given via the propositions-as-types paradigm: we specify propositions and inference rules of classical and intuitionistic propositional logics through their respective typed signatures. Afterwards we use the category--theoretic iteration operator to specify a double negation translation from the former to the latter. A second example is given by the signature of PCF. For this particular case, we formalize the theorem in the proof assistant Coq. Afterwards we specify, via the category-theoretic iteration operator, translations from PCF to the untyped lambda calculus

The SAFE-trial:Safe surgery for glioblastoma multiforme: Awake craniotomy versus surgery under general anesthesia. Study. protocol for a multicenter prospective randomized controlled trial

Background: Surgery of GBM nowadays is usually performed under general anesthesia (GA) and resections are often not as aggressive as possible, due to the chance of seriously damaging the patient with a rather low life expectancy. A surgical technique optimizing resection of the tumor in eloquent areas but preventing neurological deficits is necessary to improve survival and quality of life in these patients. Awake craniotomy (AC) with the use of cortical and subcortical stimulation has been widely implemented for low-grade glioma resections (LGG), but not yet for GBM. AC has shown to increase resection percentage and preserve quality of life in LGG and could thus be of important value in GBM surgery. Methods/design: This study is a prospective, multicenter, randomized controlled trial (RCT). Consecutive patients with a glioblastoma in or near eloquent areas (Sawaya grading II/III) will be 1:1 randomized to awake craniotomy or craniotomy under general anesthesia. 246 patients will be included in neurosurgical centers in the Netherlands and Belgium. Primary end-points are: 1) Postoperative neurological morbidity and 2) Proportion of patients with gross-total resections. Secondary end-points are: 1) Health-related quality of life; 2) Progression-free survival (PFS); 3) Overall survival (OS) and 4) Frequency and severity of Serious Adverse Effects in each group. Also, a cost-benefit analysis will be performed. All patients will receive standard adjuvant treatment with concomitant chemoradiotherapy. Discussion: This RCT should demonstrate whether AC is superior to craniotomy under GA on neurological morbidity, extent of resection and survival for glioblastoma resections in or near eloquent areas. Trial registration: Clinicaltrials.gov: NCT03861299 Netherlands Trial Register (NTR): NL758

Patient Care Teams in treatment of diabetes and chronic heart failure in primary care: an observational networks study

Contains fulltext : 97203.pdf (publisher's version ) (Open Access)ABSTRACT: BACKGROUND: Patient care teams have an important role in providing medical care to patients with chronic disease, but insight into how to improve their performance is limited. Two potentially relevant determinants are the presence of a central care provider with a coordinating role and an active role of the patient in the network of care providers. In this study, we aimed to develop and test measures of these factors related to the network of care providers of an individual patient. METHODS: We performed an observational study in patients with type 2 diabetes or chronic heart failure, who were recruited from three primary care practices in The Netherlands. The study focused on medical treatment, advice on physical activity, and disease monitoring. We used patient questionnaires and chart review to measure connections between the patient and care providers, and a written survey among care providers to measure their connections. Data on clinical performance were extracted from the medical records. We used network analysis to compute degree centrality coefficients for the patient and to identify the most central health professional in each network. A range of other network characteristics were computed including network centralization, density, size, diversity of disciplines, and overlap among activity-specific networks. Differences across the two chronic conditions and associations with disease monitoring were explored. RESULTS: Approximately 50% of the invited patients participated. Participation rates of health professionals were close to 100%. We identified 63 networks of 25 patients: 22 for medical treatment, 16 for physical exercise advice, and 25 for disease monitoring. General practitioners (GPs) were the most central care providers for the three clinical activities in both chronic conditions. The GP's degree centrality coefficient varied substantially, and higher scores seemed to be associated with receiving more comprehensive disease monitoring. The degree centrality coefficient of patients also varied substantially but did not seem to be associated with disease monitoring. CONCLUSIONS: Our method can be used to measure connections between care providers of an individual patient, and to examine the association between specific network parameters and healthcare received. Further research is needed to refine the measurement method and to test the association of specific network parameters with quality and outcomes of healthcare

A pilot randomized controlled trial of exercise to improve cognitive performance in patients with stable glioma:A proof of concept

BACKGROUND: Patients with glioma often suffer from cognitive deficits. Physical exercise has been effective in ameliorating cognitive deficits in older adults and neurological patients. This pilot randomized controlled trial (RCT) explored the possible impact of an exercise intervention, designed to improve cognitive functioning in glioma patients, regarding cognitive test performance and patient-reported outcomes (PROs). METHODS: Thirty-four clinically stable patients with World Health Organization grades II/III glioma were randomized to a home-based remotely coached exercise group or an active control group. Patients exercised 3 times per week for 20-45 minutes, with moderate to vigorous intensity, during 6 months. At baseline and immediate follow-up, cognitive performance and PROs were assessed with neuropsychological tests and questionnaires, respectively. Linear regression analyses were used to estimate effect sizes of potential between-group differences in cognitive performance and PROs at 6 months. RESULTS: The exercise group (n = 21) had small- to medium-sized better follow-up scores than the control group (n = 11) on several measures of attention and information processing speed, verbal memory, and executive function, whereas the control group showed a slightly better score on a measure of sustained selective attention. The exercise group also demonstrated small- to medium-sized better outcomes on measures of self-reported cognitive symptoms, fatigue, sleep, mood, and mental health-related quality of life. CONCLUSIONS: This small exploratory RCT in glioma patients provides a proof of concept with respect to improvement of cognitive functioning and PROs after aerobic exercise, and warrants larger exercise trials in brain tumor patients

Integrated management of atrial fibrillation in primary care:results of the ALL-IN cluster randomized trial

Aims To evaluate whether integrated care for atrial. fibrillation (AF) can be safely orchestrated in primary care. Methods and results The ALL-IN trial was a cluster randomized, open-label, pragmatic non-inferiority trial performed in primary care practices in the Netherlands. We randomized 26 practices: 15 to the integrated care intervention and 11 to usual care. The integrated care intervention consisted of (i) quarterly AF check-ups by trained nurses in primary care, also focusing on possibly interfering comorbidities, (ii) monitoring of anticoagulation therapy in primary care, and finally (iii) easy-access availability of consultations from cardiologists and anticoagulation clinics. The primary endpoint was all-cause mortality during 2 years of follow-up. In the intervention arm, 527 out of 941 eligible AF patients aged >65 years provided informed consent to undergo the intervention. These 527 patients were compared with 713 AF patients in the control arm receiving usual care. Median age was 77 (interquartile range 72-83) years. The all-cause mortality rate was 3.5 per 100 patient-years in the intervention arm vs. 6.7 per 100 patient-years in the control arm [adjusted hazard ratio (HR) 0.55; 95% confidence interval (CI) 0.37-0.82]. For non cardiovascular mortality, the adjusted HR was 0.47 (95% CI 0.27-0.82). For other adverse events, no statistically significant differences were observed. Conclusion In this cluster randomized trial, integrated care for elderly AF patients in primary care showed a 45% reduction in all-cause mortality when compared with usual care

Integrated care in patients with atrial fibrillation- a predictive heterogeneous treatment effect analysis of the ALL-IN trial

Introduction:Integrated care is effective in reducing all-cause mortality in patients with atrial fibrillation (AF) in primary care, though time and resource intensive. The aim of the current study was to assess whether integrated care should be directed at all AF patients equally. Methods:The ALL-IN trial (n = 1,240 patients, median age 77 years) was a cluster-randomized trial in which primary care practices were randomized to provide integrated care or usual care to AF patients aged 65 years and older. Integrated care comprised of (i) anticoagulation monitoring, (ii) quarterly checkups and (iii) easy-access consultation with cardiologists. For the current analysis, cox proportional hazard analysis with all clinical variables from the CHA2DS2-VASc score was used to predict all-cause mortality in the ALL-IN trial. Subsequently, the hazard ratio and absolute risk reduction were plotted as a function of this predicted mortality risk to explore treatment heterogeneity. Results:Under usual care, after a median of 2 years follow-up the absolute risk of all-cause mortality in the highest-risk quarter was 31.0%, compared to 4.6% in the lowest-risk quarter. On the relative scale, there was no evidence of treatment heterogeneity (p for interaction = 0.90). However, there was substantial treatment heterogeneity on the absolute scale: risk reduction in the lowest risk- quarter of risk 3.3% (95% CI -0.4% - 7.0) compared to 12.0% (95% CI 2.7% - 22.0) in the highest risk quarter. Conclusion:While the relative degree of benefit from integrated AF care is similar in all patients, patients with a high all-cause mortality risk have a greater benefit on an absolute scale and should therefore be prioritized when implementing integrated care.</p

Improvement of primary care for patients with chronic heart failure: a pilot study

<p>Abstract</p> <p>Background</p> <p>Many patients with chronic heart failure (CHF) receive treatment in primary care, but data have shown that the quality of care for these patients needs to be improved. We aimed to evaluate the impact and feasibility of a programme for improving primary care for patients with CHF.</p> <p>Methods</p> <p>An observational study was performed in 19 general practices in the south-eastern part of the Netherlands, evaluation involving 15 general practitioners and 77 CHF patients. The programme for improvement comprised educational and organizational components and was delivered by a trained practice visitor to the practices. The evaluation was based on case registration forms completed by health professionals and telephone interviews.</p> <p>Results</p> <p>Management relating to diet and physical exercise seemed to have improved as eight patients were referred to dieticians and five to physiotherapists. The seasonal influenza vaccination rate increased from 94% to 97% (75/77). No impact on smoking was observed. Pharmaceutical treatment was adjusted according to guideline recommendations in 12% of the patients (9/77); 7 patients started recommended medication and 2 patients received dosage adjustments. General practitioners perceived the programme to be feasible. Clinical task delegation to nurses and assistants increased in some practices, but collaboration with other healthcare providers remained limited.</p> <p>Conclusions</p> <p>The improvement programme proved to have moderate impact on patient care. Its effectiveness should be tested in a larger rigorous evaluation study using modifications based on the pilot experiences.</p

Driving pressure during general anesthesia for open abdominal surgery (DESIGNATION) : study protocol of a randomized clinical trial

Background Intraoperative driving pressure (Delta P) is associated with development of postoperative pulmonary complications (PPC). When tidal volume (V-T) is kept constant, Delta P may change according to positive end-expiratory pressure (PEEP)-induced changes in lung aeration. Delta P may decrease if PEEP leads to a recruitment of collapsed lung tissue but will increase if PEEP mainly causes pulmonary overdistension. This study tests the hypothesis that individualized high PEEP, when compared to fixed low PEEP, protects against PPC in patients undergoing open abdominal surgery. Methods The "Driving prESsure durIng GeNeral AnesThesIa for Open abdomiNal surgery trial" (DESIGNATION) is an international, multicenter, two-group, double-blind randomized clinical superiority trial. A total of 1468 patients will be randomly assigned to one of the two intraoperative ventilation strategies. Investigators screen patients aged >= 18 years and with a body mass index <= 40 kg/m(2), scheduled for open abdominal surgery and at risk for PPC. Patients either receive an intraoperative ventilation strategy with individualized high PEEP with recruitment maneuvers (RM) ("individualized high PEEP") or one in which PEEP of 5 cm H2O without RM is used ("low PEEP"). In the "individualized high PEEP" group, PEEP is set at the level at which Delta P is lowest. In both groups of the trial, V-T is kept at 8 mL/kg predicted body weight. The primary endpoint is the occurrence of PPC, recorded as a collapsed composite of adverse pulmonary events. Discussion DESIGNATION will be the first randomized clinical trial that is adequately powered to compare the effects of individualized high PEEP with RM versus fixed low PEEP without RM on the occurrence of PPC after open abdominal surgery. The results of DESIGNATION will support anesthesiologists in their decisions regarding PEEP settings during open abdominal surgery