Several security definitions, proposed in the literature, are reformulated over the general model of labelled transition systems, frequently used as a suitable semantic domain for abstract concurrent languages, such as CCS. A classification of these security properties is provided. 1. This work has been partially supported by Esprit Basic research project BROADCAST n. 6360 and by Italian CNR gr...

1 Protolife S.r.l., Via della Libertà 12, Marghera, Venezia 30175, Italy 2 European Center for Living Technology, S. Croce 1681, 30135 Venezia, Italy 3 Reed College, 3203 SE Woodstock Blvd., Portland OR 97202, USA 4 Biomolecular Information Processing, Ruhr-Universitat Bochum c/o IZB Schloss Birlinghoven, D-53754 Sankt Augustin, Germany 5 University of Venice Ca’ Foscari, San Polo 2347, 30125 V...

Davide Spirito, Dominique Coquillat, Sergio L. De Bonis, Antonio Lombardo, Matteo Bruna, Andrea C. Ferrari, Vittorio Pellegrini, Alessandro Tredicucci, Wojciech Knap, and Miriam S. Vitiello NEST, Istituto Nanoscienze – CNR and Scuola Normale Superiore, Piazza San Silvestro 12, 56127 Pisa, Italy Laboratoire Charles Coulomb UMR 5221, Universit e Montpellier 2 & CNRS-, F-34095 Montpellier, France ...

1 Nanoscopy, Istituto Italiano di Tecnologia, Via Morego 30, 16163, Genova, Italy 2 Dept. Of Physics, University of Genoa, Via Dodecaneso 33, 16146, Genova, Italy 3 Nikon Imaging Center @IIT, Istituto Italiano di Tecnologia, Via Morego 30, 16163, Genova, Italy 4 NEST, Scuola Normale Superiore and Istituto Nanoscienze CNR, Piazza San Silvestro 12, I-56127 Pisa, Italy 5 CNR Istituto di Biofisica ...

Larger, smaller, odd or even? Task-specific effects of optokinetic stimulation on the mental number space Mariagrazia Ranzini, Matteo Lisi, Elvio Blini, Marco Pitteri, Barbara Treccani, Konstantinos Priftis & Marco Zorzi a Centre de Recherche Cognition & Neurosciences (CRCN), FNRS-ULB Université Libre de Bruxelles, Bruxelles, Belgium b Laboratoire Psychologie de la Perception, Université Paris ...

Claudia Haferlach, Cristina Mecucci, Susanne Schnittger, Alexander Kohlmann, Marco Mancini, Antonio Cuneo, Nicoletta Testoni, Giovanna Rege-Cambrin, Antonella Santucci, Marco Vignetti, Paola Fazi, Maria Paola Martelli, Torsten Haferlach, and Brunangelo Falini Munich Leukemia Laboratory GmbH, Munich, Germany; Institute of Hematology, University of Perugia, Perugia, Italy; Department of Cellular ...

RESTING-STATE CEREBRAL BLOOD FLOW AND FUNCTIONAL CONNECTIVITY IN FOCAL EPILEPSY AS ASSESSED BY ARTERIAL SPIN LABELING Silvia Francesca Storti, Ilaria Boscolo Galazzo, Alessandra Del Felice, Francesca Pizzini, Chiara Arcaro, Emanuela Formaggio, Roberto Mai, Alberto Beltramello, and Paolo Manganotti Department of Neurological and Movement Sciences, University of Verona, Verona, Italy, Department ...

Applied Neurotechnology Laboratory, Department of Psychiatry and Psychotherapy, University Hospital Tübingen, Tübingen, Germany. Institute of Medical Psychology and Behavioral Neurobiology, University of Tübingen, Tübingen, Germany. Hospital de Neurorehabilitació Institut Guttmann, Barcelona, Spain. BioRobotics Institute, Scuola Superiore Sant’Anna, Pisa, Italy. Human Cortical Physiology and St...

(1) GAMMA Remote Sensing, Worbstrasse 225, 3073 Gümligen, Switzerland tel: +41 31 951 7005, fax: +41 31 951 7008, e-mail:{strozzi,wegmuller}@gamma-rs.ch (2) Institute of Marine Sciences, National Research Council, National Research Council, San Polo 1364, 30125 Venice, Italy, Email: [email protected] (3) Dept. of Mathematical Methods and Models for Scientific Applications, University of P...