Artigos cujos autores originais revisaram nossa explicação em linguagem simples.
Para cada artigo desta página, pelo menos um dos autores originais viu nossa explicação em linguagem simples e se envolveu com ela — confirmando a precisão ou solicitando correções que depois aplicamos. Uma confirmação não significa que os autores aprovem formalmente cada frase, mas que a explicação passou pelos olhos de quem escreveu o artigo.
1196 artigos revisados por autores · 181–190 / 1196
Este artigo propõe que a estrutura de divisores do expoente introduz um viés aritmético detectável na distribuição de primos de Mersenne, levando a uma heurística de Wagstaff refinada onde expoentes com maior complexidade de divisores normalizada são estatisticamente mais propensos a produzir números de Mersenne primos.
Este artigo prevê que o radiotelescópio de próxima geração CHORD revolucionará o censo de galáxias de hidrogênio neutro ao detectar aproximadamente dez vezes mais fontes do que os catálogos atuais, estendendo o levantamento para galáxias de massa significativamente menor () e revelando milhares de gigantes massivas de alto redshift para compreender melhor a evolução dos reservatórios de gás galáctico.
O artigo apresenta o Syntriod, um algoritmo robusto baseado em templates que fornece estimativas confiáveis de parâmetros orbitais iniciais para binárias espectroscópicas através de diversos e esparsos regimes de amostragem observacional, superando técnicas clássicas de busca de período e servindo como um pré-solucionador eficaz para pipelines modernos de ajuste de órbita.
Este artigo investiga a produção de fótons de alta energia em um plasma de quarks e glúons ao derivar expressões analíticas para as contribuições de logaritmo de ordem líder e além do logaritmo de ordem líder para a taxa de produção de fótons usando autoenergias de fótons de dois loops em QCD térmica, confirmando a consistência com cálculos de teoria cinética.
Este artigo introduz um novo método de simulação para modelar com precisão assinaturas de colididores cosmológicos, apresentando as primeiras medições de viés de halo oscilante em simulações e demonstrando que sua amplitude e fase dependentes da massa fornecem uma sonda robusta e única da física primordial de alta energia que é distinta de sistemáticas observacionais.
Este artigo apresenta uma auditoria de reprodutibilidade forense de um benchmark de modelo de visão-linguagem para radiografias de tórax que revelou discrepâncias críticas na renderização de dados, no rastreamento do caminho de importação e chamada preservado para fundamentar uma inferência sobre o vínculo do prompt e na análise estatística, levando à retirada das reivindicações originais de desempenho e de detecção de discordância entre relatório e rótulo automatizada e à proposta de controles verificáveis por máquina para garantir a integridade futura dos artefatos. A auditoria esclarece que, embora a análise de coorte fixa tenha produzido 27/45 comparações não ajustadas e 20/45 comparações com ajuste de Holm, o resultado de 28/45 foi de fato reproduzido em uma análise separada de casos disponíveis por par, na qual cada comparação utilizou seu próprio denominador.
Este artigo demonstra empiricamente que os modelos de linguagem de grande escala comerciais contemporâneos possuem vulnerabilidades significativas e inconsistentes em suas salvaguardas de segurança, permitindo que sejam facilmente manipulados para gerar notas médicas personalizadas e verossímeis que são visualmente indistinguíveis de documentos autênticos.
Este artigo apresenta um modelo analítico unificado descrevendo como sólitons de matéria escura ultraleve mudam de formas com núcleo (cored) para formas com cúspide (cusped) sob a influência de buracos negros centrais, demonstrando que as observações de galáxias anãs são consistentes com uma massa de partícula universal de aproximadamente eV/c ao considerar essas mudanças de forma e potenciais buracos negros centrais.
Este estudo de caso do Banco Central do Iêmen em Aden demonstra que a reabilitação inadequada do telhado, especificamente o acúmulo de camadas sobrepostas excessivas, acelerou significativamente a deterioração estrutural em um ambiente marinho, mas a redução estratégica de carga através da remoção de materiais e da melhoria da drenagem mitigou com sucesso esses riscos ao diminuir a carga da coluna em quase 59%.
Este artigo apresenta uma formalização em Lean 4 totalmente verificada pelo kernel, provando que qualquer cobertura finita dos inteiros por módulos ímpares distintos maiores que 1 deve ter um mínimo múltiplo comum superior a 10.000, estabelecendo assim uma exclusão mecanicamente certificada para o problema da cobertura ímpar de Erdős-Selfridge sem depender de resolvedores computacionais não verificados.