Timing continuous or discontinuous movements across effectors specified by different pacing modalities and intervals

Sensorimotor synchronization is hypothesized to arise through two different processes, associated with continuous or discontinuous rhythmic movements. This study investigated synchronization of continuous and discontinuous movements to different pacing signals (auditory or visual), pacing interval (500, 650, 800, 950 ms) and across effectors (non-dominant vs. non-dominant hand). The results showed that mean and variability of asynchronization errors were consistently smaller for discontinuous movements compared to continuous movements. Furthermore, both movement types were timed more accurately with auditory pacing compared to visual pacing and were more accurate with the dominant hand. Shortening the pacing interval also improved sensorimotor synchronization accuracy in both continuous and discontinuous movements. These results show the dependency of temporal control of movements on the nature of the motor task, the type and rate of extrinsic sensory information as well as the efficiency of the motor actuators for sensory integration.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

Is it safe to increase diabetic retinopathy screening intervals in patients with no/background diabetic retinopathy?

Patients who present with background DR should continue to be screened annually as a high prportion of these patients develop sight threatening DR (12%). A low prportion of patients with no DR at baseline were referred for STDR (1.3%). Out of the 51 patients in this category referred only 1 required laser. The authors suggest that patients graded R0M0 could be screened biannually.

Is it safe to increase diabetic retinopathy screening intervals in patients with no background diabetic retinopathy?

Introduction. A 4 year retrospective follow up of 996 patients who pre-sented with no DR and 500 with background DR at baseline digital DR screening in 2006. Purpose. To evaluate the safety of increasing screening intervals in patients with no diabetic retinopathy (DR) or with background DR.Methods. A 4 year retrospective follow up of 996 patients who presented with no DR and 500 with background DR at baseline digital DR screening in 2006.results. Background DR Group: Of the 500 subjects that had back-ground DR in 2006, 231 were referred for DR, with an average DR routine referral rate of 12% (46 subjects) per year. nodrgrouP. Of the 996 patients who had no DR at baseline, 51 were referred over the 4 years for sight threatening DR (STDR), of these 45 patients have definite STDR confirmed by ophthalmological examination. 78% of these had type 2 diabetes and mean age at referral was 60 years (25-87). Mean diabetes duration was 10.7 years (3-32), with a mean HbA1c of 7.8% (5.7-11.3%). Eight patients (0.9%) were referred in the first year, 9 (0.9%) in the second year, 19 (1.9%) in the third year and 15 (1.5%) in the fourth year. 86% of referrals were for maculopathy, and all had observable retinopathy and none required ophthalmology clinic assessment or laser treatment.If biannual screening was adopted for patients with no DR at baseline, allowing for patients who subsequently develop background DR and would then revert to annual screening, a total of 7 (0.7%) patients would not have been appropriately referred for STDR and would have waited a further year for identification. None of the 51 referrals across the 4 years required laser treatment apart from just one patient who developed PDR in year 4 (2010) and had background since 2007.conclusIons. It could be recommended that it is safe to screen pa-tients with no DR biannually due to the low risk of developing STDR. However, patients who present with background DR should continue to be screened annually as there is a significant proportion developing STDR and would not be identified at an appropriate screening interval.