Verificación formal
Métodos matemáticos para probar que hardware, software o protocolos satisfacen propiedades especificadas precisamente bajo suposiciones explícitas.
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
Reciclaje de batería
Procesos que recuperan materiales y componentes funcionales de las baterías gastadas para un tratamiento seguro y una producción renovada.
SCIENDIA Knowledge Desk
Read article
Diseño de proteínas computacionales
La creación algoritmo de secuencias aminoácidas espera doblar en estructuras con funciones bioquímicas especificadas.
SCIENDIA Knowledge Desk
Read article
Biología sintética
El diseño y construcción de sistemas biológicos utilizando principios de ingeniería, modelos cuantitativos y herramientas moleculares.
SCIENDIA Knowledge Desk
Read article