نتایج جستجو برای: مدل ceres
تعداد نتایج: 121102 فیلتر نتایج به سال:
Eleonora Ammannito (1), Maria Cristina De Sanctis (2), Mauro Ciarniello (2), Alessandro Frigeri (2), Filippo Giacomo Carrozzo (2), Jean Philippe Combe (3), Bethany Ehlmann (4), Simone Marchi (5), Hap Y. McSween (6), Andrea Raponi (2), Julie C. Castillo-Rogez (7), Michael J. Toplis (8), Federico Tosi (2), Andrea Longobardo (2), Ernesto Palomba (2), Carle M. Pieters (9), Carol A. Raymond (7), Pau...
D. Adamová, G. Agakichiev, H. Appelshäuser, V. Belaga, P. Braun-Munzinger, R. Campagnolo, A. Castillo, A. Cherlin, S. Damjanović, T. Dietel, L. Dietrich, A. Drees , S. I. Esumi, K. Filimonov, K. Fomenko, Z. Fraenkel, C. Garabatos, P. Glässel, G. Hering, J. Holeczek, V. Kushpil, B. Lenkeit, W. Ludolphs, A. Maas, A. Maŕın, F. Messer , J. Milošević, A. Milov, D. Mískowiec, L. Musa, Yu. Panebrattse...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید