Vérification formelle
Méthodes mathématiques pour prouver que le matériel, le logiciel ou les protocoles satisfont aux propriétés précisées dans des hypothèses explicites.
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 knowledgeRechercher
4 résultats
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Recyclage des batteries
Procédés qui récupèrent les matériaux et les composants fonctionnels des piles usées pour un traitement sûr et une production renouvelée.
SCIENDIA Knowledge Desk
Read article
Conception de protéines informatiques
La création algorithmique de séquences d'acides aminés devrait se plier en structures avec des fonctions biochimiques spécifiées.
SCIENDIA Knowledge Desk
Read article
Biologie synthétique
Conception et construction de systèmes biologiques utilisant des principes d'ingénierie, des modèles quantitatifs et des outils moléculaires.
SCIENDIA Knowledge Desk
Read article