نتایج جستجو برای: مدل ceres

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

2014
Kim A. Anderson Dogo Seck Kevin A. Hobbie Anna Ndiaye Traore Melissa A. McCartney Adama Ndaye Norman D. Forsberg Theodore A. Haigh Gregory J. Sower

It is difficult to assess pollution in remote areas of less-developed regions owing to the limited availability of energy, equipment, technology, trained personnel and other key resources. Passive sampling devices (PSDs) are technologically simple analytical tools that sequester and concentrate bioavailable organic contaminants from the environment. Scientists from Oregon State University and t...

Journal: :Theor. Comput. Sci. 2008
Matthias Baaz Stefan Hetzl Alexander Leitsch Clemens Richter Hendrik Spohr

The distinction between analytic and synthetic proofs is a very old and important one: An analytic proof uses only notions occurring in the proved statement while a synthetic proof uses additional ones. This distinction has been made precise by Gentzen’s famous cut-elimination theorem stating that synthetic proofs can be transformed into analytic ones. CERES (cut-elimination by resolution) is a...

1996
G. Q. Li C. M. Ko G. E. Brown

Dilepton production in proton-and nucleus-induced reactions is studied in relativistic transport model using initial conditions determined by the string dynamics from RQMD. It is found that both the CERES and HELIOS-3 data for dilepton spectra in proton-nucleus reactions can be well described by the 'conventional' mechanism of Dalitz decay and direct vector meson decay. However, to provide a qu...

ژورنال: :فیزیولوژی گیاهان زراعی 0
محسن قمری m. ghamari بهرام اندرزیان b. andarzian عبدالمهدی بخشنده a.m. bakhshandeh محمد حسین قرینه m.h. gharineh قدرت اله فتحی gh. fathi

به منظور شبیه سازی اثرات تنش خشکی و نیتروژن بر عملکرد، کارایی مصرف آب و نیتروژن ذرت، مدل ceres-maize ابتدا واسنجی و سپس مورد استفاده قرار گرفت. در تحقیق حاضر مدل ceres-maize با استفاده از تحقیقات انجام شده در سال های 1374و 1385 به ترتیب در اهواز و رامین واسنجی، و با استفاده از داده های آزمایش انجام شده در سال 1381 در صفی آباد دزفول ارزیابی گردید. rmse نرمال و شاخص توافق (d) به ترتیب معادل 2/4% ...

Journal: :Science 2016
H Hiesinger S Marchi N Schmedemann P Schenk J H Pasckert A Neesemann D P O'Brien T Kneissl A I Ermakov R R Fu M T Bland A Nathues T Platz D A Williams R Jaumann J C Castillo-Rogez O Ruesch B Schmidt R S Park F Preusker D L Buczkowski C T Russell C A Raymond

Thermochemical models have predicted that Ceres, is to some extent, differentiated and should have an icy crust with few or no impact craters. We present observations by the Dawn spacecraft that reveal a heavily cratered surface, a heterogeneous crater distribution, and an apparent absence of large craters. The morphology of some impact craters is consistent with ice in the subsurface, which mi...

2016
Liang Chen Erik Stolterman Christopher Raphael

We propose a human-driven Optical Music Recognition (OMR) system that creates symbolic music data from common Western notation scores. Despite decades of development, OMR still remains largely unsolved as state-ofthe-art automatic systems are unable to give reliable and useful results on a wide range of documents. For this reason our system, Ceres, combines human input and machine recognition t...

2006
C. T. Russell A. Coradini U. Christensen M. C. De Sanctis W. C. Feldman R. Jaumann L. A. McFadden S. Mottola

Dawn, the ninth Discovery mission, is a journey to the main belt asteroids Vesta and Ceres to attempt to understand the building blocks of the solar system and the processes occurring at the solar system s earliest epoch. It does this with a spacecraft that utilizes ion propulsion to reach its targets and to maneuver into orbit about these bodies. It carries a framing camera, a visible and infr...

2008
Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo

CERES, HLK and ProofTool form together a system for the computer-aided analysis of mathematical proofs. This analysis is based on a proof transformation known as cut-elimination, which corresponds to the elimination of lemmas in the corresponding informal proofs. Consequently, the resulting formal proof in atomic-cut normal form corresponds to a direct, i.e. without lemmas, informal mathematica...

1998
Madappa Prakash

Using a hydrodynamic approach to describe Pb+Au collisions at 158 AGeV/c, we analyze ee yields from matter containing baryons in addition to mesons. We employ ee production rates from two independent calculations, which differ both in their input physics and in their absolute magnitudes, especially in the mass range where significant enhancements over expected backgrounds exist in the CERES dat...

2007
M. Burgdorf T. Lim P. Morris A. Salama B. Schulz

In support for the ISO Mission it has been necessary to establish a set of asteroids as photometric standards for the photometric calibration of the instruments (M uller & Lagerros 1998). The new standards are described as rotating ellipsoids. Illumination geometry, heat transfer due to non-zero thermal inertia and surface structure/porosity are taken into account. The characteristic properties...

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

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