Шилов Николай Вячеславович

Доклады и лекции в базе данных Math-Net.Ru

1. «Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) – вторая часть (завершение доклада)
   Н. В. Шилов
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   19 июня 2024 г. 15:00
2. «Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…)
   Н. В. Шилов
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   22 мая 2024 г. 16:00   
3. Some remarks on well-structured transition systems
   Nikolay Shilov
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   13 июня 2023 г. 15:00   
4. Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
   N. V. Shilov, D. A. Kondrat'ev
   Logical Perspectives 2021: Summer School and Workshop
   17 июня 2021 г. 12:30