Лекция
Интерпретация и компиляция функциональных программ
Eval / Apply -интерпретатор.
Эффективная и ленивая интерпретация.
SECD-машина. Эффективная и ленивая версии...
Выпуклая оптимизация.
Страница лекции на сайте Computer Science Center
Исключения и ООП. Приведение типов в стиле C.
N-ядро. Теорема Колберга. Теорема Соболева. Монотонность. Теорема Янга.
Страница лекции на сайте Computer Science Center
Параллельные реализации алгоритмов
Оптимизации в компиляторах
Системы управления дефектами. Системы контроля версий
Страница лекции на сайте Computer Science Center
Симплекс-метод
Подробнее о двойственности, симплекс-метод.
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
Случайные тензоры, метрические пространства и классификация функций нескольких переменных.
Преобразование Зака.
Пространственно-временные представления. Двойственность.
Обзор методов оптимизации (по Ю.Е. Нестерову).
Страница лекции на сайте Computer Science Center
Шаблоны продолжение. Исключения продолжение.
Fractional telegraph equation: solution and discussion.
Кооперативные игры, решения. С-ядро. ТП и НТП игры. Теорема Бондаревой-Шепли. Линейные решения кооперативных игр. Вектор Шепли, аксиоматизации.
Страница лекции...
Кластеры и стандарт MPI
Методы комплексного анализа. Гауссиан в качестве элементарного атома.
Управление программными проектами (окончание). Управление рисками
Страница лекции на сайте Computer Science Center
Линейное программирование
Линейное программирование. Линейное программирование: общий вид задачи, двойственность. Задача о максимальном потоке. Задача о...
Fractional pure birth process: non-linear and linear case.
Разложения Габора, принцип неопределенности, теория фреймов.
Страница лекции на сайте Computer Science Center
Professor Lorenzo Chiesa will talk about Lysenko and contemporary materialistic dialectic in the life sciences.
Fractional Poisson process.
Construction and distribution.
Time-fractional Poisson process as a renewal process.
Действия групп на решетках подгрупп, что такое случайная подгруппа; случайные подгруппы конечной и бесконечной симметрических
групп. Классификационная теорема.
Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are...
Модельная одномерная задача.
Гипотеза об изоморфизме группы автоморфизмов ожерелий с песочными группами специальной серии направленных графов.
Чистое лямбда-исчисление
Чистое лямбда-исчисление
Страница лекции на сайте Computer Science Center
Оценки в ядерном классе для псевдодифференциальных операторов:
а) с гладкими символами,
б) с разрывными символами.
Генетические алгоритмы. Differential evolution.
Страница лекции на сайте Computer Science Center
XML.