Informática - Computação simbólica

Um novo algoritmo melhora o cálculo de equações polinomiais usando bases de Gröbner e a elevação de Hensel.

Conheça o WebPie, uma linguagem simples que usa tipos dependentes pra programação segura.

Explorando o papel da IA na formação da música através de técnicas e estruturas avançadas.

Explorando a divisão total em estruturas matemáticas e suas implicações.

Um novo método melhora as técnicas de regularização DAE para ter mais eficiência e precisão.

Apresentando novos métodos pra melhorar a estimativa de fluxo óptico usando câmeras baseadas em eventos.

Uma nova abordagem melhora a avaliação de relacionamentos dinâmicos usando redes de Petri.

Este artigo apresenta um novo domínio sub-poliédrico para otimizar compiladores de aprendizado de máquina.

O AutoLINC automatiza o design de função de perda pra lidar melhor com o desbalanceamento de classes em machine learning.

Um novo método pra melhorar modelos preditivos usando dados incertos.

Um olhar claro sobre reações químicas e suas simulações, do básico às aplicações.

Combinar NIDS com IA neurossimbólica melhora a detecção de ameaças e a compreensão do sistema.

Uma nova abordagem pra IA combina modelos de linguagem com programas simbólicos pra uma melhor interpretabilidade.

Esse artigo apresenta um método para certificar a viabilidade em programação semidefinida.

Novos modelos de IA aprimoram habilidades de raciocínio usando quebra-cabeças visuais.

Examinando a segurança do SHA-256 e técnicas recentes de descoberta de colisões.

Novos métodos híbridos melhoram a eficiência na fatoração de inteiros para criptografia.

Tree Experts Diferenciáveis melhora operações em árvores na inteligência artificial.

Uma olhada em técnicas para contar grafos regulares e suas aplicações.

FEAS melhora a prova automática de teoremas para equações funcionais usando novas estratégias.

Explorando relações complexas em equações lineares dentro de grupos abelianos por cíclicos.

CTSLAM melhora a localização e mapeamento robótico usando uma integração de dados flexível.

Pesquisa destaca métodos para manter a consistência do diálogo em conversas relacionadas a restaurantes.

Novo método melhora a precisão da classificação e a adaptabilidade através da detecção de erros.

Descobrindo conexões entre grupos de reflexão complexos e equações diferenciais lineares.

Avanços recentes em Eliminação de Quantificadores Reais e CAD melhoram a eficiência na resolução de problemas em matemática.

Aprenda como a matemática ajuda a entender reações químicas e suas interações.

Um olhar sobre como lidar com polinômios com os recursos e desafios do Lean.

Uma nova abordagem para prever eventos usando regras causais dinâmicas e contextos de história dupla.

BMLP melhora a avaliação de consultas datalog usando matrizes booleanas pra um desempenho melhor.

Novos métodos melhoram as previsões de trajeto das naves espaciais através de uma melhor gestão da incerteza.

Descubra como a aprendizagem ativa otimiza experimentos em pesquisas biológicas.

Este artigo fala sobre os desafios em calcular fatores de forma em três laços na física de partículas.

Uma nova abordagem pra encontrar EDOs usando técnicas de coleta ativa de dados.

Explorando os métodos e desafios da fatoração e verificação de polinômios.

Um novo método melhora a regressão simbólica usando modelos de linguagem pra uma análise de dados mais eficiente.

QLMNtal melhora o manuseio de gráficos com recursos de quantificação poderosos.

Sistemas de IA aprendem explorando e se motivando, melhorando seu desempenho nas tarefas.

Um novo método pra dividir conjuntos algébricos em partes equidimensionais usando bases de Gröbner.

Combinando lógica fuzzy e regressão simbólica pra detectar fraudes de forma mais clara.