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

Версия 10:54, 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, 13:54:55: [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser]
 * 2020-10-13, 02:45:30: [https://compsciclub.ru/courses/2016-autumn/6.246-approximationalgo/classes/ Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность, осень 2016]
 * 2020-10-13, 02:40:51: [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019]