درستییابی صوری شبکههای عصبی عمیق با تابع فعالسازی تکهای خطی
محمدکمال صادقآبادی فراهانی
درستییابی صوری شبکههای عصبی عمیق با تابع فعالسازی تکهای خطی
Edition 1
list
شناسنامه
Main Entry
صادقآبادی فراهانی، محمدکمال، پایاننامهنویس، نویسندهTitle and Author
درستییابی صوری شبکههای عصبی عمیق با تابع فعالسازی تکهای خطی / محمدکمال صادقآبادی فراهانیPhysical Description
ش، 66 ص.؛ مصور، جدول، نمودار، پيوست.Subject
شبکههای عصبی (کامپیوتر)Neural networks (Computer science)
درستييابي صوري
Formal verification
يادگيري عميق
Deep learning
روشهای صوری (کامپیوتر)
Formal methods (Computer science)
Language
فارسی