Open Challenges in the Formal Verification of Autonomous Driving
2024 Burgio, Paolo; Ferrando, Angelo; Villani, Marco
On the Output Conductance Dispersion due to Traps and Self-Heating in Large Bulk, FDSOI and FinFET nMOS Devices
2024 Tondelli, L.; Scholten, A. J.; Asanovski, R.; Pijper, R. M. T.; Dinh, T. V.; Selmi, L.
Systematic Modeling of a Steering Vehicle Differential Using Power-Oriented Graphs
2024 Tebaldi, Davide; Zanasi, Roberto
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
2024 Ghaffari Saadat, Maryam; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
2024 Gatti, Andrea; Mascardi, Viviana; Ferrando, Angelo
Handwritten Text Generation from Visual Archetypes
2023 Pippi, V.; Cascianelli, S.; Cucchiara, R.
Merging and Splitting Diffusion Paths for Semantically Coherent Panoramas
2025 Quattrini, F.; Pippi, V.; Cascianelli, S.; Cucchiara, R.
Volumetric Fast Fourier Convolution for Detecting Ink on the Carbonized Herculaneum Papyri
2023 Quattrini, F.; Pippi, V.; Cascianelli, S.; Cucchiara, R.
How to Choose Pretrained Handwriting Recognition Models for Single Writer Fine-Tuning
2023 Pippi, V.; Cascianelli, S.; Kermorvant, C.; Cucchiara, R.
Binarizing Documents by Leveraging both Space and Frequency
2024 Quattrini, F.; Pippi, V.; Cascianelli, S.; Cucchiara, R.
Human action recognition dataset for ergonomic risk assessment applications
2023 Coruzzolo, A. M.; Forgione, C.; Lolli, F.; Zhao, Q.; Rimini, B.
IMPLEMENTING the NEARLY ZERO-ENERGY BUILDINGS NOTION in INDUSTRIAL FACILITIES
2021 Marinelli, S.; Gamberini, R.; Rimini, B.; Nesi, F.
Theory and Practice of Quantitative ATL
2025 Ferrando, Angelo; Luongo, Giulia; Malvone, Vadim; Murano, Aniello
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions
2024 Catta, Davide; Ferrando, Angelo; Malvone, Vadim
IEEE 1588 (PTP) Over mmWave 5G NR: Preliminary Assessment of the Synchronization Accuracy for TSN Applications
2024 Morato, A.; Ferrari, E.; Zunino, C.; Cheminod, M.; Vitturi, S.; Tramarin, F.
Relationship Between Arousal and Technical Performance in the Oil and Gas Sector: An Investigation Using a Simulated Well Control Scenario.
2024 Iani, C.; Bori, L.; Rubichi, S.
Solvent: Liquidity Verification of Smart Contracts
2025 Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim
Il centro dialisi ecosostenibile
2024 Alfano, G; Morisi, N; Di Chiaro, G; Ferrarini, M; Ligabue, G; Donati, G.
From Attire to Aesthetic: How Fashion Films Redefine Brand Narratives
2024 Venturini, Alice; Simunovic, Denis
When brands burst into consumers’ spontaneous practices: mapping consumers’ reaction to brands’ entrance in the FantaSanremo competition
2024 Venturini, Alice; Bergianti, Francesca
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
- Atti di CONVEGNO14942
- Contributo su VOLUME1
Data di pubblicazione
- 2020 - 20262762
- 2010 - 20195597
- 2000 - 20094703
- 1990 - 19991491
- 1980 - 1989359
- 1970 - 197930
- 1967 - 19691
Editore
- Institute of Electrical and Elect...1315
- IEEE1011
- IEEE Computer Society376
- Springer241
- Springer Science and Business Med...240
- -235
- Springer Verlag205
- SAE International192
- CEUR-WS123
- SPRINGER-VERLAG BERLIN100
Rivista
- SAE TECHNICAL PAPER202
- JOURNAL OF PHYSICS. CONFERENCE SE...96
- ...SUMMER SCHOOL FRANCESCO TURCO....63
- POS PROCEEDINGS OF SCIENCE41
- ACTA HORTICULTURAE35
- ENERGY PROCEDIA29
Serie
- LECTURE NOTES IN COMPUTER SCIENCE395
- PROCEEDINGS OF SPIE, THE INTERNAT...161
- CEUR WORKSHOP PROCEEDINGS160
- LECTURE NOTES IN ARTIFICIAL INTEL...85
- LECTURE NOTES IN MECHANICAL ENGIN...79
- COMMUNICATIONS IN COMPUTER AND IN...71
- IFAC-PAPERSONLINE69
- PROCEEDINGS OF THE ANNUAL CONFERE...67
- IFAC PROCEEDINGS VOLUMES65
- TECHNICAL DIGEST - INTERNATIONAL ...64
Keyword
- Electrical and Electronic Enginee...166
- -160
- Control and Systems Engineering104
- Software86
- Industrial and Manufacturing Engi...85
- Computer Networks and Communications72
- Computer Science (all)72
- Computer Science Applications1707...72
- CFD67
- Artificial Intelligence63
Lingua
- eng11746
- ita2911
- fre119
- ger62
- spa58
- por15
- rus12
- und8
- cat5
- chi2
Accesso al fulltext
- no fulltext10043
- reserved2942
- open1840
- partially open112
- embargoed6
