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

Pesquisa revela novos algoritmos que melhoram a segurança da criptografia RSA através de técnicas de fatoração mais eficientes.

Introduzindo um novo método pra melhorar a eficiência em modelos de linguagem grandes através de poda.

Uma visão geral dos algoritmos e suas limitações em problemas de satisfação de restrições.

Um novo método pra melhorar o agendamento de tarefas em fluxos de trabalho científicos complexos.

Explorando conexões entre programas lógicos e redes booleanas pra melhorar a compreensão de modelos estáveis.

Um estudo sobre algoritmos aleatórios para testes de subgrupos na teoria dos grupos.

Um novo modelo mostra como os osciladores se sincronizam quando suas conexões mudam.

Tutores de IA ajudam alunos em cursos de programação, melhorando a experiência de aprendizado deles.

Aprenda conceitos e técnicas chave em compressão de dados para armazenamento e transmissão eficientes.

Melhorando a eficiência na resolução de sistemas lineares a partir de PDEs discretizadas usando SAMs.

Novo algoritmo melhora o planejamento de síntese ao levar em conta materiais de partida específicos.

NamedCurves oferece um jeito inovador de melhorar a qualidade das imagens usando ajuste de cor.

Explorando as complicações de transformar NFAs em DFAs na ciência da computação.

Explore as relações entre teorias formais por meio da lógica de interpretabilidade.

Um estudo sobre estratégias de emparelhamento eficazes, levando em conta preferências e restrições.

Explorando como as células crescem, interagem e moldam os organismos vivos.

Este artigo apresenta um novo método para melhorar a geração de código Verilog usando ajuste de instruções.

Explorando a complexidade de estado na teoria dos autômatos e suas implicações para o processamento de linguagem.

Um novo método aprimora a programação linear inteira com remoção de cortes e aprendizado de máquina.

Agentes de aprendizado por reforço aprendem a se adaptar e reutilizar conhecimentos para novos desafios.

Um novo modelo esclarece a dinâmica do ruído quântico na computação.

Uma exploração das complexidades nos quebra-cabeças Snake Cube e suas variações.

Estudo revela como recursos mágicos evoluem em sistemas quânticos, afetando a eficiência computacional.

Uma visão geral das incorporações de matroid online e suas aplicações na tomada de decisão.

GenSco melhora os sistemas de QA ao aumentar a precisão e a coerência nas respostas de múltiplas etapas.

Um olhar sobre multigrafos mistos e seu papel na teoria dos grafos.

Explorando como polinômios podem gerar pequenas partes fracionárias por meio de uma avaliação cuidadosa.

Explorando como os vértices em grafos podem ser agrupados através de partições domáticas.

Aprenda sobre conjuntos de píncaro e sua importância na teoria dos grafos.

Uma olhada nas complexidades e soluções para o problema da mochila multidimensional.

Uma olhada em polinômios, ROABPs e sua relação com complexidade.

Um olhar mais de perto sobre métodos pra garantir que os LLMs não sejam mal utilizados.

Analisando como as redes neurais aprendem com os dados e os fatores que influenciam seu desempenho.

Descubra como os códigos quânticos protegem informações na computação quântica.

Este estudo apresenta um novo algoritmo para otimização eficiente de funções usando feedback limitado.

WeLore traz eficiência para grandes modelos de linguagem ao simplificar matrizes de pesos.

Examinando cortes de vértice e suas aplicações na teoria dos grafos e estruturas de matroid.

Matemáticos buscam a maior forma que passa por um corredor em forma de L.

Esse artigo apresenta o ValueWalk, um método pra melhorar o aprendizado de computador a partir do comportamento de especialistas.

Um olhar sobre potenciais modelos infinitos na teoria dos tipos e sua importância.