نتایج جستجو برای: 2100 using calibrated and validated ceres

تعداد نتایج: 17327682  

2010
Xianglei Huang Norman G. Loeb Wenze Yang

[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...

Journal: :Climate Risk Management 2021

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...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده علوم پایه 1390

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,...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بیرجند - دانشکده علوم انسانی 1390

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...

Ch. Chen L. Li Q. Luo Q. Yu, X. Yang

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم طبیعی 1391

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 ...

2009
Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo

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 ...

Journal: :Ann. Pure Appl. Logic 2011
Stefan Hetzl Alexander Leitsch Daniel Weller

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید