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

Um novo modelo melhora as previsões para sistemas com vários agentes interagindo.

Novo algoritmo melhora muito a eficiência na simulação de sistemas de transição rotulados.

Analisando a eficiência de memória e consultas em algoritmos de otimização convexa randomizados.

Explore o papel das categorias e estruturas aplicativas em matemática e ciência da computação.

Explorando o problema complicado de reverter permutações na criptografia.

Pesquisas mostram o tamanho mínimo de um sistema de Kochen-Specker na mecânica quântica.

Exame da propriedade edge-Erdős-Pósa em gráficos subcúbicos complexos.

Uma visão geral da conectividade em grafos e da propriedade de borda-Erdős-Pósa.

Este artigo fala sobre métodos eficientes para verificar sistemas de compartilhamento de bloqueios contra possíveis problemas.

Explore o papel das bases de Gröbner na resolução de equações polinomiais.

O LearnWSAT melhora a resolução de problemas SAT usando técnicas de aprendizado por reforço.

Explore o jogo estratégico de policiais e ladrões jogado em grafos.

Explorando grafos localmente irregulares e suas implicações em várias áreas.

Uma olhada na análise de segurança em sistemas distribuídos usando encontros não bloqueantes.

Novo método usando malhas prismáticas oferece maior precisão nas soluções da equação do calor.

Este estudo investiga o problema de síntese em processos compartilhados e particionados.

Uma exploração detalhada sobre a formalização da teoria das categorias na matemática.

Um novo método melhora as configurações de GPU para simulações de dinâmica de fluidos usando aprendizado de máquina.

Analisando as conexões entre movimento de fluidos e geometria através da equação EPDiff.

Um novo modelo pra entender redes complexas com várias conexões.

Um novo método reduz o custo de treinar grandes modelos em aprendizado de máquina.

Explore métodos eficazes para amostragem de distribuições de dados complexas em redes.

Uma olhada em novos métodos de subtipagem para tipos de sessão livres de contexto na programação.

O Algoritmo MGB lida de forma eficiente com PDEs não lineares complexas para várias aplicações.

Usando modelos de linguagem pra gerar explicações claras de soluções de programação.

Analisando como hiperpropriedades probabilísticas podem melhorar a segurança do programa.

Um olhar sobre fórmulas que ajudam a entender o comportamento dos sistemas.

Uma olhada em grupos redutivos, suas propriedades e aplicações.

Analisando a exclusão mútua e o impacto dos tipos de registradores nos algoritmos.

Esse artigo fala sobre estratégias pra reduzir a comunicação em problemas de regressão distribuída.

Uma visão simplificada de dois conceitos chave na teoria das categorias.

Este artigo explora como os ZDDs melhoram a resolução de quebra-cabeças lógicos.

Uma olhada nos autômatos celulares e suas conexões com mecânica quântica e termodinâmica.

Modelos de conscientização explicam como as pessoas percebem conhecimento e crenças.

Analisando como limites variáveis afetam a lógica e a decidibilidade no cálculo relacional.

Otimizando operações com tensores esparsos pra melhorar desempenho e eficiência.

Explore como gráficos dinâmicos capturam a natureza em constante mudança dos relacionamentos.

Essa pesquisa compara a eficácia de oráculos SAT e NP para contagem aproximada de modelos.

Uma nova abordagem que integra a parametricidade interna na teoria dos tipos, melhorando a confiabilidade.

Aprenda como simplificar expressões regulares pode aumentar a clareza e a eficiência delas.