From post

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.

 

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

Modelling algebraic structures and morphisms in ACL2., , и . Appl. Algebra Eng. Commun. Comput., 26 (3): 277-303 (2015)Statistical Proof-Patterns in Coq/SSReflect, и . CoRR, (2013)Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging., , и . AISC/MKM/Calculemus, том 7362 из Lecture Notes in Computer Science, стр. 216-230. Springer, (2012)A System for Computing and Reasoning in Algebraic Topology., , и . Calculemus/MKM, том 6824 из Lecture Notes in Computer Science, стр. 295-297. Springer, (2011)GelJ - a tool for analyzing DNA fingerprint gel images., , , , , , и . BMC Bioinform., (2015)DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains., , , и . BMC Bioinform., 19 (1): 66:1-66:4 (2018)A survey of tools for analysing DNA fingerprints., , , , , , и . Briefings Bioinform., 17 (6): 903-911 (2016)ML4PG in Computer Algebra Verification., и . MKM/Calculemus/DML, том 7961 из Lecture Notes in Computer Science, стр. 354-358. Springer, (2013)Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using CycleGAN and Deep PreTrained Models., , , , и . IWINAC (1), том 13258 из Lecture Notes in Computer Science, стр. 145-155. Springer, (2022)Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models., , , , , , , , , и 1 other автор(ы). Frontiers Neuroinformatics, (2021)