Ailoxa Logo

🏷️ #البرمجيات

61 مقال

بروبتيكوس: إطار التعلم الآلي لتطوير نماذج تنبؤية لبرمجيات موثوقة وآمنة
أبحاث

بروبتيكوس: إطار التعلم الآلي لتطوير نماذج تنبؤية لبرمجيات موثوقة وآمنة

أركايف للذكاءمنذ 1 شهر
👁 1
اختراعات جديدة في كشف الأخطاء: نموذج FOCAL الثوري!
أبحاث

اختراعات جديدة في كشف الأخطاء: نموذج FOCAL الثوري!

أركايف للذكاءمنذ 1 شهر
👁 3
اكتشاف تمثيلات الأنواع من النماذج البرمجية باستخدام TypeProbe: ثورة في فهم البرمجيات!
أبحاث

اكتشاف تمثيلات الأنواع من النماذج البرمجية باستخدام TypeProbe: ثورة في فهم البرمجيات!

أركايف للذكاءمنذ 1 شهر
👁 1
ثورة جديدة في معالجة البيانات الزمنية: اكتشافات مذهلة مع tsbootstrap!
أدوات

ثورة جديدة في معالجة البيانات الزمنية: اكتشافات مذهلة مع tsbootstrap!

أركايف للذكاءمنذ 1 شهر
توقع المراحل المبكرة لمرض الزهايمر وتحديد العلامات الحيوية الرئيسية باستخدام الشبكات العصبية العميقة وتقنيات تعلم الآلة المتقدمة
أبحاث

توقع المراحل المبكرة لمرض الزهايمر وتحديد العلامات الحيوية الرئيسية باستخدام الشبكات العصبية العميقة وتقنيات تعلم الآلة المتقدمة

أركايف للذكاءمنذ 2 شهر
👁 1
كيف تغير نماذج الذكاء الاصطناعي طريقة كتابة الكود؟ دراسة جديدة تكشف الأسرار!
أبحاث

كيف تغير نماذج الذكاء الاصطناعي طريقة كتابة الكود؟ دراسة جديدة تكشف الأسرار!

أركايف للذكاءمنذ 2 شهر
👁 2
الهجمات الموزعة في التحكم الذكي المستمر: كيف تتجاوز الذكاءات الاصطناعية الأنظمة الأمنية؟
أبحاث

الهجمات الموزعة في التحكم الذكي المستمر: كيف تتجاوز الذكاءات الاصطناعية الأنظمة الأمنية؟

أركايف للذكاءمنذ 2 شهر
👁 1
بيانات الذكاء الاصطناعي: هل ستحدث القياسات الفارقة ثورة في عالم البرمجيات؟
أبحاث

بيانات الذكاء الاصطناعي: هل ستحدث القياسات الفارقة ثورة في عالم البرمجيات؟

أركايف للذكاءمنذ 2 شهر
إحداث ثورة في تطوير البرمجيات: AxDafny والجيل الجديد من كتابة الكود القابلة للتحقق
أدوات

إحداث ثورة في تطوير البرمجيات: AxDafny والجيل الجديد من كتابة الكود القابلة للتحقق

أركايف للذكاءمنذ 2 شهر
ثورة في تحويل كود C: نموذج ذكي يعيد تعريف عملية التحقق والتوليد
أبحاث

ثورة في تحويل كود C: نموذج ذكي يعيد تعريف عملية التحقق والتوليد

أركايف للذكاءمنذ 2 شهر
حكم المستودع بدلاً من الوكيل: كيف نقيس المخاطر على مستوى النظام البيئي في البرمجيات المدعومة بالذكاء الاصطناعي؟
أبحاث

حكم المستودع بدلاً من الوكيل: كيف نقيس المخاطر على مستوى النظام البيئي في البرمجيات المدعومة بالذكاء الاصطناعي؟

أركايف للذكاءمنذ 2 شهر
👁 1
تحدي جديد: كيف يمكن لنماذج اللغة الكبيرة قياس قدراتها الرياضية مع أسئلة المتغيرات العشوائية؟
أبحاث

تحدي جديد: كيف يمكن لنماذج اللغة الكبيرة قياس قدراتها الرياضية مع أسئلة المتغيرات العشوائية؟

أركايف للذكاءمنذ 2 شهر
👁 1
ثورة في تطوير البرمجيات: FM-Agent يحقق قفزة نوعية في التصحيح الآلي للنظم الكبيرة!
أبحاث

ثورة في تطوير البرمجيات: FM-Agent يحقق قفزة نوعية في التصحيح الآلي للنظم الكبيرة!

أركايف للذكاءمنذ 2 شهر
ابتكار ثوري في صناعة السيارات: توليد مواصفات اختبار ذكية على نطاق واسع!
أبحاث

ابتكار ثوري في صناعة السيارات: توليد مواصفات اختبار ذكية على نطاق واسع!

أركايف للذكاءمنذ 2 شهر
تحقيق الأهداف بدقة: GIST-CMTF يحدث ثورة في معالجة استعلامات الذكاء الاصطناعي
أبحاث

تحقيق الأهداف بدقة: GIST-CMTF يحدث ثورة في معالجة استعلامات الذكاء الاصطناعي

أركايف للذكاءمنذ 2 شهر
👁 1
نموذج البرمجة الثوري: تقنيات جديدة لتقليص الفوضى البرمجية وتقليل التكاليف بمعدل 500 ضعف!
أبحاث

نموذج البرمجة الثوري: تقنيات جديدة لتقليص الفوضى البرمجية وتقليل التكاليف بمعدل 500 ضعف!

أركايف للذكاءمنذ 2 شهر
اكتشاف الشيخوخة البرمجية في أنظمة تقديم نماذج اللغات الضخمة: دراسة جديدة تثير الفضول!
أبحاث

اكتشاف الشيخوخة البرمجية في أنظمة تقديم نماذج اللغات الضخمة: دراسة جديدة تثير الفضول!

أركايف للذكاءمنذ 2 شهر
اكتشف أفضل الوكلاء البرمجيين بالذكاء الاصطناعي ومنصات التطوير في 2026!
أدوات

اكتشف أفضل الوكلاء البرمجيين بالذكاء الاصطناعي ومنصات التطوير في 2026!

مارك تيك بوستمنذ 2 شهر
ما الذي يجعل السلك سلكًا؟ شروط حاسمة لتعريف أدوات الذكاء الاصطناعي
أدوات

ما الذي يجعل السلك سلكًا؟ شروط حاسمة لتعريف أدوات الذكاء الاصطناعي

أركايف للذكاءمنذ 2 شهر
استكشف كيف يُحدث مهندسو Nextdoor ثورة في البرمجة باستخدام Codex وGPT-5.5!
أبحاث

استكشف كيف يُحدث مهندسو Nextdoor ثورة في البرمجة باستخدام Codex وGPT-5.5!

مدونة أوبن إيه آيمنذ 2 شهر