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 (...

BACKGROUND Systemic lupus erythematosus (SLE) is an autoimmune multisystem disease characterized by the development of antinuclear antibodies. Nowadays considered outdated, lupus erythematosus (LE) cell preparation served as a screening test for SLE for decades. However, the importance of discovering LE cells on routine cytology cannot be overemphasized. CASE We report the case of a 30-year-o...