An ontology-based approach to support formal verification of concurrent systems

Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sept 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Explainable Rule-Based Clustering based on Cyclic Probabilistic Causal Models

Vityaev, E. E. & Pak, B., Sept 2020, 2020 24th International Conference Information Visualisation, IV 2020. Banissi, E., Khosrow-Shahi, F., Ursyn, A., McK. Bannatyne, M. W., Pires, J. M., Datia, N., Nazemi, K., Kovalerchuk, B., Counsell, J., Agapiou, A., Vrcelj, Z., Chau, H-W., Li, M., Nagy, G., Laing, R., Francese, R., Sarfraz, M., Bouali, F., Venturin, G., Trutschl, M., Cvek, U., Muller, H., Nakayama, M., Temperini, M., Di Mascio, T., Rossano, F. S. V. R., Dorner, R., Caruccio, L., Vitiello, A., Huang, W., Risi, M., Erra, U., Andonie, R., Ahmad, M. A., Figueiras, A. & Mabakane, M. S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 307-312 6 p. 9373131. (Proceedings of the International Conference on Information Visualisation; vol. 2020-September).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Logical probabilistic biologically inspired cognitive architecture

Vityaev, E. E., Demin, A. V. & Kolonin, Y. A., 1 Aug 2020, Artificial General Intelligence - 13th International Conference, AGI 2020, Proceedings. Goertzel, B., Potapov, A., Panov, A. I. & Yampolskiy, R. (eds.). Springer Gabler, p. 337-346 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12177 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Application of neural networks to image recognition of wheat rust diseases

Genaev, M., Ekaterina, S. & Afonnikov, D., Jul 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., p. 40-42 3 p. 9214703. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Multi-class Brain Tumor Segmentation via Multi-sequences MRI Mixture Data Preprocessing

Letyagin, A., Golushko, S., Amelin, M., Tuchinov, B., Amelina, E., Tolstokulakov, N., Pavlovskiy, E. & Groza, V., Jul 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020: International symposium will take place in the frame of 12th International Multiconference “Bioinformatics of Genome Regulation and Structure/Systems Biology”. Institute of Electrical and Electronics Engineers Inc., p. 185-189 5 p. 9214645. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review