Formale Überprüfung
Mathematische Methoden zum Nachweis, dass Hardware, Software oder Protokolle unter expliziten Annahmen genau angegebene Eigenschaften erfüllen.
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 knowledgeSuchen
4 Treffer
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Batterie-Recycling
Prozesse, die Materialien und Funktionskomponenten aus Altbatterien für eine sichere Behandlung und eine erneute Produktion zurückgewinnen.
SCIENDIA Knowledge Desk
Read article
Computergestütztes Proteindesign
Die algorithmische Erzeugung von Aminosäuresequenzen soll sich in Strukturen mit spezifischen biochemischen Funktionen falten.
SCIENDIA Knowledge Desk
Read article
Synthetische Biologie
Design und Konstruktion biologischer Systeme unter Verwendung von technischen Prinzipien, quantitativen Modellen und molekularen Werkzeugen.
SCIENDIA Knowledge Desk
Read article