نتایج جستجو برای: ceres maize
تعداد نتایج: 37633 فیلتر نتایج به سال:
We present cut-elimination as a method of proof mining, in the sense that hidden mathematical information can be extracted by eliminating lemmas from proofs. We present reductive methods for cutelimination and the method ceres (cut-elimination by resolution). A comparison of ceres with reductive methods is given and it is shown that the asymptotic behavior of ceres is superior to that of reduct...
Determination of the optimum sowing window not only can improve maize yield significantly but also fit in existing cropping pattern. To get advantages at time, a study was designed and carried out research field Bangladesh Agricultural Research Institute, Rangpur, during 2015–2017. Another aim to forecast for northern western regions using CERES-Maize model. The considered 5 November, 20 Decemb...
The goal of the Clouds and the Earth's Radiant Energy System (CERES) project is to provide a long-term record of radiation budget at the top-of-atmosphere (TOA), within the atmosphere, and at the surface with consistent cloud and aerosol properties at climate accuracy [1]. CERES consists of an integrated instrument-algorithm-validation science team that provides development of higher-level prod...
Previous observations suggested that Ceres has active, but possibly sporadic, water outgassing as well as possibly varying spectral characteristics over a timescale of months. We used all available data of Ceres collected in the past three decades from the ground and the Hubble Space Telescope, as well as the newly acquired images by the Dawn Framing Camera, to search for spectral and albedo va...
We define a generalization CERES of the first-order cut-elimination method CERES to higher-order logic. At the core of CERES lies the computation of an (unsatisfiable) set of sequents CS(π) (the characteristic sequent set) from a proof π of a sequent S. A refutation of CS(π) in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-fre...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید