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

Abstract We mapped all boulders larger than 105 m on the surface of dwarf planet Ceres using images Dawn framing camera acquired in Low Altitude Mapping Orbit. find that are more numerous toward high latitudes and have a maximum lifetime 150 ± 50 Ma, based crater counts. These characteristics distinctly different from those asteroid (4) Vesta, an earlier target Dawn, which implies Ceres’ mechan...

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

[1] Using one year (2000–2001) of merged Multiangle Imaging SpectroRadiometer (MISR), Moderate Resolution Imaging SpectroRadiometer (MODIS) and Clouds and the Earth’s Radiant Energy System (CERES) data sets from NASA’s Terra satellite, we estimate the top of atmosphere cloud-free direct radiative effect (DRE) of aerosols over global land areas. The global mean shortwave DRE is 5.1 ± 1.1 Wm 2 al...