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

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

Técnicas pra avaliar as propriedades de segurança de protocolos criptográficos.

Uma olhada em esquemas de rotulagem pra manter a conectividade do grafo em meio a falhas de vértices.

Explorar o papel da fatoração polinomial em campos finitos e suas aplicações.

Explorando as características e a importância dos -dígrafos dicríticos na teoria dos grafos.

Este artigo examina algoritmos quânticos eficientes que melhoram o desempenho e a robustez.

Apresentando um novo método pra treinar modelos usando redes tensorais e estados de produto matricial.

Analisando como pares de palavras podem se transformar através da conjugação em relações racionais.

Aprenda como as referências retroativas melhoram expressões regulares para padrões de texto complexos.

Este artigo fala sobre como melhorar modelos de aprendizado de máquina usando balanceamento e aumento de dados polinomiais.

Explorando novos sistemas de prova usando autômatos para o mu-cálculo modal.

Uma visão geral de linguagens finitas, DFA e sua análise.

Novos métodos quânticos melhoram a velocidade na resolução de PDEs e na classificação de imagens.

Um novo algoritmo paralelo melhora a eficiência e a precisão do agrupamento por correlação.

Um estudo sobre interações sensíveis ao tempo em negociações entre agentes.

Uma olhada na disposição dos objetos e suas classificações únicas.

Explore árvores zip e suas melhorias para uma gestão de dados eficiente.

Um método pra garantir que transformações de grafos parem corretamente usando grafos de tipo ponderado.

Um olhar sobre os fundamentos e aplicações da teoria dos grafos.

Esse artigo fala sobre como gerar autômatos de Wheeler aleatórios para pesquisa e teste.

Analisando as semelhanças e diferenças de grafos rotulados usando a maior subsequência comum.

Um olhar sobre poliominos de moldura e suas propriedades únicas.

Pesquisas ligam teorema de Turán com algoritmos eficientes pra encontrar cliques em grafos.

RES estende sistemas Booleanos, melhorando a análise das relações entre números reais.

Métricas contextuais melhoram as comparações dos comportamentos dos processos em diferentes situações.

Explorando estratégias de alocação justa para itens indivisíveis usando a abordagem do maximin share.

Um panorama dos autômatos, seus tipos e as linguagens que eles reconhecem.

Este trabalho foca em melhorar a alcançabilidade em grafos planos direcionados, levando em conta falhas na rede.

Pesquisas mostram que tem uma complexidade nos problemas de otimização de matroid com restrições lineares.

Essa pesquisa analisa o tempo de mistura ideal para conjuntos independentes usando dinâmicas de Glauber.

Um olhar sobre como a técnica SOS simplifica tarefas complexas de otimização.

Explorando conceitos matemáticos de colorações e coberturas aplicados ao cubo.

Uma olhada nos grafos pancíclicos e sua importância na teoria dos grafos.

Novos métodos para soluções mais rápidas para problemas de TSP e MST.

Novos algoritmos garantem resultados estáveis em problemas de otimização combinatória.

Um novo algoritmo melhora a eficiência na solução de jogos de pagamento médio.

Esse artigo examina a relação entre caminhos de Dyck e qualquerons de Fibonacci na computação quântica.

Uma visão geral das técnicas de eliminação de quantificadores na teoria dos modelos.

Esse artigo explora um método para projetar misturadores eficientes em computação quântica.

Esse framework simplifica a definição de teoria de tipos e melhora a checagem de tipos em linguagens de programação.