Премия за лекцию Флажоле
Приз за лекцию Флайоле История премии Лекционная премия имени Филиппа Флайоле присуждается с 2014 года. Премия названа в память о […]
Вики
Theoretical computer science
Вики
Корекурсия
Повторная экскурсия Основы рекурсии и коиндукции Рекурсия — это метод определения функции через саму функцию. Коиндукция — это метод определения
Вики
Коиндукция
Коиндукция Определение и свойства F-коалгебр F-коалгебра — это пара (A, F), где A — множество, а F — функционал, отображающий
Вики
Институт (информатика)
Учебное заведение (информатика) Определение и применение теории институтов Теория институтов была разработана для формализации логической системы. Институты позволяют разрабатывать языки
Вики
Формальный язык
Формальный язык Определение формального языка Формальный язык — это множество строк, определенных на некотором алфавите. Строки могут быть конечными или
Вики
Теория институциональной модели
Теория институциональной модели Обзор теории институциональных моделей Теория институциональных моделей обобщает теорию моделей первого порядка на произвольные логические системы. Институты
Вики
Квантовая емкость
Квантовая емкость Основные понятия квантовых вычислений Квантовые вычисления используют квантовые состояния для выполнения вычислений. Квантовые состояния могут быть представлены в
Вики
Проблема скрытой подгруппы
Проблема скрытой подгруппы Определение и свойства скрытой подгруппы Скрытая подгруппа — это подгруппа, которая не может быть найдена в явном
Вики
Пороговая теорема
Пороговая теорема Пороговая теорема в квантовых вычислениях Квантовые компьютеры могут быть отказоустойчивыми при частоте физических ошибок ниже определенного порога. Теорема
Вики
Гипотеза многообразия
Многообразная гипотеза Гипотеза многообразия в машинном обучении Многомерные наборы данных могут лежать на низкоразмерных скрытых многообразиях. Алгоритмы машинного обучения эффективны
Вики
Алгоритмическая прозрачность
Алгоритмическая прозрачность Определение алгоритмической прозрачности Алгоритмическая прозрачность требует, чтобы факторы, влияющие на алгоритмы, были видимы для пользователей и регулирующих органов.
Вики
Машинное обучение в физике
Машинное обучение в физике Обзор квантового машинного обучения Квантовое машинное обучение используется для изучения квантовых систем. Примеры применения включают томографию
Вики
API-исчисление
API-Математический анализ Основы API Calculus API Calculus — это математическая программа, которая решает задачи с использованием операционных систем. Разработана Робином
Вики
Окружающее исчисление
Окружающий математический анализ Основы Ambient calculus Ambient calculus разработан для описания и теоретизации параллельных систем с мобильностью. Мобильность включает вычисления
Вики
π-исчисление
Π-исчисление Основы π-исчисления π-исчисление — это модель вычислений, которая позволяет описывать процессы и их взаимодействие. Оно основано на теории процессов,
Вики
Обучение Оккама
Изучение Оккама Определение и свойства алгоритма Оккама Алгоритм Оккама — это алгоритм, который выводит гипотезу, наиболее близкую к истинной концепции.
Вики
Квантовое машинное обучение
Quantum machine learning Обзор квантовых алгоритмов машинного обучения Квантовые алгоритмы машинного обучения используют квантовые вычисления для обработки данных. Квантовые алгоритмы
Вики
Журнал автоматов, языков и комбинаторики
Журнал по автоматам, языкам и комбинаторике Обзор журнала JALC JALC — рецензируемый журнал в области компьютерных наук, основанный в 1965
Вики
Псевдослучайность
Псевдослучайность Определение и использование случайных чисел Случайные числа — это числа, которые невозможно предсказать. Они используются в криптографии, играх, научных
Вики
Алгоритмическая техника
Алгоритмический метод Основы алгоритмического метода Алгоритмический метод — это общий подход к реализации вычислений. Существуют различные методы, включая поиск, сортировку,