Concurrent and predictive validity of the infant motor profile in infants at risk of neurodevelopmental disorders

BACKGROUND: Preterm infants and infants with perinatal brain injury show a higher incidence of neurodevelopmental disorders (NDD). The Infant Motor Profile (IMP) is a clinical assessment which evaluates the complexity of early motor behaviour. More data are needed to confirm its predictive ability and concurrent validity with other common and valid assessments such as the Alberta Infant Motor Scale (AIMS) and Prechtl's General Movement Assessment (GMA). The present study aims to evaluate the concurrent validity of the IMP with the AIMS, to assess its association with the GMA, to evaluate how the IMP reflects the severity of the brain injury and to compare the ability of the IMP and the AIMS to predict an abnormal outcome in 5-month-old infants at risk of NDD.METHODS: 86 infants at risk of NDD were retrospectively recruited among the participants of two clinical trials. Preterm infants with or without perinatal brain injury and term infants with brain injury were assessed at 3months corrected age (CA) using the GMA and at 5months CA using the IMP and the AIMS. The neurodevelopmental outcome was established at 18months.RESULTS: Results confirm a solid concurrent validity between the IMP Total Score and the AIMS (Spearman's rho 0.76; p<.001) and a significant association between IMP Total Score and the GMA. Unlike the AIMS, the IMP Total score accurately reflects the severity of neonatal brain injury (p<.001) and proves to be the strongest predictor of NDD (p<.001). The comparison of areas under receiver operating characteristic curves (AUC) confirms that the IMP Total score has the highest diagnostic accuracy at 5months (AUC 0.92). For an optimal IMP Total Score cut-off value of 70, the assessment shows high sensitivity (93%) and specificity (81%) (PPV 84%; NPV 90%).CONCLUSIONS: Early motor behaviour assessed with the IMP is strongly associated with middle-term neurodevelopmental outcome. The present study confirms the concurrent validity of the IMP with the AIMS, its association with the GMA and its ability to reflect brain lesion load, hence contributing to the construct validity of the assessment.TRIAL REGISTRATION: NCT01990183 and NCT03234959 (clinicaltrials.gov)

The Dutch language version of the Toronto structured interview for Alexithymia: reliability, concurrent validity, and factor structure

The aim of this study was to evaluate the psychometric properties of the Dutch version of the Toronto Structured Interview for Alexithymia (TSIA) in a clinical sample. The TSIA and the 20-item Toronto Alexithymia Scale (TAS-20) were administered to 85 psychiatric inpatients and to 76 medical outpatients with the symptom of tinnitus. Both internal and inter-rater reliability were acceptable. Confirmatory factor analyses supported the hierarchical, 4-factor structure with 4 lower-order factors nested within 2 higher-order latent factors, previously obtained with English, German, and Italian versions. Concurrent validity was supported by significant correlations between the TSIA and the TAS-20 total scores although there were some differences between the psychiatric subsample and the medical subsample. While further studies are needed to assess the convergent and discriminant validity of the TSIA, the results support its use as a measure of alexithymia

Action semantics in retrospect

This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project

A test generation framework for quiescent real-time systems

We present an extension of Tretmans theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behaviour. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. Also, the test generation is exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance

Algebraic Structure of Combined Traces

Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts originating in the theory of formal languages, and they are able to capture the notions of causality and simultaneity of atomic actions which take place during the process of a system's operation. The aim of this paper is a transfer to the domain of comtraces and developing of some fundamental notions, which proved to be successful in the theory of traces. In particular, we introduce and then apply the notion of indivisible steps, the lexicographical canonical form of comtraces, as well as the representation of a comtrace utilising its linear projections to binary action subalphabets. We also provide two algorithms related to the new notions. Using them, one can solve, in an efficient way, the problem of step sequence equivalence in the context of comtraces. One may view our results as a first step towards the development of infinite combined traces, as well as recognisable languages of combined traces.Comment: Short variant of this paper, with no proofs, appeared in Proceedings of CONCUR 2012 conferenc

Extracorporeal shockwave therapy for the treatment of lower limb intermittent claudication: Study protocol for a randomised controlled trial (the SHOCKWAVE 1 trial)

© 2017 The Author(s). Background: Peripheral arterial disease (PAD) has a population prevalence of 4.6% with intermittent claudication (IC) presenting as one of the earliest and most common symptoms. PAD has detrimental effects on patients' walking ability in terms of maximum walking distance (MWD) and pain-free walking distance (PFWD). Research has suggested extracorporeal shockwave therapy (ESWT) may induce angiogenesis in treated tissue; therefore, our objective is to assess the tolerability and efficacy of ESWT as a novel treatment of intermittent claudication. Methods/design: Patients with unilateral claudication will be randomised to receive either ESWT (PiezoWave 2 shockwave system) or sham treatment to the calf muscle bulk three times per week for 3 weeks. All patients are blinded to treatment group, and all assessments will be performed by a masked assessor. Treatment tolerability using a visual analogue scale, ankle-brachial pressure index, MWD, PFWD and safety will all be formally assessed as outcome measures at baseline and at 4, 8 and 12 weeks follow-up. Discussion: This trial will be the first of its kind in terms of methodology in relation to ESWT for intermittent claudication. A double-masked randomised controlled trial will provide useful information about the potential for the use of ESWT as a non-invasive treatment option and the need for further robust research. Trial registration: ClinicalTrials.gov, NCT02652078. Registered on 17 October 2014