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

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

  • 2020

    (Semi)Algebraic proofs over {±1} variables

    Sokolov, D., 8 июн 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (ред.). Association for Computing Machinery, стр. 78-90 13 стр. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • 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)
  • Cyclic shift on multi-component grammars

    Okhotin, A. & Sorokin, A., 1 янв 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 287-299 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12038 LNCS).

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

  • Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

    de Rezende, S. F., Nordström, J., Risse, K. & Sokolov, D., 1 июл 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; том 169).

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

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

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

  • State Complexity of GF(2)-inverse and GF(2)-star on Binary Languages

    Okhotin, A. & Sazhneva, E., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (ред.). Springer Nature, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442 LNCS).

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

  • Waring problem as an issue of polynomial computer algebra

    Vavilov, N., 4 окт 2020, (Принято в печать) International Conference Polynomial Computer Algebra 2020: St Petersburg October 2020. Васильев, Н. (ред.). Международный математический институт им. Эйлера, 16 стр.

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

    Файл
    10 Загрузки (Pure)
  • 2019

    Abelian Properties of Words

    Puzynina, S., 1 янв 2019, Combinatorics on Words: 12th International Conference, WORDS 2019, Proceedings. Mercas, R. & Reidenbach, D. (ред.). Springer Nature, стр. 28-45 (Lecture Notes in Computer Science ; том 11682 ).

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

    2 Цитирования (Scopus)
  • Adventures in monotone complexity and TFNP

    Göös, M., Kamath, P., Robere, R. & Sokolov, D., 1 янв 2019, 10th Innovations in Theoretical Computer Science, ITCS 2019. Blum, A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 38. (Leibniz International Proceedings in Informatics, LIPIcs; том 124).

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

    7 Цитирования (Scopus)
  • A Max-Type Recursive Model: Some Properties and Open Questions

    Chen, X., Derrida, B., Hu, Y., Lifshits, M. & Shi, Z., 2019, Sojourns in Probability Theory and Statistical Physics - III - Interacting Particle Systems and Random Walks, A Festschrift for Charles M. Newman. Sidoravicius, V. (ред.). Springer Nature, стр. 166-186 21 стр. (Springer Proceedings in Mathematics and Statistics; том 300).

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

    2 Цитирования (Scopus)
  • Boolean spectral analysis in categorical reservoir modelling

    Ismagilov, N., Borovitskiy, V., Lifshits, M. & Platonova, M., 1 янв 2019, 4th EAGE Conference on Petroleum Geostatistics. European Association of Geoscientists and Engineers, ThPG14

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

    1 Цитирования (Scopus)
  • Collapsing superstring conjecture

    Golovnev, A., Kulikov, A. S., Logunov, A., Mihajlin, I. & Nikolaev, M., сен 2019, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Achlioptas, D. & Vegh, L. A. (ред.). 26. (Leibniz International Proceedings in Informatics; том 145).

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

  • On Happy Colorings, Cuts, and Structural Parameterizations

    Bliznets, I. & Sagunov, D., 1 янв 2019, Graph-Theoretic Concepts in Computer Science - 45th International Workshop, WG 2019, Revised Papers. Sau, I. & Thilikos, D. M. (ред.). Springer Nature, стр. 148-161 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11789 LNCS).

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

    2 Цитирования (Scopus)
  • 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).

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

  • On tseitin formulas, read-once branching programs and treewidth

    Glinskih, L. & Itsykson, D., 1 янв 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer Nature, стр. 143-155 13 стр. (Lecture Notes in Computer Science; том 11532).

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

    1 Цитирования (Scopus)
  • Reconstructing a convex polygon from its ω -cloud

    Arseneva, E., Bose, P., De Carufel, J. L. & Verdonschot, S., 1 янв 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer Nature, стр. 25-37 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11532 LNCS).

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

  • 2018

    Conditioning spectral simulation method by horizontal well data

    Ismagilov, N. S. & Лифшиц, М. А., 1 янв 2018, 16th European Conference on the Mathematics of Oil Recovery, ECMOR 2018. European Association of Geoscientists and Engineers, (16th European Conference on the Mathematics of Oil Recovery, ECMOR 2018).

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

    6 Цитирования (Scopus)
  • Improving circuit size upper bounds using SAT-solvers

    Kulikov, A. S., 19 апр 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., стр. 305-308 4 стр. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; том 2018-January).

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

    1 Цитирования (Scopus)
  • Lower bounds for unrestricted boolean circuits: Open problems

    Kulikov, A. S., 1 янв 2018, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (ред.). Springer Nature, стр. 15-22 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10846 LNCS).

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

  • Monotone circuit lower bounds from resolution

    Garg, A., Kamath, P., Göös, M. & Sokolov, D., 20 июн 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (ред.). Association for Computing Machinery, стр. 801-814 14 стр. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    9 Цитирования (Scopus)
  • Rectilinear link diameter and radius in a rectilinear polygonal domain

    Arseneva, E., Chiu, M. K., Korman, M., Markovic, A., Okamoto, Y., Ooms, A., Van Renssen, A. & Roeloffzen, M., 1 дек 2018, 29th International Symposium on Algorithms and Computation, ISAAC 2018. Liao, C-S., Hsu, W-L. & Lee, D-T. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 58:1-58:13 (Leibniz International Proceedings in Informatics, LIPIcs; том 123).

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

    1 Цитирования (Scopus)
  • Reordering rule makes OBDD proof systems stronger

    Buss, S., Itsykson, D., Knop, A. & Sokolov, D., 1 июн 2018, 33rd Computational Complexity Conference, CCC 2018. Servedio, R. A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 161-1624 1464 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 102).

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

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

    Computing majority by constant depth majority circuits with low fan-in gates

    Kulikov, A. S. & Podolskii, V. V., 1 мар 2017, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017. Vallee, B. & Vollmer, H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; том 66).

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

    3 Цитирования (Scopus)
  • Dag-like communication and its applications

    Sokolov, D., 1 янв 2017, Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Proceedings. Weil, P. (ред.). Springer Nature, стр. 294-307 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10304 LNCS).

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

    7 Цитирования (Scopus)
  • Hard satisfiable formulas for splittings by linear combinations

    Itsykson, D. & Knop, A., 1 янв 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Gaspers, S. & Walsh, T. (ред.). Springer Nature, стр. 53-61 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10491 LNCS).

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

    2 Цитирования (Scopus)
  • On OBDD-based algorithms and proof systems that dynamically change order of variables

    Itsykson, D., Knop, A., Romashchenko, A. & Sokolov, D., 1 мар 2017, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017. Vallee, B. & Vollmer, H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43. (Leibniz International Proceedings in Informatics, LIPIcs; том 66).

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

    5 Цитирования (Scopus)
  • Random Walks in Nonhomogeneous Poisson Environment

    Davydov, Y. & Konakov, V., 1 янв 2017, Modern Problems of Stochastic Analysis and Statistics - Selected Contributions in Honor of Valentin Konakov. Panov, V. (ред.). Springer Nature, стр. 3-24 22 стр. (Springer Proceedings in Mathematics and Statistics; том 208).

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

  • Satisfiable tseitin formulas are hard for nondeterministic read-once branching programs

    Glinskih, L. & Itsykson, D., 1 ноя 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J-F. & Bodlaender, H. L. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; том 83).

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

  • 2016

    A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function

    Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., 14 дек 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. Institute of Electrical and Electronics Engineers Inc., стр. 89-98 10 стр. 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; том 2016-December).

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

    13 Цитирования (Scopus)
  • A new hierarchical clustering algorithm to identify non-overlapping like-minded communities

    Deepak, T. S., Adhya, H., Kejriwal, S., Gullapalli, B. & Shannigrahi, S., 10 июл 2016, HT 2016 - Proceedings of the 27th ACM Conference on Hypertext and Social Media. Association for Computing Machinery, стр. 319-321 3 стр. (HT 2016 - Proceedings of the 27th ACM Conference on Hypertext and Social Media).

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

    4 Цитирования (Scopus)
  • Circuit size lower bounds and #SAT upper bounds through a general framework

    Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 45. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

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

    4 Цитирования (Scopus)
  • Complexity of distributions and average-case hardness

    Itsykson, D., Knop, A. & Sokolov, D., 1 дек 2016, 27th International Symposium on Algorithms and Computation, ISAAC 2016. Hong, S-H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 38.1-38.12 (Leibniz International Proceedings in Informatics, LIPIcs; том 64).

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

  • Hardness of approximation for H-Free edge modification problems

    Bliznets, I., Cygan, M., Komosa, P. & Pilipczuk, M., 1 сен 2016, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 19th International Workshop, APPROX 2016 and 20th International Workshop, RANDOM 2016. Jansen, K., Mathieu, C., Rolim, J. D. P. & Umans, C. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; том 60).

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

    1 Цитирования (Scopus)
  • 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).

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

    15 Цитирования (Scopus)
  • On the limits of gate elimination

    Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

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

    2 Цитирования (Scopus)
  • Stable topic modeling for web science: Granulated LDA

    Koltcov, S., Nikolenko, S. I., Koltsova, O. & Bodrunova, S., 22 мая 2016, WebSci 2016 - Proceedings of the 2016 ACM Web Science Conference. Association for Computing Machinery, стр. 342-343 2 стр. (WebSci 2016 - Proceedings of the 2016 ACM Web Science Conference).

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

    3 Цитирования (Scopus)
  • Stable topic modeling with local density regularization

    Koltcov, S., Nikolenko, S. I., Koltsova, O., Filippov, V. & Bodrunova, S., 2016, Internet Science - 3rd International Conference, INSCI 2016, Proceedings. Satsiou, A., Welp, Y., Tiropanis, T., DiFranzo, D., Stavrakakis, I., Bagnoli, F., Nesi, P. & Pacini, G. (ред.). Springer Nature, стр. 176-188 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9934 LNCS).

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

    12 Цитирования (Scopus)
  • Tight bounds for graph homomorphism and subgraph isomorphism

    Cygan, M., Fomin, F. V., Golovnev, A., Kulikov, A. S., Mihajlin, I., Pachocki, J. & Socala, A., 1 янв 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ред.). Association for Computing Machinery, стр. 1643-1649 7 стр. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; том 3).

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

    16 Цитирования (Scopus)
  • Weighted gate elimination: Boolean dispersers for quadratic varieties imply improved circuit lower bounds

    Golovnev, A. & Kulikov, A. S., 14 янв 2016, ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Association for Computing Machinery, стр. 405-411 7 стр. (ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science).

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

    Открытый доступ
    6 Цитирования (Scopus)
  • 2015

    Greedy conjecture for strings of length 4

    Kulikov, A. S., Savinov, S. & Sluzhaev, E., 1 янв 2015, Combinatorial Pattern Matching - 26th Annual Symposium, CPM 2015, Proceedings. Vaccaro, U., Porat, E. & Cicalese, F. (ред.). Springer Nature, стр. 307-315 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9133).

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

    2 Цитирования (Scopus)
  • Heuristic time hierarchies via hierarchies for sampling distributions

    Itsykson, D., Knop, A. & Sokolov, D., 1 янв 2015, Algorithms and Computation - 26th International Symposium, ISAAC 2015, Proceedings. Elbassioni, K. & Makino, K. (ред.). Springer Nature, стр. 201-211 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9472).

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

    1 Цитирования (Scopus)
  • Parameterized complexity of superstring problems

    Bliznets, I., Fomin, F. V., Golovach, P. A., Karpov, N., Kulikov, A. S. & Saurabh, S., 1 янв 2015, Combinatorial Pattern Matching - 26th Annual Symposium, CPM 2015, Proceedings. Vaccaro, U., Porat, E. & Cicalese, F. (ред.). Springer Nature, стр. 89-99 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9133).

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

  • Resolution complexity of perfect matching principles for sparse graphs

    Itsykson, D., Slabodkin, M. & Sokolov, D., 1 янв 2015, Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Proceedings. Beklemishev, L. D., Musatov, D. V. & Musatov, D. V. (ред.). Springer Nature, стр. 219-230 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9139).

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

    1 Цитирования (Scopus)
  • Writing style determination using the KNN text model

    Granichin, O., Kizhaeva, N., Shalymov, D. & Volkovich, Z., 26 окт 2015, 2015 IEEE International Symposium on Intelligent Control, ISIC 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 900-905 6 стр. 7307296. (IEEE International Symposium on Intelligent Control - Proceedings; том 2015-October).

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

    4 Цитирования (Scopus)
  • 2014

    A subexponential parameterized algorithm for proper interval completion

    Bliznets, I., Fomin, F. V., Pilipczuk, M. & Pilipczuk, M., 1 янв 2014, Algorithms, ESA 2014 - 22nd Annual European Symposium, Proceedings. Springer Nature, стр. 173-184 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8737 LNCS).

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

    10 Цитирования (Scopus)
  • Families with infants: A general approach to solve hard partition problems

    Golovnev, A., Kulikov, A. S. & Mihajlin, I., 1 янв 2014, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Proceedings. PART 1 ред. Springer Nature, стр. 551-562 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8572 LNCS, № PART 1).

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

    2 Цитирования (Scopus)
  • Inferring social ties from common activities in twitter

    Sharma, U., Suman, A. & Shannigrahi, S., 1 янв 2014, HT 2014 - Proceedings of the 25th ACM Conference on Hypertext and Social Media. Association for Computing Machinery, стр. 318-320 3 стр.

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

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

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

    11 Цитирования (Scopus)
  • 2013

    Approximating shortest superstring problem using de Bruijn graphs

    Golovnev, A., Kulikov, A. S. & Mihajlin, I., 24 сен 2013, Combinatorial Pattern Matching - 24th Annual Symposium, CPM 2013, Proceedings. стр. 120-129 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7922 LNCS).

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

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