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

A pesquisa foca em métodos eficientes pra amostrar estados de Gibbs na computação quântica.

Usando jogos pra representar cálculos quânticos complexos e fluxo de informações.

Um guia para seleção de layout em computação quântica para desempenho otimizado.

Novas arquiteturas neurais melhoram a modelagem de sistemas de partículas interagentes.

Aprenda sobre funções de Hilbert e seu papel na extração de aleatoriedade.

Um novo filtro adaptativo para uma gestão de dados eficiente.

Aprenda como o framework Mess avalia e simula sistemas de memória pra ter um desempenho melhor.

Desenvolvendo algoritmos para amostragem eficaz de triângulos em fluxos de dados de grafos.

Explorando as conexões entre álgebras combinatórias de fita e lógica computacional.

Explore os fundamentos e aplicações da teoria dos grafos em várias áreas.

O centramento de recompensas aumenta a eficácia dos algoritmos de aprendizado por reforço.

Este artigo apresenta técnicas eficientes para usar lógica de primeira ordem na verificação de sistemas.

Novos métodos melhoram a compreensão linguística em várias línguas usando WSI.

Este artigo investiga novos problemas em modelos de VASS contínuos afins.

Um olhar sobre gráficos, suas propriedades e seu papel na ciência da computação.

Uma visão geral do Cálculo de Máquina Relacional e suas principais características.

Explore a natureza, tipos e usos reais de problemas de satisfação de restrições.

Apresentando uma forma eficiente de otimizar a memória para LLMs sem perder desempenho.

Descubra aspectos intrigantes do problema de Furstenberg e suas implicações.

Uma nova abordagem melhora a avaliação de relacionamentos dinâmicos usando redes de Petri.

Um novo método melhora a verificação de software usando Linguagens de Precedência de Operadores e SMT.

Este artigo apresenta um novo domínio sub-poliédrico para otimizar compiladores de aprendizado de máquina.

Um framework pra avaliar contêineres de gráfico e seu desempenho em algoritmos.

Novos métodos melhoram a eficiência em identificar comunidades dentro de gráficos em evolução.

Identidades de fonte conectam várias áreas da matemática e melhoram a compreensão de sistemas complexos.

Aprenda sobre coberturas de strings e sua importância na gestão de dados.

Um olhar sobre portas quânticas, circuitos e correção de erros na computação quântica.

Analisando ciclos de zero-delay e estratégias de coordenação para sistemas distribuídos eficientes.

Apresentando um eDSL para o desenvolvimento eficiente de sistemas de prova de zero conhecimento.

Um novo sistema melhora o checkpoint e a restauração da GPU para um desempenho melhor.

Novos conceitos em largura de grafos melhoram a análise e as aplicações em várias áreas.

Explorando a conexão entre lógica de separação e segurança criptográfica através da independência.

Explorando a eficiência dos autômatos saltadores e suas medidas de custo.

Conjuntos livres ajudam a organizar gráficos plano sem cruzamentos de arestas.

Esse artigo fala sobre a verificação de skiplists sem bloqueio em sistemas concorrentes.

Analisar erros de arredondamento pode melhorar a precisão de cálculos com baixa precisão.

Um novo método pra aproximação de funções em espaços curvados complexos.

Explorando distribuições uniformes limitadas e de pequeno viés na pesquisa sobre pseudorandomicidade.

Este artigo fala sobre como garantir a segurança de contratos inteligentes através de um sistema de tipos focado na integridade.

Explorando como a IR melhora ferramentas de análise estática e a qualidade do software.