Участник:StasFomin/Bookmarks/Algorithms

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)

  Печать 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