نتایج جستجو برای: برهمکنشهایπ π
تعداد نتایج: 33229 فیلتر نتایج به سال:
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...
We present a Petri net interpretation of the pi-graphs a graphical variant of the pi-calculus. Characterizing labelled transition systems, the translation can be used to reason in Petri net terms about open reconfigurable systems. We demonstrate that the pi-graphs and their translated Petri nets agree at the semantic level. In consequence, existing results on pi-graphs naturally extend to the t...
Three notions of structural inclusion between process terms of the-calculus are considered, and proven to be decidable and to have axiom-atizations that are sound and complete in the multiset semantics M of the-calculus. All three are strong simulation relations.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید