|
|
(не показано 187 промежуточных версий этого же участника) |
Строка 1: |
Строка 1: |
− | == 2021 ==
| |
− | === 2021-01 ===
| |
| | | |
− | * 2021-01-13, 23:28:35: [https://habr.com/ru/post/518372/?utm_campaign=518372&utm_source=habrahabr&utm_medium=rss Что вас ждет на курсе Алгоритмов в Яндекс.Практикуме / Хабр]
| |
− | *: <html>Это вы еще в школе21 от Сбера не учились.<br> Там всё то же, но бесплатно, и преподавателей нет совсем</html>
| |
− | *: <html>Оставлю ссылку openedu.ru/course/ITMOUniversity/PADS<br> Единственный момент, в 2017 году, когда я проходил, графов не было. Может сейчас добавили.</html>
| |
− | *: <html>Вышеупомянутый leetcode, например, не оценивает производительность работы с консолью, оценивается только работа алгоритма. Также собственно и на hackerrunk, только там, в отличии от leetcode, функции чтения из консоли и далее вывод ответа в консоль реализованы заранее и скрыты от пользователя (но код можно развернуть и посмотреть).</html>
| |
− | *: <html>Подтверждаю — 50-100 решенных литкодов позволяют пройти алгоритм секцию в том же яндексе</html>
| |
− | <!-- NEXT BOOKMARK -->
| |
− | * 2021-01-12, 16:25:42: [https://habr.com/ru/post/536804/?utm_campaign=536804&utm_source=habrahabr&utm_medium=rss Аксиома выбора и принципиальные ограничения человеческого разума / Хабр]
| |
− | * 2021-01-12, 11:33:42: [https://blog.computationalcomplexity.org/2004/06/impagliazzos-five-worlds.html Computational Complexity: Impagliazzo's Five Worlds]
| |
− |
| |
− | == 2020 ==
| |
− | === 2020-12 ===
| |
− |
| |
− | * 2020-12-15, 21:12:50: [https://habr.com/ru/company/leroy_merlin/blog/533182/?utm_campaign=533182&utm_source=habrahabr&utm_medium=rss Как попадает товар в магазины «Леруа Мерлен» с точки зрения математики заказа / Блог компании Леруа Мерлен / Хабр]
| |
− | * 2020-12-01, 22:40:34: [https://bijournal.hse.ru/data/2018/12/04/1144145361/2.pdf BI 3 (45) 2018 RU.indd - 2.pdf]
| |
− |
| |
− | === 2020-11 ===
| |
− |
| |
− | * 2020-11-26, 02:18:46: [https://habr.com/ru/company/ruvds/blog/529780/?utm_campaign=529780&utm_source=habrahabr&utm_medium=rss Заметки Датасатаниста: что делать, если перед вами оказалась NP-полная задача / Блог компании RUVDS.com / Хабр]
| |
− | * 2020-11-26, 02:15:02: [https://habr.com/ru/post/322900/ Что такое логическое программирование и зачем оно нам нужно / Хабр]
| |
− | * 2020-11-26, 01:52:18: [https://github.com/itmo-swm ITMO Smart Waste Management system]
| |
− | * 2020-11-26, 01:25:36: [https://en.wikipedia.org/wiki/Circulation_problem Circulation problem - Wikipedia]
| |
− | * 2020-11-26, 01:24:20: [https://github.com/gboeing/osmnx 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: [https://www.sciencedirect.com/science/article/pii/S0198971516303970?via%3Dihub OSMnx: New methods for acquiring, constructing, analyzing, and visualizing complex street networks - ScienceDirect]
| |
− | * 2020-11-17, 09:41:05: [https://onlinelibrary.wiley.com/doi/full/10.1002/sys.21492 A method for designing minimum‐cost multisource multisink network layouts - Heijnen - 2020 - Systems Engineering - Wiley Online Library]
| |
− | * 2020-11-17, 09:40:42: [https://cs.stackexchange.com/questions/70490/minimizing-transportation-cost-through-a-network-multiple-source-sinks algorithms - Minimizing transportation cost through a network, multiple source/sinks - Computer Science Stack Exchange]
| |
− | * 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-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: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:00:10: [https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY «Введение в верификацию программ» - YouTube]
| |
− | * 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]
| |
− | * 2020-10-13, 02:35:10: [https://compsciclub.ru/courses/2020-autumn/6.857-advancedalgorithms/ Алгоритмы: дополнительные главы, осень 2020]
| |
− | * 2020-10-13, 02:33:55: [https://compsciclub.ru/courses/2020-autumn/6.533-fine-grained-complexity/ Fine-grained complexity, осень 2020]
| |
− | * 2020-10-13, 02:33:04: [https://compsciclub.ru/courses/2019-spring/6.432-communicationcomplexityandalgorithms/classes/ Эффективные алгоритмы и коммуникационная сложность, весна 2019]
| |
− | * 2020-10-13, 02:32:30: [https://compsciclub.ru/courses/2020-spring/6.480-randomized-algorithms/classes/ Вероятностные алгоритмы, весна 2020]
| |
− | * 2020-10-13, 02:08:22: [https://habr.com/ru/post/522578/?utm_campaign=522578&utm_source=habrahabr&utm_medium=rss Проблема останова лжеца Гёделя и брадобрея Кантора / Хабр]
| |
− | * 2020-10-12, 00:49:47: [https://habr.com/ru/news/t/522718/ Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера / Хабр]
| |
− | *: <html>Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера</html>
| |
− | <!-- NEXT BOOKMARK -->
| |
− | * 2020-10-04, 14:13:10: [https://www.spoj.com/problems/tag/graph-theory Sphere Online Judge (SPOJ)]
| |
− |
| |
− | === 2020-09 ===
| |
− |
| |
− | * 2020-09-12, 08:21:26: [https://habr.com/ru/post/518396/?utm_campaign=518396&utm_source=habrahabr&utm_medium=rss Специалисты по информатике хотят загнать в угол гипотезу Коллатца / Хабр]
| |
− | * 2020-09-01, 20:36:26: [https://habr.com/ru/post/517056/?utm_campaign=517056&utm_source=habrahabr&utm_medium=rss Интерактивная визуализация алгоритмов на базе Jupyter / Хабр]
| |
− |
| |
− | === 2020-08 ===
| |
− |
| |
− | * 2020-08-01, 17:35:26: [https://habr.com/ru/company/piter/blog/511702/?utm_campaign=511702&utm_source=habrahabr&utm_medium=rss Книга «Гид по Computer Science для каждого программиста» / Блог компании Издательский дом «Питер» / Хабр]
| |
− |
| |
− | === 2020-07 ===
| |
− |
| |
− | * 2020-07-08, 10:38:47: [https://softwarefoundations.cis.upenn.edu/plf-current/Hoare.html?fbclid=IwAR0bL5qyR-u0sVD_ztmgSGXZbOVGIdMaxTP7lOrlXGZsnoc56ebkTRNz-i0 Hoare: Hoare Logic, Part I]
| |
− | * 2020-07-03, 10:27:44: [https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики]
| |
− | *: <html><h1 class="title">Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)</h1> <div style="position:absolute;bottom:-3px;right:0px"> <!--noindex--> <div id="page-export-controls"> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y" title="Версия для печати" id="page-export-controls-print" rel="nofollow" target="_blank">Печать</a> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y&doc=Y" title="Сохранить в MS Word (DOC)" id="page-export-controls-doc" rel="nofollow" target="_blank">DOC</a> <a href="https://mipt.ru/education/chairs/dm/education/courses/kursy-po-vyboru/derandomizatsiya-i-psevdosluchaynost-d-v-musatov-osen-2018.php?wd_export=Y&pdf=Y" title="Сохранить в PDF" id="page-export-controls-pdf" rel="nofollow" target="_blank">PDF</a> <div id="page-export-clear"></div> </div> <!--/noindex--> </div> Лектор - доц. Д.В. Мусатов<br> <br> Спецкурс проходит <b>по четвергам в 16:00 в ШАД, Яндекс</b>. Начало - <b>13.09.2018</b>.<br> <br> <ul> <li><a href="http://ru.discrete-mathematics.org/fall2018/elective/musatov/program.pdf">Программа курса</a></li></ul></html>
| |
− | <!-- NEXT BOOKMARK -->
| |
− | * 2020-07-02, 22:58:04: [https://www.researchgate.net/profile/Emin_Anarim/publication/321767378_Multiresolution_alignment_for_multiple_unsynchronized_audio_sequences_using_Sequential_Monte_Carlo_samplers/links/5a4f51d2458515e71b0925c3/Multiresolution-alignment-for-multiple-unsynchronized-audio-sequences-using-Sequential-Monte-Carlo-samplers.pdf?_sg%5B0%5D=IK8YaJKfWATTbL87TbBJJxkcU7IfqqrWtIswZz15YQ7OwtrSi9tsfGXD6PGoM0w1lyRTDEov-sppctt0kYjqiw.jkwWDJKbJY0UvXdk7cteit9Fy9_26W-omWoz8L66BwFtwTEPFpm-_Fj2kTsMKzHDM1i9tmGvufjiWSHTnefV7A&_sg%5B1%5D=oGWD4O2ZGZ5xPfYY3cw8IuqSa9YnGeNK_DBrWwzSu9CnWz7ySgySE5yFz40cDwthFws6UXl9-Ickc-f1pCgpkkMBrX0cVd8y6Z4LhXugL-y4.jkwWDJKbJY0UvXdk7cteit9Fy9_26W-omWoz8L66BwFtwTEPFpm-_Fj2kTsMKzHDM1i9tmGvufjiWSHTnefV7A&_iepl= 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]
| |
− | *: <html><span style="left: 54.5916px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.821029);">See discussions, st</span><span style="left: 117.855px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.827511);">ats, and author pr</span><span style="left: 178.886px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.825196);">ofiles f</span><span style="left: 201.265px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.839591);">or this public</span><span style="left: 245.796px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.840174);">ation at</span><span style="left: 272.405px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.686932);">: </span><span style="left: 276.086px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.876149);">https://www</span><span style="left: 319.105px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.839566);">.researchgate.net/public</span><span style="left: 402.883px; top: 98.6568px; font-size: 8.18875px; font-family: sans-serif; transform: scaleX(0.81437);">ation/321767378</span><span style="left: 54.5916px; top: 124.654px; font-size: 18.1972px; font-family: sans-serif; transform: scaleX(1.02462);">Multiresolution alignment for multiple u</span><span style="left: 424.098px; top: 124.654px; font-size: 18.1972px; font-family: sans-serif; transform: scaleX(0.984872);">nsynchronized audio sequences</span><span style="left: 54.5916px; top: 150.131px; font-size: 18.1972px; font-family: sans-serif; transform: scaleX(0.991617);">using Sequential Monte Carlo samplers</span></html>
| |
− | <!-- NEXT BOOKMARK -->
| |
− | * 2020-07-02, 21:35:32: [https://discopal.ispras.ru/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:StasFomin/Bookmarks/DocStruct Участник:StasFomin/Bookmarks/DocStruct — DISCOPAL]
| |
− | * 2020-07-02, 19:44:44: [https://postnauka.ru/faq/43795 Проблема перебора]
| |
− | * 2020-07-02, 19:37:12: [https://www.slideshare.net/sandpoonia/lecture26-33728794 Lecture26]
| |
− | * 2020-07-02, 18:25:13: [https://www.coursera.org/specializations/algorithms Algorithms | Coursera]
| |