Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Michael Leuschel, Stefan Gruner (University of Southampton, United Kingdom) Verification of Sets of Infinite State Processes Using Program Transformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

M. MAGNANO SAN LIO1*, S. MANCINELLI2, L. PALOMBI2, E. BUONOMO2, A. DORO ALTAN1, P. GERMANO1, N.A. MAGID3,4, A. PESARESI1, E. RENZI5, P. SCARCELLA2, I. ZIMBA6 and M.C. MARAZZI7 Community of Sant’Egidio, DREAM Programme, 00153 Rome, Italy, Department of Public Health, Tor Vergata University, 00133 Rome, Italy, University La Sapienza, 00185 Rome, Italy, Machava DREAM Centre, Matola, Mozambique, He...

IRCCS L. Spallanzani, Rome, Italy Department Experimental Medicine, University of Rome Tor Vergata, Rome, Italy Royal Free and University College Medical School, London, UK Institute of Tropical and Infectious Diseases, University of Milan, Milan, Italy Italian Institute of Health, Rome, Italy Clinic of Infectious Diseases, University of Foggia, Foggia, Italy Department of Infectious Diseases, ...

TCT-429 Radial versus Femoral Approach for Coronary Angiography and Intervention in Patients with CABG: Systematic Review and Meta-analysis Stefano Rigattieri, Alessandro Sciahbasi, Emmanouil Brilakis, Francesco Burzotta, Sudhir Rathore, Francesco R. Pugliese, Antonis Ziakas, Yu Jie Zhou, Luis Guzman, Richard A. Anderson Sandro Pertini Hospital, Rome, Italy; Sandro Pertini Hospital, Rome, Italy...

Cattedra di Ematologia, Università Cattolica S. Cuore, Rome; Dipartimento di Biotecnologie cellulari ed Ematologia, Università “La Sapienza”, Rome; Centro Dati GIMEMA Dipartimento di Biotecnologie cellulari ed Ematologia, Università “La Sapienza”, Rome; Dipartimento di Epidemiologia e Biostatistica Istituto Superiore di Sanità, Rome; U.O.A. di Ematologia, Ospedale SS: Antonio e Biagio, Alessand...

We introduce an algebraic modeling language, named ROME, for a class of robust optimizationproblems. ROME serves as an intermediate layer between the modeler and optimization solverengines, allowing modelers to express robust optimization problems in a mathematically meaningfulway. In this paper, we highlight key features of ROME which expediates the modeling and subsequentnumer...

Andrea Cavagna, Lorenzo Del Castello, Supravat Dey, Irene Giardina, Stefania Melillo, Leonardo Parisi, and Massimiliano Viale a Istituto Sistemi Complessi, Consiglio Nazionale delle Ricerche, UOS Sapienza, 00185 Rome, Italy b Dipartimento di Fisica, Università Sapienza, 00185 Rome, Italy c Initiative for the Theoretical Sciences, The Graduate Center, 365 Fifth Avenue, New York, NY 10016 USA and...

1Department of Biology, University of Rome “Tor Vergata”, Via della Ricerca Scientifica, 00133 Rome, Italy 2Research Centre IRCCS San Raffaele Pisana, Via di Val Cannuta 247, 00166 Rome, Italy 3Department of Biochemistry and Molecular Biology, Institute of Functional Biology and Genomics (IBFG), IBSAL, CSIC, University of Salamanca, Calle Zacarias Gonzalez 2, 37007 Salamanca, Spain 4Department ...

G. Giulietti, F. Torelli, M. Bozzali, G. Garreffa, N. Moscufo, S. Zannino, L. Serra, F. Placidi, F. Fasano, G. Hagberg, B. Maraviglia, I. Djonlagic, J. Saboisky, A. Malhotra, M. Marciani, and C. Guttmann IRCCS "Santa Lucia Foundation", Rome, Italy, "Enrico Fermi" Center, Rome, Italy, Center for Neurological Imaging, Brigham and Women's Hospital, Harvard Medical School, Boston, United States, De...

Rome is certainly one of the places in the world which speaks to us of twins more than any other, and, in Rome itself, the Gapitoline Hall of the Horatii and Guriatii triplets. From the myth of Romulus and Remus, history gradually passes through the tale of the triplets from Rome and Albalonga, who prevented a bigger war, up to the memory of the Emperor-philosopher Marcus Aurelius, who had twin...