💻 Category

cs

1741 ورقة بحثية

💻 computer science

Cyber-Physical Orchestration of Emergency Department Services Through a Bidirectional Digital Twin and a Deep Reinforcement Learning Agent: Architectural Design, In SilicoValidation, and Critical Analysis of Performance Under Demand Stress

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

Joseph Javier Sánchez Acuña, Mario Anzures García2026-07-28
💻 computer science

The Machine Proposes. The Proof Disposes: Neuro-Symbolic Synthesis of Formally Verified Markov Usage Models from Natural Language Requirements

تقدم هذه الورقة البحثية إطار عمل "Neuro-Symbolic MBST"، وهو إطار عمل يعمل على أتمتة تخليق نماذج استخدام ماركوف (Markov usage models) المُتحقق منها رسميًا من متطلبات اللغة الطبيعية عبر دمج تعلم L*، والنماذج اللغوية الكبيرة المقيدة بالقواعد (grammar-constrained LLMs)، والتحسين المحدب (convex optimization)، مما يحقق كشفًا عن الأخطاء وتغطية عالية الدقة تتفوق بشكل كبير على النماذج الأساسية العصبية البحتة مع القضاء على اختناقات النمذجة اليدوية للأنظمة الحرجة للسلامة.

Nathan Ginting2026-07-28
💻 computer science

Interactive Query based Abnormal Events Synopsis Generation in Surveillance Video

تقترح هذه الورقة خوارزمية تفاعلية قائمة على الاستعلام لتوليد ملخصات للأحداث غير الطبيعية في فيديوهات المراقبة، تستخدم مصنفاً قائماً على القواعد للتعامل مع استعلامات المستخدم المعقدة وتُقدم مقياس "نسبة التداخل المحسنة" للتقييم، مما يثبت دقة وجودة متفوقتين على الطرق الحالية في مجموعة بيانات PETS09.

Judi Vennila Thangaswamy, Balamurugan Vaniappan2026-07-28
💻 computer science

A Study on the Continuous Generation of Test Cases for Large Language Models with Project Memory

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

Yuxuan Li, Huichen Ma2026-07-28
💻 computer science

A Preliminary CNN Baseline for Breast Ultrasound Classification in MATLAB, with Exploratory IDC/ILC Labels: Toward Explainable Breast Imaging AI

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

ISHANI CHOVATIYA2026-07-28
💻 computer science

Modular Differentiable Explanations for Markov Disease Models: A Transparent Framework for Clinical Decision Support

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

Virendra Kumar Tiwari2026-07-28
💻 computer science

Exploring Functional Shifts in Pos Tagging Across Various NLP Libraries: A Study of NLTK, spaCy and Textblob

تقارن هذه الدراسة بين أداء مكتبات NLTK وTextBlob وspaCy في التعامل مع جمل "المسار الحديقي" (garden path sentences) الناتجة عن التحولات الوظيفية، وتجد أن spaCy تتفوق بشكل كبير على المكتبتين الأخريين في الدقة النحوية، كما تقدم رؤى لتحسين أدوات معالجة اللغات الطبيعية، بما في ذلك تلك المخصصة للغات الأفريقية.

Kayode Victor Amusan2026-07-28
💻 computer science

A Calibration-Aware Reference Architecture for Resilient Supply Chain Planning: Integrating Conformal Probabilistic Demand Forecasting with Scenario-Based Stochastic Vehicle Routing

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

Joseph Javier Sánchez Acuña2026-07-28
💻 computer science

Beyond Kinesthetic Twins: A Dematerialized Control Primitive for Zero-Shot Generalization Across Robot Morphologies

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

Yu-Xiang Wu, Yuyan Wu2026-07-28
💻 computer science

Cethraian-X: A Leakage-Clean, Multi-Seed Benchmark of Chest X-Ray Classification Under Weak Labels

يُعد Cethraian-X معياراً مفتوح المصدر وخالياً من التسرب لتصنيف صور الأشعة السينية للصدر متعددة الملصقات باستخدام مجموعة بيانات NIH ChestX-ray14، وهو يضع معايير صارمة لقابلية التكرار من خلال التقييم متعدد البذور، وتحليل المعايرة، وأدوات القابلية للتفسير لتمكين المقارنة الشفافة للأساليب المستقبلية.

Mohammed Badhan2026-07-28