Informática - Computação simbólica

Computação e linguagemMelhorando a Previsão de Eventos com o Framework ONSEP

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

2025-06-28T03:51:48+00:00 ― 7 min ler

Computação simbólicaProgramação Lógica com Matrizes Booleanas: Uma Nova Abordagem

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

2025-06-26T00:07:06+00:00 ― 9 min ler

Física do espaçoAvanços na Propagação de Incertezas para Naves Espaciais

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

2025-06-25T17:29:48+00:00 ― 8 min ler

Inteligência ArtificialAprendizado Ativo: Um Jeito Inteligente de Fazer Pesquisa Biológica

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

2025-06-25T09:01:21+00:00 ― 5 min ler

Física de Altas Energias - FenomenologiaDesafios e Avanços em Cálculos de Fator de Forma em Três Laços

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

2025-06-24T09:50:06+00:00 ― 8 min ler

Aprendizagem de máquinasAprendizado Ativo para Descobrir Equações Diferenciais Ordinárias

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

2025-06-18T14:06:18+00:00 ― 7 min ler

Computação simbólicaAs Complexidades da Fatoração Polinomial

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

2025-06-12T04:11:12+00:00 ― 5 min ler

Aprendizagem de máquinasAvanços na Regressão Simbólica com Modelos de Linguagem

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

2025-06-12T00:30:00+00:00 ― 7 min ler

Linguagens de programaçãoAvanços em QLMNtal para Estruturas de Gráficos

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

2025-06-10T11:38:00+00:00 ― 6 min ler

Inteligência ArtificialAvanços em IA Através da Motivação Intrínseca e Planejamento

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

2025-06-09T18:38:54+00:00 ― 9 min ler

Computação simbólicaDecomposição Eficiente de Conjuntos Algébricos

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

2025-06-04T21:51:36+00:00 ― 7 min ler

Inteligência ArtificialAprimorando a Detecção de Fraudes com IA Explicável

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

2025-06-01T16:02:42+00:00 ― 8 min ler

Criptografia e segurançaUsando IA pra Fortalecer Protocolos Criptográficos

Modelos de IA podem ajudar a encontrar vulnerabilidades em sistemas criptográficos pra uma segurança melhor.

2025-05-16T18:12:00+00:00 ― 8 min ler

Computação simbólicaEntendendo a Decomposição Algébrica Cilíndrica

Aprenda como o CAD simplifica formas complexas na matemática e suas aplicações práticas.

2025-05-16T03:25:20+00:00 ― 7 min ler

Neurónios e CogniçãoAprendendo com a Natureza: Inspirando o Desenvolvimento da IA

Explorando como a inteligência da natureza molda os futuros sistemas de IA.

2025-05-11T20:00:32+00:00 ― 8 min ler

Computação simbólicaAvanços na Computação Científica Multimodal com o Botfip-LLM

Botfip-LLM junta dados diversos pra melhorar a compreensão em computação científica.

2025-05-11T06:53:20+00:00 ― 7 min ler

Computação simbólicaDividindo Polinômios: Um Guia de Navegação

Aprenda a fazer divisão de polinômios de maneira segura e eficaz.

2025-04-28T09:28:15+00:00 ― 6 min ler

Inteligência ArtificialA IA consegue realmente refletir nossos valores morais?

Analisando se modelos de linguagem grandes refletem pontos de vista morais culturais.

2025-04-28T08:50:30+00:00 ― 9 min ler

Inteligência ArtificialOs Modelos de Linguagem Refletem Nossa Moral?

Explorando se a IA tá alinhada com os diferentes padrões morais culturais.

2025-04-28T08:12:45+00:00 ― 6 min ler

Inteligência ArtificialConfronto de IA: Modelos de Linguagem vs. Raciocínio Neuro-Simbólico

Pesquisadores comparam LLMs e sistemas neuro-simbólicos na resolução das Matrizes Progressivas de Raven.

2025-04-03T20:06:27+00:00 ― 6 min ler

Computação simbólicaO Quebra-Cabeça da Positividade em Recorrências Lineares

Descubra os desafios e soluções para o problema da positividade em sequências numéricas.

2025-03-21T08:42:00+00:00 ― 8 min ler

Linguagens de programaçãoFortalecendo a Segurança Através do B2Scala: Uma Nova Abordagem

As ferramentas B2Scala melhoram a análise de protocolos de segurança para uma comunicação segura.

2025-03-19T16:34:30+00:00 ― 8 min ler

Inteligência ArtificialAcelerando a IA com Redes de Conjunto de Respostas

Ligando programação lógica com redes neurais para soluções de IA mais rápidas.

2025-02-12T01:54:45+00:00 ― 7 min ler

Lógica na InformáticaDesembaraçando Ciclos em Grafos de Conhecimento

Métodos automatizados lidam com ciclos em grafos de conhecimento pra deixar as relações de dados mais claras.

2025-02-11T14:02:20+00:00 ― 8 min ler

Geometria AlgébricaA Fascinação dos Grupos de Weyl em Matemática

Explore a importância e aplicações dos grupos de Weyl na compreensão da simetria.

2025-02-07T16:48:10+00:00 ― 8 min ler

Bases de dadosA Ascensão dos Bancos de Dados em Grafo na Gestão de Dados

Descubra como os bancos de dados em grafo transformam o armazenamento de dados e as relações.

2025-02-02T02:46:03+00:00 ― 6 min ler

Aprendizagem de máquinasGráficos de Conhecimento Personalizados: APEX Liberado

Descubra como a APEX personaliza o conhecimento para os interesses em evolução dos usuários.

2025-01-29T13:42:09+00:00 ― 7 min ler

Lógica na InformáticaAvanços em Provedores de Teoremas Interativos

Descubra como o HOLALA melhora a eficiência das provas em demonstração interativa de teoremas.

2025-01-18T09:40:03+00:00 ― 6 min ler