نتایج جستجو برای: a dummy variable is added
تعداد نتایج: 14150687 فیلتر نتایج به سال:
Preprocessing of CNF formulas is an invaluable technique when attempting to solve large formulas, such as those that model industrial verification problems. Unfortunately, the best combination of preprocessing techniques, which involve variable elimination combined with subsumption, is incompatible with incremental satisfiability. The reason is that soundness is lost if a variable is eliminated...
throughout this dissertation r is a commutative ring with identity and m is a unitary r-module. in this dissertation we investigate submodules of multiplication , prufer and dedekind modules. we also stat the equivalent conditions for which is ring , wher l is a submodule of afaithful multiplication prufer module. we introduce the concept of integrally closed modules and show that faithful mu...
abstract abstract of thesis (includes summary, goals, execution methods, and results) story “al-obnosat al-bayza” is one of the short stories from “hanna mineh” collection. this story is a selection of lives of some humans during a voyage together, each of them is a symbol of human nature (love, mind, kindness) and examine social, cultural, and political aspects of governing system, and it...
abstract biometric access control is an automatic system that intelligently provides the access of special actions to predefined individuals. it may use one or more unique features of humans, like fingerprint, iris, gesture, 2d and 3d face images. 2d face image is one of the important features with useful and reliable information for recognition of individuals and systems based on this ...
achieving to sustainable development requires high attention to environmental problems so in this head line, examining the relation between economic growth and environment quality gives us an outlook of optimum economic development. for this purpose, different development programs were investigated. variables used in this model were propagation co2 per capita (as a proxy of pollution ), gdp per...
Sustainability in 19 different Arab countries has been studied through investigating the relationship between economic development and energy consumption. Data collected has been studied as a whole (Total countries data) and as segregated data (Oil exporting and Oil importing countries data) i.e. three categories. The regression model used measures the effect of independent and control variable...
this thesis basically deals with the well-known notion of the bear-invariant of groups, which is the generalization of the schur multiplier of groups. in chapter two, section 2.1, we present an explicit formula for the bear-invariant of a direct product of cyclic groups with respect to nc, c>1. also in section 2.2, we caculate the baer-invatiant of a nilpotent product of cyclic groups wuth resp...
learning english is very popular all over the world nowadays and it is considered a high prestigious language among citizens of different societies. one of the most important materials for learning a new language are textbooks. the debate that whether learning a new language is natural and neutral or ideological and influential on people’s worldviews, has always been of great importance.
chapter one is devoted to a moderate discussion on preliminaries, according to our requirements. chapter two which is based on our work in (24) is devoted introducting weighted semigroups (s, w), and studying some famous function spaces on them, especially the relations between go (s, w) and other function speces are invesigated. in fact this chapter is a complement to (32). one of the main fea...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید