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

We discuss how dilepton production is related to chiral symmetry and its restoration. We then analyse presently available data by the CERES collaboration in this context. We find that the present data do not support any conclusions concerning the restoration of chiral symmetry. We finally provide a prediction for the dilepton spectrum for the just completed low energy (40 GeV) run at the SPS.