Verificação formal
Métodos matemáticos para provar que hardware, software ou protocolos satisfazem propriedades declaradamente precisas sob suposições explícita.
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
Geração Aumentada por Recuperação
Sistemas que recuperam evidências externas no momento da consulta e fornecem-nas para um componente de linguagem generativa antes do resultado.
SCIENDIA Knowledge Desk
Read article
Computação Neuromórfica
Arquiteturas de computação que usam neurônios inspiradores em eventos, sinapse e integração memória-computação.
SCIENDIA Knowledge Desk
Read article
Provas de Conhecimento Zero
Protocolos criptográficos que provam uma declaração é verdade sem revelar a testemunha secreta, o qual torna verdadeira.
SCIENDIA Knowledge Desk
Read article
Aprendizagem de Reforço
Aprendizagem de máquina para decisões sequenciais em que um agente melhora o comportamento a partir das recompensas gerada através da interação.
SCIENDIA Knowledge Desk
Read article
Inteligência enxame
Resolução coletiva de problemas que emerge das interações locais entre muitos agentes autônomos comparativamente simples.
SCIENDIA Knowledge Desk
Read article
Arquiteturas de Transformadores
Sistemas de rede neural que modelam relações entre tokens usando atenção e processamento paralelo da sequência.
SCIENDIA Knowledge Desk
Read article
Aprendizagem Federada
Aprendizagem de máquina distribuída que coordena o treinamento do modelo entre os titulares dos dados sem centralizar seus registros brutos.
SCIENDIA Knowledge Desk
Read article
Criptografia Homomórfica
Métodos criptográficos que permitem computação selecionada em dados encriptados sem revelar primeiro o texto simples.
SCIENDIA Knowledge Desk
Read article
Gráfico Redes Neural
Arquiteturas de aprendizado-máquina que aprendem representações a partir das entidades conectada por estrutura relacional.
SCIENDIA Knowledge Desk
Read article
Consenso do Blockchain
Como os participantes distribuídos concordam em um livro-razão ordenado, apesar de atrasos, falhas e propostas conflitantes.
SCIENDIA Knowledge Desk
Read article
Redes Neurais Artificiais
Modelos computacionais em camadas que aprendem representações distribuídas ajustando conexões ponderadas de dados.
SCIENDIA Knowledge Desk
Read article