Search

Programming problems are commonly used as a learning and assessment activity for learning to program. We believe that programming problems can be effective for broader learning goals. In our large-enrolment course, we have designed special programming problems relevant to logic, discrete mathematics, and the theory of computation, and we have used them for formative and summative assessment. In this report, we reflect on our experience. We aim to leverage our students' programming backgrounds by offering a code-based formalism for our mathematical syllabus. We find we can translate many traditional questions into programming problems of a special kind - calling for 'programs' as simple as a single expression, such as a formula or automaton represented in code. A web-based platform enables self-paced learning with rapid contextual corrective feedback, and helps us scale summative assessment to the size of our cohort. We identify several barriers arising with our approach and discuss how we have attempted to negate them. We highlight the potential of programming problems as a digital learning activity even beyond a logic and computation course.

Background: People with multiple sclerosis (MS) experience a wide range of unpredictable and variable symptoms. The symptomatology of MS has previously been reported in large sample registry studies; however, some symptoms may be underreported in registries based on clinician-reported outcomes and how the symptoms are associated with quality of life (QoL) are often not addressed. The aim of this study was to comprehensively evaluate the frequency of selected MS related symptoms and their associations with disability and QoL in a large self-report study. Methods: We conducted a cross-sectional questionnaire survey among all patients at the Danish Multiple Sclerosis Center, Copenhagen University Hospital, Denmark. The questionnaire included information on clinical and sociodemographic characteristics, descriptors of QoL and disability, as well as prevalence and severity of the following MS symptoms: impaired ambulation, spasticity, chronic pain, fatigue, bowel and bladder dysfunction, and sleep disturbances. Results: Questionnaires were returned by 2244/3606 (62%). Participants without MS diagnosis or incomplete questionnaires were excluded, n = 235. A total of 2009 questionnaires were included for analysis (mean age 49.4 years; mean disease duration 11.7 years; and 69% were women). The most frequently reported symptoms were bowel and bladder dysfunction (74%), fatigue (66%), sleep disturbances (59%), spasticity (51%) and impaired ambulation (38%). With exception of fatigue and sleep disturbances, all other symptoms increased in severity with higher disability level. Invisible symptoms (also referred to as hidden symptoms) such as fatigue, pain and sleep disturbances had the strongest associations with the overall QoL. Conclusion: We found invisible symptoms highly prevalent, even at mild disability levels. Fatigue, pain and sleep disturbances had the strongest associations with the overall QoL and were more frequently reported in our study compared with previous r

Background: Tight junction proteins contribute to maintenance of epithelial and endothelial barriers such as the intestinal barrier and the blood brain barrier (BBB). Increased permeability of these barriers has been linked to disease activity in MS and there is currently a lack of easily accessible biomarkers predicting disease activity in MS. Aim: To investigate whether levels of circulating tight junction proteins occludin and zonula occludens-1 (ZO-1) are associated with biomarkers of inflammation and disease activity; and to determine whether they could serve as clinical biomarkers. Methods: We prospectively included 72 newly diagnosed patients with relapsing remitting MS or clinically isolated syndrome with no prior disease modifying therapy (DMT) use and 50 healthy controls (HCs). Patients were followed with blood samples, 3 tesla MRI, and clinical evaluation for 12 months. Occludin, ZO-1, calprotectin and soluble urokinase-type plasminogen activator receptor (suPAR) were measured by ELISA; serum neurofilament light (NfL) and IL-6 by single-molecule array (SIMOA). The mRNA expression of IFNG, IL1R1, IL10, IL1B, ARG1 and TNF was measured by quantitative real time polymerase chain reaction (qPCR) in whole blood. Results: Plasma occludin levels were higher in MS patients compared with HCs. After 12 months on DMT, occludin levels were reduced by approximately 25% irrespective of 1st or 2nd line DMT (p<0.001). Furthermore, NfL and calprotectin levels were significantly reduced by 31% and 29%, respectively. Occludin and ZO-1 did not correlate with biomarkers of inflammation and did not predict disease activity at baseline or after 12 months. Conclusions: Higher levels of occludin suggest an increased permeability of the BBB and/or the intestinal barrier in MS patients. The reduction of occludin after 12 months on DMTs might reflect repair of these barriers upon treatment. However, plasma levels of ZO-1 and occludin could not predict clinical or MRI disease ac

Background: There is a lack of reliable biomarkers predicting disability and disease activity in multiple sclerosis (MS). Recent evidence suggests an involvement of intestinal and pulmonary epithelial barrier function related to immune activation and the pathophysiology of MS. Blood biomarkers of epithelial barrier function have, however, not been widely studied in MS. Objective: To examine biomarkers of inflammation and epithelial barrier function in relapsing remitting MS (RRMS) patients compared with healthy controls (HCs), and to assess associations between biomarkers and disease activity. Methods: A panel of 30 biomarkers were measured in serum or plasma from 49 newly diagnosed, untreated RRMS patients and 58 HCs with electrochemiluminescence or ELISA. Neurofilament light chain (NfL) was measured with single-molecule array. Validation was performed in a second independent cohort of 68 newly diagnosed, treatment naive RRMS patients and 50 HCs. Patients were divided into groups of active and inactive disease based on NfL levels and the presence of gadolinium enhancing magnetic resonance imaging lesions. Results: Patients with active MS showed significantly higher serum levels of calprotectin and soluble urokinase plasminogen activator receptor compared with inactive MS in the exploratory cohort. Validation confirmed higher levels of calprotectin in active compared with inactive MS, and HCs. Biomarkers of intestinal and pulmonary epithelial barrier function did not differ significantly between groups. Conclusions: The measured biomarkers of epithelial barrier function do not seem to play a major role in the pathophysiology of MS, but serum calprotectin could represent a clinically useful biomarker of innate immune activation and disease activity.

In mouse (Mus musculus) models of diabetic nephropathy (DN), one of the most important read-outs is the 24-h urinary albumin excretion (UAE). The 24-h urine collection is usually performed by single housing mice in metabolic cages on wire mesh without enrichment. This is known to be stressful for the mice. Therefore, it was investigated if shorter urine collections would be sufficient to get reliable assessments of albuminuria. Twenty-one diabetic (C57BLKS-Leprdb/db) and ten non-diabetic mice (C57BLKS-Leprdb/+) were placed in metabolic cages at 15 and 20 weeks of age (WoA) for 24 h. Urine samples were taken at 4, 6, 18 and 24 h and albumin and creatinine concentration were measured. Four- and 6-h UAE was found to correlate significantly with 24-h UAE. Furthermore, a significant correlation was found between 24-h UAE and albumin:creatinine ratio (ACR) in the 4-h sample. However, the strength of the correlation between ACR and 24-h UAE was weaker than between the 4- and 24-h UAE. This suggests that normalising to creatinine may not provide additional value to the 4-h urine collection. In conclusion, the strong correlation between 4- and 6-h UAE and 24-h UAE indicates that the collection period can be considerably reduced. This refinement could reduce stress and increase welfare of the db/db model and potentially be applied to other DN models.

AIM:We examined the Fick components together with mitochondrial O2 affinity (p50mito ) in defining O2 extraction and O2 uptake during exercise with large and small muscle mass during normoxia (NORM) and hyperoxia (HYPER). METHODS:Seven individuals performed two incremental exercise tests to exhaustion on a bicycle ergometer (BIKE) and two on a one-legged knee extension ergometer (KE) in NORM or HYPER. Leg blood flow and VO2 were determined by thermodilution and the Fick method. Maximal ADP-stimulated mitochondrial respiration (OXPHOS) and p50mito were measured ex vivo in isolated mitochondria. Mitochondrial excess capacity in the leg was determined from OXPHOS in permeabilized fibers and muscle mass measured with magnetic resonance imaging in relation to peak leg O2 delivery. RESULTS:The ex vivo p50mito increased from 0.06±0.02 to 0.17±0.04 kPa with varying substrate supply and O2 flux rates from 9.84±2.91 to 16.34±4.07 pmol O2 ·s-1 ·μg-1 respectively. O2 extraction decreased from 83% in BIKE to 67% in KE as a function of a higher O2 delivery, and lower mitochondrial excess capacity. There was a significant relationship between O2 extraction and mitochondrial excess capacity and p50mito that was unrelated to blood flow and mean transit time. CONCLUSION:O2 extraction varies with mitochondrial respiration rate, p50mito and O2 delivery. Mitochondrial excess capacity maintains a low p50mito which enhances O2 diffusion from microvessels to mitochondria during exercise. This article is protected by copyright. All rights reserved.

Dynamic Symbolic Execution (DSE) combines concrete and symbolic execution, usually for the purpose of generating good test suites automatically. It relies on constraint solvers to solve path conditions and to generate new inputs to explore. DSE tools usually make use of SMT solvers for constraint solving. In this paper, we show that constraint programming (CP) is a powerful alternative or complementary technique for DSE. Specifically, we apply CP techniques for DSE of JavaScript, the de facto standard for web programming. We capture the JavaScript semantics with MiniZinc and integrate this approach into a tool we call Aratha. We use G-Strings, a CP solver equipped with string variables, for solving path conditions, and we compare the performance of this approach against state-of-the-art SMT solvers. Experimental results, in terms of both speed and coverage, show the benefits of our approach, thus opening new research vistas for using CP techniques in the service of program analysis.

We develop an idea originally proposed by Michel and Van Hentenryck of how to perform bit-vector constraint propagation on the word level. Most operations are propagated in constant time, assuming the bit-vector fits in a machine word. In contrast, bit-vector SMT solvers usually solve bit-vector problems by (ultimately) bit-blasting, that is, mapping the resulting operations to conjunctive normal form clauses, and using SAT technology to solve them. Bit-blasting generates intermediate variables which can be an advantage, as these can be searched on and learnt about. As each approach has advantages, it makes sense to try to combine them. In this paper, we describe an approach to bit-vector solving using word-level propagation with learning. We have designed alternative word-level propagators to Michel and Van Hentenryck’s, and evaluated different variants of the approach. We have also experimented with different approaches to learning and back-jumping in the solver. Based on the insights gained, we have built a portfolio solver, Wombit, which essentially extends the STP bit-vector solver. Using machine learning techniques, the solver makes a judicious up-front decision about whether to use word-level propagation or fall back on bit-blasting.

The objectives were to study the expression of very late antigen (VLA)-4, melanoma cell adhesion molecule-1 (MCAM-1) and activated leukocyte cell adhesion molecule (ALCAM) on CD4+ T cells during natalizumab treatment and to investigate the association with disease activity. We find that subgroups of autoreactive T cells are retained in peripheral blood, in particular MOG-reactive CD4+ T cells expressing MCAM-1. The expression of MCAM-1 or ALCAM on CD4+ T cells was, however, not clearly associated with disease activity (clinical or MRI) during natalizumab treatment. We confirm upregulation of MCAM-1 on CD4+ T cells during natalizumab treatment while VLA-4 is downregulated.

OBJECTIVES: Sensitivity to sex-steroid hormone fluctuations may increase risk for perinatal depression. We aimed to identify genome-wide biological profiles in women demonstrating sensitivity to pharmacological sex-hormone manipulation with gonadotrophin-releasing hormone agonist (GnRHa).METHODS: Longitudinal gene expression (Illumina Human HT12.v4) and DNA methylation data (Infinium HumanMethylation450K BeadChip) from 60 women (30 GnRHa, 30 placebo) were generated (Trial ID: NCT02661789). Differences between baseline and two follow-up points (initial stimulation- and subsequent early suppression phase) in the biphasic ovarian hormone response to GnRHa were assessed using linear mixed effects models.RESULTS: Genome-wide analysis revealed 588 probes differentially expressed from GnRHa intervention to first stimulatory phase follow-up (intervention group × time) after 10% fdr multiple testing correction. Of these, 54% genes were also significantly associated with estradiol changes over time (proxy for GnRHa response magnitude), 9.5% were associated with changes in depressive symptoms, and 38% were associated with changes in neocortical serotonin transporter binding. The genes were implicated in TGF beta signaling, adipogenesis, regulation of actin cytoskeleton, and focal adhesion pathways and enriched for DNA methylation changes (P = 0.006).CONCLUSIONS: These findings point toward an altered peripheral blood transcriptomic landscape in a pharmacological model of sex-hormone-induced depressive symptoms.

Using the nonaccelerated murine nephrotoxic nephritis (NTN) as a model of chronic kidney disease (CKD) could provide an easily inducible model that enables a rapid test of treatments. Originally, the NTN model was developed as an acute model of glomerulonephritis, but in this study we evaluate the model as a CKD model and compare CD1 and C57BL/6 female and male mice. CD1 mice have previously showed an increased susceptibility to CKD in other CKD models. NTN was induced by injecting nephrotoxic serum (NTS) and evaluated by CKD parameters including albuminuria, glomerular filtration rate (GFR), mesangial expansion, and renal fibrosis. Both strains showed significant albuminuria on days 2-3 which remained significant until the last time point on days 36-37 supporting dysfunctional filtration also observed by a significantly declined GFR on days 5-6, 15-17, and 34-37. Both strains showed early progressive mesangial expansion and significant renal fibrosis within three weeks suggesting CKD development. CD1 and C57BL/6 females showed a similar disease progression, but female mice seemed more susceptible to NTS compared to male mice. The presence of albuminuria, GFR decline, mesangial expansion, and fibrosis showed that the NTN model is a relevant CKD model both in C57BL/6 and in CD1 mice.

Background: Subtypes of white blood cell counts are known biomarkers of systemic inflammation and a high neutrophil-to-lymphocyte ratio (NLR) has been associated with several autoimmune diseases. Few studies have investigated the NLR in multiple sclerosis (MS).Objective: To examine the association between NLR, MS and disability measured by the MS severity score (MSSS).Methods: Patients were included from the Danish Multiple Sclerosis Biobank. Information on patient NLR was obtained just before their first treatment and clinical information was provided by the Danish Multiple Sclerosis Treatment Register. Information on NLR from controls was collected from the Danish Blood Donor Study. Patients and controls were 1:2 propensity score matched by baseline confounders.Results: Propensity score matching left 740 of 743 MS patients and 1420 of 4691 controls for further analyses. Odds-ratio (OR) was 3.64 (95% confidence interval 2.87-4.60, p < 0.001) for MS disease per unit increase of logarithmically transformed NLR (ln-NLR), corresponding to an OR of 2.68 for each doubling of NLR. Mean NLR was 2.12 for patients and 1.72 for controls (p < 0.001). Ln-NLR correlated weakly with patient MSSS (R2 = 0.019, p = 0.008).Conclusion: Patients with early MS had increased levels of NLR compared to healthy controls and NLR was weakly correlated with MSSS.

BACKGROUND: Epidemiological studies suggest an important role for environmental factors in developing multiple sclerosis (MS). Furthermore several studies have indicated that the effect of environmental factors may be especially pronounced in adolescents. Recently only one study investigated and found that shift work at young age is associated with an increased risk of developing MS. In this study we focused on the effect of shift work in the vulnerable period between 15-19 years.OBJECTIVE: The aim of this study was to investigate the association between shift work at young age and the risk of developing MS.METHODS: We performed a large case-control study including 1723 patients diagnosed with MS and 4067 controls. MS patients were recruited from the Danish Multiple Sclerosis Biobank and controls from The Danish Blood Donor Study. Information on working patterns and lifestyle factors was obtained using a comprehensive lifestyle-environmental factor questionnaire with participants enrolled between 2009 and 2014. Logistic regression models were used to investigate the association between shift work at age 15-19 years and the subsequent risk of MS and were controlled for effects due to established MS risk factors.RESULTS: We found a statistically significant association when total numbers of night shifts were compared with non-shift workers. For every additional 100 night shifts the odds ratio (OR) for MS was 1.20 (95% confidence interval (CI), 1.08-1.34, p=0.001). Increasing intensity of shift work also increased MS risk. For every additional night per month the OR was 1.04 (95% CI, 1.01-1.06, p=0.002). Duration of shift work in years was not associated with risk of MS.CONCLUSION: This study supports a statistically significant association between shift work at age 15-19 years and MS risk.

Background Natalizumab reduces disease activity in multiple sclerosis (MS). Natalizumab binds to the very late antigen-4 and inhibits vascular cell adhesion molecule-1 (VCAM-1)-mediated transmigration of immune cells across the blood-brain-barrier. This is associated with decreased serum concentrations of soluble (s)VCAM-1 and an altered composition of immune cell-subsets in the blood. Objective We aimed to examine if sVCAM-1 serum concentrations and whole blood mRNA expression levels of immune activation biomarkers is associated with disease activity in natalizumab-treated MS-patients. Methods sVCAM-1 serum concentrations and whole blood mRNA expression were measured in blood samples from untreated RRMS-patients and from two independent groups of natalizumab-treated patients. Results sVCAM-1 serum concentrations and whole blood expression of HLX1 and IL1B mRNA were lower, whereas expression of EBI3 mRNA was higher in natalizumab-treated MS-patients. Five genes were differentially expressed in clinically unstable natalizumab-treated MS-patients in the discovery but not in the validation group. Conclusion Decreased serum concentrations of sVCAM-1 and altered whole blood mRNA expression levels of a panel of immunomarkers, associated with natalizumab-treatment, are not sensitive markers of MS disease activity. However, decreased expression of pro-inflammatory HLX1 and IL1B and increased expression of immunoregulatory EBI3 may indicate a less pathogenic immune activation status in natalizumab-treated MS.

In haemophilia A (HA) management, antidrug antibodies, or inhibitors, are a serious complication that renders factor VIII (FVIII) replacement therapy ineffective, increases morbidity and reduces quality of life for affected patients. Inhibitor development aetiology is multifactorial and covers both genetic and therapy related risk factors. Many therapy-related risk factors have proven difficult to confirm due to several confounding factors and the small study populations available. However, clinical studies indicate that e.g. on-demand treatment and surgery affect inhibitor development, and explanations for this association are being investigated. A potential explanation is the danger signal effect, where the immune response is activated by endogenous or exogenous danger or damage signals present at the time and site of FVIII administration. The danger theory explains how alarm signals from stressed, injured or dying cells can activate an immune reaction, without the involvement of foreign antigens. Bleeds, trauma, surgery or concomitant infection could be events initiating danger signalling in HA patients, resulting in an immune reaction towards administered FVIII that otherwise would pass unnoticed. This role of danger in HA inhibitor formation has previously been suggested, but a thorough discussion of this subject is lacking. The present review will discuss the potential role of danger signals in haemophilia and inhibitor development, with focus on treatment related risk factors with a suspected danger signal aetiology; on-demand treatment, treatment during major bleeds or surgery, and treatment during infection or vaccination. Clinical studies as well as animal experiments addressing these factors will be reviewed.

Introduction The most serious complication in haemophilia A (HA) replacement therapy with coagulation factor VIII (FVIII) is neutralizing antibodies, i.e. inhibitors. It has been hypothesized that danger signals generated during a bleed might have an adjuvant effect on the immune response to FVIII in on-demand treatment, increasing the inhibitor risk. Aim To compare the antibody response to treatment with recombinant human FVIII (rhFVIII) in relation to induced knee joint bleeds and treatment without concurrent bleeds in a HA rat model. Method HA rats were divided into two groups: one group (n = 10) receiving three needle induced knee joint bleeds 14 days apart and a control group (n = 9) receiving three sham procedures. Three hours after each injury/sham 50 IU kg−1 rhFVIII was administrated intravenously. Subsequently, both groups continued rhFVIII treatment for another 9 weeks. Binding antibodies were analysed using an enzyme-linked immunosorbent assay and neutralizing antibodies using a Bethesda-like assay. Results Rats in the knee-bleed group developed a significantly faster inhibitor response and reached significantly higher inhibitor levels. In the knee-bleed group, 80% developed inhibitors vs. 33% in the control group, demonstrating a 2.4 times higher inhibitor risk when treating concurrent with bleeds. Conclusion FVIII treatment in relation to a bleed potentiates inhibitor development compared to FVIII treatment alone in this HA rat, indicating that bleeding is a potential danger signal. Our results support the theory that FVIII replacement therapy concurrent with a bleeding episode increases the inhibitor risk, which to the best of our knowledge, has not been confirmed in an animal model before.

We recently reported the circulatory and muscle oxidative capacities of the arm after prolonged low-intensity skiing in the arctic (Boushel et al., 2014). In the present study, leg VO2 was measured by the Fick method during leg cycling while muscle mitochondrial capacity was examined on a biopsy of the vastus lateralis in healthy volunteers (7 male, 2 female) before and after 42 days of skiing at 60% HR max. Peak pulmonary VO2 (3.52 ± 0.18 L.min(-1) pre vs 3.52 ± 0.19 post) and VO2 across the leg (2.8 ± 0.4L.min(-1) pre vs 3.0 ± 0.2 post) were unchanged after the ski journey. Peak leg O2 delivery (3.6 ± 0.2 L.min(-1) pre vs 3.8 ± 0.4 post), O2 extraction (82 ± 1% pre vs 83 ± 1 post), and muscle capillaries per mm(2) (576 ± 17 pre vs 612 ± 28 post) were also unchanged; however, leg muscle mitochondrial OXPHOS capacity was reduced (90 ± 3 pmol.sec(-1) .mg(-1) pre vs 70 ± 2 post, P < 0.05) as was citrate synthase activity (40 ± 3 μmol.min(-1) .g(-1) pre vs 34 ± 3 vs P < 0.05). These findings indicate that peak muscle VO2 can be sustained with a substantial reduction in mitochondrial OXPHOS capacity. This is achieved at a similar O2 delivery and a higher relative ADP-stimulated mitochondrial respiration at a higher mitochondrial p50. These findings support the concept that muscle mitochondrial respiration is submaximal at VO2max , and that mitochondrial volume can be downregulated by chronic energy demand.

In humans, arm exercise is known to elicit larger increases in arterial blood pressure (BP) than leg exercise. However, the precise regulation of regional vascular conductances (VC) for the distribution of cardiac output with exercise intensity remains unknown. Hemodynamic responses were assessed during incremental upright arm cranking (AC) and leg pedalling (LP) to exhaustion (Wmax) in nine males. Systemic VC, peak cardiac output (Qpeak) (indocyanine green) and stroke volume (SV) were 18%, 23%, and 20% lower during AC than LP. The mean BP, the rate-pressure product and the associated myocardial oxygen demand were 22%, 12%, and 14% higher, respectively, during maximal AC than LP. Trunk VC was reduced to similar values at Wmax. At Wmax, muscle mass-normalized VC and fractional O2 extraction were lower in the arm than the leg muscles. However, this was compensated for during AC by raising perfusion pressure to increase O2 delivery, allowing a similar peak VO2 per kg of muscle mass in both extremities. In summary, despite a lower Qpeak during arm cranking the cardiovascular strain is much higher than during leg pedalling. The adjustments of regional conductances during incremental exercise to exhaustion depend mostly on the relative intensity of exercise and are limb-specific.

During evolution, mitochondrial DNA haplogroups of arctic populations may have been selected for lower coupling of mitochondrial respiration to ATP production in favor of higher heat production. We show that mitochondrial coupling in skeletal muscle of traditional and westernized Inuit habituating northern Greenland is identical to Danes of western Europe haplogroups. Biochemical coupling efficiency was preserved across variations in diet, muscle fiber type, and uncoupling protein-3 content. Mitochondrial phenotype displayed plasticity in relation to lifestyle and environment. Untrained Inuit and Danes had identical capacities to oxidize fat substrate in arm muscle, which increased in Danes during the 42 days of acclimation to exercise, approaching the higher level of the Inuit hunters. A common pattern emerges of mitochondrial acclimatization and evolutionary adaptation in humans at high latitude and high altitude where economy of locomotion may be optimized by preservation of biochemical coupling efficiency at modest mitochondrial density, when submaximum performance is uncoupled from VO2max and maximum capacities of oxidative phosphorylation.