نتایج جستجو برای: mechanization
تعداد نتایج: 2399 فیلتر نتایج به سال:
About 480 million tons of rice (milled base) are produced annually in the world. It is one cereals with a low trade rate for its production. In Asia, more than 90% world's production produced. The top 10 countries all Asian countries. main operation cultivation consists planting, management while growing (weed & pest control, water management), harvesting, and post-harvest processing. addit...
It is well-known that many relevant aspects of everyday reasoning based on natural language cannot be adequately expressed in classical rst-order logic. In this paper we address two of the problems, rstly that of so-called presuppositions, expressions from which it is possible to draw implicit conclusion, which classical logic normally does not warrant, and secondly the related problem of parti...
We describe the Minimal Model Program in the family of Q-Gorenstein projective horospherical varieties, by studying a family of polytopes defined from the moment polytope of a Cartier divisor of the variety we begin with. In particular, we generalize the results on MMP in toric varieties due to M. Reid, and we complete the results on MMP in spherical varieties due to M. Brion in the case of hor...
Let Γ ⊂ X be a smooth curve on a 3-fold. In this paper we classify terminal divisorial contractions E ⊂ Y −→ Γ ⊂ X contracting an irreducible surface E onto Γ, in the case when the general section of X containing Γ has D5 type singularities. In doing so we consider the problem of existence of MMP in families of canonical 3-folds, and we get results about existence of simultaneous Q-factorialisa...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید