IRIS

Sfoglia per ???browse.type.metadata.subjectIsicrui???  

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 233 a 252 di 567
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2008 Federated agent based modeling and simulation: an approach for complex critical systems analysis Casalicchio, E; Galli, E Intervento a convegno
1-gen-2007 Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach Grassi, V; Mirandola, R; Sabetta, A Articolo su rivista
1-gen-2007 Finding minimum and equitable risk routes for hazmat shipments Carotenuto, P; Giordani, S; Ricciardelli, S Articolo su rivista
1-gen-2012 Finding strong articulation points and strong bridges in linear time Italiano, Gf; Laura, L; Santaroni, F Articolo su rivista
1-gen-2010 Finding strong bridges and strong articulation points in linear time Italiano, Gf; Laura, L; Santaroni, F Intervento a convegno
1-gen-2006 Finite horizon analysis of Markov Chains with the Murphi verifier Della_penna, G; Intrigila, B; Melatti, I; Tronci, E; Venturini_zilli, M Articolo su rivista
1-gen-2005 First order predicate calculus and logic programming (Second edition) Pettorossi, A; Proietti, M Monografia
1-lug-2011 Flames recognition for opinion mining Pazienza, Mt; Lungu, I; Tudorache, A Articolo su rivista
1-gen-2010 Flooding time of edge-Markovian evolving graphs Clementi, A; Macci, C; Monti, A; Pasquale, F; Silvestri, R Articolo su rivista
1-gen-2007 Flow-based service selection for Web service composition supporting multiple QoS classes Cardellini, V; Casalicchio, E; Grassi, V; LO PRESTI, F Intervento a convegno
1-gen-2006 Foaming of Filled Polyurethanes for Fabrication of Porous Anode Supports for Intermediate Temperature-Solid Oxide Fuel Cells. Rainer, A; Basoli, F; Licoccia, S; Traversa, E Articolo su rivista
1-mag-2020 Foreword to the ICFC 2020 Proceedings Gelenbe, E; Liu, J; Cardellini, V; Guo, S; De Maio, V; Taheri, J; Forti, S Intervento a convegno
1-mag-2024 A framework for offloading and migration of serverless functions in the Edge–Cloud Continuum Russo Russo, G; Cardellini, V; Lo Presti, F Articolo su rivista
1-gen-2017 A framework for unit testing with Coarray Fortran Abdullahi Hassan, A; Cardellini, V; Filippone, S Intervento a convegno
1-gen-2011 From uncertainty to non-linearity: Solving virtual private network via single-sink buy-at-bulk. Grandoni, F; Rothvoss, T; Sanità, L Articolo su rivista
1-gen-2007 FUB, IASI-CNR and University of Tor Vergata at TREC 2007 Blog Track Amati, G; Ambrosi, E; Bianchi, M; Gaibisso, C; Gambosi, G Intervento a convegno
1-gen-2008 FUB, IASI-CNR and University of ”Tor Vergata” at TREC 2008 Blog Track Amati, G; Amodeo, G; Bianchi, M; Gaibisso, C; Gambosi, G Intervento a convegno
1-gen-2011 FUB, IASI-CNR, UNIVAQ at TREC 2011 Amati, G; Amodeo, G; Bianchi, M; Celi, A; De Nicola, C; Flammini, M; Gaibisso, C; Gambosi, G; Marcone, G Intervento a convegno
1-gen-2006 Fully dynamic all pairs shortest paths with real edge weights Demetrescu, C; Italiano, Gf Articolo su rivista
1-gen-2021 A functional BCI model by the IEEE P2731 working group: data storage and sharing Bianchi, L; Antonietti, A; Bajwa, G; Ferrante, R; Mahmud &, M; Balachandran, P Articolo su rivista
Mostrati risultati da 233 a 252 di 567
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