1215 ورقة بحثية
توسع هذه الورقة نهج ميسلوف (Mislove) القائم على نظرية المجال فيما يتعلق بالمتغيرات العشوائية من خلال تأسيس إطار طوبولوجي يبني المونادات (monads) فوق فئات الفضاءات من نوع وفضاءات d باستخدام المتغيرات العشوائية المستمرة من نوع -max، مع إثبات أن فضاء هذه المتغيرات المستمرة على فضاء sober يعمل كصقل (sobrification) للمتغيرات العشوائية البسيطة المقابلة لها.
تقدم هذه الورقة دروعاً ديناميكية للمواصفات الأمنية البارامترية تُمكّن الأنظمة ذاتية القيادة التي يتم التحكم فيها بالذكاء الاصطناًعي من التكيف بكفاءة مع المتطلبات الأمنية المتطورة في وقت التشغيل دون التأخيرات المكلفة المرتبطة بإعادة الحساب الاستاتيكية التقليدية.
تتقصى هذه الورقة البحثية التعقيد الحسابي للقابلية للفصل الـمودالية والقابلية للتعريف لصيغ النقطة الثابتة الـمودالية عبر فئات نماذج متنوعة، حيث تُثبت تسلسلاً هرمياً للتعقيد من PSpace إلى TwoExpTime، وتُبين فشل استكمال كرايج للنماذج ذات درجة الخروج ، وتوفر خوارزميات لبناء الفواصل وتحليل الامتدادات مع الموداليات المتدرجة.
تقدم هذه الورقة تكليفاً دراسياً تطبيقياً لمساق الأنظمة المدمجة الإبداعية في كلية بارنارد، يعلّم مراقبة وقت التشغيل من خلال تطوير لعبة "باچینكو" تفاعلية باستخدام أجهزة ESP32 ثنائية النواة ومواصفات RTLola، مما يستعرض نهجاً قابلاً للنقل وقائماً على المشاريع لدمج الأساليب الرسمية في تعليم الحوسبة الإبداعية.
تقدم هذه الورقة *telos*، وهو محرك تقييم جبري عام وقابل للتفاضل للمنطق الزمني الخطي، يتيح توجيه الأنظمة ذات القيم الناعمة من خلال السماح للمستخدمين باختيار وتدقيق جبرات دلالية متنوعة بمرونة دون الارتباط بتنفيذ واحد.
تقترح هذه الورقة إطار عمل قائماً على المنطق لشبكات التلافيف الرسومية البسيطة (SGC)، يستخرج قواعد منطقية عالمية مدمجة وعالية الدقة عبر تحويل التفسيرات الاستنباطية الدنيا لتنبؤات العقد إلى أشجار قرار، مما يتغلب على التكرار ومحدودية القدرة على التعميم التي تعيب أساليب التفسير القائمة على المخططات الفرعية السابقة.
تقترح هذه الورقة بناءً لغويًا ودلاليًا منقحًا للتعبيرات التتبعية الاحتمالية (PTEs) التي تربط الاحتمالات بأنواع الأحداث الممكنة بدلاً من الانتقالات، مما يتيح مراقبة مبدئية قائمة على الاعتقاد في ظل عدم اليقين في الرصد، ويستوعب النماذج الكلاسيكية مثل نماذج ماركوف المخفية.
تقدم هذه الورقة برهاناً تم التحقق منه بالكامل، وبأقل عدد ممكن من البديهيات، في لغة (Lean 4)، يحل مسألة إيردوش رقم 647 لجميع قيم حتى عن طريق تسلسل شهود التحليل إلى عوامل، مع تعزيز موثوقية النتيجة عبر إعادة إنتاج متطابقة بايتياً عبر أدوات وهياكل معمارية مستقلة ومتعددة.
تقدم هذه الورقة محافظ السياسات التكيفية كبديل أقل تحفظاً لعمليات ماركوف لاتخاذ القرار القوية القياسية للبيئات ذات الديناميكيات القابلة للتعرف جزئياً، مع إثبات أن كلاً من اعتماد وتخليق مثل هذه المحافظ هي مسائل مستعصية حاسوبياً (كاملة لـ وكاملة لـ على التوالي) وتقديم طريقة بناء غير متصلة زمنياً قابلة للتخصيص وقت التشغيل.
تقترح هذه الورقة طريقة إصلاح موجهة باللب الأدنى (minimal-core-guided) لحل القيود العصبي-الرمزي، تستبدل أخطاء الحلول العامة بنوى عدم إرضاء دقيقة لتحديد مواقع أخطاء الترجمة، مما يقلل بشكل جذري من فبركة الحلول ويضمن حل المشكلات بموثوقية حتى عندما تكون الترجمة الأولية غير أمينة.