Formal Verification
Mathematical methods for proving that hardware, software or protocols satisfy precisely stated properties under explicit assumptions.
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 knowledgeSearch
4 results
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Battery Recycling
Processes that recover materials and functional components from spent batteries for safe treatment and renewed production.
SCIENDIA Knowledge Desk
Read article
Computational Protein Design
The algorithmic creation of amino-acid sequences expected to fold into structures with specified biochemical functions.
SCIENDIA Knowledge Desk
Read article
Synthetic Biology
The design and construction of biological systems using engineering principles, quantitative models and molecular tools.
SCIENDIA Knowledge Desk
Read article