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
Calcul quantique photonique
Traitement de l'information quantique qui code, transforme et mesure les qubits dans des photons individuels et des modes optiques.
SCIENDIA Knowledge Desk
Read article
Preuves de connaissance zéro
Les protocoles cryptographiques qui prouvent qu'une déclaration est vraie sans révéler le témoin secret qui la rend vraie.
SCIENDIA Knowledge Desk
Read article
Sensation quantique
Techniques de mesure de précision qui exploitent les états quantiques contrôlés pour détecter les champs, le temps, le mouvement et les propriétés du matériau.
SCIENDIA Knowledge Desk
Read article