Zobrazeno 1 - 10
of 110
pro vyhledávání: '"Vegliach A"'
The main purpose of this paper is to introduce a first-order temporal logic, LTLFO, and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification in LTLFO b
Externí odkaz:
http://arxiv.org/abs/1303.3645
Publikováno v:
Tabaccologia. 20:8-26
Publikováno v:
Tabaccologia. 19:16-20
Il tabagismo rappresenta uno dei maggiori fattori di rischio per la salute. Secondo l’Organizzazione Mondiale della Sanita (OMS), nella popolazione mondiale vi sarebbero almeno un miliardo di tabagisti. L’Istituto Superiore di Sanita (ISS) indica
Autor:
Tamburin, Stefano, Mantovani, Elisa, De Bernardis, Ernesto, Zipeto, Donato, Lugoboni, Fabio, Agostoni, Costanza, Almasio, Roberta, Avveduti, Paola, Baisini, Ornella, Ballerio, Martina, Barbero, Alessandro, Bellinato, Marina, Benevento, Carlo, Bin, Loretta, Bonizzi, Veronica, Borroni, Gianmario, Bove, Angelo, Broccardo, Rita, Bruschi, Sandra, Brusini, Roberta, Cairati, Manuela, Cammarata, Liborio Martino, Canale, Andrea, Cantiero, Donatella, Capovilla, Tania, Chiroli, Maria Cristina, Cibin, Mauro, Collesei, Raffaella, Colombo, Daniela, Cuomo, Tiziana, D’Angelo, Annalisa, Dedola, Susanna, Degli Esposti, Marco, De Micco, Giovanni, De Stefano, Vincenzo, Di Cosmo, Filomena, Di Dio, Tiziana, Di Fazio, Carmela Maria, Dona, Claudia, Fabiano, Lorenza, Fanton, Mariacristina, Fantozzi, Fulvio, Fergonzi, Egle Maria, Finotti, Elena, Fiore, Francesca, Fiorentini, Donatella, Fontana, Nadia, Franceschini, Laura, Furini, Luciana, Galletta, Paola, Gallo, Francesco, Gardiolo, Marianna, Gaspari, Roberta, Gentile, Nicola, Gervino, Daniela, Ghezzo, Novella, Ghidoni, Cinzia, Giubertoni, Maura, Giussani, Paola, Gori, Filippo, Groppa, Francesca, Grosina, Cinzia, Guzzetti, Maria Raffaella, Jarre, Paolo, Latino, Giovanna Maria, Lerro, Gianluca, Lobello, Salvatore, Lobrano, Gloria, Lotti, Ilaria Valerida, Malagò, Michael, Mazzo, Marcello, Mellini, Stefano, Meneguzzi, Cristina, Mercuri, Rocco, Migliozzi, Sabrina, Molinaroli, Elena, Mosti, Antonio, Mussi, Daniela, Novelli, Alessandra, Padovani, Anna, Palmigiano, Carmela, Panelli, Elio, Pani, Alessandro, Passaretti, Serena, Pavani, Valentina, Pecoraro, Maria, Peroglia, Ivo, Pitasi, Marina, Poli, Roberto, Polidori, Edoardo, Porcu, Anna Laura, Possetto, Davide, Prete, Antonio, Quaresima, Serenella, Rapuzzi, Paola, Recchia, Rosa, Reina, Fabio, Riglietta, Marco, Rizzo, Elisabetta, Rugani, Fabio, Salvadori, Maria Adele, Samaia, Stefania, Sanchini, Samantha, Sandrone, Paolo, Sassella, Francesca, Scala, Antonia, Scarzella, Michele, Sciutteri, Bruno, Sclaverano, Ivana, Sorce, Massimo, Speranza, Elvira, Staccioli, Maria Caterina, Suardi, Laura, Talassi, Fiorella, Talluto, Anna, Tinghino, Biagio, Tiso, Sonia, Tosi, Tania, Tusa, Antonella, Ungari, Maria Sabrina, Valenti, Riccardo, Vecchi, Lucia, Vegliach, Alessandro, Vercellone, Rita, Verdelli, Flavio, Vicario, Serena, Vignola, Francesca, Zambon, Cinzia, Zannini, Angela, Zanoni, Ilenia, Zavan, Valeria, Zerbini, Cristina
Publikováno v:
Internal and Emergency Medicine
The New England Journal of Medicine
The New England Journal of Medicine
Background Coronavirus disease 2019 (Covid-19) occurs after exposure to severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). For persons who are exposed, the standard of care is observation and quarantine. Whether hydroxychloroquine can prev
Autor:
In ordine alfabetico: Massimo Baraldo, Roberto Boffi, Laura Carrozzi, Maria Sofa Cattaruzza, Cristiano Chiamulera, Marco Dell’Omo, Fabrizio Faggiano, Ferruccio Galletti, Silvano Gallus, Silvio Garattini, Giuseppe Gorini, Maria Caterina Grassi, Fabio Lugoboni, Giacomo Mangiaracina, Paola Martucci, Francesco Pistelli, Mattia Scipioni, Licia Vanessa Siracusano, Girolamo Sirchia, Biagio Tinghino, Alessandro Vegliach, Vincenzo Zagà
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3730::fc311cc7bbacae74dc99bbd08f0c3034
http://hdl.handle.net/11588/721466
http://hdl.handle.net/11588/721466
Autor:
Tinghino, Biagio, Baraldo, Massimo, CATTARUZZA MARIA SOFIA, Hamram, Daniel, Mangiaracina, Giacomo, Munarini, Elena, Siscaro, Gherardo, Vegliach, Alessandro, Zaga, Vincenzo, Zucchetta, Francesca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3659::9c76404978199c71ec26be95a1aa8ced
http://hdl.handle.net/11390/1131977
http://hdl.handle.net/11390/1131977
Publikováno v:
Formal Methods in System Design. 46:286-316
The main purpose of this paper is to introduce a first-order temporal logic, $${{\mathrm{LTL}}}^{{{{{\mathrm{FO}}}}}} $$LTLFO, and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show
Autor:
G. Generoso Quartarone, A. Vegliach
Publikováno v:
MISSION.
The region of Friuli Venezia Giulia, Department of Addiction - Trieste and Astra Association had achieved together a project dedicated to the families of gamblers in treatment. The project meetings were composed of two parts: a teaching on important
Autor:
Alessandra Di Pucchio, Roberta, Pacifici, Simona, Pichini, Antonella, Bacosi, Simonetta Di Carlo, Rita Di Giovannandrea, Patrizia, Gori, (ASL Brescia, Enrica Pizzi e Gruppo Servizi Territoriali per la cessazione dal fumo di tabacco: Abrami M. A., Leno, -BS), Agus, A., (ASS2 Isontina, Nicolazzi L., Gorizia), Ameglio, M., (AUSL 7, Cincinelli B., Zona Alta Val d'Elsa, Siena), Badii, F., (ASL 2 Savonese, Grossi S., Savona), Baraldo M. (OU S. Maria della Misericordia, Udine), Barbano, G., (AULSS 9 - Ospedale Cà Foncello, Bazzerla G., Treviso), Bassini M., Giampaolo R. (AUSL di Modena -Distretto di Castelfranco Emilia -MO), Beato, E., (Dipartimento Dipendenze, Prestipino A., ASL di Bergamo), Bergozza L., Rossetto L. (ULSS 4 Thiene -VI), Bertoletti R. (AO Valtellina e Valchiavenna, Sondalo), Biasin, C., (ULSS 21, Manzato E., Zevio, -VR), Bigarelli M. (AUSL Modena Area Nord, Carpi -MO), (ASL della Provincia di Mantova), Bini L., Boffi, R., (Fondazione IRCCS Istituto Nazionale dei Tumori, Pozzi P., Milano), Brancaccio, L., Monaldi', Guarino C. (AO 'V., Napoli), Cacaci, C., (ASUR Marche - Area Vasta 5, Apolloni P., San Benedetto del Tronto -AP), Calcagni, A. M., (Area Vasta 4 - Regione Marche, Mecozzi L., Giorgio -FM), Porto S., Calzolari, U., (ASL di Bergamo, Rovetta M., Lovere, -BG), Campiotti A. (ASL Milano 1, Magenta -MI), Canneti, E., Saccocci, M., Misericordia, Vichi S. (USL 9 P. O., Grosseto), Canzian G., Russo A. (ASS 3 Alto Friuli), Cao A. (ASL 5, Oristano), Carnevale E. (ASL Napoli 1 Centro - PS 'S. Maria di Loreto Crispi', Napoli), Carone, M., Maugeri, Sarno N. (Fondazione S., Cassano delle Murge -BA), Carrozzi, L., Pistelli, F., Cavalleri, C., (ASL TO3, Pini D., Beinasco, -TO), Cerrato P. (ASL TO2, Torino), Cestaro C., Repetto T. (AUSL Valle d'Aosta), Ciarfeo Purich R., Vegliach A. (ASS 1 Triestina), (Ausl di Imola), Cifiello S., Colombari, P., (ASL VC, Conti P., Vercelli), Conterio, P., (Asl TO1 Ospedale Martini, Gallo E., Torino), Cordioli, E., ULSS 22 Bussolengo, Melchiori S. (Az., Verona), Corti M. (ASL provincia Bergamo, Treviglio -BG), Costantino A. (AO Pugliese Ciaccio, Catanzaro), Cuccagna, P., (Asl TO3, Potosnjack A., Perosa Argentina -TO), Cutrì, R., (Azienda 10 Lungarno Santa Rosa, Barbanti A., Firenze), D’Urso, B., San Giovanni di Dio Ruggi D’Aragona', Amendola D. (AOU 'OO. RR., Salerno), Da Ros D. (ULSS 16, Padova), (IRCCS Ospedale, D'Alessandro V., Dalla Pietra G., Pavani V. (Az. ULSS 18 Rovigo), De Benedetto, F., Annunziata, Manigrasso M. R. (ASL Chieti PO Clinicizzato S. S., Chieti Scalo -CH), De Donno G. (AO Carlo Poma, Mantova), De Lozzo L., Facchini F. (PO di Vittorio Veneto -TV), De Marchi C. (ASL BI, Cossato -BI), (Sert Lamezia Terme), De Siena A., (ASP Reggio Calabria), De Stefano C., Del Donno, M., Rummo', Romano A. (AO 'G., Benevento), Delfini M., Galati A. (P. O. Villa Betania RM E), Di Dio, S., (ASP 3 Catania, Franco R., Giarre, -CT), Dominici F., De Rose V. (ASL di Viterbo), Donateo L., Gerardi R. (ASL Lecce), Fagni, F., (AUSL 3 di Pistoia, Pellegrini V., Pescia, -PT), Foschino Barbaro, M. P., (AOU Policlinico- Ospedale D'Avanzo, Ruggieri C., Foggia), Fulgione, C., Gennaro, Mallardo M. (ASL NA 1 O S., Fusconi, E., (ASL RMC Distretto 9, Del Brocco D., Roma), Galletti, F., (AOU Federico II, De Palma D., Grammatico P. (ASL Roma D, Roma), Grandelis C. (APSS, Borgo Valsugana -TN), Groppi C. (ASL 3, Pistoia), Iacoacci C., Barbieri F. (INRCA di Ancona), Ianniello, F., (AUSL 8, Passeri A., Montevarchi, -AR), Janiri L. (Università Cattolica Sacro Cuore, Roma), Kashanpour, H., (ASS 4, Zanon D., Udine), (PO Sud-Ospedale di Gaeta -LT), Kugler E., Lauro G., D'Amore A. (ASL Caserta), Lavacchini, G., (ASL 10 FI, Grati D., Zona, Mugello, Lorenzo -FI), Borgo S., Leonardi, C., (ASL RMC, Fierro G., Leonetti A. (ASL CN1, Mondovì -CN), Lugoboni, F., (AO Universitaria, Casari R., (ARNAS Ospedale Civico di Palermo), Madonia G., Magnelli F., Rota A. G. (ASP di Cosenza), Maiella, D., (ASL BN1, Izzo A., Manfredi A., Gai P. (ASL 4 di Prato), Mantovani A., Finessi A. (Az. Ulss 19 Adria -RO), Mantovani R., Viviani U. (AUSL di Ferrara PO di Copparo -FE), (ASP Trapani PO Mazara del Vallo -TP), Marino G., (ASL Sassari), Marras T., (ASL Ferrara), Marsili R., (ULSS 13 Dolo -VE), Melica V. E., Messere C. (ASL NA2 Nord, Napoli), Monti M. (Istituto Ortopedico Rizzoli, Bologna), Mussoni C., Cavicchi C. (Az. USL Bologna), Natoli, A., (ASS 6, Furlan N., Pordenone), Pamerani B., Porciatti C. (AUSL 10 Firenze), Panzanella C. (ASL Napoli 1 Centro – Osp 'San Giovanni Bosco', Napoli), Paolin C., Cannarsa F. (Az. Ulss 7 Pieve di Soligo -TV), Parillo T., Hazra C. (ASL di Como), Pasinato M. G. (Ulss 8 Asolo, Castelfranco Veneto -TV), (ASL 1 Distretto di Alghero -SS), Peana G., Pellegrini, L., Gios, L., (Distretto Centro Sud, Herzog S., Rovereto, -TN), Perillo, A., (ASL Na 3 Sud, Ambrosino M., Pomigliano d'Arco -NA), (Azienda Sanitaria di Matera), Perna M. T., Pezzuto, A., Andrea- Università Sapienza, Mariotta S. (AO S., Piancastelli, G., Ricci, C., Fabbri, C., USL Ravenna, Fava P. (Az., Sedi di Ravenna, Bagnacavallo, Faenza, -RA), Pieralli, D., (AUSL 8 Zona Aretina, Ferrarotto E., Arezzo), Pistelli, R., (Università Cattolica, Villani A., Complesso Integrato Columbus, Polo, M. F., (AOU, Manca S., Sassari), Polosa, R., (AOU, Caponnetto P., Università di Catania), Principe, R. Clementi F., Camillo-Forlanini, Dragani L. (AO S., Pulerà N. (AUSL 6, Livorno), Puoti F. (ASL Na1, Napoli), Residori M. (AULSS 22 Regione Veneto, Villafranca -VR), Romagnolo A. (ASL AT, Asti), Romano, A., Russo, G., (ASL TO 4 Ivrea, Arimatea S., Chivasso, Ciriè, -TO), Romano F., Scarlato M. I. (AO di Cosenza), Sacchi, G., Alletto', Magro F. (ASL 1-Poliambulatorio 'U., Agrigento), Saetta, M., Forza, G., (PO di Padova), Balestro E., Serafini, A., (Ospedale Civile, Bertora G., Imperia), Siracusano, L., (Istituto Clinico Humanitas, Autuori M., Rozzano, -MI), Spada, E., Maugeri, Balestroni G. (Fondazione S., Veruno, -NO), Staccioli M. C., Rossi B. (Ausl Rimini), Stefano, V., (ASL Provincia di Varese, Gaggini R., Arcisate, -VA), Subiaco, S., (ASUR Marche, Cimarelli M. E., Area Vasta, 2 Jesi -AN), Tartarotti I. (APSS, Pergine -TN), Tavanti, G., (AUSL 10, Paparini L., Antella, -FI), Tinghino B. (ASL Provincia di Monza e Brianza, Monza), (ASP N9 Trapani), Trapani V., Triani A., Senoner A. (AS Merano e AS Bolzano -BZ), Valeri W. (Area Vasta 2 Ancona – ASUR Marche, Ancona), (ASL di Lodi), Varango C., Varese M. (ASL 1, Regione Toscana), Vidal, V., (ASS 5, Mustacchi A., Palmanova, -UD), Viola, S., Salvini, Tomasich A. (A. O., Garbagnate, -MI), (AO Istituti Ospitalieri di Cremona -CR), Virzì G., Vito, A., Parrella, R. (AORN Ospedali dei Colli Monaldi-Cotugno-C. T. O., (AUSL di Bologna), Zagà V., (ULSS 5, Zini G.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3728::4d5c4f600450b4cf26a12e2cfb4ce50f
http://hdl.handle.net/11568/1121971
http://hdl.handle.net/11568/1121971