Hierarchical structures in Northern Hemispheric extratropical winter ocean-atmosphere interactions

Acknowledgements MW and RVD have been supported by the German Federal Ministry for Education and Research via the BMBF Young Investigators Group CoSy-CC2 (grant 18 Marc Wiedermann et al. no. 01LN1306A). JFD thanks the Stordalen Foundation and BMBF (project GLUES) for financial support. JK acknowledges the IRTG 1740 funded by DFG and FAPESP. Coupled climate network analysis has been performed using the Python package pyunicorn (Donges et al, 2015a) that is available at https://github.com/pik-copan/pyunicorn.

Hierarchical structures in Northern Hemispheric extratropical winter ocean-atmosphere interactions

Acknowledgements MW and RVD have been supported by the German Federal Ministry for Education and Research via the BMBF Young Investigators Group CoSy-CC2 (grant 18 Marc Wiedermann et al. no. 01LN1306A). JFD thanks the Stordalen Foundation and BMBF (project GLUES) for financial support. JK acknowledges the IRTG 1740 funded by DFG and FAPESP. Coupled climate network analysis has been performed using the Python package pyunicorn (Donges et al, 2015a) that is available at https://github.com/pik-copan/pyunicorn.

Large volume metrology instrument selection and measurability analysis

Metrology processes used in the manufacture of large products include tool setting, product verification and flexible metrology enabled automation. The range of applications and instruments available makes the selection of the appropriate instrument for a given task highly complex. Since metrology is a key manufacturing process it should be considered in the early stages of design. This paper provides an overview of the important selection criteria for typical measurement processes and presents some novel selection strategies. Metrics which can be used to assess measurability are also discussed. A prototype instrument selection and measurability analysis application is presented with discussion of how this can be used as the basis for development of a more sophisticated measurement planning tool. © Springer-Verlag Berlin Heidelberg 2010.

Gaussian Process Kernels for Cross-Spectrum Analysis in Electrophysiological Time Series

Multi-output Gaussian processes provide a convenient framework for multi-task problems. An illustrative and motivating example of a multi-task problem is multi-region electrophysiological time-series data, where experimentalists are interested in both power and phase coherence between channels. Recently, the spectral mixture (SM) kernel was proposed to model the spectral density of a single task in a Gaussian process framework. This work develops a novel covariance kernel for multiple outputs, called the cross-spectral mixture (CSM) kernel. This new, flexible kernel represents both the power and phase relationship between multiple observation channels. The expressive capabilities of the CSM kernel are demonstrated through implementation of 1) a Bayesian hidden Markov model, where the emission distribution is a multi-output Gaussian process with a CSM covariance kernel, and 2) a Gaussian process factor analysis model, where factor scores represent the utilization of cross-spectral neural circuits. Results are presented for measured multi-region electrophysiological data.

A Jaworskian analysis of four senior class primary teachers endeavouring to teach mathematics from a constructivist-compatible perspective

A constructivist philosophy underlies the Irish primary mathematics curriculum. As constructivism is a theory of learning its implications for teaching need to be addressed. This study explores the experiences of four senior class primary teachers as they endeavour to teach mathematics from a constructivist-compatible perspective with primary school children in Ireland over a school-year period. Such a perspective implies that children should take ownership of their learning while working in groups on tasks which challenge them at their zone of proximal development. The key question on which the research is based is: to what extent will an exposure to constructivism and its implications for the classroom impact on teaching practices within the senior primary mathematics classroom in both the short and longer term? Although several perspectives on constructivism have evolved (von Glaserfeld (1995), Cobb and Yackel (1996), Ernest (1991,1998)), it is the synthesis of the emergent perspective which becomes pivotal to the Irish primary mathematics curriculum. Tracking the development of four primary teachers in a professional learning initiative involving constructivist-compatible approaches necessitated the use of Borko’s (2004) Phase 1 research methodology to account for the evolution in teachers’ understanding of constructivism. Teachers’ and pupils’ viewpoints were recorded using both audio and video technology. Teachers were interviewed at the beginning and end of the project and also one year on to ascertain how their views had evolved. Pupils were interviewed at the end of the project only. The data were analysed from a Jaworskian perspective i.e. using the categories of her Teaching Triad of management of learning, mathematical challenge and sensitivity to students. Management of learning concerns how the teacher organises her classroom to maximise learning opportunities for pupils. Mathematical challenge is reminiscent of the Vygotskian (1978) construct of the zone of proximal development. Sensitivity to students involves a consciousness on the part of the teacher as to how pupils are progressing with a mathematical task and whether or not to intervene to scaffold their learning. Through this analysis a synthesis of the teachers’ interpretations of constructivist philosophy with concomitant implications for theory, policy and practice emerges. The study identifies strategies for teachers wishing to adopt a constructivist-compatible approach to their work. Like O’Shea (2009) it also highlights the likely difficulties to be experienced by such teachers as they move from utilising teacher-dominated methods of teaching mathematics to ones in which pupils have more ownership over their learning.

The role of age and emotional valence in word recognition: an ex-Gaussian analysis

The aim of this work is to evaluate the roles of age and emotional valence in word recognition in terms of ex-Gaussian distribution components. In order to do that, a word recognition task was carried out with two age groups, in which emotional valence was manipulated. Older participants did not present a clear trend for reaction times. The younger participants showed significant statistical differences in negative words for target and distracting conditions. Addressing the ex-Gaussian tau parameter, often related to attentional demands in the literature, age-related differences in emotional valence seem not to have an effect for negative words. Focusing on emotional valence for each group, the younger participants only showed an effect on negative distracting words. The older participants showed an effect regarding negative and positive target words, and negative distracting words. This suggests that the attentional demand is higher for emotional words, in particular, for the older participants.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Computational models for improved diagnosis and prognosis of stroke using robot-based biomarkers

Stroke is a leading cause of death and permanent disability worldwide, affecting millions of individuals. Traditional clinical scores for assessment of stroke-related impairments are inherently subjective and limited by inter-rater and intra-rater reliability, as well as floor and ceiling effects. In contrast, robotic technologies provide objective, highly repeatable tools for quantification of neurological impairments following stroke. KINARM is an exoskeleton robotic device that provides objective, reliable tools for assessment of sensorimotor, proprioceptive and cognitive brain function by means of a battery of behavioral tasks. As such, KINARM is particularly useful for assessment of neurological impairments following stroke. This thesis introduces a computational framework for assessment of neurological impairments using the data provided by KINARM. This is done by achieving two main objectives. First, to investigate how robotic measurements can be used to estimate current and future abilities to perform daily activities for subjects with stroke. We are able to predict clinical scores related to activities of daily living at present and future time points using a set of robotic biomarkers. The findings of this analysis provide a proof of principle that robotic evaluation can be an effective tool for clinical decision support and target-based rehabilitation therapy. The second main objective of this thesis is to address the emerging problem of long assessment time, which can potentially lead to fatigue when assessing subjects with stroke. To address this issue, we examine two time reduction strategies. The first strategy focuses on task selection, whereby KINARM tasks are arranged in a hierarchical structure so that an earlier task in the assessment procedure can be used to decide whether or not subsequent tasks should be performed. The second strategy focuses on time reduction on the longest two individual KINARM tasks. Both reduction strategies are shown to provide significant time savings, ranging from 30% to 90% using task selection and 50% using individual task reductions, thereby establishing a framework for reduction of assessment time on a broader set of KINARM tasks. All in all, findings of this thesis establish an improved platform for diagnosis and prognosis of stroke using robot-based biomarkers.

Correlation between anxiety and academic self-concept in interpreter trainees

This paper focuses on two basic issues: the anxiety-generating nature of the interpreting task and the relevance of interpreter trainees’ academic self-concept. The first has already been acknowledged, although not extensively researched, in several papers, and the second has only been mentioned briefly in interpreting literature. This study seeks to examine the relationship between the anxiety and academic self-concept constructs among interpreter trainees. An adapted version of the Foreign Language Anxiety Scale (Horwitz et al., 1986), the Academic Autoconcept Scale (Schmidt, Messoulam & Molina, 2008) and a background information questionnaire were used to collect data. Students’ t-Test analysis results indicated that female students reported experiencing significantly higher levels of anxiety than male students. No significant gender difference in self-concept levels was found. Correlation analysis results suggested, on the one hand, that younger would-be interpreters suffered from higher anxiety levels and students with higher marks tended to have lower anxiety levels; and, on the other hand, that younger students had lower self-concept levels and higher-ability students held higher self-concept levels. In addition, the results revealed that students with higher anxiety levels tended to have lower self-concept levels. Based on these findings, recommendations for interpreting pedagogy are discussed.

Item and task difficulty in a B2 reading examination: perceptions of test-takers and CEFR alignment experts compared with psychometric measurements

The article presents a study of a CEFR B2-level reading subtest that is part of the Slovenian national secondary school leaving examination in English as a foreign language, and compares the test-taker actual performance (objective difficulty) with the test-taker and expert perceptions of item difficulty (subjective difficulty). The study also analyses the test-takers’ comments on item difficulty obtained from a while-reading questionnaire. The results are discussed in the framework of the existing research in the fields of (the assessment of) reading comprehension, and are addressed with regard to their implications for item-writing, FL teaching and curriculum development.

Point-and-shoot: rapid quantitative detection methods for on-site food fraud analysis – moving out of the laboratory and into the food supply chain

Major food adulteration and contamination events occur with alarming regularity and are known to be episodic, with the question being not if but when another large-scale food safety/integrity incident will occur. Indeed, the challenges of maintaining food security are now internationally recognised. The ever increasing scale and complexity of food supply networks can lead to them becoming significantly more vulnerable to fraud and contamination, and potentially dysfunctional. This can make the task of deciding which analytical methods are more suitable to collect and analyse (bio)chemical data within complex food supply chains, at targeted points of vulnerability, that much more challenging. It is evident that those working within and associated with the food industry are seeking rapid, user-friendly methods to detect food fraud and contamination, and rapid/high-throughput screening methods for the analysis of food in general. In addition to being robust and reproducible, these methods should be portable and ideally handheld and/or remote sensor devices, that can be taken to or be positioned on/at-line at points of vulnerability along complex food supply networks and require a minimum amount of background training to acquire information rich data rapidly (ergo point-and-shoot). Here we briefly discuss a range of spectrometry and spectroscopy based approaches, many of which are commercially available, as well as other methods currently under development. We discuss a future perspective of how this range of detection methods in the growing sensor portfolio, along with developments in computational and information sciences such as predictive computing and the Internet of Things, will together form systems- and technology-based approaches that significantly reduce the areas of vulnerability to food crime within food supply chains. As food fraud is a problem of systems and therefore requires systems level solutions and thinking.

SYSTEMATIC REVIEW AND META-ANALYSIS: EFFECTS OF WALKING EXERCISE IN CHRONIC MUSCULOSKELETAL PAIN

SYSTEMATIC REVIEW AND META-ANALYSIS: EFFECTS OF WALKING EXERCISE IN CHRONIC MUSCULOSKELETAL PAIN O'Connor S.R.1, Tully M.A.2, Ryan B.3, Baxter D.G.3, Bradley J.M.1, McDonough S.M.11University of Ulster, Health & Rehabilitation Sciences Research Institute, Newtownabbey, United Kingdom, 2Queen's University, UKCRC Centre of Excellence for Public Health (NI), Belfast, United Kingdom, 3University of Otago, Centre for Physiotherapy Research, Dunedin, New ZealandPurpose: To examine the effects of walking exercise on pain and self-reported function in adults with chronic musculoskeletal pain.Relevance: Chronic musculoskeletal pain is a major cause of morbidity, exerting a substantial influence on long-term health status and overall quality of life. Current treatment recommendations advocate various aerobic exercise interventions for such conditions. Walking may represent an ideal form of exercise due to its relatively low impact. However, there is currently limited evidence for its effectiveness.Participants: Not applicable.Methods: A comprehensive search strategy was undertaken by two independent reviewers according to the preferred reporting items for systematic reviews and meta-analyses (PRISMA) and the recommendations of the Cochrane Musculoskeletal Review Group. Six electronic databases (Medline, CINAHL, PsychINFO, PEDro, Sport DISCUS and the Cochrane Central Register of Controlled Trials) were searched for relevant papers published up to January 2010 using MeSH terms. All randomised or non-randomised studies published in full were considered for inclusion. Studies were required to include adults aged 18 years or over with a diagnosis of chronic low back pain, osteoarthritis or fibromyalgia. Studies were excluded if they involved peri-operative or post-operative interventions or did not include a comparative, non exercise or non-walking exercise control group. The U.S. Preventative Services Task Force system was used to assess methodological quality. Data for pain and self-reported function were extracted and converted to a score out of 100.Analysis: Data were pooled and analyzed using RevMan (v.5.0.24). Statistical heterogeneity was assessed using the X2 and I2 test statistics. A random effects model was used to calculate the mean differences and 95% CIs. Data were analyzed by length of final follow-up which was categorized as short (≤8 weeks post randomisation), mid (2-12 months) or long-term (>12 months).Results: A total of 4324 articles were identified and twenty studies (1852 participants) meeting the inclusion criteria were included in the review. Overall, studies were judged to be of at least fair methodological quality. The most common sources of likely bias were identified as lack of concealed allocation and failure to adequately address incomplete data. Data from 12 studies were suitable for meta-analysis. Walking led to reductions in pain at short (<8 weeks post randomisation) (-8.44 [-14.54, -2.33]) and mid-term (>8 weeks - 12 month) follow-up (-9.28 [-16.34, -2.22]). No effect was observed for long-term (>12 month) data (-2.49 [-7.62, 2.65]). For function, between group differences were observed for short (-11.57 [-16.06, -7.08]) and mid-term data (-13.26 [-16.91, -9.62]). A smaller effect was also observed at long-term follow-up (-5.60 [-7.70, -3.50]).Conclusions: Walking interventions were associated with statistically significant improvements in pain and function at short and mid-term follow-up. Long-term data were limited but indicated that these effects do not appear to be maintained beyond twelve months.Implications: Walking may be an effective form of exercise for individuals with chronic musculoskeletal pain. However, further research is required which examines longer term follow-up and dose-response issues in this population.Key-words: 1. Walking exercise 2. Musculoskeletal pain 3. Systematic reviewFunding acknowledgements: Department of Employment and Learning, Northern Ireland.Ethics approval: Not applicable.

Using virtual topology operations to generate analysis topology

Virtual topology operations have been utilized to generate an analysis topology definition suitable for downstream mesh generation. Detailed descriptions are provided for virtual topology merge and split operations for all topological entities. Current virtual topology technology is extended to allow the virtual partitioning of volume cells and the topological queries required to carry out each operation are provided. Virtual representations are robustly linked to the underlying geometric definition through an analysis topology. The analysis topology and all associated virtual and topological dependencies are automatically updated after each virtual operation, providing the link to the underlying CAD geometry. Therefore, a valid description of the analysis topology, including relative orientations, is maintained. This enables downstream operations, such as the merging or partitioning of virtual entities, and interrogations, such as determining if a specific meshing strategy can be applied to the virtual volume cells, to be performed on the analysis topology description. As the virtual representation is a non-manifold description of the sub-divided domain the interfaces between cells are recorded automatically. This enables the advantages of non-manifold modelling to be exploited within the manifold modelling environment of a major commercial CAD system, without any adaptation of the underlying CAD model. A hierarchical virtual structure is maintained where virtual entities are merged or partitioned. This has a major benefit over existing solutions as the virtual dependencies are stored in an open and accessible manner, providing the analyst with the freedom to create, modify and edit the analysis topology in any preferred sequence, whilst the original CAD geometry is not disturbed. Robust definitions of the topological and virtual dependencies enable the same virtual topology definitions to be accessed, interrogated and manipulated within multiple different CAD packages and linked to the underlying geometry.

Insights into the multistep transformation of MGUS to myeloma using microarray expression analysis.

To define specific pathways important in the multistep transformation process of normal plasma cells (PCs) to monoclonal gammopathy of uncertain significance (MGUS) and multiple myeloma (MM), we have applied microarray analysis to PCs from 5 healthy donors (N), 7 patients with MGUS, and 24 patients with newly diagnosed MM. Unsupervised hierarchical clustering using 125 genes with a large variation across all samples defined 2 groups: N and MGUS/MM. Supervised analysis identified 263 genes differentially expressed between N and MGUS and 380 genes differentially expressed between N and MM, 197 of which were also differentially regulated between N and MGUS. Only 74 genes were differentially expressed between MGUS and MM samples, indicating that the differences between MGUS and MM are smaller than those between N and MM or N and MGUS. Differentially expressed genes included oncogenes/tumor-suppressor genes (LAF4, RB1, and disabled homolog 2), cell-signaling genes (RAS family members, B-cell signaling and NF-kappaB genes), DNA-binding and transcription-factor genes (XBP1, zinc finger proteins, forkhead box, and ring finger proteins), and developmental genes (WNT and SHH pathways). Understanding the molecular pathogenesis of MM by gene expression profiling has demonstrated sequential genetic changes from N to malignant PCs and highlighted important pathways involved in the transformation of MGUS to MM.