Faculty Profile

منو
هادی فراهانی

استادیار

تاریخ به‌روزرسانی: 1405/07/02

هادی فراهانی

علوم ریاضی / علوم داده ها و کامپیوتر

Articles Faculty

مقالات علمی چاپ شده در مجلات

  1. "Preoperative lower limb kinematic analysis in spinal sagittal imbalance using machinelearning andIMUsensors"
    Sadegh Madadi, Mostafa Rostami, Hadi Farahani, Farshad Nikouee, Mohammad Samadian, Ram Haddas
    Signal Image and Video Processing, Vol. 19, pp.1-9, 2025
  2. "Gait variability in spinal sagittal imbalance patients before and after surgery"
    Sadegh Madadi, Mostafa Rostami, Hadi Farahani, Farshad Nikouee, Mohammad Samadian, Ram Haddas
    Signal Image and Video Processing, Vol. 19, pp.1-9, 2025
  3. "Correctness checking of a quantum protocol for reliable communications via feedback"
    Hadi Farahani, Hossein Mahan
    Afrika Matematika, Vol. 30, pp.681-690, 2019
  4. "Some Improvements in Fuzzy Turing Machines"
    Hadi Farahani
    Iranian Journal of Fuzzy Systems, Vol. 16, pp.49-60, 2019
  5. "A numerical method based on rational Gegenbauer functions for solving boundary layer flow of a Powell-Eyring non-Newtonian fluid"
    Kourosh Parand, Arman Bahramnezhad Goje Beygli, Hadi Farahani
    COMPUTATIONAL and APPLIED MATHEMATICS, Vol. 37, pp.6053-6075, 2018
  6. "Meta-type Fuzzy Computations and Fuzzy Complexity"
    Hadi Farahani
    JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 34, pp.81-92, 2018
  7. "Temporal Logic of Common Knowledge and Its Resolution-Based Proof Method"
    Hadi Farahani,
    JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 35, pp.5507-5522, 2018
  8. "Neutrosophic deductive filters on BL-algebras"
    Rajabali Borzooei, Hadi Farahani, Morteza Moniri
    JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 26, pp.2993-3004, 2014
  9. "Algebraic view of MTL-filters"
    Hadi Farahani, Omid Zoheyri
    Annals of the University of Craiova, Mathematics and Computer Science Series, Vol. 40, pp.34-44, 2013
  10. "n-Fold filters of MTL-algebras"
    Zahiri, Hadi Farahani
    Afrika Matematika, Vol. 10, pp.1-10, 2013
  11. "Glivenko s Theorems and Negative Translations in Predicate Substructural predicate Logics"
    Hadi Farahani, Hiroakira Ono
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 51, pp.695-707, 2012
  12. "Logical characterization of fillters on BL-algebras"
    Morteza Moniri, Hadi Farahani, Rajabali Borzooei
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, Vol. 20, pp.75-87, 2012
  13. "Head space solid phase microextraction based on nano-structured lead dioxide Application to the speciation of volatile oranoselenium in environmental and biological samples"
    Ensieh Ghasemi, Hadi Farahani
    JOURNAL OF CHROMATOGRAPHY A, Vol. 1258, pp.16-20, 2012

مقالات علمی ارائه شده در همایش‌ها

  1. "An Alternating Qubit Protocol and Its Correctness Checking"
    Hadi Farahani, Hossein Mahan
    2017 International Symposium on Computer Science and Software Engineering Conference (CSSE), 2017
  2. "A FUZZY EPISTEMIC LOGIC."
    Hadi Farahani, AmirHossein Sharafi, Rajabali Borzooei
    International Conference on Mathematics of Fuzziness, 2016
  3. "Substucturul view of Glivenko theorems and negative translations"
    Hadi Farahani, Hiroakira Ono
    013 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 13 Evora Portugal July 22 27 2013, No 20 , pp.227-228, 2013
  4. "Investigating the Impact of Arm Swing on Lower Limb Forces Using Machine Learning Techniques"
    محمدرضا صیدگر، هادی فراهانی، Mostafa Rostami، Elham Naziri، Sadegh Madadi
    سی و دومین کنفرانس ملی و دهمین کنفرانس بین المللی مهندسی زیست پزشکی ایران، 1404
  5. "مقایسه شبکه های عصبی بازگشتی LSTM و GRU در پیش بینی قیمت جفت ارز طلا-دلار"
    هادی فراهانی، منصور حسن زاده
    هفتمین همایش ریاضیات و علوم انسانی، ریاضیات مالی، 1401
  6. "یادگیری تاخیرسیناپسی در شبکه های عصبی ضربه ای"
    ایمان پرهیزکاری، سعیدرضا خردپیشه، هادی فراهانی
    بیست و ششمین کنفرانس بین المللی کامپیوتر، انجمن کامپیوتر ایران، 1399
  7. "رویکری بر پروتکل تمییزناپذیری تحت حمله? متن اصلی منتخب با توسیع شناختی منطق وکاشیویچ"
    دره السادات دستغیب، هادی فراهانی
    دومین همایش ملی انفورماتیک، صفحات:13-18، 1399
  8. "A Fuzzy Anonymity Protocol and Its Analysis Using DEGP"
    هادی فراهانی، سامان مشیری
    ششمین کنگره مشترک سیستمهای فازی و هوشمند ایران، 1396
  9. "A fuzzy Dining Cryptographers Protocol and Its Verification"
    هادی فراهانی، سامان مشیری
    چهل و هشتمین کنفرانس ریاضی ایران، 1396
  10. "منطق زمانی دانش عمومی و تحلیل گمنامی شام رمزنگاران برپایه آن"
    سامان مشیری، هادی فراهانی
    چهل و هشتمین کنفرانس ریاضی ایران، 1396
  11. "پروتکل هایی برای محاسبات کوانتومی واگذارشده ی کور برای محاسبه ی NAND"
    زینب حافظی، هادی فراهانی
    چهل و هشتمین کنفرانس ریاضی ایران، 1396
  12. "ابرماشین های تورینگ فازی، یک رهیافت پیچیدگی فازی"
    هادی فراهانی، کبری صمدی، زینب حافظی، شیما نوبختیان
    پنجمین کنگره مشترک سیستم های فازی و هوشمند ایران، 1395
  13. "یک ماشین تورینگ فازی توسیع یافته"
    هادی فراهانی، سیدمحمود موسوی
    کنفرانس بین المللی ریاضیات فازی، 1395
  14. "یک منطق شناختی فازی"
    امیرحسین شرفی، رجبعلی برزوئی، هادی فراهانی
    کنفرانس بین المللی ریاضیات فازی، 1395
  15. "گمنامی کوانتومی بر پایه مساله شام رمزنگاران"
    هادی فراهانی، حسین ماهان
    چهل و ششمین کنفرانس ریاضی ایران، 1394
  16. "بررسی صحت پروتکل کلید عمومی نیدهام-شرودر با استفاده از جبرپردازه ACP"
    هادی فراهانی، محمدرضا صدیقین، سیدمحمود موسوی
    چهل و ششمین کنفرانس ریاضی ایران، 1394
  17. "مدل های کریپکی فازی برای زیر نظریه ای از بی ال"
    هادی فراهانی
    هفتمین سمینار تخصصی ابرساختارهای جبری و ریاضیات فازی، 1393
  18. "فیلترهای استنتاجی روی بی ال- جبرها"
    هادی فراهانی
    اولین سمینار منطق ریاضی تبریز، 1389