نتایج جستجو برای: weak commutativity of type kb
تعداد نتایج: 21266296 فیلتر نتایج به سال:
the primary goal of the current project was to examine the effect of three different treatments, namely, models with explicit instruction, models with implicit instruction, and models alone on differences between the three groups of subjects in the use of the elements of argument structures in terms of toulmins (2003) model (i.e., claim, data, counterargument claim, counterargument data, rebutt...
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degener...
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality an...
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality an...
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degener...
Background & Aim: Sumo4 has recently been found to be mainly expressed in kidney. Single nucleotide polymorphism, which is detected in sumo4, replaces a highly conserved methionine with a valine (M55V) residue. This variant of sumo4 may induce higher nuclear factor–KB (NFKB) activity because NFKB is known to mediate the development of diabetic nephropathy.Patients and Method: This study inv...
چکیده پژوهشکده امام خمینی(س) و انقلاب اسلامی مقطع تحصیلی:کارشناسی ارشدچکیده پژوهشکده امام خمینی(س) و انقلاب اسلامی مقطع تحصیلی:کارشناسی ارشد رشته تحصیلی:اندیشه سیاسی در اسلام عنوان پایان نامه:تبیین نظریه حکومت اسلامی امام خمینی بر مبنای الگوی فهم نظریات سیاسی اسپریگنز نام و نام خانوادگی دانشجو:علی مرادی استاد راهنما:دکتر یحیی فوزی استاد مشاور:دکتر منصور انصاری تاریخ شروع پایان نام...
Reasoning about commutativity between data-structure operations is an important problem with applications including parallelizing compilers, optimistic parallelization and, more recently, Ethereum smart contracts. There have been research results on automatic generation of commutativity conditions, yet we are unaware of any fully automated technique to generate conditions that are both sound an...
We propose a reduction scheme for system constituted by two coupled harmonically-bound Brownian oscillators. reduce the description constructing lower dimensional model which inherits some of basic features original dynamics and is written in terms suitable transport coefficients. The proposed procedure twofold: while deterministic component obtained direct application invariant manifold method...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید