نتایج جستجو برای: labelled
تعداد نتایج: 20773 فیلتر نتایج به سال:
The biliary excretion and blood/plasma ratios of four novel 5-bromo-6-alkoxy- 5,6-dihydro prodrugs to S-ethyl-2'-deoxyuridine (EDU) including (-)-trans-(5S, 6S)-S-bromo-S-ethyl-6-methoxy-S, 6-dihydro-2'-deoxyuridine (BMEDU), (+ )-trans( SR, 6R)-S-bromo-S-ethyl-6-ethoxy-S, 6-deoxyuridine (BEEDU), (+ )-trans-(SR, 6R)-5-bromo-5-ethyl-6-ethoxy -S, 6-dihydro-S '-O-valeryl-2 ':.deoxyuridine (VBE...
Hansenula polymorpha Pex14p (HpPex14p) is a component of the peroxisomal membrane essential for peroxisome biogenesis. Here, we show that HpPex14p is phosphorylated in vivo. In wild-type H. polymorpha cells, grown in the presence of [32P]orthophosphate, the 32P label was incorporated into HpPex14p. Labelled HpPex14p was induced after a shift of cells to methanol-containing media and rapidly dis...
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propo-sitional modal logics that includes K, D, T, B, S4, S4:2, KD45, and S5. Here we extend this approach to quantiied modal logics, providing for-malizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to bot...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید