لكل بحث في هذه الصفحة، اطّلع واحد على الأقل من المؤلفين الأصليين على شرحنا المبسّط وتفاعل معه — إما بتأكيد أنه دقيق، أو بطلب تصحيحات طبّقناها بعدها. لا يعني ذلك موافقة رسمية على كل جملة، لكنه يعني أن الشرح مرّ أمام أعين من كتبوا البحث.

1061 بحثًا مراجَعًا من مؤلفيه · 411–420 / 1061

🔬 materials science

Linking Calendar and Cycle Ageing in Lithium-Ion Batteries through Consistent Parameterisation of an Electrochemical-Thermal-Degradation Model

تقدم هذه الورقة نموذجاً كهروميكانيكياً-حرارياً-للتدهور ثابث المعلمات باستخدام PyBaMM للتنبؤ بتلاشي السعة، وحالة الصحة، والعمر النافع المتبقي لخلايا الليثيوم أيون من نوع NMC تحت 81 حالة تقادم تقويمي ودوري متميزة، مما يوفر رؤى ميكانيكية حول التأثيرات المتنافسة لنمو واجهة الكهرل الصلبة، وترسب الليثيوم، وفقدان المادة النشطة.

Ganesh Madabattula2026-04-10✓ Author reviewed
💻 computer science

Beyond Functional Correctness: Design Issues in AI IDE-Generated Large-Scale Projects

تقيم هذه الورقة قدرة بيئة التطوير المتكاملة (IDE) المدعومة بالذكاء الاصطناعي "Cursor" على توليد مشاريع برمجية واسعة النطاق باستخدام إطار عمل يعتمد على الميزات والتدخل البشري، حيث وجدت أن الأداة، رغم تحقيقها لصحة وظيفية عالية، إلا أن الأنظمة الناتجة غالباً ما تظهر مشكلات تصميمية جسيمة — مثل تكرار الكود وانتهاكات التعقيد — التي تهدد قابلية الصيانة على المدى الطويل وتتطلب مراجعة من مطور خبير.

Syed Mohammad Kashif, Ruiyin Li, Peng Liang, Amjed Tahir, Qiong Feng, Zengyang Li, Mojtaba Shahin2026-04-09✓ Author reviewed
⚛️ high-energy theory

New-born strings are tensionless

من خلال نمذجة ديناميكيات الأوتار ضمن ماسات سببية ذات عمر محدود بدلاً من افتراض الوجود الأبدي، تُظهر الورقة أن الأوتار عديمة التوتر تبرز حصرياً عند لحظة ولادتها، مما يكشف عن طور جديد يتميز ببنية كارولية عالمية فائقة الموضعية.

Sudip Karan, Bibhas Ranjan Majhi2026-04-08✓ Author reviewed
⚡ electrical engineering

In search of truth: Evaluating concordance of AI-based anatomy segmentation models

تقدم هذه الورقة إطار عمل عملي لتقييم التوافق بين نماذج تقسيم التشريح القائمة على الذكاء الاصطناعي في مجموعات البيانات التي تفتقر إلى الحقيقة الأرضية، وذلك من خلال توحيد المخرات في تمثيل قياسي وتوفير أدوات تصور تفاعلية، مما يثبت فائدتها في مقارنة ستة نماذج مفتوحة المصدر على صور الأشعة المقطعية من مجموعة بيانات (NLST) لتحديد التباينات وتحديد حالات عدم الاتفاق بين النماذج ذات الأولوية للمراجعة من قبل الخبراء.

Lena Giebeler, Deepa Krishnaswamy, David Clunie, Jakob Wasserthal, Lalith Kumar Shiyam Sundar, Andres Diaz-Pinto, Klaus (…)2026-04-08✓ Author reviewed
🔬 condensed matter

Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity

تقدم هذه الورقة تعميماً لـنظرية جينزبرغ-لانداو لـلموصلية الفائقة المغناطيسية ثلاثية السبين من نوع SU(2)×U(1)، تصف نظاماً يحتوي على فوتونات ضخمة وماجنونات غير أبيلية، وماجنونات متعادلة عديمة الكتلة، وحقل هجز قياسي يظهر سمات فريدة مثل تأثيرات ميسنر غير الأبيلية، وتيارات فائقة مزدوجة محفوظة، ودوامات مغناطيسية وسبينية وأحادية القطب متميزة.

Franklin H. Cho, Y. M. Cho, Pengming Zhang, Li-Ping Zou2026-04-08✓ Author reviewed
🤖 AI

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code

تُثبت دراسة التحقق الرسمي هذه أن الكود المولد بواسطة الذكاء الاصطناي عبر سبعة نماذج لغوية كبيرة رائدة غير آمن جوهرياً، حيث تحتوي 55.8% من المصنوعات البرمجية على ثغرات مثبتة رياضياً تتملص من الأدوات القياسية في الصناعة وتستمر رغم التعليمات الأمنية الصريحة.

Dominik Blain, Maxime Noiseux2026-04-08✓ Author reviewed
🔭 astrophysics

The role of migration traps in the formation of binary black holes in AGN disks

تتحدى هذه الدراسة الافتراض القائل بأن الثقوب السوداء الثنائية في أقراص النوى المجرات النشطة (AGN) تتشكل حصرياً عند مصائد الهجرة، وذلك من خلال إثبات أنه بينما تهيمن المصائد على أحداث الاقتران للثقوب السوداء فائقة الكتلة ذات الكتلة المنخفضة، فإن الهجرة التفاضلية وتراكمات ازدحام المرور تصبح هي آليات التشكيل الأساسية للأنظمة ذات الكتلة الأعلى وتكوينات الأقراص المحددة.

Maria Paola Vaccaro, Yannick Seif, Michela Mapelli2026-04-08✓ Author reviewed
💻 computer science

Feasibility of Primality in Bounded Arithmetic

تثبت هذه الورقة صحة اختبار "أكس" (AKS) للأعداد الأولية ضمن نظرية الحساب المحدود T2countT^{count}_2 (أو بشكل مكافئ VTC20VTC^0_2) من خلال إثبات صلاحيته في S21+iWPHPS^1_2 + iWPHP تحت بديهيتين جبريتين، وإثبات أن هاتين البديهيتين، إلى جانب صياغات جديدة لنتائج رئيسية في نظرية الأعداد والجبر، قابلة للإثبات في VTC20VTC^0_2.

Raheleh Jalali, Ondřej Ježil2026-04-08✓ Author reviewed
⚛️ general relativity

Detecting gravitational waves by emission of photons from charged Weber bars

تقترح هذه الورقة إعداداً تجريبياً مبتكراً حيث يتفاعل قضيب ويبر مشحون داخل تجويف محمي مع موجات الجاذبية عبر نظير شبه كلاسيكي لتأثير جيرتسينشتاين، مما يتسبب في انبعاث فوتونات قابلة للكشف من القضيب كوسيلة لرصد موجات الجاذبية.

Soham Sen2026-04-07✓ Author reviewed
🔬 physics

Analytical Kink-Type Solutions and Streak Formation in Turbulent Channel Flow

تقدم هذه الورقة إطاراً تحليلياً قائماً على معادلات أليكسيفوف الهيدروديناميكية ينجح في نمذجة تدفق القناة المضطرب عبر اشتقاق حلول من نوع "الالتواء" (kink-type) لسرعة التدفق الطولي، والتي تمثل الخطوط المتماسكة وتوحد وصف مقاطع السرعة المتوسطة، والتدفقات الثانوية، وتشكّل الخطوط عبر نطاق واسع من أرقام رينولدز.

Alex Fedoseyev2026-04-07✓ Author reviewed