✓ Vérifiés

Articles vérifiés par les auteurs

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.

1284 articles vérifiés par les auteurs · 461–470 / 1284

💻 computer science

StructFix: A Structure-Aware Reasoning Framework for Automated Program Repair with Code Property Graphs

StructFix est un cadre de réparation automatique de programmes sensible à la structure qui améliore les modèles de langage masqués en intéant des graphes de propriétés de code afin de mieux capturer les dépendances de contrôle et de données, améliorant ainsi l'efficacité de la réparation et la robustesse translinguistique par rapport aux approches existantes basées sur les séquences de jetons.

Mengtian Cui, Yangfan Liu, Zhibo Lu, Yancui Hu, Peican Zhu2026-07-10✓ Author reviewed ⓘ
🔭 astrophysics

Are NICER and GW170817 constraints suggesting a compactified scenario for Neutron stars?

L'analyse bayésienne des données de NICER et de GW170817 révèle que l'équation d'état des étoiles à neutrons favorisée par les observations présente une région de densité intermédiaire molle suivie d'un durcissement à haute densité, une structure qui soutient des configurations compactes et suggère un scénario de compactification pour les étoiles à neutrons.

Asim Kumar Saha, Tuhin Malik, Ritam Mallick2026-07-09✓ Author reviewed ⓘ
⚛️ phenomenology

Phenomenology of Leptophilic Gauge Interactions at Future e+e−e^+e^- Colliders

Cet article présente une étude pilotée par les observables démontrant que les observables angulaires, particulièrement l'asymétrie avant-arrière et une nouvelle quantité normalisée par interférence proposée, offrent une sensibilité robuste aux interactions de jauge leptophiles médiées par un boson ZℓZ_\ell couplant aux leptons de manière générale (selon le modèle spécifique), aux futurs collisionneurs e+e−e^+e^-, même dans les régimes hors résonance où les effets d'interférence dominent les amplifications résonantes.

S. O. Kara2026-07-09✓ Author reviewed ⓘ
🔭 astrophysics

The nature of Cloud-9: a compact core embedded in a diffuse envelope

Se basant sur de nouvelles observations FAST HI et des données VLA révélant un cœur quiescent compact et une enveloppe étendue, façonnée par l'environnement, cet article soutient que Cloud-9 est un système dominé par la matière noire subissant un décapage par pression de radiation par M94, ce qui est cohérent avec un scénario de RELHIC dépouillé.

Ruilei Zhou, Ming Zhu, Chuan-Peng Zhang, Jinlong Xu2026-07-09✓ Author reviewed ⓘ
🤖 machine learning

The Rank-One Corner: How Much Value Equivalence Does a Task Need from a World Model?

Cet article démontre que la quantité de structure pertinente à la tâche qu'un modèle de monde apprend est strictement déterminée par la dimensionnalité de son objectif d'entraînement, révélant que l'équivalence de valeur est un phénomène dimensionnel où une récompense scalaire unique n'installe qu'une projection unidimensionnelle de la clôture prédictive nécessaire.

Donna Vakalis2026-07-09✓ Author reviewed ⓘ
⚡ electrical engineering

Stability of Flow Models for Graph Signals

Cet article analyse la stabilité des modèles de flux génératifs continus paramétrés par des réseaux de neurones sur graphes, en dérivant des bornes explicites sur la manière dont les perturbations structurelles affectent les signaux générés et en proposant une stratégie d'entraînement régularisée qui améliore la robustesse au bruit de graphe sans compromettre la qualité de sortie.

Martin Schmidt, Gonzalo Mateos2026-07-09✓ Author reviewed ⓘ
🤖 machine learning

FMMVCC: Fuzzy Mamba-based Multi-View Contrastive Clustering for Univariate Time Series

Cet article introduit FMMVCC, un cadre de clustering profond basé sur Mamba qui combine la modélisation de séquences par espace d'état avec l'apprentissage auto-supervisé multi-vues pour capturer efficacement les dépendances temporelles à longue portée dans les séries temporelles univariées, atteignant des performances de pointe sur 15 ensembles de données de référence sans nécessiter d'étiquettes manuelles.

Donato Cerciello, Leonardo Schiavo, Angel Panizo-LLedot, Javier Huertas Tato, David Camacho2026-07-09✓ Author reviewed ⓘ
🔭 astrophysics

Gamma-ray bursts reveal the history and faint contributors of cosmic reionization

En utilisant les sursauts gamma longs comme traceurs non biaisés de la formation stellaire à des décalages vers le rouge élevés, cette étude dérive une densité de taux de formation stellaire cosmique qui explique naturellement la réionisation cosmique sans hypothèses extrêmes et révèle une population significative de galaxies faibles évoluant de magnitudes de -14 à -15 à z~6 jusqu'à -10 à -11 à z~10.

Jing-Meng Hao, Paolo Cassata, Zhen-Ya Zheng, Andrea Grazian, Giulia Rodighiero, Alvio Renzini, Jun-Hui Fan, Andrea Ferra (…)2026-07-09✓ Author reviewed ⓘ
💻 computer science

Monitoring Vulnerabilities in Next-Generation Automotive Operating Systems

Cet article aborde les limites des outils existants pour évaluer les vulnérabilités des systèmes d'exploitation au sein des véhicules définis par logiciel (SDV) en présentant et en publiant une solution complète, basée sur Docker, qui combine une analyse systématique des CVE avec une évaluation de l'exploitabilité afin de renforcer la sécurité et la résilience des systèmes automobiles de nouvelle génération.

Dimitri Simon, Badis Hammi, Joaquin Garcia-Alfaro, Hervé Debar2026-07-09✓ Author reviewed ⓘ
⚡ electrical engineering

Classroom Simulations of the Mechanisms of the Water Table Management Modes Using Arduino Microcontroller

Cette étude présente un système de classe analogique basé sur Arduino qui simule et enseigne efficacement les mécanismes d'automatisation de la gestion de la nappe phréatique en ingénierie du drainage grâce aux données de capteurs en temps réel, au contrôle automatisé et à l'enregistrement visuel des données.

Faridoun Allawi2026-07-09✓ Author reviewed ⓘ