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

Um novo método melhora o aprendizado de agentes usando a simetria nas tarefas.

Aprenda como árvores binárias podem ser transformadas através da distância de rotação.

Um olhar sobre a relação entre palavras e autômatos em sequências de símbolos.

Novo hardware acelera modelos Transformer enquanto economiza energia e espaço.

Um novo sistema junta Datalog e saturação de igualdade pra melhorar a análise de programas.

Esse artigo explora números de saturação e sua importância em gráficos aleatórios.

Uma exploração sobre contagem e compreensão de topologias finitas e suas aplicações.

Novos métodos melhoram a eficiência dos solucionadores SAT com restrições de paridade.

Um estudo sobre o desempenho do offloading de OpenMP para GPUs da Intel e NVIDIA.

Um novo método melhora redes neurais pra resolver equações matemáticas complexas de forma eficiente.

NeuroBench cria uma base pra avaliar sistemas e algoritmos de computação neuromórfica.

Um novo sistema melhora a depuração do OCaml rastreando a execução do programa.

Aprenda sobre partições isoladas e seu papel na manipulação de dados e algoritmos.

O SENeCA melhora a eficiência do SNN ao revelar insights de energia.

Esse método melhora a precisão do agrupamento, especialmente quando os grupos variam de tamanho.

Um método pra simplificar funções de ordem superior em linguagens de programação.

Esse artigo apresenta um método eficiente pra comparar sistemas de computação quântica.

Esse estudo analisa como a temperatura afeta a adição de matrizes retangulares.

Pesquisas mostram melhorias na correção de erros quânticos usando MaxSAT para códigos de cor.

O QChecker ajuda a detectar bugs em programas quânticos usando técnicas de análise estática.

Uma olhada em autômatos max-plus e sua importância na análise de desempenho de sistemas.

Este artigo fala sobre um novo método pra conseguir acordo de conjunto usando conceitos topológicos.

Um novo método melhora a classificação de dados usando técnicas de aprendizado semi-supervisionado.

Examinando as ligações entre provas lógicas e sistemas computacionais dentro da lógica modal construtiva.

A composição por partes melhora a execução simbólica para uma verificação de design de hardware mais eficiente.

Essa pesquisa melhora o ajuste de programas tensor em diferentes hardwares usando técnicas de aprendizado por transferência.

Uma olhada no DNAS e seu impacto no design de redes neurais.

Novos métodos melhoram a eficiência para encontrar os caminhos mais curtos em grafos com pesos de arestas negativos.

Explore o problema LCS influenciado por limitações de distância na seleção de caracteres.

Descubra o papel do QIR na programação quântica pra uma segurança de código melhor.

Uma revisão dos algoritmos recentes para determinar se linguagens regulares e autômatos estão vazios.

Uma nova estrutura para desmembrar requisitos complexos em sistemas robóticos.

Este estudo analisa colorações em grafos circulantes Hamiltonianos pra revelar suas propriedades únicas.

Uma visão geral de gráficos não trocáveis e sua importância nas estruturas de grafos.

Explore o papel e a mecânica dos bancos de dados de grafos em aplicações modernas.

Aprenda como o algoritmo de Yannakakis facilita o processamento de dados usando decomposições em árvore.

Um algoritmo privado para analisar componentes de grafos protege a privacidade individual.

Descubra métodos eficientes para agrupar grandes conjuntos de dados através de novas técnicas de computação paralela.

Este artigo fala sobre um jeito simples de resolver equações integrais singulares.

Melhorando a tecnologia de texto para imagem com formatação de texto rica pra mais clareza e detalhe.