RicercaInizia una nuova 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.
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining
2017-01-01 Danese, Alessandro; Pravadelli, Graziano; Bertacco, Valeria
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
2018-01-01 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco
Work-related stress mediation in the relationship between safety climate and safety outcomes: an experience in the metal workers sector
2014-01-01 Romeo, Luciano; Brondino, Margherita; G., Lazzarini; F., Benedetti; Pasini, Margherita
Workflow Technology for Geo-Processing: The Missing Link
2011-01-01 Migliorini, Sara; Gambini, Mauro; Belussi, Alberto; Mauro, Negri; Giuseppe, Pelagatti
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
2013-01-01 Capiluppi, Marta; Segala, Roberto
Worst-case bounds on the quality of max-product fixed-points
2010-01-01 Vinyals, M.; Cercuides, J.; Farinelli, Alessandro; Rodriguez Aguilar, J. A.
WS19.6 N 2 -MBW in CF patients with chronic lung bacterial colonizations
2017-01-01 Lubrano, L.; Volpi, S.; Borruso, Antonella; Menin, Laurapatrizia; Spinelli, E.; Andreatta, E.; Pradal, U.; D'Orazio, C.; Vassanelli, C.
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
2010-01-01 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
X-chromosome in Italy: a database of 29 STR markers
2011-01-01 Presciuttini, S.; Toni, C.; Alù, M.; Asmundo, A.; Baldassarri, L.; Barbaro, A.; Caenazzo, L.; Carnevali, E.; Cerri, N.; D’Aloia, E.; Di Nunzio, C.; Onofri, V.; Peloso, G.; Pelotti, S.; Piccinini, A.; Robino, C.; Turrina, Stefania; Venturi, M.; Domenici, R.
XR-Cockpit: a comparison of VR and AR solutions on an interactive training station
2020-01-01 Caputo, Fabio Marco; Jacota, Sergiu; Krayevskyy, Serhiy; Pesavento, Marco; Pellacini, Fabio; Giachetti, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Work-in-Progress: DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining | 1-gen-2017 | Danese, Alessandro; Pravadelli, Graziano; Bertacco, Valeria | |
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications | 1-gen-2018 | Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco | |
Work-related stress mediation in the relationship between safety climate and safety outcomes: an experience in the metal workers sector | 1-gen-2014 | Romeo, Luciano; Brondino, Margherita; G., Lazzarini; F., Benedetti; Pasini, Margherita | |
Workflow Technology for Geo-Processing: The Missing Link | 1-gen-2011 | Migliorini, Sara; Gambini, Mauro; Belussi, Alberto; Mauro, Negri; Giuseppe, Pelagatti | |
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems | 1-gen-2013 | Capiluppi, Marta; Segala, Roberto | |
Worst-case bounds on the quality of max-product fixed-points | 1-gen-2010 | Vinyals, M.; Cercuides, J.; Farinelli, Alessandro; Rodriguez Aguilar, J. A. | |
WS19.6 N 2 -MBW in CF patients with chronic lung bacterial colonizations | 1-gen-2017 | Lubrano, L.; Volpi, S.; Borruso, Antonella; Menin, Laurapatrizia; Spinelli, E.; Andreatta, E.; Pradal, U.; D'Orazio, C.; Vassanelli, C. | |
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications | 1-gen-2010 | Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca | |
X-chromosome in Italy: a database of 29 STR markers | 1-gen-2011 | Presciuttini, S.; Toni, C.; Alù, M.; Asmundo, A.; Baldassarri, L.; Barbaro, A.; Caenazzo, L.; Carnevali, E.; Cerri, N.; D’Aloia, E.; Di Nunzio, C.; Onofri, V.; Peloso, G.; Pelotti, S.; Piccinini, A.; Robino, C.; Turrina, Stefania; Venturi, M.; Domenici, R. | |
XR-Cockpit: a comparison of VR and AR solutions on an interactive training station | 1-gen-2020 | Caputo, Fabio Marco; Jacota, Sergiu; Krayevskyy, Serhiy; Pesavento, Marco; Pellacini, Fabio; Giachetti, Andrea |
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
- 04 Contributo in atti di convegno 4258
- 04 Contributo in atti di convegno... 4258
- 01 Contributo in rivista 1
- 01 Contributo in rivista::01.01 A... 1
Data di pubblicazione
- 2020 191
- 2019 277
- 2018 271
- 2017 321
- 2016 310
- 2015 315
- 2014 377
- 2013 406
- 2012 514
- 2011 597
Editore
- Springer 104
- IEEE 101
- ACM 42
- Springer Verlag 33
- Springer Berlin Heidelberg 26
- Springer International Publishing 23
- EuroMed Press 21
- IEEE Computer Society 21
- The Eurographics Association 18
- Springer-Verlag 16
Rivista
- HAEMATOLOGICA 42
- BLOOD 25
- INSIGHTS INTO IMAGING 24
- SPORT SCIENCES FOR HEALTH 24
- DRUG SAFETY 18
- LECTURE NOTES IN COMPUTER SCIENCE 18
- ELECTRONIC PROCEEDINGS IN THEORET... 16
- HEPATOLOGY 11
- MINERVA CARDIOANGIOLOGICA 11
- FORENSIC SCIENCE INTERNATIONAL: G... 10
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 118
- LECTURE NOTES IN ARTIFICIAL INTEL... 33
- CEUR WORKSHOP PROCEEDINGS 25
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 14
- LECTURE NOTES IN COMPUTER SCIENCE 13
- PROCEEDINGS - INTERNATIONAL WORKS... 12
- PROCEEDINGS OF SPIE, THE INTERNAT... 7
- ADVANCES IN INTELLIGENT SYSTEMS A... 6
- COLLANA DEL DIPARTIMENTO DI SCIEN... 6
- LECTURE NOTES IN BUSINESS INFORMA... 5
Keyword
- pattern recognition 37
- CdTe 30
- ontology 23
- machine learning 21
- semantic web 21
- GPU 20
- Italy 20
- Pancreas 20
- SystemC 20
- Verona 20
Lingua
- eng 3181
- ita 984
- fre 38
- spa 28
- ger 27
- rus 12
- enm 2
- srp 2
- tur 2
- afh 1
Accesso al fulltext
- no fulltext 3382
- open 415
- restricted 262
- reserved 197
- embargoed 2
- mixed 1