Sfoglia per Titolo
Monitorability for the Hennessy-Milner logic with recursion
2017-01-01 Francalanza, A; Aceto, L; Ingólfsdóttir, A
Monitoring for Silent Actions
2018-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
Monitoring land use in cities using satellite imagery and deep learning
2022-01-01 Banquet, Alexandre; Delbouve, Paul; Daams, Michiel Nicolaas; Veneri, Paolo
Monitoring of hadrontherapy treatments by means of charged particle detection
2016-01-01 Muraro, Silvia; Battistoni, Giuseppe; Collamati, Francesco; DE LUCIA, Erika; Faccini, Riccardo; Ferroni, Fernando; Fiore, Salvatore; Frallicciardi, Paola; Marafini, Michela; Mattei, Ilaria; Morganti, Silvio; Paramatti, Riccardo; Piersanti, Luca; Pinci, Davide; Rucinski, Antoni; Russomando, Andrea; Sarti, Alessio; Sciubba, Adalberto; SOLFAROLI CAMILLOCCI, Elena; Toppi, Marco; Traini, Giacomo; Voena, Cecilia; Patera, Vincenzo
Monte Carlo simulation of particle detector data stream
2021-01-01 Beretta, M.; Biassoni, M.; Gironi, L.; Maino, M.; Nastasi, M.; Pagnanini, L.; Pozzi, S.
Monte Carlo studies for the optimisation of the Cherenkov Telescope Array layout
2019-01-01 Acharyya, A; Agudo, I; Angüner, Eo; Alfaro, R; Alfaro, J; Alispach, C; Aloisio, R; Alves Batista, R; Et, Al.
Moon and Sun shadowing effect in the MACRO detector
2003-01-01 Ambrosio, M.; Bernardini, P.; Martello, D.; DE MITRI, I.; Perrone, L.; Mancarella, G.; Collaboration, Macro
A More Complete Phenomenology of Tau Lepton Induced Air Showers
2019-01-01 Cummings, AUSTIN LEE; Aloisio, Roberto; Bertaina, Mario; Bisconti, Francesca; Fenu, Francesco; Salamida, Francesco
The more labelled, the more resilient? The role of place branding intangibles in Italian peripheral areas.
2023-01-01 Compagnucci, F.; Faggian, A.; Urso, G.
More results from the OPERA experiment
2017-01-01 Galati, G.; Agafonova, N.; Aleksandrov, A.; Anokhina, A.; Aoki, S.; Ariga, A.; Ariga, T.; Bender, D.; Bertolin, A.; Bodnarchuk, I.; Bozza, C.; Brugnera, R.; Buonaura, A.; Buontempo, S.; Büttner, B.; Chernyavskiy, M.; Chukanov, A.; Consiglio, L.; D'Ambrosio, N.; De Lellis, G.; De Serio, M.; Del Amo Sanchez, P.; Di Crescenzo, A.; Di Ferdinando, D.; Di Marco, N.; Dmitrievski, S.; Dracos, M.; Duchesneau, D.; Dusini, S.; Dzhatdoev, T.; Ebert, J.; Ereditato, A.; Fini, R. A.; Fornari, F.; Fukuda, T.; Garfagnini, A.; Goldberg, J.; Gornushkin, Y.; Grella, G.; Guler, A. M.; Gustavino, C.; Hagner, C.; Hara, T.; Hayakawa, H.; Hollnagel, A.; Hosseini, B.; Ishiguro, K.; Jakovcic, K.; Jollet, C.; Kamiscioglu, C.; Kamiscioglu, M.; Kim, S. H.; Kitagawa, N.; Klicek, B.; Kodama, K.; Komatsu, M.; Kose, U.; Kreslo, I.; Laudisio, F.; Lauria, A.; Ljubicic, A.; Longhin, A.; Loverre, P. F.; Malenica, M.; Malgin, A.; Mandrioli, G.; Matsuo, T.; Matveev, V.; Mauri, N.; Medinaceli, E.; Meregaglia, A.; Mikado, S.; Miyanishi, M.; Mizutani, F.; Monacelli, P.; Montesi, M. C.; Morishima, K.; Muciaccia, M. T.; Naganawa, N.; Naka, T.; Nakamura, M.; Nakano, T.; Niwa, K.; Ogawa, S.; Omura, T.; Osaki, K.; Paoloni, A.; Paparella, L.; Park, B. D.; Pasqualini, L.; Pastore, A.; Patrizii, L.; Pessard, H.; Podgrudkov, D.; Polukhina, N.; Pozzato, M.; Pupilli, F.; Roda, M.; Roganova, T.; Rokujo, H.; Rosa, G.; Ryazhskaya, O.; Sato, O.; Schembri, A.; Shakirianova, I.; Shchedrina, T.; Sheshukov, A.; Shibayama, E.; Shibuya, H.; Shiraishi, T.; Shoziyoev, G.; Simone, S.; Sirignano, C.; Sirri, G.; Sotnikov, A.; Spinetti, M.; Stanco, L.; Starkov, N.; Stellacci, S. M.; Stipcevic, M.; Strolin, P.; Takahashi, S.; Tenti, M.; Terranova, F.; Tioukov, V.; Vasina, S.; Vilain, P.; Voevodina, E.; Votano, L.; Vuilleumier, J. L.; Wilquet, G.; Yoon, C. S.
MoVEMo: A structured approach for engineering reward functions
2018-01-01 Mallozzi, Piergiuseppe; Pardo, Raúl; Duplessis, Vincent; Pelliccione, Patrizio; Schneider, Gerardo
mproved analysis of SN1987A antineutrino events
2009-01-01 Pagliaroli, G; Vissani, F; Costantini, Ml; Ianni, A
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution)
2015-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
MU-CSeq 0.4: Individual memory location unwindings
2016-01-01 Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution)
2014-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Multi-agent systems with virtual stigmergy
2020-01-01 De Nicola, R; Di Stefano, L; Inverso, O
Multi-agent systems with virtual stigmergy
2018-01-01 De Nicola, R; Di Stefano, L; Inverso, O
The Multi-budget Maximum Weighted Coverage Problem
2021-01-01 Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka
Multi-class queuing networks models for energy optimization
2014-01-01 Cerotti, D.; Gribaudo, M.; Piazzolla, P.; Pinciroli, R.; Serazzi, G.
The multi-dimensional additionality of innovation policies: a multi-level application to Italy and Spain
2015-01-01 Marzucchi, Alberto; Montresor, Sandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Monitorability for the Hennessy-Milner logic with recursion | 1-gen-2017 | Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
Monitoring for Silent Actions | 1-gen-2018 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A | |
Monitoring land use in cities using satellite imagery and deep learning | 1-gen-2022 | Banquet, Alexandre; Delbouve, Paul; Daams, Michiel Nicolaas; Veneri, Paolo | |
Monitoring of hadrontherapy treatments by means of charged particle detection | 1-gen-2016 | Muraro, Silvia; Battistoni, Giuseppe; Collamati, Francesco; DE LUCIA, Erika; Faccini, Riccardo; Ferroni, Fernando; Fiore, Salvatore; Frallicciardi, Paola; Marafini, Michela; Mattei, Ilaria; Morganti, Silvio; Paramatti, Riccardo; Piersanti, Luca; Pinci, Davide; Rucinski, Antoni; Russomando, Andrea; Sarti, Alessio; Sciubba, Adalberto; SOLFAROLI CAMILLOCCI, Elena; Toppi, Marco; Traini, Giacomo; Voena, Cecilia; Patera, Vincenzo | |
Monte Carlo simulation of particle detector data stream | 1-gen-2021 | Beretta, M.; Biassoni, M.; Gironi, L.; Maino, M.; Nastasi, M.; Pagnanini, L.; Pozzi, S. | |
Monte Carlo studies for the optimisation of the Cherenkov Telescope Array layout | 1-gen-2019 | Acharyya, A; Agudo, I; Angüner, Eo; Alfaro, R; Alfaro, J; Alispach, C; Aloisio, R; Alves Batista, R; Et, Al. | |
Moon and Sun shadowing effect in the MACRO detector | 1-gen-2003 | Ambrosio, M.; Bernardini, P.; Martello, D.; DE MITRI, I.; Perrone, L.; Mancarella, G.; Collaboration, Macro | |
A More Complete Phenomenology of Tau Lepton Induced Air Showers | 1-gen-2019 | Cummings, AUSTIN LEE; Aloisio, Roberto; Bertaina, Mario; Bisconti, Francesca; Fenu, Francesco; Salamida, Francesco | |
The more labelled, the more resilient? The role of place branding intangibles in Italian peripheral areas. | 1-gen-2023 | Compagnucci, F.; Faggian, A.; Urso, G. | |
More results from the OPERA experiment | 1-gen-2017 | Galati, G.; Agafonova, N.; Aleksandrov, A.; Anokhina, A.; Aoki, S.; Ariga, A.; Ariga, T.; Bender, D.; Bertolin, A.; Bodnarchuk, I.; Bozza, C.; Brugnera, R.; Buonaura, A.; Buontempo, S.; Büttner, B.; Chernyavskiy, M.; Chukanov, A.; Consiglio, L.; D'Ambrosio, N.; De Lellis, G.; De Serio, M.; Del Amo Sanchez, P.; Di Crescenzo, A.; Di Ferdinando, D.; Di Marco, N.; Dmitrievski, S.; Dracos, M.; Duchesneau, D.; Dusini, S.; Dzhatdoev, T.; Ebert, J.; Ereditato, A.; Fini, R. A.; Fornari, F.; Fukuda, T.; Garfagnini, A.; Goldberg, J.; Gornushkin, Y.; Grella, G.; Guler, A. M.; Gustavino, C.; Hagner, C.; Hara, T.; Hayakawa, H.; Hollnagel, A.; Hosseini, B.; Ishiguro, K.; Jakovcic, K.; Jollet, C.; Kamiscioglu, C.; Kamiscioglu, M.; Kim, S. H.; Kitagawa, N.; Klicek, B.; Kodama, K.; Komatsu, M.; Kose, U.; Kreslo, I.; Laudisio, F.; Lauria, A.; Ljubicic, A.; Longhin, A.; Loverre, P. F.; Malenica, M.; Malgin, A.; Mandrioli, G.; Matsuo, T.; Matveev, V.; Mauri, N.; Medinaceli, E.; Meregaglia, A.; Mikado, S.; Miyanishi, M.; Mizutani, F.; Monacelli, P.; Montesi, M. C.; Morishima, K.; Muciaccia, M. T.; Naganawa, N.; Naka, T.; Nakamura, M.; Nakano, T.; Niwa, K.; Ogawa, S.; Omura, T.; Osaki, K.; Paoloni, A.; Paparella, L.; Park, B. D.; Pasqualini, L.; Pastore, A.; Patrizii, L.; Pessard, H.; Podgrudkov, D.; Polukhina, N.; Pozzato, M.; Pupilli, F.; Roda, M.; Roganova, T.; Rokujo, H.; Rosa, G.; Ryazhskaya, O.; Sato, O.; Schembri, A.; Shakirianova, I.; Shchedrina, T.; Sheshukov, A.; Shibayama, E.; Shibuya, H.; Shiraishi, T.; Shoziyoev, G.; Simone, S.; Sirignano, C.; Sirri, G.; Sotnikov, A.; Spinetti, M.; Stanco, L.; Starkov, N.; Stellacci, S. M.; Stipcevic, M.; Strolin, P.; Takahashi, S.; Tenti, M.; Terranova, F.; Tioukov, V.; Vasina, S.; Vilain, P.; Voevodina, E.; Votano, L.; Vuilleumier, J. L.; Wilquet, G.; Yoon, C. S. | |
MoVEMo: A structured approach for engineering reward functions | 1-gen-2018 | Mallozzi, Piergiuseppe; Pardo, Raúl; Duplessis, Vincent; Pelliccione, Patrizio; Schneider, Gerardo | |
mproved analysis of SN1987A antineutrino events | 1-gen-2009 | Pagliaroli, G; Vissani, F; Costantini, Ml; Ianni, A | |
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) | 1-gen-2015 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
MU-CSeq 0.4: Individual memory location unwindings | 1-gen-2016 | Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) | 1-gen-2014 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
Multi-agent systems with virtual stigmergy | 1-gen-2020 | De Nicola, R; Di Stefano, L; Inverso, O | |
Multi-agent systems with virtual stigmergy | 1-gen-2018 | De Nicola, R; Di Stefano, L; Inverso, O | |
The Multi-budget Maximum Weighted Coverage Problem | 1-gen-2021 | Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka | |
Multi-class queuing networks models for energy optimization | 1-gen-2014 | Cerotti, D.; Gribaudo, M.; Piazzolla, P.; Pinciroli, R.; Serazzi, G. | |
The multi-dimensional additionality of innovation policies: a multi-level application to Italy and Spain | 1-gen-2015 | Marzucchi, Alberto; Montresor, Sandro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile