نتایج جستجو برای: 505 ق
تعداد نتایج: 6234 فیلتر نتایج به سال:
A program P where no clause body contains a negative literal is called a definite program. In other words, if every clause in a program is a Horn clause, then it is a definite program. The least model of a definite logic program P can be computed as the least fixed point of the immediate consequence operator, TP of P defined as follows. Definition 1 Let M ⊆ P be a set of propositions. Then M ′ ...
در مقالة حاضر نسخه ای نفیس از تاریخ نگارستان، اثر قاضی احمد بن محمد غفاری، از نویسندگان معروف قرن دهم هجری، بررسی شده است. این نسخه به شمارة 583 در کتابخانة کاخ گلستان نگه داری می شود. در این پژوهش، برای توضیح ویژگی های نسخة مذکور ، آن را با پنج نسخة خطی و یک چاپ سنگی این اثر مقایسه کرده ایم. این نسخه ها عبارت اند از: نسخ مورخ 993 ق، 1003 ق، و 1015 ق محفوظ در کتابخانة ملی ایران، نسخة مورخ 1010 ...
Autotaxin (ATX) is a secreted glycoprotein that converts lysophosphatidylcholine (LPC) to the bioactive phospholipid lysophosphatidic acid (LPA) and is the major enzyme generating circulating LPA. Inhibition of LPA signaling has profound anti-fibrotic effects in multiple organ systems including the lung, kidney, skin and peritoneum. However, other LPA-generating pathways exist and the role of A...
In a long-term experiment on red-spotted dairy cows using the SCR Heatime HR-IR system, nature of rumination in animals was studied. The involved 10 cows, which were observed during year-round physiological cycle.Studies have shown that phase cycle is not significantly affected by term rumination. Rumination gradually increases after calving from 254 to 510 1 62 days lactation, and then stabili...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید