نتایج جستجو برای: aziz maqaleh
تعداد نتایج: 977 فیلتر نتایج به سال:
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996 [1, 2]. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen [4, 5] presented an efficient polyno...
Balanced knockout tournaments are one of the most common formats for sports competitions, and are also used in elections and decision-making. We consider the computational problem of finding the optimal draw for a particular player in such a tournament. The problem has generated considerable research within AI in recent years. We prove that checking whether there exists a draw in which a player...
Root-knot nematodes (Meloidogyne spp.) are the limiting factors of agriculture crops including pepper. The M. incognita has widely distributed in pepper fields of Gilan Province. In this study, eleven pepper cultivars including AA pepper (Hyb. Coyame- Petoseed, Hyb. Aziz- Petoseed, Hyb. Bounty- Petoseed) and Bell peppers (California Wonder 301- Petoseed, Hyb. Camelot- Petoseed, Hyb. King Arthur...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید