Articoli verificati dagli autori

Per ogni articolo in questa pagina, almeno uno degli autori originali ha visto la nostra spiegazione divulgativa e se ne è occupato — confermandone l'accuratezza o richiedendo correzioni che abbiamo poi applicato. Una conferma non significa che gli autori approvino formalmente ogni frase, ma che la spiegazione è passata sotto gli occhi di chi ha scritto l'articolo.

1014 articoli verificati dagli autori · 881–890 / 1014

⚡ electrical engineering

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

Questo lavoro presenta un framework pratico per valutare la concordanza tra modelli di segmentazione anatomica basati sull'intelligenza artificiale in assenza di ground truth, armonizzando gli output in una rappresentazione standard e fornendo strumenti di visualizzazione interattiva, dimostrando la sua utilità nel confrontare sei modelli open-source su scansioni CT NLST per segnalare discrepanze e prioritizzare i casi di disaccordo inter-modello per la revisione da parte di esperti.

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

🔬 condensed matter

Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity

Il documento presenta una generalizzazione SU(2)×U(1) della teoria di Ginzburg-Landau per la superconduttività a tripletto di spin, che descrive le interazioni di gauge non abeliane dei magnoni, i due tipi di correnti superconduttive conservate, l'effetto Meissner non abeliano, la coesistenza di vortici e monopoli magnetici e di spin, e l'esistenza di tre scale di massa distinte con implicazioni per la fisica della materia condensata e la magnonica.

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

🤖 AI

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

Lo studio "Broken by Default" dimostra tramite verifica formale che il 55,8% del codice generato da sette modelli linguistici avanzati contiene vulnerabilità di sicurezza matematicamente provate, rivelando che gli strumenti di sicurezza attuali ne individuano solo una frazione minima e che le istruzioni esplicite non riescono a mitigare efficacemente il rischio.

Dominik Blain, Maxime Noiseux2026-04-08✓ Author reviewed ⓘ

🔭 astrophysics

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

Questo studio dimostra che, sebbene le trappole di migrazione siano il sito dominante per la formazione di buchi neri binari in dischi di nuclei galattici attivi con masse inferiori a $10^8 M_\odot$ , per masse superiori la migrazione differenziale e gli accumuli dovuti a cambiamenti nel profilo di densità possono favorire la formazione di coppie anche al di fuori di tali trappole.

Maria Paola Vaccaro, Yannick Seif, Michela Mapelli2026-04-08✓ Author reviewed ⓘ

💻 computer science

Feasibility of Primality in Bounded Arithmetic

Gli autori dimostrano la correttezza dell'algoritmo AKS all'interno della teoria aritmetica limitata $T^{count}_2$ (equivalente a $VTC^0_2$ ), provando prima il risultato in $S^1_2 + iWPHP$ sotto due assiomi algebrici e fornendo successivamente nuove formalizzazioni di teoremi di teoria dei numeri e algebra necessari per stabilire la derivabilità di tali assiomi.

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

⚛️ general relativity

Detecting gravitational waves by emission of photons from charged Weber bars

Questo lavoro propone un nuovo esperimento in cui un'onda gravitazionale induce l'emissione di fotoni da una barra di Weber carica posta all'interno di una cavità schermata, sfruttando un analogo semiclassico dell'effetto Gertsenshtein per rilevare le onde gravitazionali.

Soham Sen2026-04-07✓ Author reviewed ⓘ

🔬 physics

Analytical Kink-Type Solutions and Streak Formation in Turbulent Channel Flow

Il paper sviluppa un quadro analitico basato sulle equazioni di Alexeev per il flusso turbolento in canali, dimostrando che l'accoppiamento tra le componenti di velocità trasversale e longitudinale genera soluzioni di tipo "kink" che descrivono la formazione e le caratteristiche degli streaks streamwise, fornendo una descrizione unificata dei profili di velocità media e delle strutture coerenti con un'alta concordanza con i dati sperimentali.

Alex Fedoseyev2026-04-07✓ Author reviewed ⓘ

🔬 mesoscale physics

Device/circuit simulations of silicon spin qubits based on a gate-all-around transistor

Questo studio teorico utilizza simulazioni TCAD e SPICE per dimostrare che lo stato di un qubit di spin basato su un transistor GAA può essere letto efficacemente tramite un amplificatore di senso CMOS convenzionale, sfruttando le variazioni di corrente indotte dalla configurazione di carica del qubit.

Tetsufumi Tanamoto, Keiji Ono2026-04-07✓ Author reviewed ⓘ

⚛️ lattice

Tensor renormalization group approach to critical phenomena via symmetry-twisted partition functions

Questo articolo dimostra come il gruppo di rinormalizzazione tensoriale applicato alle funzioni di partizione con simmetria attorcigliata permetta di rilevare con precisione le transizioni di rottura spontanea di simmetria e di studiare i fenomeni critici associati, come confermato dai risultati ottenuti per i modelli Ising bidimensionale e $O(2)$ tridimensionale e bidimensionale.

Shinichiro Akiyama, Raghav G. Jha, Jun Maeda, Yuya Tanizaki, Judah Unmuth-Yockey2026-04-06✓ Author reviewed ⓘ

🔭 astrophysics

Speed-Error Cross-Correlation Dating of Ancient Star Catalogues, with Application to the Almagest

Il paper introduce il metodo SESCC per datare antichi cataloghi stellari analizzando la correlazione incrociata tra velocità proprie e residui posizionali, applicandolo all'Almagesto per dimostrare che i dati risalgono all'epoca di Ipparco e non a quella di Tolomeo.

Carlos Baiget Orts2026-04-06✓ Author reviewed ⓘ

← Precedente Successivo →