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 543 a 562 di 568
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2005 Trade-offs for fully dynamic transitive closure on DAGs: Breaking through the O(n(2)) barrier Demetrescu, C; Italiano, Gf Articolo su rivista
1-gen-2012 Traffic vs topology in network clustering: Does it matter? Salcedo Sanz, S; Carro Calvo, L; Portilla Figueras, A; Naldi, M; Laura, L; Italiano, Gf Intervento a convegno
1-gen-2010 Traffic-based network clustering Laura, L; Naldi, M; Italiano, Gf Intervento a convegno
1-gen-2004 Transformation rules for locally stratified constraint logic programs Pettorossi, A; Proietti, M Contributo in libro
1-gen-2010 Transformations of Logic Programs on Infinite Lists Senni, V; Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2004 Transformations of logic programs with goals as arguments Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2008 Tree Kernels for semantic role labeling Moschitti, A; Pighin, D; Basili, R Articolo su rivista
1-gen-2005 A two-level distributed architecture for efficient Web content adaptation and delivery Canali, C; Cardellini, V; Colajanni, M; Lancellotti, R; Yu, Ps Intervento a convegno
1-gen-2008 A UML profile for modeling software applications based on grid services D'Ambrogio, A; Conticelli, L Intervento a convegno
1-gen-2011 An unconstrained minimization method for solving low rank SDP relaxations of the max cut problem Grippo, L; Palagi, L; Piccialli, V Articolo su rivista
1-nov-2005 Understanding the Linux kernel, Third Edition Bovet, Dp; Cesati, M Monografia
1-gen-2009 UPMurphi: A Tool for Universal Planning on PDDL+ Problems Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F Intervento a convegno
1-gen-2011 Use of Cryptographic Ideas to Interpret Biological Phenomena (and Vice Versa) Regoli, M Intervento a convegno
1-gen-2010 Use of hybrid recursive CSR/COO data structures in sparse matrices-vector multiplication Martone, M; Filippone, S; Gepner, P; Paprzycki, M; Tucci, S Intervento a convegno
1-gen-2004 Using CORBA to enhance HLA interoperability in distributed and web-based simulation D'Ambrogio, A; Gianni, D Intervento a convegno
1-gen-2004 Using CORBA to enhance HLA interoperability in distributed and web-­‐based simulation D’Ambrogio, A; Gianni, D Intervento a convegno
1-gen-2008 Value-based design decision rationale documentation: Principles and empirical feasibility study Falessi, D; Cantone, G; Kruchten, P Intervento a convegno
1-gen-2008 Verifying extended criteria for the interoperability of security devices Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D Intervento a convegno
1-gen-1999 Vertex Partitioning of Crown-Free Interval Graphs Confessore, G; Dell'Olmo, P; Giordani, S Intervento a convegno
1-gen-1982 Vettorizzazione di algoritmi per la soluzione numerica dell' equazione di Laplace e dell' equazione di Helmholtz Vigliano, L Articolo su rivista
Mostrati risultati da 543 a 562 di 568
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