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.
17published pages
Sign in to contribute
Collaborative knowledgeSuchen
17 Treffer
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Retrieval-Augmented Generation
Systeme, die externe Beweise zum Abfragezeitpunkt abrufen und sie einer generativen Sprachkomponente zur Verfügung stellen, bevor sie eine Antwort erstellen.
SCIENDIA Knowledge Desk
Read article
Neuromorphes Computing
Computerarchitekturen, die von Gehirn inspirierte ereignisgesteuerte Neuronen, Synapsen und Memory-Compute-Integration verwenden.
SCIENDIA Knowledge Desk
Read article
Protein-Sprachmodelle
Machine-Learning-Modelle, die statistische Darstellungen von Aminosäuresequenzen für Vorhersage und molekulares Design lernen.
SCIENDIA Knowledge Desk
Read article
Paläogenomik
Die Rekonstruktion und Analyse von Genomen aus alten biologischen Überresten, um Populationen, Evolution und Krankheit im Laufe der Zeit zu untersuchen.
SCIENDIA Knowledge Desk
Read article
Zero-Knowledge-Beweise
Kryptografische Protokolle, die eine Aussage beweisen, sind wahr, ohne den geheimen Zeugen zu enthüllen, der sie wahr macht.
SCIENDIA Knowledge Desk
Read article
Verstärkung des Lernens
Maschinelles Lernen für sequentielle Entscheidungen, bei denen ein Agent das Verhalten durch Belohnungen verbessert, die durch Interaktion generiert werden.
SCIENDIA Knowledge Desk
Read article
Räumliche Transkriptomik
Methoden, die Genexpression messen und gleichzeitig die Standorte und Nachbarschaften von Zellen im Gewebe erhalten.
SCIENDIA Knowledge Desk
Read article
Swarm Intelligence
Kollektive Problemlösung, die sich aus lokalen Interaktionen zwischen vielen vergleichsweise einfachen autonomen Agenten ergibt.
SCIENDIA Knowledge Desk
Read article
Transformer-Architekturen
Neuronale Netzwerksysteme, die Beziehungen zwischen Token unter Verwendung von Aufmerksamkeit und paralleler Sequenzverarbeitung modellieren.
SCIENDIA Knowledge Desk
Read article
Federated Learning
Verteiltes maschinelles Lernen, das Modellschulungen zwischen Dateninhabern koordiniert, ohne ihre Rohdatensätze zu zentralisieren.
SCIENDIA Knowledge Desk
Read article
Homomorphe Verschlüsselung
Kryptographische Verfahren, die ausgewählte Berechnungen auf verschlüsselten Daten ermöglichen, ohne vorher den Klartext preiszugeben.
SCIENDIA Knowledge Desk
Read article
Graphenneuralnetzwerke
Machine-Learning-Architekturen, die Repräsentationen von Einheiten lernen, die durch relationale Strukturen verbunden sind.
SCIENDIA Knowledge Desk
Read article
Einzelzell-RNA-Sequenzierung
Methoden, die Transkriptionshäufigkeit in einzelnen Zellen messen, um heterogene biologische Populationen aufzulösen.
SCIENDIA Knowledge Desk
Read article
Blockchain-Konsens
Wie sich verteilte Teilnehmer trotz Verzögerungen, Ausfällen und widersprüchlichen Vorschlägen auf ein Ordered Ledger einigen.
SCIENDIA Knowledge Desk
Read article
Künstliche neuronale Netze
Mehrschichtige Rechenmodelle, die verteilte Darstellungen lernen, indem sie gewichtete Verbindungen aus Daten anpassen.
SCIENDIA Knowledge Desk
Read article
CRISPR-Cas9 Gene Editing
Ein programmierbares molekulares System, das DNA in der Nähe einer von einer Leit-RNA ausgewählten Sequenz schneiden kann.
SCIENDIA Knowledge Desk
Read article