BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis— whether they be proofs or counterexamples—are represented...

این پژوهش با الهام گرفتن از نتایج یک طرح مطالعاتی کاربردی، رویکرد سلسله­‌مراتبی جهت پیگیری فرایند توسعه تأمین‌کنندگان و حمایت تصمیمات موجود در هر مراحل آن ارائه‌ می‌کند. ابتدا، زمینه‌های تأمین نیازمند سپس واجد شرایط هریک زمینه‌ها به کمک تصمیم‌گیری چندشاخصه بهترین-بدترین مشخص می‌گردند. معیارهای شناسایی نیز مرور مطالعات پیشین بهره‌گیری نظرات خبرگان حوزه‌ی خرید استخراج‌شده‌اند. درنهایت، مدل ریاضی ...

This paper studies combining `1 regularization and Markov chain Monte Carlo model composition techniques for Bayesian model averaging (BMA). The main idea is to resolve the model uncertainty issues arising from path point selection by treating the `1 regularization path as a model space for BMA. The method is developed for linear and logistic regression, and applied to sample classification in ...

سابقه و هدف: امروزه صنعتی شدن توسعه شهرنشینی باعث آلودگی هوا در اکثر کلان‌شهرهای جهان شده است سالانه میلیون­ ها نفر به ­علت جان خود را از دست می­ دهند. ﺑﺎ ﺗﻮﺟﻪ ﺑﻪ ﻣﺤﺪود ﺑﻮدن ﺷﺒﻜﻪ اﻳﺴﺘﮕﺎه‌ﻫﺎى ﭘﺎﻳﺶ آﻻﻳﻨﺪه‌ﻫﺎى ﻫﻮا ﻏﻴﺮ اﻗﺘﺼﺎدى اﻓﺰاﻳﺶ ﺗﻌﺪاد این اﻳﺴــﺘﮕﺎه‌ﻫا سطح شهرها، دﺳﺖ‌ﻳﺎﺑﻰ ﭘﻮﺷــﺶ ﻣﻜﺎﻧﻰ زﻣﺎﻧﻰ ﻣﻨﺎﺳــﺐ برای ﻧﺸﺎن دادن ﺗﻐﻴﻴﺮات ﻏﻠﻈﺖ ذرات آلاینده ﺑﺴﻴﺎر دﺷﻮار اﺳﺖ. بر اساس پژوهش حاضر با هدف تهیه نقشه ­ها...

The H.264 standard allows each macroblock to have up to sixteen motion vectors, four reference frames, and a macroblock mode. Exploiting this feature, we present an efficient temporal error concealment algorithm for H.264-coded video. The proposed method turns out to show good performance compared with conventional approaches. key words: temporal error concealment, boundary matching algorithm (...