3111 ورقة بحثية
تتناول هذه الورقة "فجوة التفنيد" في تركيب البرامج من خلال تقديم مسار معتمد يقوم بتوليد والتحقق من براهين DRAT لادعاءات الأمثلية في البرامج الخطية المستقيمة الدنيا فوق الحقل GF(2)، مما يؤدي إلى التحقق رسمياً من 121 نتيجة لم تكن معتمدة سابقاً مع كشف عقبات التحقق الحرجة والقطع الأثرية المكتشفة ذاتياً.
تُظهر هذه الدراسة أن مسار عمل لنماذج لغوية كبيرة قابل للتدقيق يمكنه دعم المراجعات المنهجية للأدبيات بفعالية من خلال تحقيق توافق عالٍ مع الخبراء البشريين في عمليات الفرز واستخراج البيانات، مع تميز خاص في المجالات المعقدة، بينما يسلط الضوء على تحديات محددة تتعلق بالأسئلة الثنائية المتعلقة بالمعلومات غير المُبلغ عنها.
تقدم هذه الورقة نظام تعلم عميق متعدد المهام يدمج أربعة نماذج شبكات عصبية تلافيفية (CNN) متخصصة في خط معالجة تسلسلي للفرز الآلي للنفايات، والذي تم التحقق من صحته من خلال اختبارات إحصائية صارمة ونُشر في نموذج أولي لحاوية ذكية مادية تم تطويرها بالتعاون مع نستله ودوار، محققاً دقة بنسبة 92.4% على بيانات إقليمية من العالم الحقيقي.
تقترح هذه الدراسة إطار عمل للتعلم العميق المدرك للمخاطر لتنظير الجهاز الهضمي، يستخدم دالة فقدان غير متماثلة قابلة للضبط، واستراتيجيات إحالة موجهة بعدم اليقين، وبنيات خفيفة الوزن لتحقيق تصنيف مخاطر رباعي الفئات عالي الأداء مع إعطاء الأولوية للسلامة من خلال تصعيد الحالات عالية المخاطر وما قبل الخباثة.
تقيم هذه الدراسة تجريبيًا نموذجًا أوليًا شبه اصطناعي لكشف التسلل في التخزين السحابي عن طريق حقن هجمات في مسارات بيانات غير مصنفة من "مايكروسوفت أزور"، لتجد أنه على الرغم من توفير نماذج "الغابة العشوائية" لإشارات ترتيب مفيدة، إلا أن أداءها غير المستقر تحت تأثير انحراف عبء العمل الزمني وضعف كشف هجمات "البطيئة والمستمرة" يشير إلى أنها ليست جاهزة بعد للنشر في بيئات الإنتاج.
تقيم هذه الدراسة المنضبطة قدرة التعميم عبر مجموعات البيانات لخمسة نماذج خلفية (backbones) من نوع RGB مدربة مسبقاً على ImageNet واثنين من المجسات خفيفة الوزن للكشف عن التزييف العميق، مما يكشف أن تغطية النطاق المصدري وبروتوكولات التقييم لا يقلان أهمية عن اختيار النموذج الخلفي في معالجة فجوات الأداء عبر مجموعات بيانات FaceForensics++ وCeleb-DF وDFD.
تقدم هذه الورقة إطار عمل للمراقبة في وقت التشغيل مستقل عن المكافأة، يعتمد على إنتروبيا التفاعل ومقاييس الاقتران المستمدة من ثلاثيات الملاحظة-الإجراء القياسية للكشف عن فك الارتباط البيئي وانحراف التفاعل في وكلاء التعلم التعزيزي المنشورين، مما يظهر قدرات فائقة في اكتشاف الأخطاء مقارنة بالمراقبة التقليدية القائمة على المكافأة.
يقدم إطار عمل LODTE نظاماً خفيف الوزن وحتمياً يعتمد على الحافة، يقوم بتحليل بيانات الملاحة عن بُعد في الوقت الفعلي عبر استخدام مرشحات هندسية محيطية موضعية والتقاط سريع للشاشة للقضاء على التبعيات السحابية، وتقليل زمن الاستجابة إلى أقل من 35 ميلي ثانية، والحفاظ على دقة عالية في التعرف على الأجهزة ذات الموارد المحدودة.
تكشف هذه المراجعة النطاقية لـ 161 دراسة عن عدم تماثل ملحوظ في التحقق من صحة المحتوى التعليمي السريري المُنشأ بواسطة الذكاء الاصطناعي التوليدي، حيث تعطي الأبحاث أولوية قصوى لتقييم دقة التمثيل مع إهمال كبير لتقييم التحيز الديموغرافي، واستراتيجيات التخفيف، وإعادة إنتاج التقارير.
تقدم هذه الورقة مراجعة منهجية شاملة وتصنيفاً هيكلياً لتطبيقات "الثقة الصفرية" (Zero Trust) المصممة للأنظمة الصحية القائمة على السحابة، حيث تجمع بين الأطر المتوافقة مع معايير المعهد الوطني للمعايير والتقنية (NIST)، وتقييم ناقلات التهديد، ووضع خارطة طريق للحوكمة لضمان الامتثال للوائح مثل قانون مساءلة التأمين الصحي ونقله (HIPAA) واللائحة العامة لحماية البيانات (GDPR).