المؤلفون: Mohaghegh, Mohammadsadegh, Salehi, Khayyam

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Machine Learning, Computer Science - Performance, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2308.02519Test

المؤلفون: Mohagheghi, Mohammadsadegh, Salehi, Khayyam

مصطلحات موضوعية: Computer Science - Performance, Computer Science - Logic in Computer Science, Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2307.08614Test

المؤلفون: Mirzaei, Hamed¹ (AUTHOR), Salehi, Khayyam² (AUTHOR), Jafari, Ameneh³ (AUTHOR), Chaleshtori, Reza Sharafati¹ (AUTHOR)

المصدر: Journal of Food Processing & Preservation. 4/30/2024, Vol. 2024, p1-11. 11p.

مصطلحات موضوعية: TRANS fatty acids, QUINCE, SESAME oil, TUMOR necrosis factors, EDIBLE fats & oils, EDIBLE coatings, PHENOLIC acids, PLANT phenols

المؤلفون: Mohagheghi, Mohammadsadegh, Salehi, Khayyam

المصدر: Indonesian Journal of Electrical Engineering and Computer Science; Vol 17, No 3: March 2020; 1571-1577 ; 2502-4760 ; 2502-4752 ; 10.11591/ijeecs.v17.i3

مصطلحات موضوعية: Software engineering, Formal methods, Probabilistic Model Checking, Markov Decision Processes, Qualitative Reachability Probabilities, Graph-based Pre-computation

وصف الملف: application/pdf

العلاقة: https://ijeecs.iaescore.com/index.php/IJEECS/article/view/19684/13554Test; https://ijeecs.iaescore.com/index.php/IJEECS/article/downloadSuppFile/19684/2698Test; https://ijeecs.iaescore.com/index.php/IJEECS/article/view/19684Test

الإتاحة: https://doi.org/10.11591/ijeecs.v17.i3.pp1571-1577Test
https://doi.org/10.11591/ijeecs.v17.i3Test
https://ijeecs.iaescore.com/index.php/IJEECS/article/view/19684Test

المؤلفون: Salehi, Khayyam, Noroozi, Ali A., Amir-Mohammadian, Sepehr, Mohagheghi, Mohammadsadegh

المصدر: Quantitative Evaluation of Systems ; Lecture Notes in Computer Science ; page 43-63 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031163357 9783031163364

الإتاحة: https://doi.org/10.1007/978-3-031-16336-4_3Test

المؤلفون: Karimpour, Jaber, Isazadeh, Ayaz, Mohagheghi, Mohammadsadegh, Salehi, Khayyam

المساهمون: University of Tabriz Tabriz, Mehdi Dastani, Marjan Sirjani, TC 2, WG 2.2

المصدر: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.inria.fr/hal-01446601Test ; 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.207-214, ⟨10.1007/978-3-319-24644-4_14⟩

مصطلحات موضوعية: Markov decision processes, probabilistic model checking, value iteration, policy iteration, graph partitioning, variable ordering, [INFO]Computer Science [cs]

جغرافية الموضوع: Tehran, Iran

العلاقة: hal-01446601; https://hal.inria.fr/hal-01446601Test; https://hal.inria.fr/hal-01446601/documentTest; https://hal.inria.fr/hal-01446601/file/978-3-319-24644-4_14_Chapter.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-319-24644-4_14Test
https://hal.inria.fr/hal-01446601Test
https://hal.inria.fr/hal-01446601/documentTest
https://hal.inria.fr/hal-01446601/file/978-3-319-24644-4_14_Chapter.pdfTest

المؤلفون: Noroozi, Ali A., Salehi, Khayyam, Karimpour, Jaber, Isazadeh, Ayaz

المصدر: Information Systems Security ; Lecture Notes in Computer Science ; page 154-172 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030369446 9783030369453

الإتاحة: https://doi.org/10.1007/978-3-030-36945-3_9Test

المؤلفون: Salehi Khayyam

المساهمون: Izadkhah Habib, Pourasghar Babak

العلاقة: https://github.comTest/Salehi-Khayyam/GMA/tree/HabibKhayyamBabakAyaz; https://zenodo.org/record/1298723Test; https://doi.org/10.5281/zenodo.1298723Test; oai:zenodo.org:1298723

الإتاحة: https://doi.org/10.5281/zenodo.1298723Test
https://doi.org/10.5281/zenodo.1298722Test
https://zenodo.org/record/1298723Test

المؤلفون: Salehi Khayyam

المساهمون: Izadkhah Habib, Pourasghar Babak

العلاقة: https://github.comTest/khayyam-cs/GMA/tree/KhBHA; https://zenodo.org/record/1298714Test; https://doi.org/10.5281/zenodo.1298714Test; oai:zenodo.org:1298714

الإتاحة: https://doi.org/10.5281/zenodo.1298714Test
https://doi.org/10.5281/zenodo.1298713Test
https://zenodo.org/record/1298714Test

المؤلفون: Salehi, Khayyam¹ (AUTHOR) kh_salehi@tabrizu.ac.ir, Karimpour, Jaber¹ (AUTHOR), Izadkhah, Habib¹ (AUTHOR), Isazadeh, Ayaz¹ (AUTHOR)

المصدر: Entropy. Sep2019, Vol. 21 Issue 9, p885-885. 1p.

مصطلحات موضوعية: *INFORMATION theory, *EVOLUTIONARY algorithms, *CONSTRAINED optimization, *NONLINEAR equations, *PROBABILISTIC databases