Sfoglia per Titolo
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
2014-01-01 Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S
Modelling and Verification of Multi-Agent Systems via Sequential Emulation
2020-10-13 DI STEFANO, Luca
Modelling and verifying contract-oriented systems in Maude
2014-01-01 Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, R.
Modelling centralised automotive E/E software architectures
2024-01-01 Bucaioni, Alessio; Pelliccione, Patrizio; Mubeen, Saad
Modelling Fusion Calculus using HD-Automata
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane
Modelling geographical graduate job search using circular statistics
2013-01-01 Faggian, A; Corcoran, J; Mccann, P
Modelling the firm from a system perspective: some methodological insights
2004-01-01 Montresor, S.; Romagnoli, A.
Modelling the host galaxies of binary compact object mergers with observational scaling relations
2022-01-01 Santoliquido, Filippo; Mapelli, Michela; Celeste Artale, M; Boco, Lumen
Modelling uncertainty in reinforcement learning
2019-01-01 Murray, R; Palladino, M
Modelling, design and evaluation of a process-driven framework for workplace e learning
2018-01-30 Subramanian, Venkatapathy
Models and algorithms for election control through influence maximization
2019-01-01 Mehrizi, Ma; Corò, F; Cruciani, E; D'Angelo, G; Ponziani, S
Models for coupled active--passive population dynamics: mathematical analysis and simulation
2020-10-15 Thieu, THI KIM THOA
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
2017-01-01 Aceto, L; Bacci, G; Bacci, G; Ingólfsdóttir, A; Legay, A; Mardare, R
Modernizing public services: subtle interplays of politics and management
2016-01-01 Arnaboldi, M; Dal Molin, M; Laspley, I
Modified special relativity on a fluctuating spacetime
2006-01-01 Aloisio, R; Galante, A; Grillo, Af; Liberati, S; Luzio, E; Mendez, F
Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems
2023-01-01 Pinciroli, Riccardo; Mirandola, Raffaela; Trubiani, Catia
A Modular Toolkit for Distributed Interactions
2010-01-01 Lange, Julien; Tuosto, E
Modularity bounds for clusters located by leading eigenvectors of the normalized modularity matrix
2017-01-01 Fasino, D; Tudisco, F
Modulations of the cosmic muon signal in ten years of Borexino data
2019-01-01 Agostini, M; Altenmuller, K; Appel, S; Atroshchenko, V; Bagdasarian, Z; Basilico, D; Bellini, G; Benziger, J; Bick, D; Bolognino, I; Bonfini, G; Bravo, D; Caccianiga, B; Calaprice, F; Caminata, A; Caprioli, S; Carlini, M; Cavalcante, P; Cavanna, F; Chepurnov, A; Choi, K; Collica, L; D'Angelo, D; Davini, S; Derbin, A; Ding, Xf; Di Ludovico, A; Di Noto, L; Drachnev, I; Fomenko, K; Formozov, A; Franco, D; Gabriele, F; Galbiati, C; Gschwender, M; Ghiano, C; Giammarchi, M; Goretti, A; Gromov, M; Guffanti, D; Hagner, C; Houdy, T; Hungerford, E; Ianni, A; Ianni, A; Jany, A; Jeschke, D; Kobychev, V; Korablev, D; Korga, G; Kudryavtsev, Va; Kumaran, S; Lachenmaier, T; Laubenstein, M; Litvinovich, E; Lombardi, F; Lombardi, P; Ludhova, L; Lukyanchenko, G; Lukyanchenko, L; Machulin, I; Manuzio, G; Marcocci, S; Maricic, J; Martyn, J; Meighen-Berger, S; Meroni, E; Meyer, M; Miramonti, L; Misiaszek, M; Muratova, V; Neumair, B; Nieslony, M; Oberauer, L; Opitz, B; Orekhov, V; Ortica, F; Pallavicini, M; Papp, L; Penek, O; Pietrofaccia, L; Pilipenko, N; Pocar, A; Porcelli, A; Raikov, G; Ranucci, G; Razeto, A; Re, A; Redchuk, M; Romani, A; Rossi, N; Rottenanger, S; Schonert, S; Semenov, D; Skorokhvatov, M; Smirnov, O; Sotnikov, A; Stokes, Lff; Suvorov, Y; Tartaglia, R; Testera, G; Thurn, J; Toropova, M; Unzhakov, E; Vishneva, A; Vogelaar, Rb; von Feilitzsch, F; Weinz, S; Wojcik, M; Wurm, M; Yokley, Z; Zaimidoroga, O; Zavatarelli, S; Zuber, K; Zuzel, G
Momentum measurement by the multiple Coulomb scattering method in the OPERA lead-emulsion target
2012-01-01 Agafonova, N; Aleksandrov, A; Altinok, O; Anokhina, A; Aoki, S; Ariga, A; Ariga, T; Autiero, D; Badertscher, A; Bagulya, A; Ben Dhahbi, A; Bertolin, A; Besnier, M; Bozza, C; Brugiere, T; Brugnera, R; Brunet, F; Brunetti, G; Buontempo, S; Cazes, A; Chaussard, L; Chernyavskiy, M; Chiarella, V; Chukanov, A; D'Ambrosio, N; Dal Corso, F; De Lellis, G; Sanchez, Pd; Declais, Y; De Serio, M; Di Capua, F; Di Crescenzo, A; Di Ferdinando, D; Di Marco, N; Dmitrievski, S; Dracos, M; Duchesneau, D; Dusini, S; Dzhatdoev, T; Ebert, J; Egorov, O; Enikeev, R; Ereditato, A; Esposito, Ls; Favier, J; Ferber, T; Fini, Ra; Frekers, D; Fukuda, T; Garfagnini, A; Giacomelli, G; Giorgini, M; Gollnitz, C; Goldberg, J; Golubkov, D; Goncharova, L; Gornushkin, Y; Grella, G; Grianti, F; Guler, Am; Gustavino, C; Hagner, C; Hamada, K; Hara, T; Hierholzer, M; Hollnagel, A; Hoshino, K; Ieva, M; Ishida, H; Jakovcic, K; Jollet, C; Juget, F; Kamiscioglu, M; Kazuyama, K; Kim, Sh; Kimura, M; Kitagawa, N; Klicek, B; Knuesel, J; Kodama, K; Komatsu, M; Kose, U; Kreslo, I; Kubota, H; Lazzaro, C; Lenkeit, J; Lippi, I; Ljubicic, A; Longhin, A; Loverre, P; Lutter, G; Malgin, A; Mandrioli, G; Manai, K; Marteau, J; Matsuo, T; Matveev, V; Mauri, N; Medinaceli, E; Meisel, F; Meregaglia, A; Migliozzi, P; Mikado, S; Miyamoto, S; Monacelli, P; Morishima, K; Moser, U; Muciaccia, Mt; Naganawa, N; Naka, T; Nakamura, M; Nakano, T; Naumov, D; Nikitina, V; Niwa, K; Nonoyama, Y; Ogawa, S; Okateva, N; Olshevskiy, A; Paniccia, M; Paoloni, A; Park, Bd; Park, Ig; Pastore, A; Patrizii, L; Pennacchio, E; Pessard, H; Pretzl, K; Pilipenko, V; Pistillo, C; Polukhina, N; Pozzato, M; Pupilli, F; Rescigno, R; Roganova, T; Rokujo, H; Romano, G; Rosa, G; Rostovtseva, I; Rubbia, A; Russo, A; Ryasny, V; Ryazhskaya, O; Sato, O; Sato, Y; Schembri, A; Schmidt-Parzefall, W; Schroeder, H; Lavina, Ls; Sheshukov, A; Shibuya, H; Shoziyoev, G; Simone, S; Sioli, M; Sirignano, C; Sirri, G; Song, Js; Spinetti, M; Stanco, L; Starkov, N; Stipcevic, M; Strauss, T; Strolin, P; Takahashi, S; Tenti, M; Terranova, F; Tezuka, I; Tioukov, V; Tolun, P; Trabelsi, A; Tran, T; Tufanli, S; Vilain, P; Vladimirov, M; Votano, L; Vuilleumier, Jl; Wilquet, G; Wonsak, B; Yakushev, V; Yoon, Cs; Yoshioka, T; Yoshida, J; Zaitsev, Y; Zemskova, S; Zghiche, A; Zimmermann, R
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Modelling and simulation of asynchronous real-time systems using Timed Rebeca | 1-gen-2014 | Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S | |
Modelling and Verification of Multi-Agent Systems via Sequential Emulation | 13-ott-2020 | DI STEFANO, Luca | |
Modelling and verifying contract-oriented systems in Maude | 1-gen-2014 | Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, R. | |
Modelling centralised automotive E/E software architectures | 1-gen-2024 | Bucaioni, Alessio; Pelliccione, Patrizio; Mubeen, Saad | |
Modelling Fusion Calculus using HD-Automata | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane | |
Modelling geographical graduate job search using circular statistics | 1-gen-2013 | Faggian, A; Corcoran, J; Mccann, P | |
Modelling the firm from a system perspective: some methodological insights | 1-gen-2004 | Montresor, S.; Romagnoli, A. | |
Modelling the host galaxies of binary compact object mergers with observational scaling relations | 1-gen-2022 | Santoliquido, Filippo; Mapelli, Michela; Celeste Artale, M; Boco, Lumen | |
Modelling uncertainty in reinforcement learning | 1-gen-2019 | Murray, R; Palladino, M | |
Modelling, design and evaluation of a process-driven framework for workplace e learning | 30-gen-2018 | Subramanian, Venkatapathy | |
Models and algorithms for election control through influence maximization | 1-gen-2019 | Mehrizi, Ma; Corò, F; Cruciani, E; D'Angelo, G; Ponziani, S | |
Models for coupled active--passive population dynamics: mathematical analysis and simulation | 15-ott-2020 | Thieu, THI KIM THOA | |
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | 1-gen-2017 | Aceto, L; Bacci, G; Bacci, G; Ingólfsdóttir, A; Legay, A; Mardare, R | |
Modernizing public services: subtle interplays of politics and management | 1-gen-2016 | Arnaboldi, M; Dal Molin, M; Laspley, I | |
Modified special relativity on a fluctuating spacetime | 1-gen-2006 | Aloisio, R; Galante, A; Grillo, Af; Liberati, S; Luzio, E; Mendez, F | |
Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems | 1-gen-2023 | Pinciroli, Riccardo; Mirandola, Raffaela; Trubiani, Catia | |
A Modular Toolkit for Distributed Interactions | 1-gen-2010 | Lange, Julien; Tuosto, E | |
Modularity bounds for clusters located by leading eigenvectors of the normalized modularity matrix | 1-gen-2017 | Fasino, D; Tudisco, F | |
Modulations of the cosmic muon signal in ten years of Borexino data | 1-gen-2019 | Agostini, M; Altenmuller, K; Appel, S; Atroshchenko, V; Bagdasarian, Z; Basilico, D; Bellini, G; Benziger, J; Bick, D; Bolognino, I; Bonfini, G; Bravo, D; Caccianiga, B; Calaprice, F; Caminata, A; Caprioli, S; Carlini, M; Cavalcante, P; Cavanna, F; Chepurnov, A; Choi, K; Collica, L; D'Angelo, D; Davini, S; Derbin, A; Ding, Xf; Di Ludovico, A; Di Noto, L; Drachnev, I; Fomenko, K; Formozov, A; Franco, D; Gabriele, F; Galbiati, C; Gschwender, M; Ghiano, C; Giammarchi, M; Goretti, A; Gromov, M; Guffanti, D; Hagner, C; Houdy, T; Hungerford, E; Ianni, A; Ianni, A; Jany, A; Jeschke, D; Kobychev, V; Korablev, D; Korga, G; Kudryavtsev, Va; Kumaran, S; Lachenmaier, T; Laubenstein, M; Litvinovich, E; Lombardi, F; Lombardi, P; Ludhova, L; Lukyanchenko, G; Lukyanchenko, L; Machulin, I; Manuzio, G; Marcocci, S; Maricic, J; Martyn, J; Meighen-Berger, S; Meroni, E; Meyer, M; Miramonti, L; Misiaszek, M; Muratova, V; Neumair, B; Nieslony, M; Oberauer, L; Opitz, B; Orekhov, V; Ortica, F; Pallavicini, M; Papp, L; Penek, O; Pietrofaccia, L; Pilipenko, N; Pocar, A; Porcelli, A; Raikov, G; Ranucci, G; Razeto, A; Re, A; Redchuk, M; Romani, A; Rossi, N; Rottenanger, S; Schonert, S; Semenov, D; Skorokhvatov, M; Smirnov, O; Sotnikov, A; Stokes, Lff; Suvorov, Y; Tartaglia, R; Testera, G; Thurn, J; Toropova, M; Unzhakov, E; Vishneva, A; Vogelaar, Rb; von Feilitzsch, F; Weinz, S; Wojcik, M; Wurm, M; Yokley, Z; Zaimidoroga, O; Zavatarelli, S; Zuber, K; Zuzel, G | |
Momentum measurement by the multiple Coulomb scattering method in the OPERA lead-emulsion target | 1-gen-2012 | Agafonova, N; Aleksandrov, A; Altinok, O; Anokhina, A; Aoki, S; Ariga, A; Ariga, T; Autiero, D; Badertscher, A; Bagulya, A; Ben Dhahbi, A; Bertolin, A; Besnier, M; Bozza, C; Brugiere, T; Brugnera, R; Brunet, F; Brunetti, G; Buontempo, S; Cazes, A; Chaussard, L; Chernyavskiy, M; Chiarella, V; Chukanov, A; D'Ambrosio, N; Dal Corso, F; De Lellis, G; Sanchez, Pd; Declais, Y; De Serio, M; Di Capua, F; Di Crescenzo, A; Di Ferdinando, D; Di Marco, N; Dmitrievski, S; Dracos, M; Duchesneau, D; Dusini, S; Dzhatdoev, T; Ebert, J; Egorov, O; Enikeev, R; Ereditato, A; Esposito, Ls; Favier, J; Ferber, T; Fini, Ra; Frekers, D; Fukuda, T; Garfagnini, A; Giacomelli, G; Giorgini, M; Gollnitz, C; Goldberg, J; Golubkov, D; Goncharova, L; Gornushkin, Y; Grella, G; Grianti, F; Guler, Am; Gustavino, C; Hagner, C; Hamada, K; Hara, T; Hierholzer, M; Hollnagel, A; Hoshino, K; Ieva, M; Ishida, H; Jakovcic, K; Jollet, C; Juget, F; Kamiscioglu, M; Kazuyama, K; Kim, Sh; Kimura, M; Kitagawa, N; Klicek, B; Knuesel, J; Kodama, K; Komatsu, M; Kose, U; Kreslo, I; Kubota, H; Lazzaro, C; Lenkeit, J; Lippi, I; Ljubicic, A; Longhin, A; Loverre, P; Lutter, G; Malgin, A; Mandrioli, G; Manai, K; Marteau, J; Matsuo, T; Matveev, V; Mauri, N; Medinaceli, E; Meisel, F; Meregaglia, A; Migliozzi, P; Mikado, S; Miyamoto, S; Monacelli, P; Morishima, K; Moser, U; Muciaccia, Mt; Naganawa, N; Naka, T; Nakamura, M; Nakano, T; Naumov, D; Nikitina, V; Niwa, K; Nonoyama, Y; Ogawa, S; Okateva, N; Olshevskiy, A; Paniccia, M; Paoloni, A; Park, Bd; Park, Ig; Pastore, A; Patrizii, L; Pennacchio, E; Pessard, H; Pretzl, K; Pilipenko, V; Pistillo, C; Polukhina, N; Pozzato, M; Pupilli, F; Rescigno, R; Roganova, T; Rokujo, H; Romano, G; Rosa, G; Rostovtseva, I; Rubbia, A; Russo, A; Ryasny, V; Ryazhskaya, O; Sato, O; Sato, Y; Schembri, A; Schmidt-Parzefall, W; Schroeder, H; Lavina, Ls; Sheshukov, A; Shibuya, H; Shoziyoev, G; Simone, S; Sioli, M; Sirignano, C; Sirri, G; Song, Js; Spinetti, M; Stanco, L; Starkov, N; Stipcevic, M; Strauss, T; Strolin, P; Takahashi, S; Tenti, M; Terranova, F; Tezuka, I; Tioukov, V; Tolun, P; Trabelsi, A; Tran, T; Tufanli, S; Vilain, P; Vladimirov, M; Votano, L; Vuilleumier, Jl; Wilquet, G; Wonsak, B; Yakushev, V; Yoon, Cs; Yoshioka, T; Yoshida, J; Zaitsev, Y; Zemskova, S; Zghiche, A; Zimmermann, R |
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