A living academic reference written, refined and transparently versioned by the Sciendia community.
Collaborative knowledgeSuchen
6 Treffer
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear searchDie Untersuchung von geometrischen Räumen, die durch Polynomgleichungen definiert werden, unter Verwendung von Werkzeugen, die Form, Algebra und Arithmetik verbinden.
Mathematische Methoden zum Nachweis, dass Hardware, Software oder Protokolle unter expliziten Annahmen genau angegebene Eigenschaften erfüllen.
Computerarchitekturen, die von Gehirn inspirierte ereignisgesteuerte Neuronen, Synapsen und Memory-Compute-Integration verwenden.
Kryptografische Protokolle, die eine Aussage beweisen, sind wahr, ohne den geheimen Zeugen zu enthüllen, der sie wahr macht.
Kryptographische Verfahren, die ausgewählte Berechnungen auf verschlüsselten Daten ermöglichen, ohne vorher den Klartext preiszugeben.
Positive ganze Zahlen größer als eins, deren einzige positive Teiler eins und sich selbst sind.
