IRIS

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 466 a 485 di 6.428
Titolo Data di pubblicazione Autore(i) File
Automated model-based performance analysis of software product lines under uncertainty 1-gen-2021 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated model-based performance analysis of software product lines under uncertainty 1-gen-2020 Arcaini, Paolo; Inverso, Omar; Trubiani, Catia
Automated Negotiation - Preliminary Results of a Systematic Mapping Study 1-gen-2023 Memon, Mashal Afzal; Scoccia, Gian Luca; Autili, Marco
Automated quality assessment of interrelated modeling artifacts 1-gen-2021 Basciani, Francesco; Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Automated Replication of Tuple Spaces via Static Analysis 1-gen-2021 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Automated replication of tuple spaces via static analysis 1-gen-2022 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline
Automated Replication of Tuple Spaces via Static Analysis and Transformation of Go Programs 7-set-2022 Uwimbabazi, Aline
Automated Reuse of Model Transformations through Typing Requirements Models 1-gen-2019 De Lara, Juan; Guerra, Esther; Di Ruscio, Davide; Di Rocco, Juri; Sanchez Cuadrado, Jesús; Iovino, Ludovico; Pierantonio, Alfonso
Automated Selection of Optimal Model Transformation Chains via Shortest-Path Algorithms 1-gen-2020 Basciani, Francesco; D'Emidio, Mattia; Di Ruscio, Davide; Frigioni, Daniele; Iovino, Ludovico; Pierantonio, Alfonso
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2015 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2019 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Automated Synthesis of Service Choreographies 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
An automated system to define the optimal operating settings of cryogenic calorimeters 1-gen-2021 Alfonso, K.; Bucci, C.; Canonica, L.; Carniti, P.; Di Domizio, S.; Giachero, A.; Gotti, C.; Marini, L.; Nutini, I.; Pessina, G.
Automatic Alignment for the first science run of the Virgo interferometer 1-gen-2010 Acernese, F; Alshourbagy, M; Antonucci, F; Aoudia, S; Arun, K; Astone, P; Ballardin, G; Barone, F; Barsuglia, M; Bauer, T; Bigotta, S; Birindelli, S; Bizouard, M; Boccara, C; Bondu, F; Bonelli, L; Bosi, L; Braccini, S; Bradaschia, C; Brillet, A; Brisson, V; Bulten, H; Buskulic, D; Cagnoli, G; Calloni, E; Campagna, E; Canuel, B; Carbognani, F; Carbone, L; Cavalier, F; Cavalieri, R; Cella, G; Cesarini, E; Chassande Mottin, E; Chatterji, S; Cleva, F; Coccia, Eugenio; Colas, J; Colombini, M; Corda, C; Corsi, A; Coulon, J; Cuoco, E; D’Antonio, S; Dari, A; Dattilo, V; Davier, M; De Rosa, R; Del Prete, M; Di Fiore, L; Di Lieto, A; Di Paolo Emilio, M; Di Virgilio, A; Fafone, Viviana; Ferrante, I; Fidecaro, F; Fiori, I; Flaminio, R; Fournier, J; Frasca, S; Frasconi, F; Gammaitoni, L; Garufi, F; Genin, E; Gennai, A; Giazotto, A; Granata, M; Granata, V; Greverie, C; Guidi, G; Heitmann, H; Hello, P; Hild, S; Huet, D; La Penna, P; Laval, M; Leroy, N; Letendre, N; Lorenzini, M; Loriette, V; Losurdo, G; Mackowski, J; Majorana, E; Man, C; Mantovani, M; Marchesoni, F; Marion, F; Marque, J; Martelli, F; Masserot, A; Menzinger, F; Michel, C; Milano, L; Minenkov, Y; Mohan, M; Moreau, J; Morgado, N; Mosca, S; Mours, B; Neri, I; Nocera, F; Pagliaroli, G; Palomba, C; Paoletti, F; Pardi, S; Pasqualetti, A; Passaquieti, R; Passuello, D; Persichetti, G; Piergiovanni, F; Pinard, L; Poggiani, R; Punturo, M; Puppo, P; Rabaste, O; Rapagnani, P; Regimbau, T; Ricci, F; Rocchi, A; Rolland, L; Romano, R; Ruggi, P; Sassolas, B; Sentenac, D; Swinkels, B; Terenzi, R; Toncelli, A; Tonelli, M; Tournefier, E; Travasso, F; Trummer, J; Vajente, G; van den Brand, J; van der Putten, S; Verkindt, D; Vetrano, F; Viceré, A; Vinet, J; Vocca, H; Was, M; Yvert, M.
Automatic Alignment system during the second science run of the Virgo interferometer 1-gen-2011 Accadia, T; Acernese, F; Antonucci, F; Astone, P; Ballardin, G; Barone, F; Barsuglia, M; Basti, A; Bauer, Ts; Beker, Mg; Belletoile, A; Birindelli, S; Bitossi, M; Bizouard, Ma; Blom, M; Bondu, F; Bonelli, L; Bonnand, R; Boschi, V; Bosi, L; Bouhou, B; Braccini, S; Bradaschia, C; Brillet, A; Brisson, V; Budzynski, R; Bulik, T; Bulten, Hj; Buskulic, D; Buy, C; Cagnoli, G; Calloni, E; Campagna, E; Canuel, B; Carbognani, F; Cavalier, F; Cavalieri, R; Cella, G; Cesarini, E; Chaibi, O; Chassande-Mottin, E; Chincarini, A; Cleva, F; Coccia, E; Colacino, Cn; Colas, J; Colla, A; Colombini, M; Corsi, A; Coulon, Jp; Cuoco, E; D'Antonio, S; Dattilo, V; Davier, M; Day, R; De Rosa, R; Debreczeni, G; del Prete, M; Di Fiore, L; Di Lieto, A; Emilio, Md; Di Virgilio, A; Dietz, A; Drago, M; Fafone, V; Ferrante, I; Fidecaro, F; Fiori, I; Flaminio, R; Forte, La; Fournier, Jd; Franc, J; Frasca, S; Frasconi, F; Freise, A; Galimberti, M; Gammaitoni, L; Garufi, F; Gaspar, Me; Gemme, G; Genin, E; Gennai, A; Giazotto, A; Gouaty, R; Granata, M; Greverie, C; Guidi, Gm; Hayau, Jf; Heitmann, H; Hello, P; Hild, S; Huet, D; Jaranowski, P; Kowalska, I; Krolak, A; Leroy, N; Letendre, N; Li, Tgf; Liguori, N; Lorenzini, M; Loriette, V; Losurdo, G; Majorana, E; Maksimovic, I; Man, N; Mantovani, M; Marchesoni, F; Marion, F; Marque, J; Martelli, F; Masserot, A; Michel, C; Milano, L; Minenkov, Y; Mohan, M; Morgado, N; Morgia, A; Mosca, S; Moscatelli, V; Mours, B; Neri, I; Nocera, F; Pagliaroli, G; Palladino, L; Palomba, C; Paoletti, F; Pardi, S; Parisi, M; Pasqualetti, A; Passaquieti, R; Passuello, D; Persichetti, G; Pichot, M; Piergiovanni, F; Pietka, M; Pinard, L; Poggiani, R; Prato, M; Prodi, Ga; Punturo, M; Puppo, P; Rabeling, Ds; Racz, I; Rapagnani, P; Re, V; Regimbau, T; Ricci, F; Robinet, F; Rocchi, A; Rolland, L; Romano, R; Rosinska, D; Ruggi, P; Sassolas, B; Sentenac, D; Sperandio, L; Sturani, R; Swinkels, B; Toncelli, A; Tonelli, M; Torre, O; Tournefier, E; Travasso, F; Vajente, G; van den Brand, Jfj; van der Putten, S; Vasuth, M; Vavoulidis, M; Vedovato, G; Verkindt, D; Vetrano, F; Vicere, A; Vinet, Jy; Vocca, H; Ward, Rl; Was, M; Yvert, M
Automatic analysis of medial temporal lobe atrophy from structural MRIs for the early assessment of Alzheimer disease 1-gen-2009 DE MITRI, Ivan
Automatic Annotation of~Confidential Data in~Java Code 1-gen-2022 Bastys, I.; Bolignano, P.; Raimondi, F.; Schoepe, D.
Automatic detection of Covid-19 from chest X-ray and lung computed tomography images using deep neural networks and transfer learning 1-gen-2023 Duong, Linh T; Nguyen, Phuong T; Iovino, Ludovico; Flammini, Michele
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions 1-gen-2016 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Automatic generation of predictive monitors from scenario-based specifications 1-gen-2018 Zhang, Pengcheng; Pelliccione, Patrizio; Leung, Hareton; Li, Xuandong
Mostrati risultati da 466 a 485 di 6.428
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