|
|
|
|
|
Bernd Finkbeiner, Martin Fränzle, Florian Kohn and Paul Kröger
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for systemat...
ver más
|
|
|
|
|
|
|
|
|
Ángel Encalada-Dávila, Lenín Pardo, Yolanda Vidal, Efraín Terán and Christian Tutivén
Structural health monitoring (SHM) systems are designed to continually monitor the health of structures (e.g., civil, aeronautic) by using the information collected through a distributed sensor network. However, performing tests on real structures, such ...
ver más
|
|
|
|
|
|
|
|
|
Meng Yu, Shaojie Han, Tengfei Wang and Haiyan Wang
In order to monitor traffic in congested waters, permanent video stations are now commonly used on interior riverbank bases. It is frequently challenging to identify ships properly and effectively in such images because of the intricate backdrop scenery ...
ver más
|
|
|
|
|
|
|
|
|
Petr Kudrna
High-frequency jet ventilators lacking flow monitoring systems, and information about supplied tidal volumes are still missing. This complicates the jet ventilator?s initial setting; at the same time, it complicates the line of the high-frequency ventila...
ver más
|
|
|
|
|
|
|
|
|
Heather A. Feldner, Christina Papazian, Keshia M. Peters, Claire J. Creutzfeldt and Katherine M. Steele
Arm recovery varies greatly among stroke survivors. Wearable surface electromyography (sEMG) sensors have been used to track recovery in research; however, sEMG is rarely used within acute and subacute clinical settings. The purpose of this case study wa...
ver más
|
|
|
|