Кафедра дискретной математики и информатики ММФ и СУНЦ

Фильтр
статья в сборнике материалов конференции

Поиск результатов

  • 2021

    Approximation spaces of temporal processes and effectiveness of interval semantics

    Stukachev, A., 2021, Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Rodríguez González, S., Prieto, J., González-Briones, A., Gola, A., Katranas, G., Ricca, M., Loukanova, R. & Loukanova, R. (ред.). Springer Nature, стр. 53-61 9 стр. (Advances in Intelligent Systems and Computing; том 1242 AISC).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2020

    A Note on Computable Embeddings for Ordinals and Their Reverses

    Bazhenov, N. & Vatev, S., 1 июл 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (ред.). Springer Gabler, стр. 1-13 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12098 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    Открытый доступ
  • Consciousness as a Brain Complex Reflection of the Outer World Causal Relationships

    Vityaev, E., 1 янв 2020, Biologically Inspired Cognitive Architectures 2019 - Proceedings of the 10th Annual Meeting of the BICA Society. Samsonovich, A. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 556-561 6 стр. (Advances in Intelligent Systems and Computing; том 948).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Consideration of pathogenicity of nsSNVs in CDKN2A gene, as a new tumor marker for leukemia, using bioinformatics methods

    Ghasemi, F., Heidari, M. M., Orlov, Y. L., Khatami, M. & Tabikhanova, L. E., июл 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., стр. 85-87 3 стр. 9214605. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 янв 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Gabler, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Explainable Rule-Based Clustering based on Cyclic Probabilistic Causal Models

    Vityaev, E. E. & Pak, B., сен 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. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 307-312 6 стр. 9373131. (Proceedings of the International Conference on Information Visualisation; том 2020-September).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Integrated Computer Analysis of Genomic Sequencing Data Based on ICGenomics Tool

    Orlov, Y. L., Bragin, A. O., Babenko, R. O., Dresvyannikova, A. E., Kovalev, S. S., Shaderkin, I. A., Orlova, N. G. & Naumenko, F. M., 24 янв 2020, Advances in Intelligent Systems, Computer Science and Digital Economics, CSDEIS 2019. Hu, Z., Petoukhov, S. & He, M. (ред.). Springer Gabler, стр. 154-164 11 стр. (Advances in Intelligent Systems and Computing; том 1127 AISC).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Logical probabilistic biologically inspired cognitive architecture

    Vityaev, E. E., Demin, A. V. & Kolonin, Y. A., 1 авг 2020, Artificial General Intelligence - 13th International Conference, AGI 2020, Proceedings. Goertzel, B., Potapov, A., Panov, A. I. & Yampolskiy, R. (ред.). Springer Gabler, стр. 337-346 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12177 LNAI).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Reconstruction of Dementia Gene Network Using Online Bioinformatics Tools

    Kovalev, S. S., Dergilev, A. I., Orlov, Y. L., Fateev, O. D. & Kavai-Ool, U. N., июл 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., стр. 215-219 5 стр. 9214618. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12337 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2019

    Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 1 янв 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 96-107 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 янв 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 84-95 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Semantic Modeling and Hybrid Models

    Goncharov, S. & Sviridenko, D., окт 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 987-990 4 стр. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2018

    Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 янв 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (ред.). Springer-Verlag GmbH and Co. KG, стр. 40-49 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    3 Цитирования (Scopus)
  • Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 янв 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (ред.). Springer-Verlag GmbH and Co. KG, стр. 241-255 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10742 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • 2017

    A note on effective categoricity for linear orderings

    Bazhenov, N., 1 янв 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (ред.). Springer-Verlag GmbH and Co. KG, стр. 85-96 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10185 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 янв 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 152-161 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    2 Цитирования (Scopus)
  • Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 янв 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 141-151 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • 2015

    Probabilistic formal concepts with negation

    Vityaev, E. E. & Martinovich, V. V., 2015, Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (ред.). Springer-Verlag GmbH and Co. KG, стр. 385-399 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8974).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    7 Цитирования (Scopus)