A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures

This deliverable is a survey on the IT techniques that are relevant to the three use cases of the project EMILI. It describes the state-of-the-art in four complementary IT areas: Data cleansing, supervisory control and data acquisition, wireless sensor networks and complex event processing. Even though the deliverable’s authors have tried to avoid a too technical language and have tried to explain every concept referred to, the deliverable might seem rather technical to readers so far little familiar with the techniques it describes

The Use of Traditional and Contemporary Instructional Strategies and Materials in the Elementary Mathematics Classroom

Elementary school teachers were surveyed about the strategies and materials they use to teach elementary school mathematics. A list of twenty strategies and materials derived from the Changes in Content and Emphasis sections of the National Council of Teachers of Mathematics (NCTM) Curriculum and Evaluation Standards for School Mathematics were examined [1]. These strategies represent both contemporary and traditional approaches to the teaching of mathematics. Teachers were asked to respond to each survey item by indicating how often these strategies were used in their classrooms. The findings were compared to the goals of the NCTM Standards to assess how much progress has been made in the effort to influence elementary school mathematics instruction. Compared to these goals and the call for change in instructional strategies by the Standards, results seem to be mixed with progress in some areas and not in others. Teacher-centered, whole-group instruction remains the dominant pedagogical form, but approaches using concrete materials seem to be on the increase

Is the timed-up and go test feasible in mobile devices? A systematic review

The number of older adults is increasing worldwide, and it is expected that by 2050 over 2 billion individuals will be more than 60 years old. Older adults are exposed to numerous pathological problems such as Parkinson’s disease, amyotrophic lateral sclerosis, post-stroke, and orthopedic disturbances. Several physiotherapy methods that involve measurement of movements, such as the Timed-Up and Go test, can be done to support efficient and effective evaluation of pathological symptoms and promotion of health and well-being. In this systematic review, the authors aim to determine how the inertial sensors embedded in mobile devices are employed for the measurement of the different parameters involved in the Timed-Up and Go test. The main contribution of this paper consists of the identification of the different studies that utilize the sensors available in mobile devices for the measurement of the results of the Timed-Up and Go test. The results show that mobile devices embedded motion sensors can be used for these types of studies and the most commonly used sensors are the magnetometer, accelerometer, and gyroscope available in off-the-shelf smartphones. The features analyzed in this paper are categorized as quantitative, quantitative + statistic, dynamic balance, gait properties, state transitions, and raw statistics. These features utilize the accelerometer and gyroscope sensors and facilitate recognition of daily activities, accidents such as falling, some diseases, as well as the measurement of the subject's performance during the test execution.info:eu-repo/semantics/publishedVersio

Contract Aware Components, 10 years after

The notion of contract aware components has been published roughly ten years ago and is now becoming mainstream in several fields where the usage of software components is seen as critical. The goal of this paper is to survey domains such as Embedded Systems or Service Oriented Architecture where the notion of contract aware components has been influential. For each of these domains we briefly describe what has been done with this idea and we discuss the remaining challenges.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Visual cue training to improve walking and turning after stroke:a study protocol for a multi-centre, single blind randomised pilot trial

Visual information comprises one of the most salient sources of information used to control walking and the dependence on vision to maintain dynamic stability increases following a stroke. We hypothesize, therefore, that rehabilitation efforts incorporating visual cues may be effective in triggering recovery and adaptability of gait following stroke. This feasibility trial aims to estimate probable recruitment rate, effect size, treatment adherence and response to gait training with visual cues in contrast to conventional overground walking practice following stroke.Methods/design: A 3-arm, parallel group, multi-centre, single blind, randomised control feasibility trial will compare overground visual cue training (O-VCT), treadmill visual cue training (T-VCT), and usual care (UC). Participants (n = 60) will be randomly assigned to one of three treatments by a central randomisation centre using computer generated tables to allocate treatment groups. The research assessor will remain blind to allocation. Treatment, delivered by physiotherapists, will be twice weekly for 8 weeks at participating outpatient hospital sites for the O-VCT or UC and in a University setting for T-VCT participants.Individuals with gait impairment due to stroke, with restricted community ambulation (gait spee

Timed Runtime Monitoring for Multiparty Conversations

We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates constraining the times in which interactions should occur. We present a timed API for Python to program distributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. The performance of our implementation and its practicability are analysed via benchmarking