Scorri Tipo di Contributo conference presentation - intervento a convegno
Use of NSI statistics in textbooks
2011-01-01 Biffignandi, Silvia; Oehler, Matthias; Bolko, Irena
Use of the Conjugate Gradient Method for the Optimization of Sheet Hydroforming Processes
2008-01-01 Ceretti, Elisabetta; Fiorentino, Antonio; Braga, Dario; Giardini, Claudio
The use of the Geoadditive Model with Interactions in a precision agriculture context: a comparison of Different Spatial Correlation Structures
2011-01-01 Cafarelli, Barbara; Crocetta, Corrado; Castrignanò, Annamaria
Use of TPIF or SPIF for prototype productions: an actual case
2007-01-01 Giardini, Claudio; Attanasio, Aldo; Fiorentino, Antonio; Ceretti, Elisabetta
Using 3D for Rebalancing the Visual System of Amblyopic Children
2011-01-01 Gargantini, Angelo Michele; Bana, Mariella; Fabiani, Flavia
Using 3D Vision for the diagnosis and treatment of amblyopia in young children
2011-01-01 Gargantini, Angelo Michele
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation
2015-01-01 Gargantini, Angelo Michele; Vavassori, Paolo
Using design optimization in radio frequency energy harvesting systems
2013-01-01 Roscia, Mariacristina; Zaninelli, Dario; Lazaroiu, George Cristian; Shadmenhn, Houriyeh
Using environmental metrics to describe the spatial and temporal evolution of landscape structure and soil hydrology and fertility
2011-01-01 PASCUAL AGUILAR, JUAN ANTONIO; SANZ GARCÍA, Juana; DE BUSTAMANTE GUTIÉRREZ, Irene; Kallache, Malaak
Using Frame Information to Enhance the Quality of a Price Index
2013-01-01 Toninelli, Daniele; Beaulieu, Martin
Using Model Checking to Generate Fault Detecting Tests
2007-01-01 Gargantini, Angelo Michele
Using model checking to generate tests from requirements specifications
1999-01-01 Gargantini, Angelo Michele; Heitmeyer, Constance
Using SMT for dealing with nondeterminism in ASM-based runtime verification
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Using spin to generate tests from ASM specifications
2003-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints
2008-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
Using the Spatio-Temporal Variogram for the Classification of Electroencephalographic (EEG) Assessment
2014-01-01 Chernyavskiy, P.; Hudac, C. M.; Molfese, D. L.; Marx, D. B.
Using the SPDE approach for air quality mapping in Piemonte region
2011-01-01 Cameletti, Michela; Lindgren, Finn; Simpson, Daniel; Rue, Håvard
Using thermal energy, wind resource and storage technologies: a stochastic model for a small producer
2013-01-01 Petronio, Filomena; Moriggia, Vittorio; Vespucci, Maria Teresa
Uso dello spazio aereo ed assistenza al volo nella Convenzione di Chicago e negli Annessi e Procedure ICAO
2009-01-01 Busti, Silvio
Ut mulier non circumveniatur. La capacità di agire della donna in età moderna tra ius commune e ius proprium
2009-01-01 Edigati, Daniele
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2011 | Use of NSI statistics in textbooks | Biffignandi, Silvia; Oehler, Matthias; Bolko, Irena | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | Use of the Conjugate Gradient Method for the Optimization of Sheet Hydroforming Processes | Ceretti, Elisabetta; Fiorentino, Antonio; Braga, Dario; Giardini, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2011 | The use of the Geoadditive Model with Interactions in a precision agriculture context: a comparison of Different Spatial Correlation Structures | Cafarelli, Barbara; Crocetta, Corrado; Castrignanò, Annamaria | GRASPA Conference Series::Spatial2 Conference 2011 | |
1-gen-2007 | Use of TPIF or SPIF for prototype productions: an actual case | Giardini, Claudio; Attanasio, Aldo; Fiorentino, Antonio; Ceretti, Elisabetta | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2011 | Using 3D for Rebalancing the Visual System of Amblyopic Children | Gargantini, Angelo Michele; Bana, Mariella; Fabiani, Flavia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2011 | Using 3D Vision for the diagnosis and treatment of amblyopia in young children | Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2015 | Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation | Gargantini, Angelo Michele; Vavassori, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2013 | Using design optimization in radio frequency energy harvesting systems | Roscia, Mariacristina; Zaninelli, Dario; Lazaroiu, George Cristian; Shadmenhn, Houriyeh | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2011 | Using environmental metrics to describe the spatial and temporal evolution of landscape structure and soil hydrology and fertility | PASCUAL AGUILAR, JUAN ANTONIO; SANZ GARCÍA, Juana; DE BUSTAMANTE GUTIÉRREZ, Irene; Kallache, Malaak | GRASPA Conference Series::Spatial2 Conference 2011 | |
1-gen-2013 | Using Frame Information to Enhance the Quality of a Price Index | Toninelli, Daniele; Beaulieu, Martin | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | Using Model Checking to Generate Fault Detecting Tests | Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-1999 | Using model checking to generate tests from requirements specifications | Gargantini, Angelo Michele; Heitmeyer, Constance | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Using SMT for dealing with nondeterminism in ASM-based runtime verification | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2003 | Using spin to generate tests from ASM specifications | Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints | Calvagna, Andrea; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Using the Spatio-Temporal Variogram for the Classification of Electroencephalographic (EEG) Assessment | Chernyavskiy, P.; Hudac, C. M.; Molfese, D. L.; Marx, D. B. | GRASPA Conference Series::GRASPA14 | |
1-gen-2011 | Using the SPDE approach for air quality mapping in Piemonte region | Cameletti, Michela; Lindgren, Finn; Simpson, Daniel; Rue, Håvard | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2013 | Using thermal energy, wind resource and storage technologies: a stochastic model for a small producer | Petronio, Filomena; Moriggia, Vittorio; Vespucci, Maria Teresa | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2009 | Uso dello spazio aereo ed assistenza al volo nella Convenzione di Chicago e negli Annessi e Procedure ICAO | Busti, Silvio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2009 | Ut mulier non circumveniatur. La capacità di agire della donna in età moderna tra ius commune e ius proprium | Edigati, Daniele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
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