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