( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
RePulmo: a remote pulmonary monitoring system.

, , , и . SIGBED Review, 16 (2): 46-50 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Radoslav Zahariev

Radoslav Dvornik

Radoslav Chekerov

Radoslav Jevric

Kostadin Ivanov

 

Другие публикации лиц с тем же именем

Verisig: verifying safety properties of hybrid systems with neural network controllers., , , , и . CoRR, (2018)Parameter-Invariant Design of Medical Alarms., , , , и . IEEE Des. Test, 32 (5): 9-16 (2015)ModelGuard: Runtime Validation of Lipschitz-continuous Models., , , и . ADHS, том 54 из IFAC-PapersOnLine, стр. 37-42. Elsevier, (2021)Confidence Composition for Monitors of Verification Assumptions., , , , , , и . ICCPS, стр. 1-12. IEEE, (2022)Attack-resilient sensor fusion., , и . DATE, стр. 1-6. European Design and Automation Association, (2014)Robust estimation using context-aware filtering., , , , и . Allerton, стр. 590-597. IEEE, (2015)Adaptive Transient Fault Model for Sensor Attack Detection., , , , , , и . CPSNA, стр. 59-65. IEEE Computer Society, (2016)Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning., , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2021)Imprecise Bayesian Neural Networks., , , , , , и . CoRR, (2023)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 103-119. EasyChair, (2019)