Skip to main content

Research Repository

Advanced Search

Outputs (2059)

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
Presentation / Conference Contribution

The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CS... Read More about Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine.

Acceptability of Lycra arm sleeve in people with sub-acute stroke: Patients', carers' and clinicians' perspectives (2022)
Journal Article

Background: Previous studies found that the Lycra sleeve has potential to reduce glenohumeral subluxation in people with stroke. The primary aim of this study was to explore the acceptability of the Lycra sleeve from patients’, carers’ and staff perc... Read More about Acceptability of Lycra arm sleeve in people with sub-acute stroke: Patients', carers' and clinicians' perspectives.

Use of artificial intelligence to manage patient flow in emergency department during the COVID-19 pandemic: A prospective, single-center study (2022)
Journal Article

BACKGROUND: During the coronavirus disease 2019 (COVID-19) pandemic, calculation of the number of emergency department (ED) beds required for patients with vs. without suspected COVID-19 represented a real public health problem. In France, Amiens Pic... Read More about Use of artificial intelligence to manage patient flow in emergency department during the COVID-19 pandemic: A prospective, single-center study.