✓ Revisados

Artigos revisados por autores

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.

1473 artigos revisados por autores · 1331–1340 / 1473

🔬 ciência dos materiais

Linking Calendar and Cycle Ageing in Lithium-Ion Batteries through Consistent Parameterisation of an Electrochemical-Thermal-Degradation Model

Este trabalho apresenta uma estrutura de modelagem eletroquímica-térmica-degradação parametrizada consistentemente para prever o envelhecimento de baterias de íon-lítio NMC sob diversas condições de uso, revelando como os mecanismos de degradação concorrentes (como crescimento de SEI, deposição de lítio e perda de material ativo) interagem para gerar trajetórias de fade de capacidade sub-lineares, lineares ou aceleradas.

Ganesh Madabattula2026-04-10✓ Author reviewed ⓘ
💻 ciência da computação

Beyond Functional Correctness: Design Issues in AI IDE-Generated Large-Scale Projects

Este estudo avalia a capacidade da ferramenta Cursor, auxiliada pelo framework FD-HITL, em gerar projetos de software de grande escala funcionalmente corretos, revelando que, embora atinjam uma taxa de correção funcional de 91%, os sistemas gerados apresentam inúmeros problemas de design que comprometem a manutenibilidade e violam princípios fundamentais de engenharia de software.

Syed Mohammad Kashif, Ruiyin Li, Peng Liang, Amjed Tahir, Qiong Feng, Zengyang Li, Mojtaba Shahin2026-04-09✓ Author reviewed ⓘ
⚡ engenharia elétrica

In search of truth: Evaluating concordance of AI-based anatomy segmentation models

Este artigo apresenta um framework prático e ferramentas de visualização para avaliar e comparar a concordância de múltiplos modelos de segmentação anatômica baseada em IA em dados de TC sem ground truth, harmonizando as saídas em uma representação padrão e demonstrando sua utilidade na comparação de seis modelos de código aberto em exames de TC do NLST para sinalizar discrepâncias e priorizar casos de discordância inter-modelo para revisão por especialistas.

Lena Giebeler, Deepa Krishnaswamy, David Clunie, Jakob Wasserthal, Lalith Kumar Shiyam Sundar, Andres Diaz-Pinto, Klaus (…)2026-04-08✓ Author reviewed ⓘ
🔬 matéria condensada

Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity

Este artigo apresenta uma generalização não-abeliana SU(2)×U(1) da teoria de Ginzburg-Landau para supercondutividade de tripleto de spin, descrevendo um sistema com interações magnéticas de longo alcance, duas correntes conservadas, vórtices e monopólos distintos, e três escalas de massa características que unificam a física da supercondutividade e da spintrônica de magnons.

Franklin H. Cho, Y. M. Cho, Pengming Zhang, Li-Ping Zou2026-04-08✓ Author reviewed ⓘ
🤖 IA

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code

O estudo "Broken by Default" utiliza verificação formal com o solucionador Z3 para demonstrar que a maioria dos códigos gerados por sete modelos de IA de ponta em contextos de segurança contém vulnerabilidades matematicamente provadas, com nenhuma das ferramentas de análise ou instruções de segurança convencionais conseguindo mitigar eficazmente esses riscos.

Dominik Blain, Maxime Noiseux2026-04-08✓ Author reviewed ⓘ
🔭 astrofísica

The role of migration traps in the formation of binary black holes in AGN disks

Este estudo demonstra que, embora a maioria dos pares de buracos negros binários se forme em armadilhas de migração em discos de AGN com buracos negros supermassivos de massa inferior a 108M⊙10^8 M_\odot, em sistemas mais massivos ou em configurações específicas de disco, a migração diferencial e o acúmulo de tráfego permitem a formação de pares fora dessas armadilhas, desafiando a suposição de locais fixos de formação.

Maria Paola Vaccaro, Yannick Seif, Michela Mapelli2026-04-08✓ Author reviewed ⓘ
💻 ciência da computação

Feasibility of Primality in Bounded Arithmetic

O artigo demonstra a correção do algoritmo AKS dentro da teoria aritmética limitada T2countT^{count}_2 (ou VTC20VTC^0_2), provando primeiro sua validade em S21+iWPHPS^1_2 + iWPHP com dois axiomas algébricos e, subsequentemente, estabelecendo que esses axiomas e formalizações essenciais de teoria dos números e álgebra são demonstráveis dentro de VTC20VTC^0_2.

Raheleh Jalali, Ondřej Ježil2026-04-08✓ Author reviewed ⓘ