Участник:StasFomin/Bookmarks/Algorithms — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Добавлена закладка The Science of Deep Specification) |
StasFomin (обсуждение | вклад) (Добавлена закладка vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.) |
||
Строка 2: | Строка 2: | ||
=== 2020-10 === | === 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: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] | * 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] |
Версия 11:31, 13 октября 2020
Содержание
2020
2020-10
- 2020-10-13, 14:31:27: vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.
- Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.
- 2020-10-13, 14:10:16: The Science of Deep Specification
- 2020-10-13, 14:06:36: engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures
- 2020-10-13, 14:00:10: «Введение в верификацию программ» - YouTube
- 2020-10-13, 13:54:55: jsCoq – Use Coq in Your Browser
- 2020-10-13, 02:45:30: Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность, осень 2016
- 2020-10-13, 02:40:51: Введение в язык формальной верификации Coq, осень 2019
- 2020-10-13, 02:35:10: Алгоритмы: дополнительные главы, осень 2020
- 2020-10-13, 02:33:55: Fine-grained complexity, осень 2020
- 2020-10-13, 02:33:04: Эффективные алгоритмы и коммуникационная сложность, весна 2019
- 2020-10-13, 02:32:30: Вероятностные алгоритмы, весна 2020
- 2020-10-13, 02:08:22: Проблема останова лжеца Гёделя и брадобрея Кантора / Хабр
- 2020-10-12, 00:49:47: Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера / Хабр
- Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера
- 2020-10-04, 14:13:10: Sphere Online Judge (SPOJ)
2020-09
- 2020-09-12, 08:21:26: Специалисты по информатике хотят загнать в угол гипотезу Коллатца / Хабр
- 2020-09-01, 20:36:26: Интерактивная визуализация алгоритмов на базе Jupyter / Хабр
2020-08
- 2020-08-01, 17:35:26: Книга «Гид по Computer Science для каждого программиста» / Блог компании Издательский дом «Питер» / Хабр
2020-07
- 2020-07-08, 10:38:47: Hoare: Hoare Logic, Part I
- 2020-07-03, 10:27:44: Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики
-
Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)
Лектор - доц. Д.В. Мусатов
Спецкурс проходит по четвергам в 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