نتایج جستجو برای: is determined first
تعداد نتایج: 7739756 فیلتر نتایج به سال:
this study is an outlook of iranians religious practices and customs in eras such as nasser one. it attempts to answer the main question, "religious practices and ceremonies in the society during naseri ruling" and other subsidiary questions with scientific and historical theories. iran was a traditional and religious community . people abided by their religious practices and duties within reli...
Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In PNL, the ∀-quantifier or λ-binder are just term-formers satisfying axioms, and their denotation is functions on nominal atoms-abstraction. Then we have higher-order logic (HOL) and its models in ordinary (i.e. ZermeloF...
چکیده : آرای صادره از دادگاه ها علاوه بر شیوه های عادی از طریق فوق العاده نیز قابل اعتراض و رسیدگی مجدد هستند. در مواقعی که رای دادگاه مخل به حقوق ثالث باشد وی می تواند به ان اعتراض کند. قلمرو شمول اعتراض ثالث به تصمیمات قضایی که از آن به رای تعبیر شده محدود می گردد. ولی در مورد قرارها که به اعدادی و نهایی تفکیک می شوند، چون هیچ رویه ثابت و مشخصی در این زمینه در دادگاهها وجود نداشته و همچنین ا...
We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic. A characterization of equivalence in that logic in terms of bisimulations ...
Inst-Gen is an instantiation-based reasoning method for first-order logic introduced in [18]. One of the distinctive features of Inst-Gen is a modular combination of first-order reasoning with efficient ground reasoning. Thus, Inst-Gen provides a framework for utilising efficient off-the-shelf propositional SAT and SMT solvers as part of general first-order reasoning. In this paper we present a...
Multiway Decision Graphs (MDGs) are a canonical representation of a subset of many-sorted first-order logic. It generalizes classical BDDs with abstract data and uninterpreted functions. In this paper, we describe a new MDG construction based on the GeneralizedIf-Then-Else (GITE) operator. Consequently, we review the main algorithms used for verification techniques i.e. relational product and p...
we have devided the thesis in to five chapters. the first recollects facts from purely algebraic theory of jordan algebras and also basic properties of jb and jb* - algebras which are needed in the sequel. in the second chapter we extend to jb* - algebras, a classical result due to cleveland [8]. this result shows shows the weakness of jb* - norm topology on a jb* - algebera. in chapter three, ...
126 abstract: in this research we studied the effects of cyclic hydration and dehydration of cysts of artemia urmiana and artemia parthenogenetica on the hatching percentage, survival and growth. the experiment was carried out in 3 treatments (1-3 hydration/dehydration cycles) with 3 replicates for each treatment. later effects of cold preservation at -20°c during three time periods were ...
target tracking is the tracking of an object in an image sequence. target tracking in image sequence consists of two different parts: 1- moving target detection 2- tracking of moving target. in some of the tracking algorithms these two parts are combined as a single algorithm. the main goal in this thesis is to provide a new framework for effective tracking of different kinds of moving target...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید