نتایج جستجو برای: 2100 using calibrated and validated ceres
تعداد نتایج: 17327682 فیلتر نتایج به سال:
[1] We first present an algorithm for deriving cloudy sky outgoing spectral flux through the entire longwave spectrum from the collocated Atmospheric Infrared Sounder (AIRS) and Cloud and the Earth’s Radiant Energy System (CERES) measurements over the tropical oceans. The algorithm is similar to the one described in part 1 of this series of studies: spectral angular dependent models are develop...
This study examines the response of hydrological processes to different climate change scenarios in Jemma sub-basin Blue Nile Basin. Future near-term (2021–2050) and long-term (2071–2100) were developed from six statistically bias corrected Regional Climate Models (RCMs) under two Representative Concentration Pathways (RCPs) scenarios: RCP4.5 RCP8.5. The outputs models used as input a calibrate...
abstract in this study, we synthesized a novel template polymer by using methacrylic acid (mma) as functional monomer, ethylene glycol dimethacrylate(egdma) as cross linker, 2,2-azobisisobutyronitrile (aibn) as initiator and olanzapine as targeted molecule in the presence of chloroform and acetonitrile as solvent. the products have been characterized and confirmed by (chn)elemental analysis,...
in solvo-hydrothermal method, xrd pattern was indicated presence of intermediate of ammonium octatmolybdate and ammonium tetramolybdate, which were changed to stble phase of ?-moo3 annealing. sem images were indicated nanoparticle with semispheical morphology and tem image was demonstrated nanoparticles with a diameter size of 25nm. also in impregnate method. the xrd pattern was shown high crys...
Agriculture of the inland arid region in Xinjiang depends on irrigation, which forms oasis of Northwest China. The production and water use of wheat, a dominant crop there, is significantly affected by undergoing climate variability and change. The objective of this study is to quantify inter-annual variability of wheat yield and water use from 1955 to 2006. The farming systems model APSIM (Agr...
in recent years many researchers have been focused on interaction of small molecules with dna. dna is generally the primary intracellular of anticancer drugs, so the interaction between small molecules and dna can cause dna damage in cancer cells, blocking the division of cancer cells and resulting in cell death. the flavonoids are a large group of polyphenolic natural products that are widely ...
This work defines an extension CERES of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comprehension. This extension is motivated by the fact that cut-elimination can be used as a tool to extract information from real mathematical proofs, and often a crucial part of such proofs is the definition of sets by form...
In this paper, a sensitivity analysis of artificial neural networks (NNs) is presented and employed for estimating the patch load resistance of plate girders subjected to patch loading. To evaluate the accuracy of the proposed NN model, the results are compared with the previously proposed empirical models, so that we can estimate the resistance of plate girders subjected to patch loading. The ...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید