Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs
2024-01-01 Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
HARM: A Hint-Based Assertion Miner
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber–Physical System
2023-01-01 Tosoni, Francesco; Dall'Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco
Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring
2022-01-01 Dall'Ora, Nicola; Alamin, Khaled; Fraccaroli, Enrico; Poncino, Massimo; Quaglia, Davide; Vinco, Sara
Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review
2023-01-01 Azam, Sadia; Dall'Ora, Nicola; Fraccaroli, Enrico; Gillon, Renaud; Fummi, Franco
Enabling gait analysis in the telemedicine practice through portable and accurate 3D human pose estimation
2022-01-01 Martini, Enrico; Boldo, Michele; Aldegheri, Stefano; Vale', Nicola; Filippetti, Mirko; Smania, Nicola; Bertucco, Matteo; Picelli, Alessandro; Bombieri, Nicola
Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-core Architectures
2021-01-01 Lumpp, Francesco; Aldegheri, Stefano; Patel, Hiren; Bombieri, Nicola
Camera- and Viewpoint-Agnostic Evaluation of Axial Postural Abnormalities in People with Parkinson’s Disease through Augmented Human Pose Estimation
2023-01-01 Aldegheri, Stefano; Artusi, Carlo Alberto; Camozzi, Serena; Di Marco, Roberto; Geroin, Christian; Imbalzano, Gabriele; Lopiano, Leonardo; Tinazzi, Michele; Bombieri, Nicola
cuRnet: an R package for graph traversing on GPU
2018-01-01 Bonnici, Vincenzo; Busato, Federico; Aldegheri, Stefano; Akhmedov, Murodzhon; Cascione, Luciano; Arribas Carmena, Alberto; Bertoni, Francesco; Bombieri, Nicola; Kwee, Ivo; Giugno, Rosalba
Real-time Multi-camera 3D Human Pose Estimation at the Edge for Industrial Applications
2024-01-01 Boldo, Michele; De Marchi, Mirco; Martini, Enrico; Aldegheri, Stefano; Quaglia, Davide; Fummi, Franco; Bombieri, Nicola
Assessment of axial postural abnormalities in Parkinsonism: automatic picture analysis software
2023-01-01 Artusi, Ca; Geroin, C; Imbalzano, G; Camozzi, S; Aldegheri, S; Lopiano, L; Tinazzi, M; Bombieri, N
Efficient ROS-Compliant CPU-iGPU Communication on Embedded Platforms
2021-01-01 De Marchi, Mirco; Lumpp, Francesco; Martini, Enrico; Boldo, Michele; Aldegheri, Stefano; Bombieri, Nicola
Con la Francia impariamo da Cavour
2019-01-01 Pelanda, C
L'inutilità dello sforzo francese di dominare l'Italia
2018-01-01 Pelanda, C
Il Quirinale è il cuore del nostro Stato profondo
2018-01-01 Pelanda, C
Per un consiglio di sicurezza nazionale basato sul potere cognitivo
2019-01-01 Pelanda, C
Entropy-based Assessment of Nonfunctional Requirements in Axiomatic Design,
2021-01-01 Pourabbas, E; Parretti, C; Rolli, F; Pecoraro, F
Analisi dei dati infortunistici
2011-01-01 A., Meneghin; Parretti, C
User Experience - una proposta per un Sistema Sanitario 4.0
2017-01-01 Citti, P; Girgenti, A; Parretti, C
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs | 1-gen-2024 | Bosio, Alberto; Germiniani, Samuele; Pravadelli, Graziano; Traiola, Marcello | |
| Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences | 1-gen-2020 | Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano | |
| HARM: A Hint-Based Assertion Miner | 1-gen-2022 | Germiniani, Samuele; Pravadelli, Graziano | |
| Multidomain Fault Models Covering the Analog Side of a Smart or Cyber–Physical System | 1-gen-2023 | Tosoni, Francesco; Dall'Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco | |
| Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring | 1-gen-2022 | Dall'Ora, Nicola; Alamin, Khaled; Fraccaroli, Enrico; Poncino, Massimo; Quaglia, Davide; Vinco, Sara | |
| Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review | 1-gen-2023 | Azam, Sadia; Dall'Ora, Nicola; Fraccaroli, Enrico; Gillon, Renaud; Fummi, Franco | |
| Enabling gait analysis in the telemedicine practice through portable and accurate 3D human pose estimation | 1-gen-2022 | Martini, Enrico; Boldo, Michele; Aldegheri, Stefano; Vale', Nicola; Filippetti, Mirko; Smania, Nicola; Bertucco, Matteo; Picelli, Alessandro; Bombieri, Nicola | |
| Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-core Architectures | 1-gen-2021 | Lumpp, Francesco; Aldegheri, Stefano; Patel, Hiren; Bombieri, Nicola | |
| Camera- and Viewpoint-Agnostic Evaluation of Axial Postural Abnormalities in People with Parkinson’s Disease through Augmented Human Pose Estimation | 1-gen-2023 | Aldegheri, Stefano; Artusi, Carlo Alberto; Camozzi, Serena; Di Marco, Roberto; Geroin, Christian; Imbalzano, Gabriele; Lopiano, Leonardo; Tinazzi, Michele; Bombieri, Nicola | |
| cuRnet: an R package for graph traversing on GPU | 1-gen-2018 | Bonnici, Vincenzo; Busato, Federico; Aldegheri, Stefano; Akhmedov, Murodzhon; Cascione, Luciano; Arribas Carmena, Alberto; Bertoni, Francesco; Bombieri, Nicola; Kwee, Ivo; Giugno, Rosalba | |
| Real-time Multi-camera 3D Human Pose Estimation at the Edge for Industrial Applications | 1-gen-2024 | Boldo, Michele; De Marchi, Mirco; Martini, Enrico; Aldegheri, Stefano; Quaglia, Davide; Fummi, Franco; Bombieri, Nicola | |
| Assessment of axial postural abnormalities in Parkinsonism: automatic picture analysis software | 1-gen-2023 | Artusi, Ca; Geroin, C; Imbalzano, G; Camozzi, S; Aldegheri, S; Lopiano, L; Tinazzi, M; Bombieri, N | |
| Efficient ROS-Compliant CPU-iGPU Communication on Embedded Platforms | 1-gen-2021 | De Marchi, Mirco; Lumpp, Francesco; Martini, Enrico; Boldo, Michele; Aldegheri, Stefano; Bombieri, Nicola | |
| Con la Francia impariamo da Cavour | 1-gen-2019 | Pelanda, C | |
| L'inutilità dello sforzo francese di dominare l'Italia | 1-gen-2018 | Pelanda, C | |
| Il Quirinale è il cuore del nostro Stato profondo | 1-gen-2018 | Pelanda, C | |
| Per un consiglio di sicurezza nazionale basato sul potere cognitivo | 1-gen-2019 | Pelanda, C | |
| Entropy-based Assessment of Nonfunctional Requirements in Axiomatic Design, | 1-gen-2021 | Pourabbas, E; Parretti, C; Rolli, F; Pecoraro, F | |
| Analisi dei dati infortunistici | 1-gen-2011 | A., Meneghin; Parretti, C | |
| User Experience - una proposta per un Sistema Sanitario 4.0 | 1-gen-2017 | Citti, P; Girgenti, A; Parretti, C |
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
Scopri
Tipologia
- 1 Contributo su Rivista5410
- 3 Libro1
Data di pubblicazione
- In corso di stampa9
- 2020 - 20261674
- 2010 - 20192586
- 2000 - 2009845
- 1990 - 1999165
- 1980 - 198981
- 1970 - 197942
- 1960 - 19699
Rivista
- JOURNAL OF HIGH ENERGY PHYSICS459
- PHYSICS LETTERS. SECTION B331
- THE EUROPEAN PHYSICAL JOURNAL. C,...194
- PHYSICAL REVIEW LETTERS137
- PHYSICAL REVIEW D113
- JOURNAL OF INSTRUMENTATION65
- RIVISTA TRIMESTRALE DI DIRITTO DE...59
- JOURNAL OF BIOLOGICAL REGULATORS ...54
- NUCLEAR INSTRUMENTS & METHODS IN ...50
- PHYSICAL REVIEW D, PARTICLES, FIE...43
Keyword
- Hadron-Hadron Scattering46
- CMS29
- Beyond Standard Model20
- MODEL17
- urbanistica16
- adolescence15
- inclusione15
- COVID-1914
- BROKEN SYMMETRIES12
- diritto11
Lingua
- eng2298
- ita1390
- spa33
- ger15
- fre13
- san1
- tur1
- und1
Accesso al fulltext
- no fulltext3878
- reserved1514
- open19