نتایج جستجو برای: 64 for ceres

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

2015
R. Terik Daly Peter H. Schultz

New experiments predict that Ceres should be extensively contaminated with meteoritic debris derived from the asteroid belt. All types of impactors likely contribute to the contamination. Ceres may accrete debris more efficiently if it is ice-rich because of enhanced projectile survival and retention in porous ice targets. Experiments indicate that if a silicate regolith lag protects subsurface...

2018
M. T. Bland A. I. Ermakov C. A. Raymond D. A. Williams T. J. Bowling F. Preusker R. S. Park S. Marchi J. C. Castillo-Rogez R. R. Fu C. T. Russell

Gravity data of Ceres returned by the National Aeronautics and Space Administration’s Dawn spacecraft is consistent with a lower density crust of variable thickness overlying a higher density mantle. Crustal thickness variations can affect the long-term, postimpact modification of impact craters on Ceres. Here we show that the unusual morphology of the 280 km diameter crater Kerwan may result f...

2008
Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo

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. Cut-elimination can be applied to mine real mathematical proofs, i.e. for extracting explicit and algorithmic information. The system CERES (cut-elimination by resolution) is based on automate...

2009
J. C. Castillo-Rogez P. G. Conrad

Large, low-density C-type asteroids are abundant in the main belt. The most prominent of these objects is the dwarf planet Ceres, which presents an advanced stage of evolution. Ceres is almost twice as large as Enceladus, and both objects contain more than 50% of water in volume [1]. Although asteroids cannot benefit from tidal heating like outer planet satellites, their proximity to the Sun pr...

2003
Céline Carrère Jaime de Melo

Building on the experience of NAFTA, and assuming that rules of origin (RoO) negotiated under NAFTA are likely to resemble those that would be agreed upon in an FTAA, this paper discusses how different RoO criteria would affect different Southern partners in a multi-stage production setting. Next, we use a combination of parametric and non-parametric methods to estimate the costs of RoO under N...

Journal: :Astronomy & Astrophysics 2010

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

یکی از اهداف علم کشاورزی دقیق، ایجاد ابزار های با دقت و توانمندی های بیشتر برای بررسی فرآیند های آب خاک، گیاه و اتمسفر و در نهایت، یافت و معرفی بهترین استراتژی های مدیریت مزرعه ای است. هدف از این مطالعه توسعه مدلی بر پایه مدل ceres-maize است که با توجه به شرایط خاص کشورمان توانمندی های بیشتری برای شبیه سازی رشد ذرت در شرایط تنش شوری و خشکی داشته باشد. گیاهی است گه بتواند در در این مطالعه با هدف...

2017
M. Ciarniello M. C. De Sanctis E. Ammannito A. Raponi A. Longobardo E. Palomba F. G. Carrozzo F. Tosi J.-Y. Li S. E. Schröder F. Zambon A. Frigeri S. Fonte M. Giardino C. M. Pieters C. A. Raymond C. T. Russell

Aims. We present a study of the spectrophotometric properties of dwarf planet Ceres in the visual-to-infrared (VIS-IR) spectral range by means of hyper-spectral images acquired by the VIR imaging spectrometer on board the NASA Dawn mission. Methods. Disk-resolved observations with a phase angle within the 7◦ < α < 132◦ interval were used to characterize Ceres’ phase curve in the 0.465–4.05 μm s...

Journal: :The Astronomical Journal 2011

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

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