411 - 420 из 1 024Размер страницы: 10
Сортировать по:: Заголовок

  1. Logic vs topology on regular ω-languages

    Селиванов, В. Л. & Ореховский, В. Н., 2023, Unity of Logic and Computation (CiE 2023). Springer Nature, Том 13967. (LNCS).

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

  2. 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).

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

  3. Longest common subsequences in permutations and maximum cliques in circle graphs

    Tiskin, A., 1 янв 2006, Combinatorial Pattern Matching (CPM 2006). стр. 270-281 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4009).

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

  4. Long root tori in chevalley groups

    Vavilov, N. A. & Semenov, A. A., 16 мая 2013, в: St. Petersburg Mathematical Journal. 24, 3, стр. 387-430 44 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Lower bound on average-case complexity of inversion of Goldreich's function by drunken backtracking algorithms

    Itsykson, D., 20 июл 2010, Computer Science - Theory and Applications - 5th International Computer Science Symposium in Russia, CSR 2010, Proceedings. стр. 204-215 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6072 LNCS).

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

  6. Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms

    Itsykson, D., 1 фев 2014, в: Theory of Computing Systems. 54, 2, стр. 261-276 16 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 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).

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

  8. Lower bounds for myopic DPLL algorithms with a cut heuristic

    Itsykson, D. & Sokolov, D., 26 дек 2011, Algorithms and Computation - 22nd International Symposium, ISAAC 2011, Proceedings. стр. 464-473 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7074 LNCS).

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

  9. Lower bounds for splittings by linear combinations

    Itsykson, D. & Sokolov, D., 1 янв 2014, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings. PART 2 ред. Springer Nature, стр. 372-383 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8635 LNCS, № PART 2).

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

  10. Lower bounds for the parameterized complexity of Minimum Fill-in and other completion problems

    Bliznets, I., Cygan, M., Komosa, P., Mach, L. & Pilipczuk, M., 1 янв 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ред.). Association for Computing Machinery, стр. 1132-1151 20 стр. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; том 2).

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

Назад 1...38 39 40 41 42 43 44 45 ...103 Далее

ID: 45528956