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

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

  • 2021

    Lower bounds for graph-walking automata

    Martynova, O. & Okhotin, A., 1 мар 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 стр. 52. (Leibniz International Proceedings in Informatics, LIPIcs; том 187).

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

    1 Цитирования (Scopus)
  • Mathematical support for adaptive logistics infrastructure management tasks using machine learning technologies

    Переведенное название: Математическое обеспечение задач адаптивного управления логистической инфраструктурой с применением технологий машинного обученияШульженко, А. О., 26 апр 2021, LOGISTICS – THE EURASIAN BRIDGE, Proceedings of 16th International Theoretical and Practical Conference Date: 28th of April – 01st of May, 2021. Красноярск: Красноярский государственный аграрный университет, стр. 287-291

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

  • New Bounds on the Half-Duplex Communication Complexity

    Smal, A., Сидельник, В. А., Дементьев, Ю. И., Игнатьев, А. А. & Ушаков, М. С., 2021, SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Proceedings. Bureš, T., Dondi, R., Gamper, J., Guerrini, G., Jurdzinski, T., Pahl, C., Sikora, F. & Wong, P. W. (ред.). Springer Nature, стр. 233-248 16 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12607 LNCS).

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

    1 Цитирования (Scopus)
  • State Complexity of Union and Intersection on Graph-Walking Automata

    Martynova, O. & Okhotin, A., 30 дек 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (ред.). Springer Nature, стр. 125-136 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037 LNCS).

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

  • Symmetry Groups of Infinite Words

    Luchinin, S. & Puzynina, S., 2021, Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings. Moreira, N. & Reis, R. (ред.). Springer Nature, стр. 267-278 (Lecture Notes in Computer Science ; том 12811 LNCS).

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

  • ЭФФЕКТИВНЫЕ МЕТОДЫ МИНИМИЗАЦИИ ВЫПУКЛОЙ КУСОЧНО-АФФИННОЙ ФУНКЦИИ

    Тамасян, Г. Ш. & Шульга, Г. С., 2021, Динамические системы: устойчивость, управление, оптимизация : Материалы Международной научной конференции памяти профессора Р.Ф. Габасова. Минск: Белорусский государственный университет, стр. 178-179

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

    Открытый доступ
    Файл
    14 Загрузки (Pure)
  • 2020

    Bayesian inference of covariance parameters in spectral approach to geostatistical simulation

    Ismagilov, N., Azangulov, I., Borovitskiy, V., Lifshits, M. & Mostowsky, P., 2020, ECMOR 2020 - 17th European Conference on the Mathematics of Oil Recovery. European Association of Geoscientists and Engineers, стр. 1-10 (Conference Proceedings; том 2020).

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

    1 Цитирования (Scopus)
  • Longer Shortest Strings in Two-Way Finite Automata

    Крымский, С. Т. & Okhotin, A., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (ред.). Springer Nature, стр. 104-116 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442 LNCS).

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

  • On the transformation of ll(k)-linear grammars to ll(1)-linear

    Okhotin, A. & Olkhovsky, I., 1 июн 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Nature, стр. 328-340 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

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

  • 2019

    On the length of shortest strings accepted by two-way finite automata

    Dobronravov, E., Dobronravov, N. & Okhotin, A., 1 янв 2019, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (ред.). Springer Nature, стр. 88-99 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11647 LNCS).

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

    2 Цитирования (Scopus)
  • State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages

    Okhotin, A. & Sazhneva, E., 1 июл 2019, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings. Hospodár, M., Jirásková, G. & Konstantinidis, S. (ред.). Springer Nature, стр. 248-259 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11612 LNCS).

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

    3 Цитирования (Scopus)
  • 2018

    Formal Languages over GF(2)

    Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 68-79 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

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

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