IRIS

Sfoglia per Afferenza Dipartimento di Ingegneria Civile e Ingegneria informatica

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 4.872 a 4.891 di 4.978
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2022 A variance-aware multiobjective Louvain-like method for community detection in multiplex networks Venturini, S; Cristofari, A; Rinaldi, F; Tudisco, F Articolo su rivista
1-gen-2018 A Variation on a Random Coordinate Minimization Method for Constrained Polynomial Optimization Giuseppe, C; Possieri, C Articolo su rivista
1-gen-1996 Variational bounds for the overall properties of piezoelectric composites Bisegna, P; Luciano, R Articolo su rivista
1-gen-2019 A variational-based fixed-point algorithm for the limit analysis of dry-masonry block structures with non-associative Coulomb friction Nodargi, Na; Intrigila, C; Bisegna, P Articolo su rivista
1-gen-2018 VEGETATION EFFECTS ON COVARIATIONS OF L-BAND RADIOMETER AND C-BAND/L-BAND RADAR OBSERVATIONS Link, M; Entekhabi, D; Jagdhuber, T; Ferrazzoli, P; Guerriero, L; Baur, M; Ludwig, R Intervento a convegno
1-gen-2019 Vegetation optical depth at L-band and above ground biomass in the tropical range: Evaluating their relationships at continental and regional scales Vittucci, C; Vaglio Laurin, G; Tramontana, G; Ferrazzoli, P; Guerriero, L; Papale, D Articolo su rivista
1-gen-2001 Velocity observers for linear mechanical systems subject to single non-smooth impacts Menini, L; Tornambè, A Articolo su rivista
1-gen-2002 Velocity observers for non-linear mechanical systems subject to non-smooth impacts Menini, L; Tornambè, A Articolo su rivista
1-gen-2010 Il velodromo di Roma Mornati, S Contributo in libro
1-gen-2004 Verifica prestazionale di un impianto di incenerimento con recupero di energia Fiore, A; Lombardi, F; Rubrichi, G Intervento a convegno
1-gen-2013 Verification of imperative programs through transformation of constraint logic programs De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2017 Verification of time-aware business processes using constrained Horn clauses De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2014 Verifying Array Programs by Transforming Verification Conditions De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2013 Verifying programs via iterated specialization De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2014 VeriMAP: A tool for Verifying Programs through Transformation. De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2017 Version control and change validation for RDF Datasets Fiorelli, M; Pazienza, Mt; Stellato, A; Turbati, A Contributo in libro
1-gen-2018 Verso una codifica grafica per la caratterizzazione del rilievo archeologico finalizzato alla conservazione Eramo, E Contributo in libro
1-gen-2005 Very low background scintillators in DAMA project: results and perspectives Bernabei, R; Belli, P; Cappella, F; Montecchia, F; Nozzoli, F; Incicchitti, A; Prosperi, D; Cerulli, R; Dai, Cj; Kuang, Hh; Ma, Jm; Ye, Zp Contributo in libro
1-apr-2008 Vestibular nuclei and cerebellum put visual gravitational motion in context Miller, W; Maffei, V; Bosco, G; Iosa, M; Zago, M; Macaluso, E; Lacquaniti, F Articolo su rivista
1-gen-2020 A Videogame Driven by the Mind: Are Motor Acts Necessary to Play? Bianchi, L Intervento a convegno
Mostrati risultati da 4.872 a 4.891 di 4.978
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