Лекция
Окружение программы
Взаимодействие аппаратной платформы, операционной системы, библиотеки поддержки времени исполнения, прикладных библиотек и скомпилированной...
Алгоритмы для задачи выполнимости: локальный поиск
Локальный поиск: поиск выполняющего набора в шаре радиуса r за O∗(3r); оценки O∗(3n/2) и O∗(1.5n) с помощью...
Алгоритмы для задачи выполнимости: метод расщепления
Страница лекции на сайте Computer Science Club
Линейные модели: уменьшаем variance
Страница лекции на сайте Computer Science Center
Main points of the presentation:
Линейные модели: введение
Страница лекции на сайте Computer Science Center
Александр расскажет про ту архитектуру ARM , что в 99% случаев в вашем смартфоне или планшете. Историю возникновения, набор команд, эволюцию и как элегантные...
Quantum Information theory (QIT) provides theoretical underpinnings for the project of building a quantum computer, one of the major scientific and ...
Статическая семантика и её реализация при левоатрибутном анализе. Определенность переменных, простейший анализ типов
Страница лекции на сайте Computer Science...
Точные алгоритмы для задачи раскраски графа
Эвристики для задачи коммивояжёра, алгоритмы для задачи о надстроке
Эвристики для задачи коммивояжёра: метод ветвей и границ, локальный поиск.
Алгоритмы для...