1215 ورقة بحثية
تقدم هذه المساهمة نموذج "Attractor FCM"، وهو خريطة معرفية ضبابية مبتكرة تعتمد على التدرج التنازلي ومقيدة فيزيائياً، تستفيد من الذاكرة المتبقية، والانتشار العكسي عبر الزمن، ومرساة النقطة الثابتة لتمكين خوارزمية تعلم جديدة تجمع بين طريقة نيوتن والتدرج التنازلي التكيفي من أجل تقليل الخطأ المقنع سببياً بكفاءة.
تثبت هذه الورقة أن التوقف الشامل للحلقات الخطية والتحويلية الحقيقية هو قابل للتقرير فعلياً لجميع الحالات المتينة من خلال خوارزميات جزئية سليمة، حيث تشكل مجموعة الحالات غير المتينة قياس ليبغ (Lebesgue measure) يساوي صفراً.
تقدم هذه الورقة صياغة رسمية شاملة وخالية من الأخطاء لنظرية ستوكس للمكعبات المفردة الناعمة باستخدام سحب الأشكال التفاضلية الحقيقي في لغة Lean 4، مع إنشاء جسور مع mathlib4، والتحقق من الخصائص على مستوى السلسلة مثل ، ومقارنة التنفيذ مع صياغة Harrison في HOL Light.
تُثبت هذه الورقة أن نظام "الأسس-ناقص-اللوغاريتم" (Exp-Minus-Log)، الذي يختزل الدوال الأولية إلى ثابت وعملية واحدة ثنائية المواضع، لا يمكنه إلا التعبير عن الأعداد القابلة للحساب، مما يثبت أن ثابت تشايتينين غير قابل للتعبير ضمن هذا الإطار.
تقدم هذه الورقة Tofu، وهي أداة قابلة للتعميم تعمل على أتمتة تحليل أعطال القنوات للبروتوكولات الموزعة بشكل صارم من خلال تخليق آثار الهجمات أو إثبات عدم وجودها عبر البحث الشامل في فضاء الحالة، كما تم توضيحه في دراسة لبروتوكول TCP.
تعيد هذه الورقة فحص نظريات جليفنكو، التي تربط بين المنطق الكلاسيكي والمنطق الحدسي، من خلال منظور شمولي عبر تحليل سياقها التاريخي وامتداداتها ضمن ثلاثة أنظمة محددة: نظام NE لـ براويتز، ونظام NEK لـ كراوس، ونظام ECI لـ باروسو-ناسيمنتو.
تقدم هذه الورقة استنباطاً بديهياً وكاملاً لإضافة التحكم صراحةً إلى نظريات الدوائر عبر بناء حر في فئات "الريج" شبه البسيطة، مما يوحد المعالجة الرسمية للدوائر البولينية والكمومية العكوسة من خلال طريقة برهنة مبتكرة ومجموعات مولدات مبسطة.
تُثبت هذه الورقة أن نهجاً عصبياً رمزياً يجمع بين النماذج اللغوية الكبيرة والأدوات الرمزية الصورية يمكنه بنجاح توليد براهين استقرائية صحيحة برهانياً للتحقق من العتاد، محققاً معدل نجاح بنسبة 84% على تصميمات RTL مفتوحة المصدر متوسطة الحجم.
تقدم هذه الورقة "عقود المحاذاة"، وهي إطار عمل رسمي يحدد ويفرض قيوداً سلوكية على الأنظمة الأمنية الوكيلية من خلال تحديد النطاق، والآثار المسموح بها/المحظورة، وميزانيات الموارد عبر المسارات القابلة للملاحظة، مما يضمن السلامة وقابلية التقبل القابلة للتقرير مع موازنة القدرات الهجومية مع حدود التفويض الصارمة.
تُثبت هذه الورقة التكافؤ التعبيري بين دلالات المجموعات المتعددة لـ SPARQL، ولغة Datalog غير العودية الممتدة للمجموعات المتعددة مع النفي الآمن، وجبر العلاقات متعدد المجموعات، وذلك من خلال توصيف هياكلهم الجبرية والمنطقية المشتركة لمشغلات الاستعلام الأساسية.