نتایج جستجو برای: شناسایی دوست یا دشمن iff
تعداد نتایج: 210159 فیلتر نتایج به سال:
در حقوق کیفری دو نوع سیاست وجود دارد سیاست کیفری عدالت محور و دیگری سیاست کیفری امنیت گرا یا دشمن محور در حالیکه در سیاست کیفری اصل بر محئدود بودن عدالت کیفری و عدم مداخله در زند گی خصوصی افراد است
In this paper, we introduce the concept of meet precontinuous posets, a generalization of meet continuous lattices to posets. The main results are: (1) A poset P is meet precontinuous iff its normal completion is a meet continuous lattice iff a certain system γ(P ) which is, in the case of complete lattices, the lattice of all Scott-closed sets is a complete Heyting algebra; (2) A poset P is pr...
در صورت سلامت حیوان ،شیر تا زمانی که در داخل پستان است حالت استریل دارد اما به محض خارج شدن میکروارگانیسمهایی از منابع مختلف آن را آلوده می کنند . از جمله باگکتریهای موجود در شیر گروههای باکتریهای سرما دوست و سرماکرا ،مقاوم به حرارت و گرما دوست هستند که هر یک منشا خاصی باعث آلودگی شیر می شوند . لذا به منظور تعیین آلودگی این گروههای باکتریایی و منشا باکترایی آنها این بررسی انجام گرفت . هدف از ای...
We say that E ⊆ X × X is a clopen graph on X iff E is symmetric and irreflexive and clopen relative to X\∆ where ∆ = {(x, x) : x ∈ X} is the diagonal. Equivalently E ⊆ [X] and for all x 6= y ∈ X there are open neighborhoods x ∈ U and y ∈ V such that either U × V ⊆ E or U × V ⊆ X\E. For clopen graphs E1, E2 on spaces X1, X2, we say that E1 continuously reduces to E2 iff there is a continuous map...
در نیروی دریایی هدفگیری با دقت بالا و از فاصله دور با استفاده از حداقل نیروی انسانی از اهمیت ویژه ای برخوردار است. بنابراین سامانه های تشخیص خودکار هدف می بایست بهینه گردند. زیرا این سامانه ها جایگزین نیروی انسانی در ردگیری و هدفیابی هدفهای ثابت و متحرک می گردند. الگوریتمهای پیشرفته شناسایی هدفها باعث بکارگیری نیروی انسانی کمتری شده و آنها را برای انجام دیگر فعالیتها آزاد می سازد. ...
ترشوندگی یک پارامتر کلیدی است که ویژگی های پتروفیزیکی سنگهای مخزن را تحت تأثیر قرار می دهد. اغلب اوقات، نفوذ تراویده گل حین حفاری زون نفتی، باعث تغییر عمده ای در ترشوندگی شده و اثرات فراوانی بر جابه جایی نفت توسط آب از خود برجای می گذارد که نهایتاً تولید و روش های بازیابی نفت را تحت تأثیر قرار می دهد. در این مطالعه اثر سه نمونه بنتونیت متداول مورد استفاده در چاه نفت، بنتونیت خالص سازی شده و نان...
گرایش جوامع بشری برای مصرف فرآورده های آروماتیک طبیعی باارزش مانند وانیلین و اسید وانیلیک، موجب ترغیب محققین در استفاده از زیست واکنشگرهای میکروبی برای سنتز این محصولات گردیده است. هدف از پژوهش اخیر، غربالگری سویه های باکتری نمک دوست نسبی با قابلیت تجزیه سوبسترای اسید فرولیک و بررسی امکان تشکیل اسید وانیلیک از واکنش زیست تبدیلی سوبسترای مذکور تحت شرایط سلول های در حال استراحت بود. در این راستا،...
Suppose A and B are classes of recursive functions. A is said to be an m-cover (∗-cover) for B, iff for each g ∈ B, there exsits an f ∈ A such that f differs from g on at most m inputs (finitely many inputs). C, a class of recursive functions, is a-immune iff C is infinite and every recursively enumerable subclass of C has a finite a-cover. C is a-isolated iff C is finite or a-immune. Chen [Che...
A formula A is said to have the contraction property in a logic L iff whenever A, A,Γ `L B (when Γ is a multiset) also A, Γ `L B. In MLL and in MALL without the additive constants a formula has the contraction property iff it is a theorem. Adding the mix rule does not change this fact. In MALL (with or without mix) and in affine logic A has the contraction property iff either A is provable or A...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید