Impedance cardiography signal processing with Savitzky-Golay and frequency sampling kernels
Märtens, Olev
;
Metshein, Margus
;
Tamberg, Gert
;
Abdullayev, Anar
2022 18th Biennial Baltic Electronics Conference (BEC)
2022
/
5 l.
https://doi.org/10.1109/BEC56180.2022.9935597
Lean formalization of extended regular expression matching with lookarounds
Zhuchko, Ekaterina
;
Veanes, Margus
;
Ebner, Gabriel
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024
2024
/
p. 118 - 131
https://doi.org/10.1145/3636501.3636959
https://www.scopus.com/record/display.uri?eid=2-s2.0-85182924842&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1145%2F3636501.3636959%29&sessionSearchId=03854897c8e6e7bbc8ffad5b01ef8afb&relpos=0
https://www.webofscience.com/wos/woscc/full-record/WOS:001156786800010