Verificación formal
Métodos matemáticos para probar que hardware, software o protocolos satisfacen propiedades especificadas precisamente bajo suposiciones explícitas.
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 knowledgeBuscar
12 resultados
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Generación aumentada en recuperación
Sistemas que recuperan evidencia externa en el tiempo de consulta y la suministran a un componente de lenguaje generativo antes de producir una respuesta.
SCIENDIA Knowledge Desk
Read article
Computación neuromorfásica
Arquitecturas computadoras que utilizan neuronas, sinapsis e integración de memoria-computadas inspiradas en el cerebro.
SCIENDIA Knowledge Desk
Read article
Pruebas de cero conocimiento
Los protocolos crípteos que prueban que una declaración es verdadera sin revelar el testigo secreto que lo hace realidad.
SCIENDIA Knowledge Desk
Read article
Reforzamiento del aprendizaje
Aprendizaje automático para decisiones secuenciales en las que un agente mejora el comportamiento de las recompensas generadas a través de la interacción.
SCIENDIA Knowledge Desk
Read article
Swarm Intelligence
Solución colectiva de problemas que surge de interacciones locales entre muchos agentes autónomos comparativamente simples.
SCIENDIA Knowledge Desk
Read article
Arquitecturas transformadoras
Sistemas de redes neuronales que modelan las relaciones entre fichas utilizando el procesamiento de la atención y la secuencia paralela.
SCIENDIA Knowledge Desk
Read article
Aprendizaje federado
Aprendizaje de máquina distribuido que coordina la formación de modelos entre los titulares de datos sin centralizar sus registros brutos.
SCIENDIA Knowledge Desk
Read article
Cifrado hommófico
Métodos crípteos que permiten determinadas computaciones en datos cifrados sin revelar primero el texto.
SCIENDIA Knowledge Desk
Read article
Redes neuronales de Gráficos
Arquitecturas de aprendizaje automático que aprenden representaciones de entidades conectadas por estructura relacional.
SCIENDIA Knowledge Desk
Read article
Consenso Blockchain
Cómo los participantes distribuidos acuerdan un libro de contabilidad ordenado a pesar de retrasos, fallas y propuestas contradictorias.
SCIENDIA Knowledge Desk
Read article
Redes neuronales artificiales
Modelos computacionales en capas que aprenden representaciones distribuidas ajustando conexiones ponderadas a partir de datos.
SCIENDIA Knowledge Desk
Read article