3729 artigos
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".
Este artigo propõe o 3D CT-GraphEdgeMAE, um framework baseado em grafos auto-supervisionado que utiliza mascaramento de arestas, um novo decodificador com produto de Hadamard e similaridade de subgrafos, e uma perda de reconstrução contrastiva sensível à topologia para alcançar a detecção de anomalias em TC 3D de forma eficiente e de alto desempenho, com custos computacionais e tempo de treinamento significativamente reduzidos no conjunto de dados LUNA16.
Este artigo audita nove corpora de testes de compressão sem perdas amplamente utilizados para expor ambiguidades de licenciamento e lacunas de reprodutibilidade generalizadas e, em seguida, propõe e valida um procedimento rigoroso de publicação ao nível de arquivo apresentando registros de linhagem, verificação de revisão dupla e metadados padronizados para permitir a redistribuição segura de conjuntos de dados de compressão.
Este artigo propõe um novo protocolo de auditoria livre de distribuição que utiliza a inferência de conformal dividida como um benchmark externo para validar estatisticamente e emitir vereditos reproduzíveis sobre a precisão das alegações de confiança feitas por sistemas de decisão automatizados implantados.
Este artigo apresenta o SkillBase, uma plataforma de e-learning impulsionada por IA construída sobre uma arquitetura React.js e Spring Boot que aborda as limitações da educação tradicional ao oferecer experiências de aprendizagem personalizadas e adaptáveis por meio de recursos como assistência inteligente, avaliações interativas e prática de programação prática.
Este estudo revela que, embora os grandes modelos de linguagem exibam personalidades autorrelatadas consistentes e socialmente desejáveis, seus comportamentos sociais observados de fato variam significativamente entre os modelos e não são previstos pelos autorrelatos, sugerindo que avaliações comportamentais são essenciais para selecionar agentes de IA para interações sociais.