نتایج جستجو برای: قضیه π باکینگهام
تعداد نتایج: 36383 فیلتر نتایج به سال:
عفونت های قارچی تهدید بزرگی برای سلامت بشر به حساب می آیند. ایمیدازول ها و تری آزول ها علاوه بر کشاورزی در درمان عفونت های قارچی سیستمیک انسانی قابل استفاده هستند. شیوع عفونت های قارچی و مرگ و میر ناشی از آن، ضرورت تحقیق جهت دستیابی به مشتقات جدیدی از آزول های قوی با عملکرد انتخابی را روشن می سازد. در سری جدید مشتقاتی از این دسته، ترکیباتی سنتز و بررسی شده اند که در آنها اتم های ازت حلقه ایمیدا...
Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and investigate matching systems for CCS, the pi-calculus and Mobile Ambients. We show among other results that the asynchronous pi-calculus with matching cannot be encoded (under certain conditions) in CCS with polyadic ...
In a concurrent setting, causally-consistent reversibility relates causality and reversibility. In this note we overview three causal semantics for π-calculus: two classical and a recent one used for a reversible variant of π-calculus. We show the differences between them via examples, and discuss how to revise the classical one in order to be used as the underlying machinery for a reversible c...
We will discuss a bar/coalgebra construction of strong homotopy Leibniz algebras. We will give a generalized framework of derived bracket construction. We will prove that a deformation derivation of differential graded Leibniz algebra induces a strong homotopy Leibniz algebra by derived bracket method.
The purpose of this study was to compare the accuracy of genomic evaluation for Bayes A, Bayes B, Bayes C and Bayes L multi-step methods and SSBR-C and SSBR-A single-step methods in the different values of π for predicting genomic breeding values of the genotyped and non-genotyped animals. A genome with 40000 SNPs on the 20 chromosom was simulated with the same distance (100cM). The π valu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید