[Purpose] The aim of this study was to determine the effects of clinical Pilates in multiple sclerosis patients. [Subjects and Methods] Twenty multiple sclerosis patients were enrolled in this study. The participants were divided into two groups as the clinical Pilates and control groups. Cognition (Multiple Sclerosis Functional Composite), balance (Berg Balance Scale), physical performance (ti...

Though Timed CSP was developed 25 years ago and the CSP-based refinement checker FDR [25] was first released 20 years ago, there has never been a version of this tool for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results of Ouaknine [16, 17] and the associated development of discrete-time versions of Timed CSP with associated models [19, 14,...

This paper shows that self-timed meshes can achieve linear speed-up. The per-processor performance of a mesh is the average number of operations per processor per unit time. For synchronous processors, it has been shown that the per-processor performance of a mesh goes to zero as the size of the mesh goes to injnity. This paper shows that for self-timed meshes, the per-processor performance can...

This paper shows that self-timed meshes can achieve linear speed-up. The per-processor performance of a mesh is the average number of operations per processor per unit time. For synchronous processors, it has been shown that the per-processor performance of a mesh goes to zero as the size of the mesh goes to infinity. This paper shows that for self-timed meshes, the per-processor performance ca...

objectives: the purpose of this study was to determine the functional mobility and balance in the elders after total hip arthroplasty in healthy coparison to elders. methods & materials: the current cross-sectional study was done on 20 patients (70.9±4.2) with hip osteoarthritis 6 months after total hip arthroplasty and 20 healthy subjects (73±5.7) as control group. patient group was assigned w...

Objectives: The purpose of this study was to evaluate the concurrent validity of the Farsi version of Functional Gait Assessment (FGA), Timed Up & Go (TUG), and Gait Speed tests in Persian communitydwelling older adults. Methods: Subjects were 100 males in falling or no falling history group (50 subjects in each group). Subjects were community-dwelling adults aged 60-90 years who were living...

Background: Parkinson Disease (PD) is characterized by motor and non-motor symptoms that affect patients’ functions, especially while performing dual tasks--a critical factor in everyday living. However, many controversies exist about the benefits of dual-task training in patients with PD. Objectives: This study assessed the efficacy of motor and cognitive dual-task training in improving balanc...

Systems involving both time and concurrency are notoriously difficult to analyze. Existing decidability results apply in settings where clocks on different processes cannot be compared or where the set of timed executions is regular. We prove new decidability results for timed concurrent systems, requiring neither restriction. We consider the formalism of time-constrained MSCgraphs (TC-MSC grap...