Formal Verification
Mathematical methods for proving that hardware, software or protocols satisfy precisely stated properties under explicit assumptions.
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 knowledgeSearch
12 results
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Retrieval-Augmented Generation
Systems that retrieve external evidence at query time and supply it to a generative language component before producing an answer.
SCIENDIA Knowledge Desk
Read article
Neuromorphic Computing
Computing architectures that use brain-inspired event-driven neurons, synapses and memory-compute integration.
SCIENDIA Knowledge Desk
Read article
Zero-Knowledge Proofs
Cryptographic protocols that prove a statement is true without revealing the secret witness that makes it true.
SCIENDIA Knowledge Desk
Read article
Reinforcement Learning
Machine learning for sequential decisions in which an agent improves behaviour from rewards generated through interaction.
SCIENDIA Knowledge Desk
Read article
Swarm Intelligence
Collective problem-solving that emerges from local interactions among many comparatively simple autonomous agents.
SCIENDIA Knowledge Desk
Read article
Transformer Architectures
Neural-network systems that model relationships among tokens using attention and parallel sequence processing.
SCIENDIA Knowledge Desk
Read article
Federated Learning
Distributed machine learning that coordinates model training across data holders without centralising their raw records.
SCIENDIA Knowledge Desk
Read article
Homomorphic Encryption
Cryptographic methods that permit selected computations on encrypted data without first revealing the plaintext.
SCIENDIA Knowledge Desk
Read article
Graph Neural Networks
Machine-learning architectures that learn representations from entities connected by relational structure.
SCIENDIA Knowledge Desk
Read article
Blockchain Consensus
How distributed participants agree on an ordered ledger despite delays, failures and conflicting proposals.
SCIENDIA Knowledge Desk
Read article
Artificial Neural Networks
Layered computational models that learn distributed representations by adjusting weighted connections from data.
SCIENDIA Knowledge Desk
Read article