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.
289 articles vérifiés par les auteurs · 211–220 / 289
Cet article établit explicitement que la taille d'un circuit optimal varie au plus de lors d'une perturbation ponctuelle de la table de vérité, une borne confirmée comme optimale pour via une vérification exhaustive sur la base AIG.
Cet article propose une amélioration géométrique de la borne de Cramér-Rao dans le régime non asymptotique en exploitant la géométrie extrinsèque de l'embedding racine carrée du modèle statistique, via le tenseur de courbure et des formules combinatoires, pour obtenir des bornes inférieures plus serrées sur la variance des estimateurs.
Cet article propose une approche axiomatique pour les processus de décision markoviens robustes sur les espaces boréliens, démontrant que l'utilisation d'un ensemble d'ambiguïté basé sur une fonction de distance permet d'obtenir des garanties de performance hors échantillon et des taux de convergence probabilistes que les MDP empiriques standards ne peuvent pas assurer.
Cette étude présente une nouvelle méthodologie de segmentation d'images appliquée aux galaxies NGC 2403 et NGC 628 pour caractériser la densité électronique et le facteur de remplissage des régions HII, révélant des facteurs de remplissage très faibles et des relations d'échelle potentielles avec le taux de formation stellaire qui pourraient contraindre les modèles de formation d'amas massifs.
Cette étude utilise des mesures spatiales proches de la Terre, notamment la précession géodésique, l'avance du périastre et le délai de Sagnac, pour établir de nouvelles contraintes strictes sur les modèles d'énergie noire tamisée (chameau, symétron et dilatation), excluant ainsi des régions entières de leur espace des paramètres.
Cet article propose un cadre conceptuel alternatif pour la condensation de Bose-Einstein dans un gaz idéal uniforme, démontrant que la construction des quasi-moyennes de Bogoliubov échoue à reproduire l'état de symétrie brisée et que les observations expérimentales s'expliquent plutôt par une condensation des fluctuations et des corrélations à longue portée.
En supposant que l'hypothèse de Riemann soit fausse, cet article établit une relation asymptotique reliant les résidus de certaines séries à des zéros non triviaux de fonctions de Dirichlet à une fonction continue, dont les implications pourraient contredire cette hypothèse.
Ce papier présente ABD, une nouvelle norme d'évaluation pour l'abduction d'exceptions par défaut dans des mondes finis du premier ordre, démontrant que les modèles de langage actuels parviennent à la validité logique mais peinent encore à garantir la parcimonie des exceptions et à généraliser correctement à travers différents régimes d'observation.
L'article présente WeldAR, un système de réalité augmentée intégré à un casque de soudure qui améliore significativement la performance des apprenants novices en fournissant un guidage in situ en temps réel, surpassant ainsi les méthodes d'instruction vidéo traditionnelles.
Cet article propose une systématisation de la sécurité des systèmes transactionnels sur cinq décennies en établissant une taxonomie évolutive en quatre générations, en cartographiant les vulnérabilités via des identifiants CWE, et en introduisant le modèle RANCID pour étendre les propriétés ACID classiques afin de répondre aux exigences des systèmes modernes multi-contextes et temps réel.