Verificação formal
Métodos matemáticos para provar que hardware, software ou protocolos satisfazem propriedades declaradamente precisas sob suposições explícita.
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 knowledgeBuscar
4 resultados
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Reciclagem de Baterias
Processos que recuperam materiais e componentes funcionais de baterias gastadas para tratamento seguro, além da produção renovada.
SCIENDIA Knowledge Desk
Read article
Desenho de Proteínas Computacionais
A criação algorítmica de sequências amino-ácido esperada para dobrar em estruturas com funções bioquímica.
SCIENDIA Knowledge Desk
Read article
Biologia sintética
O projeto e construção de sistemas biológicos utilizando princípios da engenharia, modelos quantitativos ou ferramentas moleculares.
SCIENDIA Knowledge Desk
Read article