Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Версия 02:16, 19 января 2024

Содержание

1 2024
- 1.1 2024-01
2 2023
3 2022
- 3.1 2022-04
- 3.2 2022-03
4 2021
5 2020

2024

2024-01

2024-01-19, 02:16:16: Notes/EECS598-001-Approximation-Algorithms-and-Hardness-of-Approximation at 7e28b1c548da109b7e89a62acc6ed1076841352c · sleepymalc/Notes
2024-01-19, 01:41:18: Lectures/4elemproofAarhus2019.pdf at master · arielgabizon/Lectures
2024-01-19, 01:10:29: complexityPoster/poster.pdf at master · Landarzar/complexityPoster
2024-01-19, 00:54:25: pcp/final.tex at master · jarrodmillman/pcp
2024-01-18, 22:17:49: SanskarX10/Coding-Graph-Theory-101: Coding and explanation of Graph theory algorithms used in computer science in python-3 . These set of notebooks acts as a course in graph theory.
2024-01-18, 22:16:14: rjwrobel86/Python4Statistics: Python Scripts and Jupyter Notebooks for Prof. Robert Wrobel's Applied Business Statistics course at Webster University and anybody else who wants to learn!
2024-01-18, 22:04:34: hishamcse/Discrete-Math-Specialization-Coursera-: This repository contains the materials, python codes for the quiz and some codes implemented using jupyter notebook related to the specialization ( Introduction to Discrete Mathematics In Computer Science)
2024-01-18, 21:52:09: i40a/python-for-industry40: Jupyter Notebook files from the course Python for Industry 4.0.
2024-01-18, 21:50:24: kylebeggs/Numerical-Methods-in-Python: A collection of Python notebooks covering topics in an undergraduate Numerical Methods in Engineering course.
2024-01-18, 21:49:05: sslotin/universum-dl: Some notebooks from a Deep Learning mini-course taught in Summer '18
2024-01-18, 21:43:06: ali-tny/boyd-convex-optimisation-py: homework notebooks for the Stanford Convex Optimisation course in python (rather than Matlab)
2024-01-18, 21:40:45: Novota15/fourier-transforms-in-python: A jupyter python notebook that provides a crash course on Fourier Series, Fourier Transforms, Fast Fourier Transforms, and improving Chebyshev Interpolation with FFT
2024-01-18, 21:37:53: nivkeren/computational-methods: computational-methods course notebooks
2024-01-18, 21:36:24: ptah23/audio-transformers-course-notebooks: Python notebooks for hugging face audio transformers course
2024-01-18, 21:31:16: iutzeler/refresher-course: Jupyter Notebooks for practical sessions of the "Refresher Course in Matrix Analysis and Numerical Optimization" at Université Grenoble Alpes
2024-01-18, 21:30:20: codeninja55/mathematic_notebooks: A repository store for all mathematic references, jupyter notebooks, and notes from various courses taken.
2024-01-18, 21:26:26: juanklopper/Linear-algebra-for-data-science-with-python: Jupyter notebooks for my course on linear algebra using symbolic python.
2024-01-18, 21:19:14: Milwa97/A-level-math: A level math course in form of jupyter notebooks. The aim of the course is to develop mathematical intuition and a better understanding of mathematics at the post-elementary level
2024-01-18, 21:18:21: aezarebski/aas-extended-examples: A collection of notebooks used in the tutorials for the applied analytic statistics course in 2020
2024-01-18, 21:17:45: raghurama123/NumericalMethods: Contains Jupyter notebooks and other materials prepared for the course Numerical Methods offered at TIFR Hyderabad (https://moldis-group.github.io/teaching.html)
2024-01-18, 21:16:47: ymlai87416/ComputationalFinance_notebook: Notebook and assignment for Coursera course: Introduction to Computational Finance and Financial Econometrics by Eric Zivot
2024-01-18, 21:13:14: Unipisa/HLT: Notebooks for course HLT
2024-01-18, 21:13:01: Pengyue-Lab/uiuc-cs357-fa21-scripts: A repository of useful scripts for the course CS357 in the form of Jupyter Notebook.
2024-01-18, 21:10:36: inducer/numpde-notes: Slides/notes and Jupyter notebook demos for an introductory course of numerical methods for PDEs
2024-01-18, 21:09:14: NumericalOptimization/Lab2_GradientDescent at master · iutzeler/NumericalOptimization
2024-01-18, 21:05:56: garth-wells/IA-maths-Jupyter: Notebooks in support of of the Part IA (Michaelmas Term) mathematics course at the Department of Engineering at University of Cambridge
2024-01-18, 21:00:16: SSQ/Coursera-Stanford-Greedy-Algorithms-Minimum-Spanning-Trees-and-Dynamic-Programming: Notebook for quick search
2024-01-18, 20:58:40: inducer/numerics-notes: Slides/notes and Jupyter notebook demos for an introductory course of numerical analysis/scientific computing
2024-01-18, 19:50:42: croach/oreilly-matplotlib-course: Jupyter notebooks from my O'Reilly Media course "Matplolib for Developers: Data Visualization and Analysis with Python"
2024-01-18, 19:50:04: z4ir3/finance-courses: Notes and examples about Portfolio Construction and Analysis with Python (Jupyter notebooks)
2024-01-18, 19:49:32: jansenicus/www-coursera-downloader: This Jupyter Notebook will help you downloading Coursera videos, subtitles and quizzes (but not answering the quiz). It will automatically download and convert vtt subtitle files into srt. All resources downloaded are numbered according to their sequence.
2024-01-18, 19:48:16: fastai/numerical-linear-algebra-v2: Jupyter Notebooks for Computational Linear Algebra course, taught summer 2018 in USF MSDS program
2024-01-18, 19:47:48: yourwanghao/CMUComputationalPhotography: Jupyter Notebooks for CMU Computational Photography Course 15.463
2024-01-18, 19:45:02: lmarti/evolutionary-computation-course: Jupyter/IPython notebooks about evolutionary computation.
2024-01-18, 19:43:06: mandli/intro-numerical-methods: Jupyter notebooks and other materials developed for the Columbia course APMA 4300
2024-01-17, 19:39:02: ageron/tf2_course: Notebooks for my "Deep Learning with TensorFlow 2 and Keras" course
2024-01-17, 19:33:55: fastai/numerical-linear-algebra: Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
2024-01-16, 07:43:24: juanklopper/MIT_OCW_Linear_Algebra_18_06: IPython notebooks on Gilbert Strang's MIT course on linear algebra (18.06)
2024-01-16, 07:43:04: xuwenhao/geektime-ai-course: Jupyter Notebooks for Geektime AI Course
2024-01-16, 07:42:49: ML-course/master: A machine learning course using Python, Jupyter Notebooks, and OpenML
2024-01-16, 07:39:44: dataflowr/notebooks: code for deep learning courses
2024-01-16, 07:38:51: FurkanGozukara/Stable-Diffusion: Stable Diffusion, SDXL, LoRA Training, DreamBooth Training, Automatic1111 Web UI, DeepFake, Deep Fakes, TTS, Animation, Text To Video, Tutorials, Guides, Lectures, Courses, ComfyUI, Google Colab, RunPod, NoteBooks, ControlNet, TTS, Voice Cloning, AI, AI News, ML, ML News, News, Tech, Tech News, Kohya LoRA, Kandinsky 2, DeepFloyd IF, Midjourney
2024-01-16, 07:37:44: phlippe/uvadlc_notebooks: Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2022/Spring 2022
2024-01-16, 07:36:44: fastai/course22: The fast.ai course notebooks
2024-01-16, 07:35:36: mlabonne/llm-course: Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
2024-01-16, 07:30:12: peremartra/Large-Language-Model-Notebooks-Course: Practical course about Large Language Models.
2024-01-16, 07:29:16: QS_combinatorics/Oralists_Aug142023.ipynb at main · aperham90/QS_combinatorics
2024-01-16, 07:28:41: numerical-linear-algebra/nbs/2. Topic Modeling with NMF and SVD.ipynb at master · fastai/numerical-linear-algebra

2023

2023-03

2023-03-20, 11:52:55: CASIA-Iris-Recognition/code at master · NVukobrat/CASIA-Iris-Recognition
NVukobrat / CASIA-Iris-Recognition
2023-03-14, 22:56:49: rogerorr/NtTrace: An strace-like program for the Windows 'native' API
2023-03-14, 22:52:46: Create Point Cloud — PyVista 0.38.4 documentation
2023-03-12, 22:38:15: FULLTEXT01.pdf
2023-03-10, 03:47:08: Создаём анимационные обучающие видео на Python с помощью Manim / Хабр

В After Effects, например, можно использовать JavaScript, и сделать тоже самое, но с большим комфортом

Первый видео-курс по Python мне подкинул сосед, спец. по видео пост продакшн. Он его учил чтобы писать скрипты для Houdini.
2023-03-09, 19:39:38: Xpitfire/symbolicai: Compositional Differentiable Programming Library
pip install symbolicai
2023-03-08, 23:08:15: Christofides algorithm - Wikipedia
In July 2020 however, Karlin, Klein, and Gharan released a preprint in which they introduced a novel approximation algorithm and claimed that its approximation ratio is 1.5 − 10⁻³⁶. Their method follows similar principles to Christofides' algorithm, but uses a randomly chosen tree from a carefully chosen random distribution in place of the minimum spanning tree.^[5]^[6] The paper was published at STOC'21^[7] where it received a best paper award.^[8]

2022

2022-04

2022-04-27, 22:04:58: Nick Titterton
X = cvx.Variable((V, V), PSD=True)

2022-03

2022-03-15, 10:41:48: The Traveling Salesman Problem in Theory & Practice Lecture 11: Branch & Cut & Concorde 8 April 2014 David S. Johnson - ppt download
2022-03-15, 09:30:35: GitHub - jvkersch/pyconcorde: Python wrapper around the Concorde TSP solver
2022-03-15, 09:30:26: GitHub - dmishin/tsp-solver: Travelling Salesman Problem solver in pure Python + some visualizers
2022-03-11, 03:25:24: GitHub - spacedeck/spacedeck-open: Spacedeck, a web based, real time, collaborative whiteboard application with rich media support

2021

2021-12

2021-12-01, 05:20:51: phdthesis/sec-introduction.tex at master · ccanonne/phdthesis · GitHub

2021-11

2021-11-26, 19:23:23: Active Calculus Landing Page
2021-11-21, 11:53:11: Tutorial: Verify Haskell Programs with hs-to-coq
2021-11-21, 03:05:00: Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq / Хабр
Рынок труда и задачи сегодня — скорее академические. Да, есть компании, которые фигачат на коках-агдах что-то в прод (вроде во всяких боингах-BAE было что-то), но в чистом ресёрче больше шансов этим заниматься. Ну и плюс последнее время — блокчейн, там стараются применять формальные методы (например, чуваки из iohk систематически что-то доказывают на агде про свой блокчейн).
2021-11-20, 22:02:20: Учебник. Машинное обучение и Data Science: погружение в тему

Машинное обучение и Data Science: погружение в тему
Знания и опыт выпускников, преподавателей и друзей Школы анализа данных — в одном онлайн учебнике. Погрузитесь в ML и узнайте, какие технологии меняют лицо современной науки и дают жизнь сервисам, которыми пользуются миллионы людей.
Перейти в учебник
2021-11-10, 02:57:35: Lead Coding by FRAZ - YouTube

Lead Coding by FRAZ

2021-10

2021-10-12, 10:13:18: OpenMined

2021-09

2021-09-23, 10:34:11: Что же не так с ДЭГ в Москве? / Хабр
2021-09-02, 16:34:43: Личная карточка пользователя

2021-08

2021-08-31, 14:25:23: Алгебраические типы данных и Python / Хабр

2021-07

2021-07-01, 16:12:00: Вероятностное программирование / Блог компании Яндекс / Хабр
Вероятностное программирование
Вероятностное моделирование является одним из мощнейших инструментов для специалиста по анализу данных. К сожалению, для его использования необходимо не только уверенно владеть

2021-06

2021-06-29, 21:56:20: Examples of constraint programming — DOcplex.CP: Constraint Programming Modeling for Python V2.20 documentation
2021-06-29, 21:55:42: Introduction — Python-MIP documentation
2021-06-29, 21:55:20: Data sets

2021-05

2021-05-30, 11:24:30: Facebook
Аллен Дауни прямо радует - читается хорошо, без академической воды и понятно, с адекватными и ясными примерами практических задач. Последний раз все было так ясно и лаконично при перерешивании задач по терверу из советского учебника Вентцель и книги по байесовским методам Джона Крушке. Покрутил, наверное, в 10 раз в голове теорему Байеса и, вообще, понятие вероятности, условной вероятности, совместной вероятности, априорного и апостериорного распределения, сопряженного приора, pdf, pmf, cdf с разных сторон (и в очередной раз так и не просек простую идею бета-распределения, но, верю, она же есть) - ну чтобы чуйка развилась еще больше. Я честно, от всего сердца и ума, делал несколько подходов к прикладной байесовской статистике с разных сторон и с разными инструментами, прочитал, наверно несколько книг (поняв в них далеко не все) и не помню уже как много статей, но постоянно преследовал вопрос - а зачем и как это мне поможет в повседневной практике? Основная цель, которую я преследовал и до сих пор преследую для себя - научиться понимать "небольшие" данные и причины, стоящие за ними глубже, чем позволяют популярные статистические методы и мало кем, на самом деле, глубоко понимаемые доверительные интервалы на хи-квадратах, погоняемых группами сТЬЮдентов

2021-04

2021-04-15, 06:40:47: KNAPSACK_MULTIPLE - Data for the 01 Multiple Knapsack Problem
2021-04-09, 06:30:07: Code Editor
2021-04-06, 18:23:38: networkx pyvis.ipynb - Colaboratory
2021-04-03, 01:17:44: mesa-geo/README.md at master · Corvince/mesa-geo
2021-04-02, 19:03:23: Семейный бюджет, Google sheets и Python / Хабр

Localtunnel - https://localtunnel.github.io/www
Teleconsole - https://www.teleconsole.com/Pagekite - https://pagekite.net/
2021-04-02, 05:24:20: trobey/covid: A Coronovirus model in Python Mesa
2021-04-02, 05:11:20: Repast
2021-04-02, 05:05:17: Bioinformatics and other bits - A simple agent based infection model with Mesa and Bokeh
2021-04-02, 04:50:44: covid/COVID Agent Based Model.ipynb at master · killerfridge/covid

2021-03

2021-03-22, 16:22:55: Литература по AnyLogic - AnyLogic - Киберфорум
2021-03-19, 01:16:41: livejournal-export/download_comments.py at master · arty-name/livejournal-export · GitHub
2021-03-18, 08:51:01: vitus_wagner | Криптапокалипсис сегодня
Schneier on Security: "No, RSA Is Not Broken"

https://www.schneier.com/blog/archives/2021/03/no-rsa-is-not-broken.html

Вобщем, реакция общества скептическая пока
2021-03-10, 01:54:19: EMO 2021 Competition-3LVRP
2021-03-04, 02:46:51: Index of /~irani/s18_cs262/HW
2021-03-04, 01:40:09: solution1.pdf
2021-03-01, 11:41:58: (13) (PDF) Solving the Quadratic Assignment Problem using the Swallow Swarm Optimization Problem
2021-03-01, 03:33:45: react-d3-tree - npm
2021-03-01, 03:19:41: anvaka/VivaGraphJS: Graph drawing library for JavaScript

2021-02

2021-02-21, 03:10:20: Objects Representations for Machine Learning system based on Lattice Theory / Хабр
2021-02-20, 17:12:08: Как выучить иностранный язык: алгоритм / Хабр
2021-02-20, 10:40:05: Is there a JS better than D3.js for graph visualization? - Quora
<div class="q-inlineFlex qu-py--tiny qu-px--small qu-color--gray qu-bg--gray_ultralight qu-borderRadius--small qu-whiteSpace--nowrap qu-hover--color--blue" style="box-sizing: border-box; display: inline-flex;">
D3.js (JavaScript library)
Data Visualization
JavaScript (programming language)
Is there a JS better than D3.js for graph visualization?
Ad by InApps
How is big data transforming web development in 2021?
We are experts in front-end and back-end web development applying the latest technology and big data.
5 Answers
Adrian M.P. Brasoveanu
, works at MODUL University, Vienna
Answered 3 years ago · Author has 88 answers and 110.9K answer views
It would be extremely difficult to come up with a better framework for graph visualization in JavaScript than D3 for several reasons:

D3 is built around all the normal web stuff like HTML, DOM, CSS, therefore there is no need to learn new technologies in order to use it.
D3 is rather like a programming language for graphics. Leave aside the fact it’s written in JS, and it looks more like a Processing type of interpreted programming language.
D3 has a big community behind it. While even 2–3 years there were still problems finding good documentation for it, right now however there shouldn’t be any issues with it.
As other answers have mentioned, you can think of D3 as more of a basic utility that can be used to develop higher level charts/libraries, and as it turns out there are many of them. They are not better than D3, but rather they use D3.
In general if you need something better you need to define in which sense? If you need better speed? Better functionality? Faster rendering speed versus faster development time? Depending on the answer you might find faster graphics library, e.g., if they were developed directly in C, however I doubt that beside Processing or D3 you will find anything faster in the JavaScript world. Be aware though that both Processing and D3 have a steep learning curve, and Processing also requires you to use a lot of mathematics.

8.8K views ·
View 2 Upvoters
· Answer requested by
Jeff Kinney
Related Questions
More Answers Below
Which is better for network visualization, Vis.js or D3.js?
What is best for graph rendering: sigma.js or d3.js? Why?
Is d3.js worth learning?
What are the data visualization alternatives to D3.js?
What is better for data visualization: R/Python libraries or D3. js?
</div>
Taha Kachwala
, Digital Media Technologist
Answered 3 years ago · Upvoted by
Ravi Shankar
, Mater's Master of Science in Computer Science & D3.js, University of Massachusetts, Dartmouth (2018) · Author has 63 answers and 625.1K answer views
You can imagine D3 to be more of a framework you can use to design any type of visualization. It will require you to invest time and effort in learning, manipulation and cleaning of data, scaling, labeling etc. You can basically build any 2D visualizations you like from simple charts like bar and pie, to complex PCP and even custom visualizations. It is free, open sourced, and comes with a lot of good documentation and help from stack overflow.

(I had created this DOTA2 map using D3 and had done some analysis - DotA2 Spatio-Temporal Game Analysis
2021-02-20, 10:32:26: Cytoscape.js
2021-02-20, 10:29:31: Vega
2021-02-20, 10:29:13: Sigma js
2021-02-11, 11:00:24: Сложность вычислений 1. Вводная лекция - YouTube
2021-02-09, 23:09:20: caiyangcy/VRP-Algorithms
2021-02-09, 23:08:38: Solution Methods for VRP | Vehicle Routing Problem
2021-02-09, 23:08:23: 494.pdf
2021-02-09, 00:34:16: django-mptt-admin
filter_tree_queryset
2021-02-07, 11:22:47: Making Artistic Maps with Python. Rock Chalk Jayhawk! | by Frank Ceballos | Towards Data Science
2021-02-07, 11:21:11: Как создавать красивые карты с помощью Python / Блог компании SkillFactory / Хабр
2021-02-04, 20:32:08: Curved Links - bl.ocks.org
2021-02-03, 12:23:00: Travelling Salesman Problem
2021-02-02, 14:14:27: Как «Ревущий Котёнок» с Reddit заработал 28.500% на акциях GameStop: объясняю простым языком / Хабр
С. Вайн, „Опционы. Курс для профессоналов“, 2003.

Я свои деньги (401k) в фонде могу инвестировать в довольно широких пределах, от высокорисковых активов до низкорисковых и низкодоходных (типа гособлигаций).

2021-01

2021-01-30, 03:50:08: Box Stacking Problem | DP-22 - GeeksforGeeks
2021-01-26, 07:42:08: Welcome to the QGIS project!
2021-01-26, 07:28:36: Делаем маршрутизацию (роутинг) на OpenStreetMap. Введение / Хабр
2021-01-26, 06:38:53: Простая логистика своими руками / Хабр
2021-01-26, 06:32:51: Яндекс.Маршрутизация vs Sygic. Замещаем импортозамещение
2021-01-26, 06:05:38: pgr_dijkstra — pgRouting Manual (2.2)
2021-01-26, 05:34:10: Сотни тысяч маршрутов в секунду на ядро. Опыт Яндекс.Маршрутизации / Блог компании Яндекс / Хабр
Еще раз — представленное решение настолько плохо, что любой Open Source роутинг типа PgRouting или Spatialite Routing будет на порядки быстрее (100-1000 раз, навскидку).
2021-01-26, 04:22:42: Как мы сэкономили время курьерам. Логистика в Яндекс.Еде / Блог компании Яндекс / Хабр
Как мы сэкономили время курьерам. Логистика в Яндекс.Еде
2021-01-26, 04:22:39: Яндекс.Маршрутизация: как мы окунулись в логистику и решили поменять будущее / Блог компании Яндекс / Хабр
Было бы интересно если бы вы выложили матрицу и точки для 3000 локаций, ваше решение, чтобы посмотреть бенчмарк (мы тоже занимаемся VRP задачами)

Солвер Яндекс.Маршрутизации использует комбинацию алгоритма симуляции отжига и генетического алгоритма.

заточенных именно под MVRP-задачи и готовых к интеграции с системами управления предприятием. В России известны VeeRoute, Maxoptra, Антор.

Программа написана хорошими программистами, она умеет разбрасывать грузы по машинам и строить оптимальный (по времени или пробегу) маршрут объезда заказов, учитывая кучу параметров. Но логист этой функциональностью никак не пользуется. Зато он активно использует визуализацию заказов на карте.

Яндекс.Маршрутизация: как мы окунулись в логистику и решили поменять будущее
2021-01-26, 04:22:37: Сотни тысяч маршрутов в секунду на ядро. Опыт Яндекс.Маршрутизации / Блог компании Яндекс / Хабр
Сотни тысяч маршрутов в секунду на ядро. Опыт Яндекс.Маршрутизации
2021-01-13, 23:28:35: Что вас ждет на курсе Алгоритмов в Яндекс.Практикуме / Хабр
Это вы еще в школе21 от Сбера не учились.
Там всё то же, но бесплатно, и преподавателей нет совсем

Оставлю ссылку openedu.ru/course/ITMOUniversity/PADS
Единственный момент, в 2017 году, когда я проходил, графов не было. Может сейчас добавили.

Вышеупомянутый leetcode, например, не оценивает производительность работы с консолью, оценивается только работа алгоритма. Также собственно и на hackerrunk, только там, в отличии от leetcode, функции чтения из консоли и далее вывод ответа в консоль реализованы заранее и скрыты от пользователя (но код можно развернуть и посмотреть).

Подтверждаю — 50-100 решенных литкодов позволяют пройти алгоритм секцию в том же яндексе
2021-01-12, 16:25:42: Аксиома выбора и принципиальные ограничения человеческого разума / Хабр
2021-01-12, 11:33:42: Computational Complexity: Impagliazzo's Five Worlds

2020

2020-12

2020-12-15, 21:12:50: Как попадает товар в магазины «Леруа Мерлен» с точки зрения математики заказа / Блог компании Леруа Мерлен / Хабр
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: [[[spoj/tag]]graph-theory 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

[5]

[6]

[7]

[8]

@@ Строка 2: / Строка 2: @@
 === 2024-01 ===
+* 2024-01-19, 02:16:16: [https://github.com/sleepymalc/Notes/tree/7e28b1c548da109b7e89a62acc6ed1076841352c/EECS598-001-Approximation-Algorithms-and-Hardness-of-Approximation Notes/EECS598-001-Approximation-Algorithms-and-Hardness-of-Approximation at 7e28b1c548da109b7e89a62acc6ed1076841352c · sleepymalc/Notes]
 * 2024-01-19, 01:41:18: [https://github.com/arielgabizon/Lectures/blob/master/4elemproofAarhus2019.pdf Lectures/4elemproofAarhus2019.pdf at master · arielgabizon/Lectures]
 * 2024-01-19, 01:10:29: [https://github.com/Landarzar/complexityPoster/blob/master/poster.pdf complexityPoster/poster.pdf at master · Landarzar/complexityPoster]

Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Версия 02:16, 19 января 2024

Содержание

2024

2024-01

2023

2023-11

2023-10

2023-09

2023-08

2023-06

2023-03

2022

2022-04

2022-03

2021

2021-12

2021-11

Машинное обучение и Data Science: погружение в тему

2021-10

2021-09

2021-08

2021-07

Вероятностное программирование

2021-06

2021-05

2021-04

2021-03

2021-02

2021-01

2020

2020-12

2020-11

2020-10

2020-09

2020-08

2020-07

Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)

Навигация

Поиск