Articles dont les auteurs originaux ont examiné notre explication accessible.
Pour chaque article de cette page, au moins un des auteurs originaux a examiné notre explication accessible — soit en confirmant sa précision, soit en demandant des corrections que nous avons ensuite appliquées. Une validation ne signifie pas que les auteurs approuvent formellement chaque phrase, mais que l'explication a été revue par les personnes qui ont écrit l'article.
279 articles vérifiés par les auteurs · 21–30 / 279
Cet article présente un framework Scala 3 qui comble le fossé entre la vérification statique et l'exécution en temps réel en prouvant la compatibilité structurelle des contrats de données à la compilation, en dérivant les schémas Spark correspondants et en réexécutant des vérifications dynamiques aux limites d'écriture pour détecter la dérive de schéma.
Cette étude phénoménologique analyse les propriétés de symétrie P et CP dans la désintégration au moyen de faisceaux d'électrons et de positrons polarisés, fournissant une base théorique pour les futures recherches au STCF.
L'article propose « Federation over Text » (FoT), un cadre fédéré qui permet à plusieurs agents d'IA d'améliorer collectivement leur raisonnement et leur efficacité en partageant et en synthétisant des traces de réflexion sémantiques dans une bibliothèque d'insights commune, sans recourir à l'optimisation par gradients.
Cet article démontre que l'inférence conditionnelle à la non-rejet d'un pré-test reste valide et souvent conservatrice lorsque les conditions testées sont vérifiées, indépendamment de la dépendance asymptotique, tout en présentant des conditions où la couverture des intervalles de confiance est supérieure à celle de l'inférence inconditionnelle lorsque ces conditions ne sont pas satisfaites.
Cette étude démontre que l'émission gamma GeV observée dans la région de la nébuleuse de Vela provient principalement d'une source étendue correspondant au reste de supernova plutôt que de sources ponctuelles cataloguées, avec un spectre suggérant une origine hadronique.
Cette étude démontre que l'analyse de séries temporelles non linéaires révèle des propriétés fractales distinctes dans les simulations GRMHD de disques MAD et SANE, permettant de classer avec succès l'objet GRS 1915+105 en clusters correspondant à ces régimes magnétiques.
Cet article propose un algorithme récursif de suppression et de mise à zéro pour tester la D-stabilité des matrices, générant une hiérarchie de conditions suffisantes basées sur les mineurs principaux et validée par des expériences numériques.
Cet article évalue le modèle de programmation SYCL pour les systèmes hétérogènes du point de vue des développeurs d'applications, en analysant sa portabilité, sa productivité et son efficacité via des benchmarks et des comparaisons d'abstractions pour identifier les limites actuelles et proposer des améliorations.
En utilisant un échantillon de binaires à naine blanche et étoile de la séquence principale issues des données de Gaia, cette étude confirme que la relation âge-métallicité du disque galactique présente une dispersion intrinsèque importante à tous les âges, reflétant des mécanismes complexes tels que la migration radiale et l'enrichissement chimique inhomogène.
Ce papier démontre que les corrélations bosoniques observées dans les états classiques possédant une représentation de Glauber-Sudarshan bien définie sont en réalité des corrélations statistiques spurieuses, résultant d'un paradoxe de Simpson induit par une brisure de symétrie variable entre les réalisations individuelles et l'ensemble statistique.