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

Aprenda a estimar erros em PINNs pra ter soluções melhores pra PDEs.

Novos métodos melhoram a segurança na arquitetura de computadores por meio de especificações formais.

Métodos de particionamento inovadores melhoram a eficiência do solucionador SMT para problemas complexos.

Um jeito de melhorar MLPs usando conhecimento confiável de GNNs.

Usando computação quântica pra resolver o problema do corte máximo na teoria dos grafos.

Apresentando um novo modelo para entender o crescimento de redes livres de escala.

Explorando medidas de complexidade e eficiência em programas de ramificação que leem uma vez.

Novo método oferece flexibilidade para calcular convoluções de forma eficaz.

Descubra a essência e a importância da teoria da prova na matemática e além.

A pesquisa melhora o método LDG pra ter mais precisão em problemas de fluxo de fluidos.

Equações de polígonos mostram relações complexas em várias áreas da matemática.

Este estudo combina métodos clássicos e quânticos pra melhorar a segmentação de imagens.

Este artigo examina métodos para mostrar que certas sequências numéricas são positivas.

Explorando os tipos e propriedades de gráficos e suas aplicações.

Descubra as últimas inovações em correção de erros quântica, focando em códigos de superfície e decodificadores.

Apresentando uma abordagem modular inovadora pra melhorar a eficiência e o desempenho do aprendizado por reforço.

Explorando técnicas pra reduzir gráficos mantendo as principais relações de distância.

Uma olhada nos grupos lineares especiais e simpleticos e suas aplicações.

Uma nova abordagem melhora o raciocínio e o planejamento para agentes em ambientes complexos.

Pesquisa sobre algoritmos para encontrar os caminhos mais curtos em modelos de grafos distribuídos.

Hipermatrizes vão além das matrizes tradicionais, permitindo lidar com dados complexos em múltiplas dimensões.

Um olhar sobre a separação de fases em materiais usando a equação de Cahn-Hilliard.

Novas abordagens visam melhorar assistentes de prova para estruturas matemáticas complexas.

Análise das interações dos agentes e horários de reuniões em passeios aleatórios não atômicos.

Um modelo para melhores previsões de operações de I/O em ambientes Linux.

PEAR melhora o aprendizado em tarefas complexas através de reclassificação adaptativa e imitação.

Um novo método melhora a precisão do modelo de linguagem por meio de provas de conhecimento estruturadas.

Simplificando a gestão de tipos em programas com inserção automática de caixas.

Um novo método revela como as DNNs aprendem bem as características importantes dos dados de treinamento.

Este artigo fala sobre um método para calcular modelos estáveis mais rápido em ASP.

Aprenda como os matroides informam a independência e o emparelhamento em sistemas matemáticos.

Explorando maneiras de contar itens únicos enquanto protege a privacidade de cada um.

Explore o mundo complexo dos gráficos de zero-divisor e suas alianças defensivas.

Pesquisadores mostram um jeito de replicar padrões simples usando autômatos celulares.

Apresentando um método eficiente pra transferir conhecimento de machine learning entre diferentes ambientes.

Um novo método pra melhorar a qualidade da imagem em condições difíceis.

A amostragem de Bell ajuda a provar a eficácia dos computadores quânticos em relação aos sistemas clássicos.

Técnicas pra resolver equações diferenciais complexas em engenharia e matemática.

Aprenda como o fuzzing de compiladores ajuda a melhorar a confiabilidade e a segurança do software.

Uma visão geral da lógica positiva e sua relevância em várias áreas.