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

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.

Uma visão geral dos conceitos principais em teoria dos grafos e sua relevância.

O GNN-Diff melhora a eficiência e o desempenho do treinamento de GNN otimizando os hiperparâmetros.

Uma nova abordagem para encontrar conjuntos independentes em grafos usando qualquer configuração inicial.

Novas técnicas melhoram o corte de bolo sem inveja entre vários participantes.

Descobre como os agentes de IA aprendem a mandar bem nos jogos da Atari usando aprendizado por reforço.

O GTM melhora a velocidade e a qualidade da renderização 3D para cenas dinâmicas.

Um novo método acelera significativamente a detecção de graphlets em redes complexas.

Esse artigo destaca as dificuldades na extração de circuito e comparação de diagramas no cálculo ZH.

Analisando novos desenvolvimentos em ferramentas para verificar sistemas complexos.

Uma visão geral das abordagens clássicas e quânticas para a confiabilidade de redes.

O MotionCraft cria vídeos realistas usando física sem precisar de muito treinamento.

Novos métodos enfrentam o desafio do esquecimento catastrófico no aprendizado de IA.

Apresentando o ProCo, um método pra melhorar a autocorreção em modelos de linguagem grandes.

Explore as propriedades únicas das quarticas planas e suas conexões na matemática.

Explorando um framework pra entender o conhecimento entre vários agentes na lógica modal.

MuDreamer melhora o aprendizado do agente ao focar na previsão em vez de reconstrução de imagens.

Uma nova abordagem pra entender redes em evolução através de modelagem autoregressiva.

Novas estruturas de árvore melhoram a visibilidade na tomada de decisão em sistemas de IA.

Analisando K-Cores e degenerescência em streaming de grafos revela uma complexidade significativa.

Uma visão geral dos CSPs comutativos e não comutativos e suas implicações.

Pesquisas mostram que o uso eficaz de linguagens de alto nível para operações com inteiros grandes em GPUs.

A POETRY melhora a eficiência da prova de teoremas com sua abordagem recursiva.

Combinar representações em programação genética leva a uma solução de problemas melhor.

Uma estrutura flexível melhora a colocação dos dispositivos em modelos de IA pra ter um desempenho melhor.

Esse artigo fala sobre operadores de proximidade e o papel deles na otimização pra recuperação de sinal.

Esse sistema oferece um ambiente escalável pra testar agentes autônomos em aplicativos Android do dia a dia.

Analisando as propriedades dos grupos lineares especiais e suas implicações na matemática e na ciência da computação.

Um método melhora a clareza da imagem lidando com o ruído de Poisson nos dados de imagem.

A pesquisa apresenta algoritmos pra minimizar as distâncias entre nós em gráficos que são revelados de forma dinâmica.