فیلتر نتایج
نتایج 1 تا 10 از مجموع 38
مقاله کنفرانسی
مدل سازی و راستی آزمایی سیستم های کامپیوتری ابزارها، کاربردها و چالش ها
نویسندگان: لیلا ناموری تازه کند
سال انتشار 1404
محل انتشار: یازدهمین کنفرانس بین المللی پژوهش های نوین در مهندسی برق، کامپیوتر، مکانیک و مکاترونیک در ایران و جهان اسلام
تعداد صفحات: 12 | زبان: فارسی
مقاله ژورنالی
Upper bound of Policies for Statistical Model Checking of Markov Decision Processes
نویسندگان: Mohammadsadegh Mohagheghi
سال انتشار 1405
محل انتشار: Contributions of Science and Technology for Engineering شماره 1، دوره 3
تعداد صفحات: 10 | زبان: انگلیسی
مقاله کنفرانسی
Conformance Checking in Banking Processes Using Process Mining: A Case Study
نویسندگان: Elias Ahmadian، Alireza Aliahmadi، Mehrdad Agha Mohammad Ali Kermani
سال انتشار 1404
محل انتشار: سومین کنفرانس مهندسی و مدیریت فرایندهای سازمانی
تعداد صفحات: 8 | زبان: انگلیسی
مقاله ژورنالی
Practical algorithm for the Beltway problem with a complexity parameter introduction
نویسندگان: Reza Nadimi
سال انتشار 1404
محل انتشار: فصلنامه ریاضی و علوم محاسباتی شماره 1، دوره 6
تعداد صفحات: 12 | زبان: انگلیسی
مقاله ژورنالی
State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets
نویسندگان: Ahmad Taghinezhad-Niar، Saeid Pashazadeh
سال انتشار 1403
محل انتشار: فصلنامه بین المللی وب پژوهی شماره 4، دوره 7
تعداد صفحات: 15 | زبان: انگلیسی
مقاله ژورنالی
Process Mining for Situation Awareness: A Review of Current Practices and Future Prospects
نویسندگان: Motahareh Dehghan، Neda Shakib
سال انتشار 1403
محل انتشار: مجله مهندسی و تحقیقات کاربردی شماره 2، دوره 1
تعداد صفحات: 20 | زبان: انگلیسی
مقاله کنفرانسی
Investigating The Impact Of Depression, Stress, And Anxiety In The Presence Of Content-Checking Questions Regarding English Learners' Academic Performance And Educational Exhaustion
نویسندگان: Dawood Naderi، Iman Bagheri
سال انتشار 1403
محل انتشار: چهاردهمین کنفرانس بین المللی فناوری های نوآورانه در زمینه علوم، مهندسی و تکنولوژی
تعداد صفحات: 11 | زبان: انگلیسی
مقاله ژورنالی
Concept Checking Questions: A Comprehension Assessing Tool for Developing EFL Learners’ Language Systems, and Motivation
نویسندگان: Kamran Rabani، Soheila Nakhaee، Mahmoud Aliahmadi Pour
سال انتشار 1403
محل انتشار: مجله بین المللی مسائل کاربردی و آموزشی در آموزش زبان انگلیسی شماره 3، دوره 2
تعداد صفحات: 19 | زبان: انگلیسی
مقاله ژورنالی
Comparing the performance of the people suffering from washing compulsion, checking compulsion and generalized anxiety disorders in the realm of autobiographical memory
نویسندگان: somaye golaij
سال انتشار 1393
محل انتشار: مجله بین المللی علوم رفتاری شماره 3، دوره 8
تعداد صفحات: 9 | زبان: انگلیسی
مقاله ژورنالی
The Effectiveness of Narrative Therapy on Body Checking and Disordered Eating Behaviors in Female Adolescents
نویسندگان: Fariba Kiani
سال انتشار 1402
محل انتشار: مجله بین المللی کودکان شماره 5، دوره 11
تعداد صفحات: 10 | زبان: انگلیسی
نتایج 1 تا 10 از مجموع 38