نتایج جستجو برای: conrad discontinuity
تعداد نتایج: 10565 فیلتر نتایج به سال:
چکیده ندارد.
This paper introduces ‘treatable’ theories, a large class of first-order theories each having a unique countable recursively saturated model.Important examples of such theories are DIS and DLO. It turns out that resplendency or parameter-free resplendency for such theories is implied by a Σ1(Π1 ThN)-statement. Other results concerning resplendency and Σ1definability are obtained.
From Definition 1.1, checking a polynomial is separable requires building a splitting field to check the roots are distinct. But we will see in Section 2 a criterion for deciding when a polynomial is separable (that is, has no multiple roots) without having to work in a splitting field. In Section 3 we will define what it means for a field extension to be separable and then prove the primitive ...
We present Conrad, the first comparative gene predictor based on semi-Markov conditional random fields (SMCRFs). Unlike the best standalone gene predictors, which are based on generalized hidden Markov models (GHMMs) and trained by maximum likelihood, Conrad is discriminatively trained to maximize annotation accuracy. In addition, unlike the best annotation pipelines, which rely on heuristic an...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید