471 - 480 из 1 005Размер страницы: 10
Сортировать по:: Год публикации
  1. 2018

  2. Non-commutative localizations of additive categories and weight structures

    Bondarko, M. V. & Sosnilo, V. A., 1 сен 2018, в: Journal of the Institute of Mathematics of Jussieu. 17, 4, стр. 785-821 37 стр.

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

  3. Polynomial Computability of Fields of Algebraic Numbers

    Alaev, P. E. & Selivanov, V. L., 1 июл 2018, в: Doklady Mathematics. 98, 1, стр. 341-343 3 стр.

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

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

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

  5. Preface

    Kari, J. & Okhotin, A., 1 июн 2018, в: International Journal of Foundations of Computer Science. 29, 4, стр. 457-459 3 стр.

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

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

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

  7. Introduction to tropical series and wave dynamic on them

    Kalinin, N. & Shkolnikov, M., июн 2018, в: Discrete and Continuous Dynamical Systems- Series A. 38, 6, стр. 2827-2849 23 стр.

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

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

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

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

    Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 6 апр 2018, в: Theoretical Computer Science. 719, стр. 46-63 18 стр.

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

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

    Kulikov, A. S. & Woeginger, G. J., 1 апр 2018, в: Theory of Computing Systems. 62, 3, стр. 465-466 2 стр.

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

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

    Selivanova, S. V. & Selivanov, V. L., 1 янв 2018, Sailing Routes in the World of Computation. стр. 376-385 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936).

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

Назад 1...44 45 46 47 48 49 50 51 ...101 Далее

ID: 45528956