RicercaCancella la ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Using SMT for dealing with nondeterminism in ASM-based runtime verification
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
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
Utilization of Abbott-Firestone Curves to Characterize the Wear Behavior of Low Wear Rate Coating Layers
2013-01-01 Botto, Daniele; Lavella, Mario; Gola, Muzio
Validation of constraints among configuration parameters using search-based combinatorial interaction testing
2016-01-01 Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; Vavassori, Paolo
Validation of in-situ probes by calibration chamber tests
2018-01-01 Airoldi, Sergio; Bretschneider, Alberto; Fioravante, Vincenzo; Giretti, Daniela
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Validation of transformation from abstract state machine models to C++ code
2018-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
Validazione di una campagna di misure micro-gravimetriche
2014-01-01 D'Urso, Maria Grazia; Costantino, Giuseppina; Tallini, Enrico
Valladolid come punto d’incontro di paesaggi: dalle letture a scala intermedia alla pianificazione del territorio
2013-01-01 de las Rivas Sanz, Juan Luis; Paris, Mario
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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-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-2013 | Utilization of Abbott-Firestone Curves to Characterize the Wear Behavior of Low Wear Rate Coating Layers | Botto, Daniele; Lavella, Mario; Gola, Muzio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | Validation of constraints among configuration parameters using search-based combinatorial interaction testing | Gargantini, Angelo Michele; Petke, Justyna; Radavelli, Marco; 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-2018 | Validation of in-situ probes by calibration chamber tests | Airoldi, Sergio; Bretschneider, Alberto; Fioravante, Vincenzo; Giretti, Daniela | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Validation of Models and Tests for Constrained Combinatorial Interaction Testing | Arcaini, Paolo; 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-2018 | Validation of transformation from abstract state machine models to C++ code | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Validazione di una campagna di misure micro-gravimetriche | D'Urso, Maria Grazia; Costantino, Giuseppina; Tallini, Enrico | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2013 | Valladolid come punto d’incontro di paesaggi: dalle letture a scala intermedia alla pianificazione del territorio | de las Rivas Sanz, Juan Luis; Paris, Mario | 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
Opzioni
Scopri
Tipologia
- 1.4.01 Contributi in atti di convegno - Conference presentations 3074
- DIPSI Workshop 2012 3
- GRASPA15 3
- DIPSI Workshop 2019 2
- DIPSI Workshop 2011 1
Data di pubblicazione
- 2019 294
- 2018 277
- 2017 247
- 2016 275
- 2015 259
- 2014 287
- 2013 372
- 2012 347
- 2011 346
- 2010 370
Editore
- Springer 210
- IEEE 145
- IEEE (Institute of Electrical and Electronics Engineers) 116
- Elsevier 92
- IEEE (Institute of Electric and Electronics Engineers) 81
- ASME (American Society of Mechanical Engineers) 29
- Trans Tech Publications 26
- ACM 21
- ASME 21
- Institute of Electrical and Electronics Engineers Inc. 20
Rivista
- ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS 20
- POS PROCEEDINGS OF SCIENCE 16
- PROCEDIA ENGINEERING 12
- FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS 10
- RENT 7
- PROCEDIA STRUCTURAL INTEGRITY 6
- WIADOMOSCI KONSERWATORSKIE 5
- JOURNAL OF INSTRUMENTATION 4
- JUNCO 4
- MANAGING AND MODELLING OF FINANCIAL RISKS 4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 61
- LECTURE NOTES IN COMPUTER SCIENCE 50
- IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY 46
- IFAC-PAPERSONLINE 35
- PROCEDIA CIRP 33
- KEY ENGINEERING MATERIALS 32
- CEUR WORKSHOP PROCEEDINGS 24
- SPRINGER PROCEEDINGS IN MATHEMATICS & STATISTICS 17
- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 14
- IEEE CONFERENCE RECORD - NUCLEAR SCIENCE SYMPOSIUM & MEDICAL IMAGING CONFERENCE 13
Settore disciplinare
- Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni 269
- Settore ING-IND/17 - Impianti Industriali Meccanici 195
- Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale 119
- Settore ICAR/09 - Tecnica delle Costruzioni 115
- Settore ING-IND/35 - Ingegneria Economico-Gestionale 108
- Settore ING-INF/04 - Automatica 100
- Settore ING-INF/01 - Elettronica 90
- Settore SECS-P/08 - Economia e Gestione delle Imprese 84
- Settore ICAR/19 - Restauro 79
- Settore INF/01 - Informatica 79
Keyword
- Electrical and Electronic Engineering 32
- Nuclear and High Energy Physics 27
- Computer Networks and Communications 23
- Instrumentation 23
- Theoretical Computer Science 23
- Control and Systems Engineering 22
- Safety 22
- Nuclear Medicine and Imaging 21
- Radiology 21
- Reliability and Quality 21
Lingua
- eng 2294
- ita 719
- ger 27
- fre 21
- spa 15
- rus 11
- mul 3
- ara 1
- lat 1
- por 1
Accesso al fulltext
- reserved 1712
- no fulltext 828
- open 502
- partially open 32
Appartenenza
- Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione 1060
- Dipartimento di Ingegneria e Scienze Applicate 906
- Universita' degli Studi di Bergamo 363
- Dipartimento di Scienze Umane e Sociali 233
- Dipartimento di Lettere, Filosofia, Comunicazione 227
- Dipartimento di Lingue, Letterature e Culture Straniere 224
- Dipartimento di Scienze Economiche 175
- Dipartimento di Scienze Aziendali 171
- Dipartimento di Giurisprudenza 102
- Centro di Ateneo SDM School of Management 32