نتایج جستجو برای: 792 ق
تعداد نتایج: 4145 فیلتر نتایج به سال:
حي ت يو جذومنلأا ىلع يطخلا ريغ أ ،ءاملا ةمدص رث جاوملأاو يلاقتنلاا ه ، ةفاضإ ىلإ ضيف ءا ملا . مب ا نمق ه تءافآو ما ظنلا ة ناتم ة ساردلو أ ة شقان تاز يمملاو تابارط ضلاا ر ث (Parameters) ملا ر يغت ة بُ لطتيو ، مُيم صت ةَ فرعم ما ظنلا اذ ه ي ف ر يغتلا ىد م هذ ه مي ق تازيمملا . ةُقيرط تمدخُتسا دقو H ∞ يف دودحلا ةد يدع ميمصتلا . تا نارتقلاا را بتخا م ت ا مآ لا ة يكيمانيدلا ة ننقملا مكحت لل ة بولطملا ...
این پژوهش با عنوان بررسی و نقد بخش امامت کتاب شرح المقاصد نوشته سعدالدین تفتازانی به تبیین و بررسی بخش فوق می پردازد. امامت یک موضوع کاملا مستقل نبوده بلکه وابسته به ایمان و باور به وجود خدا بعثت انبیا و ثبوت حیات اخروی است.این پایان نامه، دیدگاه های سعدالدین تفتازانی از دانشمندان مشهور اهل سنت را در مقوله حقیقت و ماهیت امامت، وظایف و قلمرو امامت، چگونگی نصب امام، اوصاف و شرایط امام و راه های ا...
We have seen previously that there are three ways of generating new redexes by reduction. Out of the three forms, one may argue that one of them is not a new redex, but a residual of a redex in the initial term: We can define a new reduction which reduces this 'hidden redexes'. This reduction is called generalized β-reduction and is denoted by → g β. Given a term with hidden redexes, one step o...
Proteins reach the plasma membrane through the secretory pathway in which the trans Golgi network (TGN) acts as a sorting station. Transport from the TGN to the plasma membrane is maintained by a number of different pathways that act either directly or via the endosomal system. Here we show that a subset of cargoes depends on the ArfGAP2/3 Glo3 and ergosterol to maintain their proper localizati...
Arranged by Yarom Gabay based on a seminar by Assaf Kfoury March 1, 2005 The references are to Barendregt’s book [1]. So far we have studied the λ-calculus as a rewrite-system , i.e., we have studied properties of reduction, specifically, β-reduction. We can also study the λ-calculus as an equational theory , i.e., an axiomatic system consisting of axioms and inference rules to produce valid eq...
Small ubiquitin-like modifier (SUMO) family proteins regulate target-protein functions by post-translational modification. However, a potent and selective inhibitor targeting the SUMO pathway has been lacking. Here we describe ML-792, a mechanism-based SUMO-activating enzyme (SAE) inhibitor with nanomolar potency in cellular assays. ML-792 selectively blocks SAE enzyme activity and total SUMOyl...
With the recent interest of protease-activated receptors (PAR) 1 and PAR4 as possible targets for the treatment of thrombotic disorders, we compared the efficacy of protease-activated receptor (PAR)1 and PAR4 in the generation of procoagulant phenotypes on platelet membranes. PAR4-activating peptide (AP)–stimulated platelets promoted thrombin generation in plasma up to 5 minutes earlier than PA...
• P = {1, 2, 3, . . .} • Seq = {< n1, . . . , nk > | k > 0, n1, . . . , nk ∈ P}. p, q, r and s, possibly decorated, are metavariables ranging over Seq. • If p =< m1, . . . ,mk > and q =< n1, . . . , nl > then p ∗ q = 〈m1, . . . ,mk, n1, . . . , nl〉. • p ∗ 〈 〉 = 〈 〉 ∗ p = p for every p ∈ Seq. • p 6 q iff there is s such that p ∗ s = q. Definition 1.1 (Trees). T ⊆ Seq is a tree iff: 1. q ∈ T and ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید