491 - 500 out of 1,023Page size: 10
  1. 2018

  2. Introduction to tropical series and wave dynamic on them

    Kalinin, N. & Shkolnikov, M., Jun 2018, In: Discrete and Continuous Dynamical Systems- Series A. 38, 6, p. 2827-2849 23 p.

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

  3. Improving circuit size upper bounds using SAT-solvers

    Kulikov, A. S., 19 Apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 305-308 4 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

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

  4. Gate elimination: Circuit size lower bounds and #SAT upper bounds

    Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 6 Apr 2018, In: Theoretical Computer Science. 719, p. 46-63 18 p.

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

  5. Estimating the Index of Increase via Balancing Deterministic and Random Data

    Chen, L., Грибкова, Н. В., Zitikis, R. & Давыдов, Ю. А., 1 Apr 2018, In: Mathematical Methods of Statistics. 27, 2, p. 83-102 20 p.

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

  6. Preface to the Special Issue on Computer Science in Russia 2016

    Kulikov, A. S. & Woeginger, G. J., 1 Apr 2018, In: Theory of Computing Systems. 62, 3, p. 465-466 2 p.

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

  7. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (Extended abstract)

    Selivanova, S. V. & Selivanov, V. L., 1 Jan 2018, Sailing Routes in the World of Computation. p. 376-385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936).

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

  8. Conditioning spectral simulation method by horizontal well data

    Ismagilov, N. S. & Лифшиц, М. А., 1 Jan 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).

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

  9. Lamperti-type theorems for random fields

    Davydov, Y. A. & Paulauskas, V. I., 1 Jan 2018, In: ТЕОРИЯ ВЕРОЯТНОСТЕЙ И ЕЕ ПРИМЕНЕНИЯ. 63, 3, p. 520-544

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

  10. Lower bounds for unrestricted boolean circuits: Open problems

    Kulikov, A. S., 1 Jan 2018, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Nature, p. 15-22 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10846 LNCS).

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

  11. Newton–Okounkov bodies and reified valuations of higher rank

    Camara, A., Giné, I., Gualdi, R., Kalinin, N., Roé, J., Ulirsch, M., Urbinati, S. & Xarles, X., 1 Jan 2018, Trends in Mathematics. Springer Nature, p. 113-118 6 p. (Trends in Mathematics; vol. 9).

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

Previous 1...46 47 48 49 50 51 52 53 ...103 Next

ID: 45528956