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.
12published pages
Sign in to contribute
Collaborative knowledgeRechercher
12 résultats
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Génération augmentée par récupération
Systèmes qui récupèrent des preuves externes au moment de la requête et les fournissent à un composant de langage génératif avant de produire une réponse.
SCIENDIA Knowledge Desk
Read article
Informatique neuromorphe
Architectures informatiques qui utilisent des neurones, synapses et intégration de calcul de mémoire inspirés par les événements.
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
Renforcement de l'apprentissage
Apprendre par machine pour des décisions séquentielles dans lesquelles un agent améliore le comportement à partir de récompenses générées par l'interaction.
SCIENDIA Knowledge Desk
Read article
Swarm Intelligence
La résolution collective de problèmes qui se dégage des interactions locales entre de nombreux agents autonomes relativement simples.
SCIENDIA Knowledge Desk
Read article
Architectures de transformation
Systèmes de réseau neuronal qui modélisent les relations entre les jetons en utilisant l'attention et le traitement parallèle des séquences.
SCIENDIA Knowledge Desk
Read article
Enseignement fédéré
L'apprentissage automatique distribué qui coordonne la formation des modèles entre les détenteurs de données sans centraliser leurs enregistrements bruts.
SCIENDIA Knowledge Desk
Read article
Chiffrement homomorphe
Méthodes cryptographiques permettant de calculer des données cryptées sans révéler le texte clair.
SCIENDIA Knowledge Desk
Read article
Réseaux neuronaux graphiques
Architectures d'apprentissage automatique qui apprennent les représentations d'entités connectées par la structure relationnelle.
SCIENDIA Knowledge Desk
Read article
Consensus sur la blockchain
Comment les participants distribués s'accordent sur un grand livre ordonné malgré les retards, les échecs et les propositions contradictoires.
SCIENDIA Knowledge Desk
Read article
Réseaux de neurones artificiels
Modèles informatiques en couches qui apprennent les représentations distribuées en ajustant les connexions pondérées à partir des données.
SCIENDIA Knowledge Desk
Read article