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

Este estudo analisa atratores globais e sombreamento em sistemas dinâmicos não compactos.

Um novo modelo melhora a classificação de séries temporais aprendendo a deformar as sequências.

Uma olhada em conceitos de teoria de grupos como exponenciação e autômatos.

Um olhar sobre como a aprendizagem de autômatos impacta várias áreas da tecnologia.

Aprenda sobre geração de código, técnicas de otimização e a importância delas na programação.

Uma nova forma de checar se os programas que usam aleatoriedade estão certos.

Aprenda como a largura de árvore bipartida ajuda a resolver problemas complexos de grafos de forma eficiente.

Explorando o papel dos anuladores em mapas polinomiais e suas implicações.

Um novo método pra representar e manipular grafos esparsos de forma eficaz.

Novos modelos melhoram a precisão e a velocidade na análise de frases complexas.

Uma visão geral da energia livre em sistemas complexos como vidros de spin.

Este artigo explora a aplicação de métodos de elementos finitos na análise em quatro dimensões.

Novo método busca reduzir o tempo de compilação em tarefas de computação quântica.

Apresentando o Método de Descenso Estocástico Mais Afilado para uma melhor otimização em espaços complexos.

Uma olhada em autômatos que percorrem strings de entrada em ambas as direções.

Uma visão geral de autômatos quânticos reconhecendo linguagens unárias usando métodos novos.

Explorando o papel das formas sentenciais finais na geração de linguagem através de CFGs.

Uma visão geral das gramáticas de grafos e suas aplicações em ciência da computação e biologia.

RIFL melhora a velocidade e a confiabilidade da comunicação em data centers modernos.

Esse artigo explora a estrutura e os desafios dos grafos equivalentes a grau.

Uma teoria de tipo de dois níveis conecta provas lógicas e programação prática.

Uma nova abordagem melhora o estudo de redes complexas através de um cálculo de curvatura eficiente.

Um novo método permite que modelos de linguagem aprendam habilidades de adição de forma independente.

Examinando sequências inteiras usando autômatos finitos pra provas rápidas e sacadas.

Uma visão geral das categorias diferenciais cartesianas e sua relevância em matemática e ciência da computação.

Explorando a lógica de separação dinâmica pra melhorar a gestão de memória na programação.

Esse artigo fala sobre novos métodos para verificar a segurança de dados em sistemas concorrentes.

Um novo algoritmo melhora a velocidade e a eficiência no processamento de tensores esparsos.

Descubra como algoritmos paralelos aceleram os cálculos do LCS para grandes conjuntos de dados.

Um novo método acelera bastante a contagem de triângulos em grafos.

Descubra métodos para reduzir as necessidades de recursos para RLHF e melhorar o desempenho do modelo.

Ajudas de saturação de ginásio ajudam provedores na prova automática de teoremas usando aprendizado por reforço.

Um estudo sobre subgrafos abrangentes dentro de hipergrafos focando em condições de grau mínimo.

Uma nova biblioteca ajuda a simular sistemas quânticos bidimensionais usando redes tensorais.

Explorando maneiras eficazes de escolher modelos de recuperação densa para dados não rotulados.

Explorando o papel e as implicações das cliques arco-íris em grafos coloridos por arestas.

Um novo sistema melhora a precisão do movimento dos avatares e a gestão de recursos em mundos virtuais.

Novas descobertas contestam crenças antigas sobre conectores disjuntos por arestas em grafos.

Novos métodos melhoram a comunicação em sistemas multi-agente através de coreografias e posets.

Um novo algoritmo simplifica a tomada de decisão em problemas de seleção online.