نتایج جستجو برای: ceres
تعداد نتایج: 1179 فیلتر نتایج به سال:
Entrevista com Maria Eunice Maciel UFRGS), concedida a Cauê Fraga Machado (UFRGS) e Ceres Gomes Víctora (UFRGS).
Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works by constructing a set of clauses from a proof with cuts. Any resolution refutation of this set can then serve as a skelet...
در سال های اخیر فعالیت های انسانی سبب افزایش غلظت 2co شده که این وضعیت، گرمایش زمین و پدیدۀ تغییر اقلیم را در پی داشته شده است. این مطالعه با هدف ارزیابی پتانسیل تأثیرات تغییر اقلیم بر عملکرد گندم رقم چمران در محدودۀ شهرستان اهواز صورت گرفت. برای این منظور 13 مدل aogcm و دو سناریوی انتشار گازهای گلخانه ای (a2 و b1) انتخاب شد و داده های روزانۀ دما و بارش برای منطقۀ تحقیق در پنج سطح احتمالاتی 10/...
Different carbonates have been detected on Ceres, and their abundance and spatial distribution have been mapped using a visible and infrared mapping spectrometer (VIR), the Dawn imaging spectrometer. Carbonates are abundant and ubiquitous across the surface, but variations in the strength and position of infrared spectral absorptions indicate variations in the composition and amount of these mi...
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...
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...
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...
تابش سطح زمین (SSR) از مؤلفههای اساسی در مطالعات هوا و اقلیمشناسی بهشمار میرود و تغییرات آن تأثیر زیادی در اکوسیستمهای زیستمحیطی زمین و اقلیم مناطق دارد. بهدلیل محدودیت در اندازهگیریهای زمینی و نیاز به دادههایی با کیفیت بالا، روشهای مختلفی برای برآورد تابش SSR توسعه یافته است. یکی از مهمترین روشهای برآورد تابش SSR، مدلهای ماهوارهمحورند که با داشتن قدرت تفکیک زمانی و مکانی بالا و...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید