Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Версия 11:31, 13 октября 2020

2020-07-08, 10:38:47: Hoare: Hoare Logic, Part I
2020-07-03, 10:27:44: Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики
Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)

Печать DOC PDF

Лектор - доц. Д.В. Мусатов

Спецкурс проходит по четвергам в 16:00 в ШАД, Яндекс. Начало - 13.09.2018.
- Программа курса
2020-07-02, 22:58:04: Multiresolution alignment for multiple unsynchronized audio sequences using sequential Monte Carlo samplers - Multiresolution-alignment-for-multiple-unsynchronized-audio-sequences-using-Sequential-Monte-Carlo-samplers.pdf
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/321767378Multiresolution alignment for multiple unsynchronized audio sequencesusing Sequential Monte Carlo samplers
2020-07-02, 21:35:32: Участник:StasFomin/Bookmarks/DocStruct — DISCOPAL
2020-07-02, 19:44:44: Проблема перебора
2020-07-02, 19:37:12: Lecture26
2020-07-02, 18:25:13: Algorithms | Coursera

@@ Строка 2: / Строка 2: @@
 === 2020-10 ===
+* 2020-10-13, 14:31:27: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.]
+*: <html>Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.</html>
+<!-- NEXT BOOKMARK -->
 * 2020-10-13, 14:10:16: [https://deepspec.org/main The Science of Deep Specification]
 * 2020-10-13, 14:06:36: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures/blob/master/Lecture1.pdf engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures]