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.
1292 articles vérifiés par les auteurs · 1161–1170 / 1292
Cet article démontre la correction de l'algorithme AKS de primalité dans la théorie arithmétique bornée (ou ) en formalisant d'abord sa validité dans à l'aide d'axiomes algébriques spécifiques, puis en prouvant que ces axiomes sont démontrables dans grâce à de nouvelles formalisations de résultats en théorie des nombres et en algèbre.
Cet article propose une nouvelle méthode de détection des ondes gravitationnelles utilisant des barres de Weber chargées placées dans une cavité blindée, où l'interaction entre l'onde gravitationnelle et le système optomécanique induit l'émission de photons détectables.
Ce papier développe un cadre analytique basé sur les équations d'Alexeev pour décrire la turbulence en canal, où le couplage entre les composantes de vitesse longitudinale et transversale génère des solutions de type « kink » qui modélisent la formation et les propriétés des stries pariétales observées expérimentalement.
Cette étude présente une investigation théorique du processus de lecture d'un qubit de spin basé sur un transistor à grille tout autour (GAA), démontrant par des simulations TCAD et SPICE qu'un circuit de lecture CMOS conventionnel avec un amplificateur de détection peut efficacement détecter et amplifier les signaux faibles générés par les états du qubit grâce au contrôle dynamique de la tension.
Cet article démontre que le groupe de renormalisation tensoriel appliqué aux fonctions de partition à symétrie tordue constitue une méthode efficace pour détecter les transitions de brisure de symétrie et étudier les phénomènes critiques, permettant ainsi de déterminer avec précision les températures critiques et les exposants critiques des modèles d'Ising 2D et 3D, ainsi que la transition BKT du modèle 2D.
En utilisant la méthode SESCC de corrélation croisée entre les vitesses propres et les résidus de position, cette étude date le catalogue d'étoiles de l'Almagest au IIe siècle av. J.-C., soutenant ainsi une origine hipparchienne plutôt que ptolémaïque.
Cette étude démontre que la densité des instances (le nombre de visages) constitue une dimension intrinsèque et quantifiable de la complexité des données, entraînant une dégradation monotone des performances des modèles et un biais de sous-comptage lors du passage à des régimes de densité plus élevés, indépendamment de l'équilibre des classes.
Cet article propose un cadre d'optimisation de portefeuille assisté par l'apprentissage automatique, utilisant un pipeline enseignant-élève avec des données synthétiques et un apprentissage semi-supervisé, pour améliorer la robustesse et la performance des modèles face à la pénurie de données et aux changements de régime de marché.
Cet article présente l'équation de Hamilton-Jacobi comme une réduction de modèle permettant d'étendre son application aux systèmes newtoniens non conservatifs, conduisant par une approximation d'optique géométrique à une équation de Schrödinger dissipative.
En adoptant une perspective pragmatiste, ce papier soutient que les résultats de mesure et les états quantiques sont des faits perspectifs relatifs à un contexte physique, ce qui permet de résoudre le problème de la mesure et de l'action non locale tout en justifiant l'acceptation objective de la théorie par la conformité de ses statistiques prédictives avec les résultats certifiés dans notre monde.