درستییابی صوری شبکههای عصبی عمیق با تابع فعالسازی تکهای خطی
محمدکمال صادقآبادی فراهانی
درستییابی صوری شبکههای عصبی عمیق با تابع فعالسازی تکهای خطی
طبع 1
قائمة
شناسنامه
المدخل الرئيسي
صادقآبادی فراهانی، محمدکمال، پایاننامهنویس، نویسندهالعنوان واسم المؤلف
درستییابی صوری شبکههای عصبی عمیق با تابع فعالسازی تکهای خطی / محمدکمال صادقآبادی فراهانیالمواصفات الشكلية
ش، 66 ص.؛ مصور، جدول، نمودار، پيوست.الموضوع
شبکههای عصبی (کامپیوتر)Neural networks (Computer science)
درستييابي صوري
Formal verification
يادگيري عميق
Deep learning
روشهای صوری (کامپیوتر)
Formal methods (Computer science)
اللغة
فارسی