1 Anatomy and Histology Section, Department of Neurological and Movement Sciences, University of Verona, Verona, Italy 2 Laboratory of Muscle Histopathology and Molecular Biology, IRCCS-Policlinico San Donato, Milan, Italy 3 Laboratory of Cell Biology and Neurobiology, Department of Biology and Biotechnology, University of Pavia, Pavia, Italy 4 Department of Neurology, University of Milan, Mila...

Piero Montorsi *, Paolo M. Ravagnani , Stefano Galli , Sarah Ghulam Ali , Alberto Briganti , Andrea Salonia , Francesco Montorsi b a Institute of Cardiology, University of Milan, Centro Cardiologico Monzino, IRCCS, Milan, Italy Department of Urology and Sexual Diseases, University Vita-Salute Ospedale S. Raffaele, Milan, Italy avai lable at www.sc iencedi rect .com journal homepage: www.europea...

Silvia Giannini1; Maria Solimando2; Tiziana Fierro1; Luciano Baronciani2; Augusto B. Federici2,3; Paolo Gresele1 1Division of Internal and Cardiovascular Medicine, Department of Internal Medicine, University of Perugia, Perugia, Italy; 2Angelo Bianchi Bonomi Hemophilia and Thrombosis Center, Department of Internal Medicine and Medical Specialties, IRCCS Maggiore Hospital and University of Milan...

disease Ludovica Griffanti, Ottavia Dipasquale, Maria Marcella Laganà, Raffaello Nemni, Mario Clerici, Stephen Smith, Giuseppe Baselli, and Francesca Baglio IRCCS, Fondazione don Carlo Gnocchi, Milano, Milan, Italy, Department of Electronics, Information and Bioengineering, Politecnico di Milano, Milan, Italy, Physiopatholgy Department, Università degli Studi di Milano, Milan, Italy, FMRIB (Cen...

Speaker: Marco Gaboardi (Bologna) Title: Light Logics: a tool for polynomial time in functional programming Abstract: We overview the Light Logics approach to Implicit Computational Complexity presenting different proposals for the class of polynomial time functions. We focus on the use of light logics in designing type systems for the Lambda Calculus considered as a core functional programming...

The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, reliable, predictable virtual machines, that is, metacomputers, on top of environments that consist of an unreliable and dynamically changing set of machines. In addition to the techniques, the principal outcomes of the...

Luigi Bergamaschini,1* Emanuela Rossi,1 Claudio Storini,2 Simone Pizzimenti,2 Maria Distaso,2 Carlo Perego,2 Ada De Luigi,2 Carlo Vergani,1 and Maria Grazia De Simoni2* 1Department of Internal Medicine, Ospedale Maggiore, Instituto di Ricovero e Cura a Carattere Scientifico, University of Milan, 20122 Milan, Italy, and 2Department of Neuroscience, Mario Negri Institute for Pharmacological Resea...

Flavio Villani *, Veronica Pelliccia , Giuseppe Didato , Giovanni Tringali , Francesco Deleo , Rita Garbelli , Laura Rossini , Roberto Spreafico a Division of Clinical Epileptology and Experimental Neurophysiology, ‘‘Carlo Besta’’ Neurological Institute Foundation, Milan, Italy b Epilepsy Surgery Center ‘‘C. Munari’’, Niguarda Hospital, Milan, Italy Division of Neurosurgery III, ‘‘Carlo Besta’’...