1215 ورقة بحثية
تقدم هذه الورقة أول هدف معروف لألعاب الموضع يكون كاملاً من فئة في تسلسل بوريل، وتحديداً كمتغير نوعي لهدف العائد الإجمالي، مما يثبت أن الاستراتيجيات الموضعية تكفي للفوز عبر رسوم بيانية عشوائية للألعاب رغم التعقيد العالي للهدف.
يؤسس هذا البحث إطار مقارنة محايد للوسائط للأنظمة الستيجمرجية (الاستجابة للمثيرات البيئية) بناءً على تواقيع استجابة مُمكنة مجردة، موفراً نظريات رسمية حول تحسينات البيانات الوصفية والسلوكيات الديناميكية مع إثبات تطبيقها على فضاءات "التوبل" (tuple-space) وفضاءات البيانات الستيجمرجية الافتراضية المختومة زمنياً.
توسع هذه الورقة دلالات الاستدلال-السلوك (Inference-Behaviour Semantics) لتشمل حسابات التوالي ثلاثية الأبعاد لمنطقي K3 وLP، مبرهنةً أن روابطهما تشترك في المعنى ذاته مع بعضها البعض وتوسع روابط نظام LK الكلاسيكي توسعاً محافظاً، مما يدفع نحو التوليد الآلي للدلالات القائمة على النظرية البرهانية للمنطقيات متعددة القيم عبر نظام MUltlog.
تُثبت هذه الورقة أن التعقيد المنطقي لتعلم المفاهيم الذرية ذات الترتيب الأعلى ليس موزعاً بشكل موحد عبر مكعب الفرضيات الذرية، بل هو محلي ومقيد بهندسة المستويات الفائقة، حيث تنهار المستويات الفائقة غير القطرية إلى فئات تكافؤ محدودة بينما يظل القطر الكامل هو المصدر الوحيد للتعقيد غير المحدود.
تقدم هذه الورقة فئة النطاقات التقريبية ذات القيم المحدودة () وتثبت أنها مغلقة كارتيزياً ومغلقة تحت نطاقات القدرة الاحتمالية، مما يوفر حلاً إيجابياً لمسألة يونغ-تيكس طويلة الأمد المتعلقة بوجود فئة مناسبة لنطاقات القدرة الاحتمالية.
تثبت هذه الورقة أن الاختزال غير البنائي لتدقيق نماذج منطق ترتيب المجموعات الجزئي (CMSO) على الرسوم البيانية التعسفية إلى الرسوم البيانية غير القابلة للكسر من النوع لا يمكن جعله بنائياً، حيث لا يمكن أن يكون المعامل المطلوب دالة قابلة للحساب للصيغة .
تتقصى هذه الورقة مشكلة استنتاج المتسلل من خلال منظور القابلية للقسمة من جهة اليمين في أنظمة "سي-ثي" (semi-Thue)، حيث تُرسخ نتائج جديدة حول قابلية التقرير لأنظمة محو البادئات والنهايات المتقاربة، بينما تُبين أن المشكلة تصبح غير قابلة للتقرير حتى بالنسبة للأنظمة المتقاربة التي تتضمن رفع المتغيرات المتزامن.
تقدم الورقة البحثية EPIK، وهو نهج مبتكر يعزز التعلم البايزي للتحقق الكمي من خلال الاستفادة من خصائص النظام القابلة للملاحظة مباشرة لاستقاء وتضمين المعرفة المسبقة، وبالتالي التغلب على قيود الاعتماد على افتراضات غير دقيقة أو غير غنية بالمعلومات حول معلمات النموذج الرسمي.
تقترح هذه الورقة طريقة لحساب الأسباب الفعلية وفق منظور هالبيرن-بيرل لتنبؤات الشبكات العصبية من خلال نمذجة تبعيات المدخلات الهيكلية عبر نماذج سببية هيكلية بولية، باستخدام تقنيات انتشار الحدود والبحث والتقصي (branch-and-bound) لتحقيق تفسيرات قابلة للتوسع، وكاملة، ومختزلة تتجنب النتائج الزائفة الناتجة عن تجاهل الارتباطات بين الميزات.
تقدم هذه الورقة "عقد استئناف" (Resume Contract) قابل للفحص آلياً لتعريف والتحقق من دلالات استمرارية سير العمل رسمياً، كاشفةً أن أطر العمل الرئيسية مثل LangGraph وCrewAI تنتهك خصائص حاسمة مثل تنفيذ الأثر لمرة واحدة بالضبط (effect exactly-once) وصحة نقاط التفتيش (checkpoint validity)، مع اقتراح والتحقق من صحة تنفيذ مرجعي مُثبت (REMIT) يضمن المطابقة من خلال بوابة استهلاك جديدة عبر العمليات (cross-process consumption gate).