Publications

User-friendly analysis of droplet array images

Journal / Periodical: Analytica Chimica Acta
Year: 2023

USING MACHINE LEARNING ALGORITHMS TO FORM AN AUTOMATIC STUDENT’S GRADE BASED ON THE SETS OF ASSESSMENT QUESTIONS

Journal / Periodical: 17th International Technology, Education and Development Conference
Year: 2023

Zero-knowledge in Easycrypt

Journal / Periodical: 2023 IEEE 36th Computer Security Foundations Symposium (CSF): Dubrovnik, Croatia, July 9-13, 2023. IEEE, 1?16. DOI: 10.1109/CSF57540.2023.00015.? ?https://www.etis.ee/Portal/Publications/Display/89be8959-e64a-4dd0-a3e2-0c7dcc8f0465?? ???Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hri?cu, C?t?lin; Maillard, Kenji; Spitters, Bas (2023). SSProve: a foundational framework for modular cryptographic proofs in Coq. ACM Transactions on Programming Languages and Systems, 45 (3), art. no. 15 ?61 pp. DOI: 10.1145/3594735.? ?https://www.etis.ee/Portal/Publication
Year: 2023

α-lipoic acid ameliorates consequences of copper overload by up-regulating selenoproteins and decreasing redox misbalance.

Journal / Periodical: Proceedings of the National Academy of Sciences
Year: 2023

Telepresence robots from the perspective of psychology and educational sciences

Journal / Periodical: Information and Learning Sciences
Year: 2023

Keeping distance with a telepresence robot a pilot study

Journal / Periodical: Frontiers in Education
Year: 2023

Electroencephalography as an Objective Indicator of Stress

Journal / Periodical: 19th Nordic-Baltic Conference on Biomedical Engineering and Medical Physics
Year: 2023

Correlation between electroencephalographic markers in the healthy brain

Journal / Periodical: Scientific Reports
Year: 2023

In-phase matrix profile: A novel method for the detection of major depressive disorder

Journal / Periodical: Biomedical Signal Processing and Control
Year: 2023

Limiting exposure to radiofrequency radiation: the principles and possible criteria for health protection

Journal / Periodical: International Journal of Radiation Biology
Year: 2023