Articoli i cui autori originali hanno esaminato la nostra spiegazione divulgativa.
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 · 471–480 / 1014
Questo articolo stabilisce che il Problema della Corrispondenza Post bi-infinito (PCP) è -completo all'interno della gerarchia aritmetica presentando una catena di riduzioni dal non-arresto di macchine di Turing e dimostrando la -completezza di diverse varianti infinite e traslate correlate.
Questo articolo introduce ClawXiv, un flusso di lavoro locale lato autore e un'architettura distribuita progettati per trasformare i volatili processi di ricerca collaborativa uomo-IA in artefatti d'archivio durevoli, firmati e ispezionabili attraverso una pipeline di migrazione a quattro stati e una suite di script operativi.
Questo articolo contesta la comune assunzione secondo cui le statistiche divisibili come il di Pearson fungano da test di bontà di adattamento efficaci in regimi di dati sparsi con molti bin, proponendo invece un quadro unificante che rivela i limiti dei metodi esistenti e offre alternative modificate e più potenti insieme a nuovi test privi di distribuzione.
Questo studio dimostra che la sostituzione parziale di Gd³⁺ con ioni Er³⁺ più piccoli in un tipo di zircone Gd₁₋ₓErₓVO₄ sintonizza sistematicamente i parametri reticolari e le interazioni magnetiche, ottimizzando efficacemente le prestazioni magnetocaloriche a bassa temperatura per la refrigerazione criogenica, con la composizione Gd₀.₉Er₀.₁VO₄ che raggiunge una variazione massima dell'entropia magnetica di 45,1 J kg⁻¹ K⁻¹ sotto un campo di 7 T.
Questo articolo introduce il Variational Proximal Policy Optimization (), un framework di inferenza variazionale basato su particelle che integra lo Stein Variational Gradient Descent con un'architettura Mixture-of-Experts per mitigare il collasso del modo della policy e il drift della distribuzione, ottenendo significativi miglioramenti nelle prestazioni nei benchmark di ragionamento e nell'efficienza dei token.
Questo studio utilizza osservazioni spettro-polarimetriche a banda larga provenienti dal survey SPICE-RACS DR2 per caratterizzare la complessa struttura di rotazione di Faraday e depolarizzazione della galassia radio con alto indice di rotazione RACS_0900-28_7036, identificando un modello preferito a più componenti che rivela distinte regioni magnetizzate lungo la linea di vista e dimostra la capacità di ASKAP per indagini sistematiche della complessità di Faraday in sorgenti extragalattiche.
Questo articolo introduce un ansatz di stato di Dicke misto che preserva la fattibilità per il Variational Quantum Eigensolver, il quale codifica strutturalmente vincoli di peso di Hamming di uguaglianza e disuguaglianza per eliminare la necessità di termini di penalità, dimostrando una prestazione superiore rispetto alla ricerca casuale nell'ottimizzazione combinatoria di portafogli, evidenziando al contempo le sfide rimanenti per l'implementazione sull'hardware NISQ.
Questo articolo propone il framework trasformazione-risposta, una riformulazione operativa della meccanica quantistica che definisce gli stati come cataloghi di risposte a trasformazioni fisiche e deriva l'intero formalismo standard — inclusi gli spazi di Hilbert, la regola di Born e l'integrale di cammino — dal singolo postulato della positività definita.
Il sondaggio CASCADES ha utilizzato misurazioni della velocità radiale a lungo termine con CORALIE per confermare tre compagni planetari massicci in orbita attorno a due stelle giganti rosse a bassa luminosità, dimostrando al contempo una strategia di osservazione efficace per mitigare il rumore di pulsazione stellare.
Questo articolo sviluppa un metodo di cavità dinamico continuo esatto per sistemi stocastici su grafi casuali sparsi che estende la teoria del campo medio dinamico derivando equazioni di misura di percorso autoconsistenti che tengono esplicitamente conto delle diverse chiusure dinamiche richieste dalle interazioni reciproche rispetto a quelle dirette.