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.881 a 4.900 di 5.157
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2006 Transformational verification of parameterized protocols using array formulas Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
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-2017 Transient Optimization in Output Regulation via Feedforward Selection and Regulator State Initialization Carnevale, D; Galeani, S; Sassano, M Intervento a convegno
1-gen-2005 Transient stabilization of multimachine power systems with nontrivial transfer conductances Ortega, R; Galaz, M; Astolfi, A; Yuanzhang, S; Shen, T Articolo su rivista
1-gen-2013 Transitioning From CRD to CDRD in Bayesian Retrieval of Rainfall From Satellite Passive Microwave Measurements: Part 1. Algorithm Description and Testing Sanò, P; Casella, D; Mugnai, A; Schiavon, G; Smith, E; Tripoli, G Articolo su rivista
1-ago-2012 Transparent and Efficient Shared-State Management for Optimistic Simulations on Multi-core Machines Pellegrini, A; Vitali, R; Peluso, S; Quaglia, F Intervento a convegno
1-mag-2014 Transparent multi-core speculative parallelization of DES models with event and cross-state dependencies Pellegrini, A; Quaglia, F Intervento a convegno
1-dic-2016 Transparent Speculative Parallelization of Discrete Event Simulation Applications Using Global Variables Pellegrini, A; Peluso, S; Quaglia, F; Vitali, R Articolo su rivista
1-ago-2013 Transparent Support for Partial Rollback in Software Transactional Memories Porfirio, A; Pellegrini, A; Di Sanzo, P; Quaglia, F Intervento a convegno
1-giu-2015 Transparently mixing undo logs and software reversibility for state recovery in optimistic PDES Cingolani, D; Pellegrini, A; Quaglia, F Intervento a convegno
1-mag-2017 Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES Cingolani, D; Pellegrini, A; Quaglia, F Articolo su rivista
1-gen-1990 Transport critical current density in epitaxial Bi2Sr 2CaCu2O8+x films: Effects of the substrate twinning Balestrino, G; Foglietti, V; Marinelli, M; Milani, E; Paoletti, A; Paroli, P Articolo su rivista
1-gen-1989 Transport critical currents in BiSrCaCuO pellets and single crystals Ninno, D; Gislon, A; Marinelli, P; Paterno', M; Gambardella, G; Paroli, U; Balestrino, P Articolo su rivista
14-ago-2019 Transport Infrastructure Monitoring by InSAR and GPR Data Fusion Bianchini Ciampoli, L; Gagliardi, V; Clementini, C; Latini, D; Del Frate, F; Benedetto, A Articolo su rivista
1-gen-1991 Transport properties of epitaxial BSCCO films grown on untwinned NdGaO3 substrates Balestrino, G; Foglietti, V; Marinelli, M; Milani, E; Paoletti, A; Paroli, P Articolo su rivista
1-gen-2010 Trasfigurazioni di strutture Poretti, S; Capurso, G Contributo in libro
1-gen-2008 Le trasformazioni del territorio italiano tra il 1951 e il 2001 Barboni, B; SCHIAVONI SCHIAVONI, Uma Intervento a convegno
1-gen-2007 Trattamenti termici applicati ai suoli contaminati Gavasci, R; Lombardi, F Contributo in libro
1-gen-2008 Trattamento con perossiacidi di sedimenti contaminati da idrocarburi Baciocchi, R; Ciotti, C; Cleriti, G; Zingaretti, D Intervento a convegno
Mostrati risultati da 4.881 a 4.900 di 5.157
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