521 - 530 out of 1,005Page size: 10
  1. 2017

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

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

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

  3. On OBDD-based algorithms and proof systems that dynamically change order of variables

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

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

  4. Dyson’s ranks and Appell–Lerch sums

    Hickerson, D. & Mortenson, E., 1 Feb 2017, In: Mathematische Annalen. 367, 1-2, p. 373-395 23 p.

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

  5. On the rectilinear crossing number of complete uniform hypergraphs

    Anshu, A., Gangopadhyay, R., Shannigrahi, S. & Vusirikala, S., 1 Feb 2017, In: Computational Geometry: Theory and Applications. 61, p. 38-47 10 p.

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

  6. Boundedness of a variation of the positive harmonic function along the normals to the boundary

    Mozolyako, P. & Havin, V. P., 1 Jan 2017, In: St. Petersburg Mathematical Journal. 28, 3, p. 345-375 31 p.

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

  7. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 1 Jan 2017, In: Logical Methods in Computer Science. 13, 4

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

  8. Dag-like communication and its applications

    Sokolov, D., 1 Jan 2017, Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Proceedings. Weil, P. (ed.). Springer Nature, p. 294-307 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10304 LNCS).

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

  9. Depinning of Traveling Waves in Ergodic Media

    Tikhomirov, S., 1 Jan 2017, Trends in Mathematics. Springer Nature, p. 283-287 5 p. (Trends in Mathematics; vol. 11).

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

  10. Extending Wadge theory to k-partitions

    Selivanov, V. L., 1 Jan 2017, Unveiling Dynamics and Complexity (CiE 2017). p. 387-399 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307).

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

  11. Hard satisfiable formulas for splittings by linear combinations

    Itsykson, D. & Knop, A., 1 Jan 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Gaspers, S. & Walsh, T. (eds.). Springer Nature, p. 53-61 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10491 LNCS).

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

Previous 1...49 50 51 52 53 54 55 56 ...101 Next

ID: 45528956