ARTICLE
|
doi:10.20944/preprints202409.0148.v1
Subject:
Security Systems,
Computer Science And Mathematics
Keywords:
Timed security protocols; Multi-agent systems; Timed Interpreted Systems; Bounded Model Checking; Satisfiability modulo theories
Online: 3 September 2024 (10:56:53 CEST)
ARTICLE
|
doi:10.20944/preprints202406.1725.v1
Subject:
Environmental And Earth Sciences,
Space And Planetary Science
Keywords:
space weather; geomagnetic storms; ionosphere; ionospheric storm; ICME; SIR/CIR; ionosonde; Digisonde; rTEC; TIMED/GUVI
Online: 25 June 2024 (07:15:52 CEST)
ARTICLE
|
doi:10.20944/preprints202404.0410.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
Mutual exclusion algorithms; correctness analysis; automated reasoning; model checking; statistical model checking; Timed Automata; Uppaal
Online: 5 April 2024 (06:41:37 CEST)
ARTICLE
|
doi:10.20944/preprints202008.0159.v1
Subject:
Computer Science And Mathematics,
Analysis
Keywords:
Diseases; electrocardiography; electroencephalography; Timed-Up and Go test; sensors; mobile devices; feature detection; diseases; older adults
Online: 6 August 2020 (10:46:57 CEST)
ARTICLE
|
doi:10.20944/preprints202403.0523.v1
Subject:
Engineering,
Bioengineering
Keywords:
OpenCap; Markerless Gait Analysis; Directional Bias in Motion Analysis; Gait kinematics; Smartphone-based Motion Capture; Timed Up and Go (TUG) Test
Online: 8 March 2024 (11:04:15 CET)