341 - 350 out of 1,005Page size: 10
  1. 2020

  2. The yoga of commutators: an improbable sequel

    Вавилов, Н. А. & Zhang, Z., 5 Jul 2020, (Submitted) In: Записки научных семинаров ПОМИ.

    Research output: Contribution to journal › Article

  3. 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 Jul 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

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

  4. A New Type of Conditioning of Stationary Fields and Its Application to the Spectral Simulation Approach in Geostatistics

    Ismagilov, N. S., Lifshits, M. A. & Yakovlev, A. A., Jul 2020, In: Mathematical Geosciences. 53, 4, p. 597–621 24 p.

    Research output: Contribution to journal › Article › peer-review

  5. Pairs of microweight tori in GL_n

    Nesterov, V. & Vavilov, N., 28 Jun 2020, In: Чебышевский сборник. XXI, 3(75), p. 256-265 10 p.

    Research output: Contribution to journal › Article

  6. (Semi)Algebraic proofs over {±1} variables

    Sokolov, D., 8 Jun 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. (eds.). Association for Computing Machinery, p. 78-90 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  7. Bi-parameter embedding and measures with restriction energy condition

    Arcozzi, N., Holmes, I., Мозоляко, П. А. & Volberg, A., 1 Jun 2020, In: Mathematische Annalen. 377, p. 643–674

    Research output: Contribution to journal › Article › peer-review

  8. Extensions of unification modulo ACUI

    Baader, F., Marantidis, P., Mottet, A. & Okhotin, A., 1 Jun 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626 30 p.

    Research output: Contribution to journal › Article › peer-review

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

    Okhotin, A. & Olkhovsky, I., 1 Jun 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer Nature, p. 328-340 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).

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

  10. Uniqueness of a Three-Dimensional Ellipsoid with Given Intrinsic Volumes

    Petrov, F. & Tarasov, A., 1 Jun 2020, In: Arnold Mathematical Journal. 6, 2, p. 163-171 9 p.

    Research output: Contribution to journal › Article › peer-review

  11. On obdd-based algorithms and proof systems that dynamically change the order of variables

    Itsykson, D., Knop, A., Romashchenko, A. & Sokolov, D., Jun 2020, In: Journal of Symbolic Logic. 85, 2, p. 632-670 39 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1...31 32 33 34 35 36 37 38 ...101 Next

ID: 45528956