✓ 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.

1270 articles vérifiés par les auteurs · 101–110 / 1270

📄 earth_science

Restorative Mitigation of Contaminated Soil for Ecosystem Services: Influences from Research Enterprise and Sustainable Development Goals

Cette étude présente un cadre systémique unifié reliant la contamination par les pesticides et les métaux lourds à la perturbation des processus du sol et au déclin des services écosystémiques, évaluant des stratégies de mitigation restauratrices dans le contexte des Objectifs de développement durable afin de guider une transformation systémique des pratiques agricoles, de la gouvernance et de la recherche.

Isak Rajjak Shaikh, Parveen Rajjak Shaikh2026-09-11✓ Author reviewed ⓘ
💻 computer science

From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp

Cet article comble l'écart entre les spécifications de protocoles formels et les implémentations réelles en utilisant le moniteur d'exécution SpecMon pour vérifier que les exécutions observées de WhatsApp Web et de Signal Desktop sont conformes à des modèles nouvellement développés et compatibles avec Tamarin, confirmant ainsi les propriétés de sécurité et mettant au jour des différences non documentées entre les applications.

Moustafa Said, Aurora Naska, Kevin Morio, Robert Künnemann2026-09-11✓ Author reviewed ⓘ
💻 bioinformatics

Inverse FoldDir: Structure-conditioned Protein Sequence Design by Dirichlet Flow Matching

Le papier introduit Inverse FoldDir, une méthode de repliement inverse contrôlable basée sur le flux de Dirichlet (Dirichlet flow matching) qui génère des séquences protéiques diverses, validées expérimentalement, avec des contraintes définies par l'utilisateur en effectuant un débruitage itératif sur le simplexe de probabilité des acides aminés, atteignant des mesures de récupération structurelle de pointe et un redessin fonctionnel réussi d'un nanocorps anti-GFP.

TARTICI, A., Stojkovic, M., Tian, A., Jewett, M. C., Altman, R. B., Wittmann, B. J.2026-09-11✓ Author reviewed ⓘ
💻 computer science

Stationarity is not enough: tightness of the quantum mechanical bootstrap and the copositive cone

Cet article démontre que si le bootstrap quantique stationnaire échoue à garantir la physicalité dans les systèmes multidimensionnels en raison d'un écart entre les sommes de carrés et les polynômes non négatifs, le bootstrap des états propres restaure l'étroitesse en bornant les directions de moment non bornées, le premier échec potentiel sous les symétries de réflexion ne survenant qu'à cinq degrés de liberté.

Daniel Keren2026-09-10✓ Author reviewed ⓘ
🧬 biology

Revisiting the Aerts-Broekaert-Smets quantum model of the liar paradox

Cet article propose une reconstruction pédagogique du modèle quantique d'Aerts-Broekaert-Smets sur le paradoxe du menteur en utilisant la notation de Dirac pour clarifier que, bien que la dynamique unitaire puisse être représentée dans un espace à quatre dimensions uniquement dédié à la vérité, l'élargissement de l'espace d'état est nécessaire pour rendre compte des structures de mesure et de la mémoire cognitive dans les processus de révision.

Massimiliano Sassoli de Bianchi2026-09-10✓ Author reviewed ⓘ
💻 computer science

Lensless Gaze Is Not Private by Default: Auditing Identity Leakage Across Disclosure Surfaces

Cet article démontre que la détection du regard oculaire de proximité sans lentille n'est pas intrinsèquement privée, car des audits empiriques révèlent que les mesures codées et diverses représentations dérivées fuient encore suffisamment d'informations corrélées au sujet pour permettre une reconstruction d'identité de haute précision, prouvant ainsi que la confidentialité doit être évaluée aux limites de la divulgation du système plutôt qu'inférée de l'inintelligibilité visuelle.

Rahul Vimalkanth, Kaushik Mitra2026-09-10✓ Author reviewed ⓘ
📊 statistics

Differential Privacy Guarantees in Small Area Estimation

Cet article démontre que la publication d'un tirage unique issu de la distribution postérieure du modèle bayésien de Fay-Herriot (ou d'une moyenne postérieure bruitée) fournit des garanties formelles de confidentialité différentielle de Renyi et de concentration nulle sans ajout de bruit, où la force de la garantie est principalement déterminée par l'inégalité des poids de sondage et la contraction du modèle plutôt que par la taille de l'échantillon.

Soumojit Das, Jörg Drechsler2026-09-10✓ Author reviewed ⓘ
⚡ electrical engineering

Recovering Biomechanical Signals from Missing Keypoints Using Temporal Interpolation in Monocular Gait Analysis

Cet article démontre qu'une simple interpolation temporelle du premier ordre peut efficacement récupérer les points clés de la cheville manquants dans l'analyse de la marche monoculaire, restaurant la précision de l'angle du genou et la variance du signal à des niveaux proches de la ligne de base sans nécessiter de modèles de reconstruction complexes appris.

Shubham Jariwala2026-09-10✓ Author reviewed ⓘ
🤖 AI

Compact Visuotactile World Models for Lifting: Prediction, Reward Alignment, and Force Constraints

Cet article étudie comment l'intégration de la détection visuotactile dans un modèle de monde compact améliore significativement la prédiction de contact et l'alignement des récompenses pour les tâches de levage robotiques, bien qu'il révèle un compromis persistant entre l'obtention de taux de réussite élevés aux tâches et le respect strict des contraintes de force sans transfert sim-to-real démontré.

Qinzhen Ma (Rice University), Sida Peng (Zhejiang University)2026-09-10✓ Author reviewed ⓘ