Using a Partial Order and a Metric to Analyze a Recursive Trace Set Equation

In Trace Theory the notion of a process is defined in terms of a set of finite-length traces over an alphabet. These processes are used as the semantics for a program notation. The program text for a recursive component naturally gives rise to an equation over trace sets. This paper takes two approaches at the analysis of that equation. The first approach is based on a partial order and it concentrates on the projection operator for processes. This yields a condition under which the greatest solution of that equation can be approximated by iteration. The second approach introduces a metric on the process domain. Application of Banach\u27s Contraction Theorem results in a condition under which there exists a unique solution that can be approximated by iteration starting anywhere

The Mathematics of Directed Specifications

In this paper we lay a mathematical foundation for processes that communicate via directed communication channels. We start from a collection of primitive specifications. Particular correctness concerns partition this collection into equivalence classes, which can serve as abstract specifications. The theory is illustrated by taking as correctness concern absence of computation interference. In this case the abstract specification space can be identified with the space of delay-insensitive specifications

Systems modelling and the development of coherent understanding of cell biology

This article reports on educational design research concerning a learning and teaching strategy for cell biology in upper-secondary education, introducing systems modelling as a key competence. The strategy consists of four modelling phases in which students subsequently develop models of free-living cells, a general 2-D model of cells, a 3-D model of plant cells and finally they are engaged in formal thinking by modelling life phenomena to a hierarchical systems model. The strategy was thought out, elaborated and tested in classrooms in several research cycles. Throughout the field-tests, research data were collected by means of classroom observations, interviews, audio-taped discussions, completed worksheets, written tests and questionnaires. Reflection on the research findings eventuated in reshaping and formalizing the learning and teaching strategy, which is presented here. The results show that although acquiring systems thinking competence at the metacognitive level needs more effort, our strategy contributed to improving learning outcomes, i.e. acquisition of a coherent conceptual understanding of cell biology and acquisition of initial systems thinking competence, with modelling being the key activity

Learning in migration management? Persistent side effects of the EUTF

acceptedVersionPeer reviewe

The relation between plasma tyrosine concentration and fatigue in primary biliary cirrhosis and primary sclerosing cholangitis

BACKGROUND: In primary biliary cirrhosis (PBC) and primary sclerosing cholangitis (PSC) fatigue is a major clinical problem. Abnormal amino acid (AA) patterns have been implicated in the development of fatigue in several non-hepatological conditions but for PBC and PSC no data are available. This study aimed to identify abnormalities in AA patterns and to define their relation with fatigue. METHODS: Plasma concentrations of tyrosine, tryptophan, phenylalanine, valine, leucine and isoleucine were determined in plasma of patients with PBC (n = 45), PSC (n = 27), chronic hepatitis C (n = 22) and healthy controls (n = 73). Fatigue and quality of life were quantified using the Fisk fatigue severity scale, a visual analogue scale and the SF-36. RESULTS: Valine, isoleucine, leucine were significantly decreased in PBC and PSC. Tyrosine and phenylalanine were increased (p < 0.0002) and tryptophan decreased (p < 0.0001) in PBC. In PBC, but not in PSC, a significant inverse relation between tyrosine concentrations and fatigue and quality of life was found. Patients without fatigue and with good quality of life had increased tyrosine concentrations compared to fatigued patients. Multivariate analysis indicated that this relation was independent from disease activity or severity or presence of cirrhosis. CONCLUSION: In patients with PBC and PSC, marked abnormalities in plasma AA patterns occur. Normal tyrosine concentrations, compared to increased concentrations, may be associated with fatigue and diminished quality of life

Brain and Head-and-Neck MRI in Immobilization Mask: A Practical Solution for MR-Only Radiotherapy

In brain/head-and-neck radiotherapy (RT), thermoplastic immobilization masks guarantee reproducible patient positioning in treatment position between MRI, CT, and irradiation. Since immobilization masks do not fit in the diagnostic MR head/head-and-neck coils, flexible surface coils are used for MRI imaging in clinical practice. These coils are placed around the head/neck, in contact with the immobilization masks. However, the positioning of these flexible coils is technician dependent, thus leading to poor image reproducibility. Additionally, flexible surface coils have an inferior signal-to-noise-ratio (SNR) compared to diagnostic coils. The aim of this work was to create a new immobilization setup which fits into the diagnostic MR coils in order to enhance MR image quality and reproducibility. For this purpose, a practical immobilization setup was constructed. The performances of the standard clinical and the proposed setups were compared with four tests: SNR, image quality, motion restriction, and reproducibility of inter-fraction subject positioning. The new immobilization setup resulted in 3.4 times higher SNR values on average than the standard setup, except directly below the flexible surface coils where similar SNR was observed. Overall, the image quality was superior for brain/head-and-neck images acquired with the proposed RT setup. Comparable motion restriction in feet-head/left-right directions (maximum motion ≈1 mm) and comparable inter-fraction repositioning accuracy (mean inter-fraction movement 1 ± 0.5 mm) were observed for the standard and the new setup

Adenovirus Armed With TNFa and IL2 Added to aPD-1 Regimen Mediates Antitumor Efficacy in Tumors Refractory to aPD-1

Immune checkpoint inhibitors such as anti-PD-1 have revolutionized the field of oncology over the past decade. Nevertheless, the majority of patients do not benefit from them. Virotherapy is a flexible tool that can be used to stimulate and/or recruit different immune populations. T-cell enabling virotherapy could enhance the efficacy of immune checkpoint inhibitors, even in tumors resistant to these inhibitors. The T-cell potentiating virotherapy used here consisted of adenoviruses engineered to express tumor necrosis factor alpha and interleukin-2 in the tumor microenvironment. To study virus efficacy in checkpoint-inhibitor resistant tumors, we developed an anti-PD-1 resistant melanoma model in vivo. In resistant tumors, adding virotherapy to an anti-PD-1 regimen resulted in increased survival (p=0.0009), when compared to anti-PD-1 monotherapy. Some of the animals receiving virotherapy displayed complete responses, which did not occur in the immune checkpoint-inhibitor monotherapy group. When adenoviruses were delivered into resistant tumors, there were signs of increased CD8 T-cell infiltration and activation, which - together with a reduced presence of M2 macrophages and myeloid-derived suppressor cells - could explain those results. T-cell enabling virotherapy appeared as a valuable tool to counter resistance to immune checkpoint inhibitors. The clinical translation of this approach could increase the number of cancer patients benefiting from immunotherapies.Peer reviewe

AMPT-induced monoamine depletion in humans: evaluation of two alternative [123I]IBZM SPECT procedures

Purpose Acute monoamine depletion paradigms using alpha-methyl-para-tyrosine (AMPT) combined with single photon emission computed tomography (SPECT) have been used successfully to evaluate disturbances in central dopaminergic neurotransmission. However, severe side effects due to relatively high doses (4,500 to 8,000 mg) of AMPT have been reasons for study withdrawal. Thus, we assessed the effectiveness and tolerability of two alternative procedures, using lower doses of AMPT. Methods Six healthy subjects underwent three measurements of striatal dopamine D2 receptor (D2R)-binding potential (BPND) with SPECT and the selective radiolabeled D2R antagonist [123I]IBZM. All subjects were scanned in the absence of pharmacological intervention (baseline) and after two different depletion procedures. In the first depletion session, over 6 h, subjects were administered 1,500 mg of AMPT before scanning. In the second depletion session, over 25 h, subjects were administered 40 mg AMPT/kg body weight. We also administered the Subjective Well-being Under Neuroleptic Treatment Scale, a self-report instrument designed to measure the subjective experience of patients on neuroleptic medication. Results We found no change of mean D2R BPND after the first and short AMPT challenge compared to the baseline. However, we found a significant increase in striatal D2R BPND binding after the AMPT challenge adjusted for bodyweight compared to both other regimen. Although subjective well-being worsened after the prolonged AMPT challenge, no severe side effects were reported. Conclusions Our results imply a low-dosage, suitable alternative to the common AMPT procedure. The probability of side effects and study withdrawal can be reduced by this procedure