3065 ورقة بحثية
تقدم هذه الورقة واجهة أمامية بلغة بايثون تعتمد على نظام هيندلي-ميلنر لمجموعة فرعية من لغة أوكامل، تقوم في آن واحد بتوليد نظريات مُثبتة عبر نظام "لين 4" وكود برمجياً قابلاً للتنفيذ بلغة "رست" مع عقود تحمل براهين، وقد تم التحقق من نجاح النظام من خلال الأنواع الاستقرائية المتبادلة، وحساب الأعداد الصحيحة الموقعة، والتحقق من التوافق بين التنفيذين لنواة ومعادلتها ذاتية الوصف.
تحدد الورقة فشلين صامتين في أداة اختبار النتائج الغنية من Google: حد عرض يقتطع أعداد كائنات JSON-LD إلى 102 دون سابق إنذار، وعدم التحقق من خاصية eventStatus التي تقبل بشكل غير صحيح قيمًا غير صالحة مثل "EventCompleted".
تقترح هذه الورقة البحثية 3D CT-GraphEdgeMAE، وهو إطار عمل قائم على الرسوم البيانية (graph-based) للتعلم الخاضع للإشراف الذاتي، يستخدم تقنية حجب الحواف (edge masking)، وفك تشفير مبتكر يعتمد على حاصل الضرب هادامارد (Hadamard product) وتشابه الرسوم البيعية الفرعية (subgraph similarity)، وفقدان إعادة بناء تبايني مدرك للطوبولوجيا (topology-aware contrastive-reconstruction loss) لتحقيق كشف فعال وعالي الأداء عن الشذوذ في التصوير المقطعي المحوسب ثلاثي الأبعاد (3D CT) مع تقليل التكاليف الحسابية ووقت التدريب بشكل كبير في مجموعة بيانات LUNA16.
تُدقق هذه الورقة تسعة من مجموعات البيانات الاختبارية المستخدمة على نطاق واسع في ضغط البيانات غير الفاقد لكشف الغموض الواسع في التراخيص وفجوات قابلية التكرار، ثم تقترح وتتحقق من إجراء نشر صارم على مستوى الملف يتميز بسجلات النسب، والتحقق من المراجعة المزدوجة، والبيانات الوصفية الموحدة لتمكين إعادة التوزيع الآمن لمجموعات بيانات الضغط.
تقترح هذه الورقة بروتوكول تدقيق جديداً غير معتمد على التوزيع، يستخدم الاستدلال التوافقي المنقسم كمعيار مرجعي خارجي للتحقق إحصائياً وإصدار أحكام قابلة للتكرار بشأن دقة ادعاءات الثقة المقدمة من أنظمة اتخاذ القرار الآلية المنشورة.
تقدم هذه الورقة SkillBase، وهي منصة للتعلم الإلكتروني مدعومة بالذكاء الاصطناعي ومبنية على بنية React.js وSpring Boot، والتي تعالج أوجه القصور في التعليم التقليدي من خلال تقديم تجارب تعلم شخصية وتكيفية عبر ميزات مثل المساعدة الذكية، والتقييمات التفاعلية، والممارسة البرمجية العملية.
تكشف هذه الدراسة أنه بينما تُظهر النماذج اللغوية الكبيرة شخصياتٍ مُبلغًا عنها تتسم بالاتساق والمرغوبية اجتماعيًا، فإن سلوكياتها الاجتماعية الفعلية الملحوظة تتباين بشكل كبير عبر النماذج ولا يمكن التنبؤ بها من خلال التقارير الذاتية، مما يشير إلى أن التقييمات السلوكية ضرورية لاختيار الوكلاء الاصطناعيين للتفاعلات الاجتماعية.
تقترح هذه الورقة إطار عمل تخطيط موارد المؤسسات غير الخادم (SERF)، وهو بنية مرجعية منخفضة التكلفة ومستقلة تقنياً تُمكّن المؤسسات ذات الموارد المحدودة من نشر أنظمة تخطيط موارد مؤسسات نمطية وآمنة وقابلة للنقل باستخدام التقنيات غير الخادمة، كما تم إثباته من خلال تنفيذ ناجح في الواقع في مؤسسة تعليمية أدى إلى تقليل التكاليف التشغيلية بشكل كبير وتحسين كفاءة معالجة البيانات.
تتناول هذه الورقة نقص قياس الاستقرار في جدولة الإنتاج المدفوعة بالنماذج اللغوية الكبيرة من خلال اقتراح إطار عمل هجين لإعادة الجدولة القائم على الأحداث، يجمع بين قواعد حتمية تراعي الاستقرار وحكم النماذج اللغوية الكبيرة المقيّد لاختيار إجراءات التعافي المثلى مع ضمان الجدوى ومنع تذبذب القرارات.
إنّ FFram هو إطار عمل بايثون مفتوح المصدر لواجهة السطر البرمجي (terminal) يعمل على دمقرطة مسارات الوسائط المعقدة عبر دمج فحص الحاويات القائم على PyAV، وحلقة استرداد ذاتي الإصلاح، وتحسين CRF تلقائي مستهدف لـ VMAF، وبنية ترميز موزعة تعتمد على XML-RPC خالية من التبعيات للتغلب على قيود أدوات السطر البرمجي التقليدية.