Версия 19:40, 1 декабря 2020

2020

2020-12

• 2020-12-01, 22:40:34: BI 3 (45) 2018 RU.indd - 2.pdf

2020-11

• 2020-11-26, 02:18:46: Заметки Датасатаниста: что делать, если перед вами оказалась NP-полная задача / Блог компании RUVDS.com / Хабр
• 2020-11-26, 02:15:02: Что такое логическое программирование и зачем оно нам нужно / Хабр
• 2020-11-26, 01:52:18: ITMO Smart Waste Management system
• 2020-11-26, 01:25:36: Circulation problem - Wikipedia
• 2020-11-26, 01:24:20: gboeing/osmnx: OSMnx: Python for street networks. Retrieve, model, analyze, and visualize street networks and other spatial data from OpenStreetMap.
• 2020-11-26, 01:24:15: OSMnx: New methods for acquiring, constructing, analyzing, and visualizing complex street networks - ScienceDirect
• 2020-11-17, 09:41:05: A method for designing minimum‐cost multisource multisink network layouts - Heijnen - 2020 - Systems Engineering - Wiley Online Library
• 2020-11-17, 09:40:42: algorithms - Minimizing transportation cost through a network, multiple source/sinks - Computer Science Stack Exchange
• 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)

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