Artigos mais recentes para Ciência da Computação

Avançando a transferência de provas entre diferentes sistemas matemáticos de forma eficiente.

Um método conecta lógica clássica e lógica intuicionista através de transformações de ordem superior.

Um guia sobre como gerenciar contextos de ligação e a importância deles no raciocínio lógico.

Uma visão geral de como definir processos e provas usando o Beluga.

Explorando técnicas quânticas para amostragem eficiente e contagem de modelos em sistemas complexos.

Uma nova forma de analisar a interação entre dados de rede e covariáveis.

Novos métodos têm como objetivo proteger modelos de aprendizado de máquina contra ameaças de backdoor.

Novos métodos melhoram a eficiência da correção de erros quânticos na computação.

A Uno oferece uma estrutura modular pra melhores soluções de otimização não convexa.

Um curso prático pra entender sistemas de tipos em programação usando Stella.

Essa pesquisa investiga a percolação bootstrap em redes de alta dimensão.

Um modelo prevê como os fluidos se movem em diferentes formas, melhorando a análise de fluxo.

Um olhar sobre como a deriva estocástica influencia a tomada de decisões e a otimização.

Integrar conhecimento causal melhora o desempenho das Redes Neurais Gráficas em diversas tarefas.

Um novo framework pra treinar modelos de linguagem de forma eficiente em vários computadores.

Novas técnicas melhoram a confiabilidade na transmissão de dados usando estruturas de grafo.

Descubra como novos sistemas de prova melhoram a eficiência e a capacidade de resolver SAT.

Aprenda como fórmulas contextuais se adaptam a situações que mudam no raciocínio lógico.

Analisando modelagem de ordem reduzida e redes neurais em cálculos de propagação de ondas.

Este artigo explora como simulações quânticas digitais revelam o comportamento de partículas em barreiras potenciais.

Uma nova abordagem pra melhorar a eficiência em tarefas de reconhecimento de padrões.

Entendendo arranjos de esferas e suas implicações matemáticas em dimensões superiores.

Aprenda como a bisimulação pode facilitar a verificação de sistemas complexos.

Este artigo fala sobre como usar projeções aleatórias pra simplificar problemas de programação semidefinida.

Analisando as condições para caminhos e ciclos de Hamilton em várias coleções de grafos.

Um novo método melhora a qualidade da imagem em renderização 3D, reduzindo o aliasing.

Um novo sistema interativo tem como objetivo facilitar a depuração de software.

Uma visão geral dos princípios e aplicações principais da lógica e da álgebra.

Um novo método combina LLMs com técnicas tradicionais de desmontagem para uma análise eficaz.

Novos métodos em simulação quântica oferecem soluções para equações diferenciais parciais complexas.

Um olhar sobre os potenciais benefícios e desafios do deep learning analógico na inteligência artificial.

Novos métodos de deep learning melhoram a eficiência e a qualidade da compressão de imagens.

Esse artigo fala sobre dedutibilidade no cálculo de Lambek e suas complexidades.

Este artigo unifica abordagens de iteração não determinística em programação com a teoria das categorias.

Explorando como o determinismo histórico e a simulação justa se relacionam na teoria dos autômatos.

Novos métodos melhoram a velocidade e a eficiência nos mecanismos de atenção para modelos de linguagem.

Um guia para motores de física populares para pesquisa em aprendizado por reforço.

Um estudo sobre como melhorar a atribuição de tarefas e o agendamento de trabalhos pra ter mais eficiência.

Explore a importância dos algoritmos de grafo na análise de relacionamentos complexos em dados.

Hipergrafos revelam relacionamentos complexos entre itens além dos grafos tradicionais.