💻 علوم الحاسوب

Predicting Late Delivery Risk in Global Supply Chain Operations Using Machine Learning

تقدم هذه الدراسة لوحة تحكم تفاعلية من تطبيق StreamStreamlit تم نشرها بالكامل، تستخدم مصنف XGBoost مدربًا على 180,519 من سجلات DataCo Global اللوجستية للتنبؤ بمخاطر التأخير في التسليم بدقة تبلغ 79.89%، مما يتيح اتخاذ قرارات تشغيلية استباقية في الشحن، والمراقبة الإقليمية، والتواصل مع العملاء.

Naresh Adepu2026-09-15
💻 علوم الحاسوب

Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework

تقدم هذه الورقة xLaDe، وهو إطار عمل لنظام Lean 4 البيئي مصمم لضمان قابلية التكرار والاستدامة طويلة الأمد للرياضيات الرسمية من خلال تسجيل البيانات الوصفية لسلسلة الأدوات وإدارة بيئات التجريب دون تعديل الكود المصدري، وبذلك يعالج التحديات التي يفرضها التطور السريع للغة.

Lakshit Singh Bisht, Deepak Pandey, Manpreet Sahoo, Thota Siva2026-09-15
💻 علوم الحاسوب

Fixing Abstention with Token Probability: A Budget-Matched Causal Test Across Four Small Open-Weight Models

تُثبت هذه الورقة أن استبدال الثقة اللفظية بسياسة امتناع قائمة على احتمالية الرمز (token-probability) ومطابقة للميزانية، يقضي سببياً على تأثير محدد مسبب لخفض الدقة لوحظ في نموذج llama3.2:1b، لكنه يفشل في تعميم هذه الفائدة على النماذج الصغيرة الأخرى ذات الأوزان المفتوحة، مما يشير إلى أن مثل هذه الإصلاحات خاصة بكل نموذج، وأن الامتناع ذو الميزانية الثابتة يمكن أن يظل ضاراً في المحصلة حتى مع تحسين الاستهداف.

Kunal Dhanda2026-09-15
💻 علوم الحاسوب

Explainable Digital Twin Modelling of Semi-Urban Community for Multidimensional Poverty Governance Intelligence

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

Taiwo Olapeju Olaleye, Oluwasefunmi Arogundade, Taiwo David Ajayi, Oluwasegun Dada2026-09-15
💻 علوم الحاسوب

From Pixels to Registers: A Multi-Modal Testing Framework for Chained Perception, Control and Firmware

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

Brent Hartshorn2026-09-15
💻 علوم الحاسوب

Adaptive Hybrid Collaborative Filtering via Incremental Retraining

تقترح هذه الورقة نموذج الترشيح التعاوني الهجين التكيفي (AHCF) الذي يدمج تحليل المصفوفات غير المتصل بالإنترنت ونمذجة المواضيع مع آلية تجميع تكيفية متصلة بالإنترنت لتقليل وقت إعادة التدريب بشكل كبير مع الحفاظ على دقة تنبؤ تنافسية لأنظمة التوصية واسعة النطاق في الوقت الفعلي.

Robert Agboyi2026-09-15
💻 علوم الحاسوب

Resample or Reroute? Recoverable Stopping Debt Without Identified Action Selection

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

Teng-Ruei Chen2026-09-15
💻 علوم الحاسوب

Design and Evaluation of Reinforcement-Learning Scheduling for Multi-Stage OSAT Manufacturing: A Verified Scoping Review, Executable Benchmark, and Decision Framework for Viet Nam

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

Ngoc Huy Mai2026-09-15
💻 علوم الحاسوب

Viewport-Aware Immersive Video Content Identification Using Transformation-Robust Keypoints

تقترح هذه الورقة طريقة قائمة على التعلم العميق لتحديد محتوى الفيديو الغامر المتحول من خلال استخدام المعالجة المسبقة المدركة لمنطقة الرؤية ونقاط الميزات القوية تجاه التحولات، محققةً معدل تعرف بنسبة 97.5% وتحسيناً في الكفاءة الحسابية دون الاعتماد على البيانات الوصفية.

Byeongchan Park2026-09-15
💻 علوم الحاسوب

Transformation-Specific Robustness Evaluation of a Machine Learning-Based Network Intrusion Detection System Under Controlled Feature Perturbations

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

Mohit Tiwari, Riya Mehdiratta2026-09-15