3670 artigos
Este artigo introduz o Branch-Relative Authority Closure (BRAC), um framework que garante a aquisição segura de evidências para agentes autônomos ao recomputar dinamicamente as permissões de autorização após cada observação para resolver incertezas decisivas sem violar restrições de legitimidade.
Esta pesquisa propõe um sistema de detecção de anomalias baseado em ensemble para eficiência energética urbana que compara algoritmos tradicionais de aprendizado de máquina com Autoencoders de aprendizado profundo, demonstrando que o Autoencoder alcança um desempenho superior (pontuações F1 de 0,9740 e 0,9494) ao utilizar SHAP para interpretabilidade para apoiar a gestão sustentável de energia.
O TPA-Flow é um framework unificado de fotopletismografia remota que aumenta a precisão e a robustez do monitoramento fisiológico ao integrar priors periódicos ponderados por confiança via Atenção de Produto Tensorial Fisiológico com um novo mecanismo de decodificação de Fluxo Retificado ancorado diretamente para corrigir distorções de forma de onda.
O CogAlign-CausalX é um pipeline de análise de pólipos que trata máscaras de segmentação como explicações intrínsecas para classificação morfológica, validado por uma métrica de pontuação de alinhamento rápida e de forma fechada (XAlign) que alcança um desempenho competitivo no conjunto de dados Kvasir-SEG ao reconhecer limitações na precisão absoluta de segmentação e a necessidade de parear pontuações de alinhamento com medidas de sobreposição tradicionais.
Este artigo introduz uma metaheurística de path relinking aprimorada com correspondência de rótulos e movimentos de componentes para resolver eficientemente o Problema do Separador de Vértices Capacitado, demonstrando desempenho superior em relação aos algoritmos exatos existentes ao igualar soluções ótimas na maioria dos casos e melhorar os limites superiores nos demais.
O artigo apresenta o AnoMLP-TCP, um perceptron multicamadas leve e consciente de anomalias para priorização de casos de teste em integração contínua que alcança um desempenho comparável ao baseline mais complexo AnoLSTM-TCP, enquanto reduz significativamente os parâmetros do modelo, o tempo de treinamento e o custo computacional.
Este artigo apresenta o Offline-Capable Digital Wallet (OCDW), um novo artefato desenvolvido via Design Science Research que utiliza uma arquitetura de cinco camadas combinando livros contábeis baseados em DAG e provas de conhecimento zero para fornecer transações financeiras seguras, de alto desempenho e em conformidade com AML em ambientes de baixa conectividade, superando significativamente as soluções de blockchain existentes em latência, vazão e eficiência energética.
Este artigo demonstra que a implementação de uma máquina de estados transacional externa para impor critérios de prontidão reproduzíveis e de dupla verificação transforma o desenvolvimento generativo de um processo de malha aberta baseado em opiniões em um sistema de malha fechada que alcança equivalência funcional entre diversos modelos enquanto, em última análise, reduz os custos totais e possibilita a remoção do humano no ciclo.
Este artigo apresenta um front-end de Hindley–Milner baseado em Python para um subconjunto de OCaml que gera simultaneamente teoremas verificados em Lean 4 e código Rust executável com contratos portadores de prova, validando com sucesso o sistema através de tipos indutivos mútuos, aritmética de inteiros assinados e a verificação de implementação cruzada de um kernel e sua equação autodescritiva.
O artigo identifica duas falhas silenciosas no Google's Rich Results Test: um limite de exibição que trunca a contagem de objetos JSON-LD para 102 sem aviso e uma falta de validação para a propriedade `eventStatus` que aceita incorretamente valores inválidos como "EventCompleted".