نتایج جستجو برای: strong alpha cut
تعداد نتایج: 636696 فیلتر نتایج به سال:
trehalose is the alpha, alpha-1,1-linked glucose disaccharide. its metabolism is found in a wide variety of organisms and is seen as evolutionary old. trehalose metabolites are however present at only very low concentrations and their role in plants are not understood. the physiological effects of 100 mm trehalose on growth and carbon allocation in seedlings are characterized in this paper. tre...
Abstract Let $E$ be an elliptic curve defined over a number field $K$, let $\alpha \in E(K)$ point of infinite order, and $N^{-1}\alpha $ the set $N$-division points in $E(\overline {K})$. We prove strong effective uniform results for degrees Kummer extensions $[K(E[N],N^{-1}\alpha ): K(E[N])]$. When $K=\mathbb Q$, under minimal (necessary) assumption on $, we show that inequality $[\mathbb Q(E...
The efficiency of the αβ-algorithm as a minimax search procedure can be attributed to its effective pruning at so-called cut-nodes; ideally only one move is examined there to establish the minimax value. This paper explores the benefits of investing additional search effort at cut-nodes by also expanding some of the remaining moves. Our results show a strong correlation between the number of pr...
A strong analytic tableau calculus is presentend for the most common normal modal logics. The method combines the advantages of both sequent-like tableaux and preexed tableaux. Proper rules are used, instead of complex closure operations for the accessibility relation, while non deter-minism and cut rules, used by sequent-like tableaux, are totally eliminated. A strong completeness theorem with...
The purpose of this study was to: (a) examine the concurrent validity of the DIBELS with the CTOPP, and (b) explore the diagnostic accuracy of the DIBELS in predicting CTOPP performance using suggested and alternative cut-scores. Eighty-six students were administered the DIBELS and the CTOPP in the winter of their Kindergarten year. Patterns of correlations between the two sets of measures were...
This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. In this approach, substitutions are delayed (but not executed) explicitly. We implement this idea with two calculi, one where substitution is a primitive construction of the calculus, the other where substitutions is represented...
Background: Sepsis is regarded as a critical clinical status in neonates. Since blood culture is a time-consuming method, the present study was conducted to investigate the serum level of Ferritin, Procalcitonin, and CRP in the peripheral blood of term neonates suspected with sepsis to have a quicker diagnosis for the disease. Methods: In the pres...
the aim of this study was to evaluate the psychometric properties, factor structure and kessler psychological distress scale (k-10) cut-off point on the students and prepare it as a screening tool for mental health. in this study, 500 students of tehran universities of medical sciences were selected by proportional sampling. participants responded to the kessler psychological distress scale and...
ôbjective: the mood disorder questionnaire (mdq) has been designed as a screening self-report inventory for diagnosing bipolar mood disorders. this study investigated the validity and the optimal cut-off threshold of the persian version of mdq in a group of ïranian depressive patients. methods: ône hundred and twenty patients with probable diagnosis of mood disorders attending psychiatric clini...
This paper proves the strong converse for any discrete memoryless network (DMN) with tight cut-set bound, i.e., whose cut-set bound is achievable. Our result implies that for any DMN with tight cut-set bound and any fixed rate tuple that resides outside the capacity region, the average error probabilities of any sequence of length-n codes operated at the rate tuple must tend to 1 as n grows. Th...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید