Участник:StasFomin/Bookmarks/Algorithms — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Добавлена закладка vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.) |
StasFomin (обсуждение | вклад) (Добавлена закладка (1) (PDF) The Logistic Model for Decision Making in Waste Management) |
||
| Строка 1: | Строка 1: | ||
== 2020 == | == 2020 == | ||
| + | |||
| + | === 2020-11 === | ||
| + | |||
| + | * 2020-11-17, 08:55:10: [https://www.researchgate.net/publication/278166053_The_Logistic_Model_for_Decision_Making_in_Waste_Management (1) (PDF) The Logistic Model for Decision Making in Waste Management] | ||
| + | |||
=== 2020-10 === | === 2020-10 === | ||
Версия 05:55, 17 ноября 2020
Содержание
2020
2020-11
- 2020-11-17, 08:55:10: (1) (PDF) The Logistic Model for Decision Making in Waste Management
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