Apresentando uma nova abordagem pra categorizar e estudar emoções através da Ontologia de Quadro Emocional.
― 8 min ler
Informática - Computação simbólica
RSSArtigos mais recentes
Artigos mais recentes
Um olhar sobre como a gente determina valores de parâmetros em equações diferenciais.
― 8 min ler
Aprenda como tornar os parâmetros identificáveis em modelos de EDO.
― 7 min ler
Um olhar sobre o papel dos circuitos quânticos na computação e as perspectivas futuras.
― 7 min ler
Explore as propriedades únicas e aplicações das superfícies elípticas na matemática.
― 7 min ler
As bases de Gröbner simplificam os cálculos na resolução de equações polinomiais, impactando áreas como criptografia.
― 6 min ler
CGPO melhora a tomada de decisão em cenários incertos com ações mistas.
― 8 min ler
Explore soluções para agentes se movendo por espaços compartilhados sem colisões.
― 6 min ler
Avaliando as habilidades de raciocínio dos LLMs através do benchmark ARC.
― 6 min ler
Esse método melhora o acompanhamento das soluções em sistemas de equações que estão mudando.
― 8 min ler
Um novo algoritmo melhora o cálculo de equações polinomiais usando bases de Gröbner e a elevação de Hensel.
― 6 min ler
Conheça o WebPie, uma linguagem simples que usa tipos dependentes pra programação segura.
― 8 min ler
Explorando o papel da IA na formação da música através de técnicas e estruturas avançadas.
― 6 min ler
Explorando a divisão total em estruturas matemáticas e suas implicações.
― 8 min ler
Um novo método melhora as técnicas de regularização DAE para ter mais eficiência e precisão.
― 6 min ler
Apresentando novos métodos pra melhorar a estimativa de fluxo óptico usando câmeras baseadas em eventos.
― 9 min ler
Uma nova abordagem melhora a avaliação de relacionamentos dinâmicos usando redes de Petri.
― 9 min ler
Este artigo apresenta um novo domínio sub-poliédrico para otimizar compiladores de aprendizado de máquina.
― 9 min ler
O AutoLINC automatiza o design de função de perda pra lidar melhor com o desbalanceamento de classes em machine learning.
― 8 min ler
Um novo método pra melhorar modelos preditivos usando dados incertos.
― 8 min ler
Um olhar claro sobre reações químicas e suas simulações, do básico às aplicações.
― 6 min ler
Combinar NIDS com IA neurossimbólica melhora a detecção de ameaças e a compreensão do sistema.
― 7 min ler
Uma nova abordagem pra IA combina modelos de linguagem com programas simbólicos pra uma melhor interpretabilidade.
― 9 min ler
Esse artigo apresenta um método para certificar a viabilidade em programação semidefinida.
― 7 min ler
Novos modelos de IA aprimoram habilidades de raciocínio usando quebra-cabeças visuais.
― 8 min ler
Examinando a segurança do SHA-256 e técnicas recentes de descoberta de colisões.
― 7 min ler
Novos métodos híbridos melhoram a eficiência na fatoração de inteiros para criptografia.
― 8 min ler
Tree Experts Diferenciáveis melhora operações em árvores na inteligência artificial.
― 7 min ler
Uma olhada em técnicas para contar grafos regulares e suas aplicações.
― 5 min ler
FEAS melhora a prova automática de teoremas para equações funcionais usando novas estratégias.
― 7 min ler
Explorando relações complexas em equações lineares dentro de grupos abelianos por cíclicos.
― 6 min ler
CTSLAM melhora a localização e mapeamento robótico usando uma integração de dados flexível.
― 5 min ler
Pesquisa destaca métodos para manter a consistência do diálogo em conversas relacionadas a restaurantes.
― 8 min ler
Novo método melhora a precisão da classificação e a adaptabilidade através da detecção de erros.
― 5 min ler
Descobrindo conexões entre grupos de reflexão complexos e equações diferenciais lineares.
― 5 min ler
Avanços recentes em Eliminação de Quantificadores Reais e CAD melhoram a eficiência na resolução de problemas em matemática.
― 6 min ler
Aprenda como a matemática ajuda a entender reações químicas e suas interações.
― 5 min ler
Um olhar sobre como lidar com polinômios com os recursos e desafios do Lean.
― 5 min ler
Uma nova abordagem para prever eventos usando regras causais dinâmicas e contextos de história dupla.
― 7 min ler
BMLP melhora a avaliação de consultas datalog usando matrizes booleanas pra um desempenho melhor.
― 9 min ler
Novos métodos melhoram as previsões de trajeto das naves espaciais através de uma melhor gestão da incerteza.
― 8 min ler