Формальная проверка
Математические методы для доказательства того, что аппаратное обеспечение или протоколы удовлетворяют точно указанным свойствами при явных предположениях.
SCIENDIA Knowledge Desk
Read article
Collaborative knowledge
Sciendia Wiki
A living academic reference written, refined and transparently versioned by the Sciendia community.
10published pages
Sign in to contribute
Collaborative knowledgeПоиск
Результатов: 10
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Дополненное поколение Retrieval
Системы, которые извлекают внешние доказательства во время запроса и подают их на генерирующий языковой компонент перед тем как дать ответ.
SCIENDIA Knowledge Desk
Read article
Нейроморфные вычисления
Вычислительные архитектуры, которые используют нейроны на основе событий в мозге . синапсов и интеграции памяти-компьютера
SCIENDIA Knowledge Desk
Read article
Доказательства нулевого знания
Криптографические протоколы, которые доказывают истинность утверждения без раскрытия секретного свидетеля.
SCIENDIA Knowledge Desk
Read article
Усиление обучения
Машинное обучение для последовательных решений, в которых агент улучшает поведение от вознаграждений.
SCIENDIA Knowledge Desk
Read article
Теплый интеллект
Коллективное решение проблем, возникающее в результате локального взаимодействия между многими сравнительно простыми автономными агентами.
SCIENDIA Knowledge Desk
Read article
Архитектура трансформеров
Нейронные сети, которые моделируют отношения между токенами с использованием внимания и параллельного процесса обработки последовательностей.
SCIENDIA Knowledge Desk
Read article
Федеративное обучение
Распределенное машинное обучение, которое координирует тренинг моделей между держателями данных без централизации их необработанных записей.
SCIENDIA Knowledge Desk
Read article
Гомоморфное шифрование
Криптографические методы, которые позволяют выбирать вычисления на зашифрованных данных без предварительного раскрытия простого текста.
SCIENDIA Knowledge Desk
Read article
Графические нейронные сети
Архитектуры машинного обучения, которые изучают представления от объектов связанных реляционной структурой.
SCIENDIA Knowledge Desk
Read article