Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles
2025-01-01 Bernardeschi, Cinzia; Fagiolini, Adriano; Pagani, Dario; C., Quadri
Statistical Model Checking of Cooperative Autonomous Driving Systems
2024-01-01 Bernardeschi, Cinzia; Lettieri, Giuseppe; Rossi, Federico
Advances in the development of a fluid-to-fluid similarity theory for fluids at supercritical pressure: Results from sensitivity analyses
2021-01-01 De Angelis, A.; Pucciarelli, A.; Kassem, S.; Ambrosini, W.
Extending a Fluid-to-Fluid Similarity Rationale for Heat Transfer at Supercritical Pressure to R134a
2021-01-01 Kassem, Sara; Pucciarelli, Andrea; Ambrosini, Walter
Ensemble of Counterfactual Explainers
2021-01-01 Guidotti, R.; Ruggieri, S.
Sottoprodotti e cessazione della qualifica di rifiuto. Incertezze nozionali e problemi applicativi: prima di tutto, una questione di fonti
2024-01-01 Lolli, I.
Gruppi di imprese, crisi e insolvenza
2024-01-01 Pinto, Vincenzo
Causal Graphical Models for Vision-Language Compositional Understanding
2025-01-01 Parascandolo, Fiorenzo; Moratelli, Nicholas; Sangineto, Enver; Baraldi, Lorenzo; Cucchiara, Rita
Science, Technology and Systems Engineering Educational Activities with Stratospheric Balloons
2021-01-01 Marcuccio, S.; Gemignani, M.; Cataldi, G.
Evolution of the (Aero)Space Engineering Studies in Italy in the past 20 years
2021-01-01 Bernelli-Zazzera, F.; Guglieri, G.; Marcuccio, S.; Marulo, F.; Nardinocchi, P.; Tortora, P.
Test-Driven Full Vehicle Modelling for ADAS Algorithm Development
2021-01-01 Lugo, Lorenzo; Bartolozzi, Mirco; Vandermeulen, Wouter; Geluk, Theo; Dom, Steven
Automating Thematic Analysis with Multi-Agent LLM Systems
2025-01-01 Sankaranarayanan, Sreecharan; Borchers, Conrad; Simon, Sebastian; Tajik, Elham; Ataş, Amine Hatun; Celik, Berkan; Balzan, Francesco; Shahrokhian, Bahar
Variational Decision Trees with Structured Ansatzes
2025-01-01 Poggiali, Alessandro; Antonioli, Giacomo; Berti, Alessandro; Del Corso, Gianna M.; Guidotti, Riccardo
SOS Rules for Equivalences of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
NUGENIA TA2: Severe Accident Research within the NUGENIA Pillar
2021-01-01 Herranz, L. E.; Bentaib, A.; Gabrielli, F.; Gupta, S.; Kljenak, I.; Paci, S.; Piluso, P.; Rocchi, F.
Detecting interdisciplinarity in top-class research using topic modeling
2021-01-01 Bonaccorsi, A.; Melluso, N.; Massucci, F. A.
Multi-objective optimization of water distribution networks via NSGA-II and Pseudo-Weights
2021-01-01 Ben Ammar, Samar; Cimino, Mario Giovanni Cosimo Antonio; Foglia, Pierfrancesco; Galatolo, Federico Andrea; Nouiri., Issam
Using VLF time series from the INFREP network for the study of pre-seismic radio anomalies
2021-01-01 Monaco, Manilo; Nico, Giovanni; Biagi, Pier Francesco; Ermini, Anita; Nina, Aleksandra; Cimino, Mario Giovanni Cosimo Antonio; Vaglini, Gigliola
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms
2021-01-01 Monaco, Manilo; Cimino, Mario Giovanni Cosimo Antonio; Vaglini, Gigliola; Fusai, Francesco; Nico., Giovanni
A Real-Time Deep Learning Approach for Real-World Video Anomaly Detection
2021-01-01 Petrocchi, S.; Giorgi, G.; Cimino, M. G. C. A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles | 1-gen-2025 | Bernardeschi, Cinzia; Fagiolini, Adriano; Pagani, Dario; C., Quadri | |
| Statistical Model Checking of Cooperative Autonomous Driving Systems | 1-gen-2024 | Bernardeschi, Cinzia; Lettieri, Giuseppe; Rossi, Federico | |
| Advances in the development of a fluid-to-fluid similarity theory for fluids at supercritical pressure: Results from sensitivity analyses | 1-gen-2021 | De Angelis, A.; Pucciarelli, A.; Kassem, S.; Ambrosini, W. | |
| Extending a Fluid-to-Fluid Similarity Rationale for Heat Transfer at Supercritical Pressure to R134a | 1-gen-2021 | Kassem, Sara; Pucciarelli, Andrea; Ambrosini, Walter | |
| Ensemble of Counterfactual Explainers | 1-gen-2021 | Guidotti, R.; Ruggieri, S. | |
| Sottoprodotti e cessazione della qualifica di rifiuto. Incertezze nozionali e problemi applicativi: prima di tutto, una questione di fonti | 1-gen-2024 | Lolli, I. | |
| Gruppi di imprese, crisi e insolvenza | 1-gen-2024 | Pinto, Vincenzo | |
| Causal Graphical Models for Vision-Language Compositional Understanding | 1-gen-2025 | Parascandolo, Fiorenzo; Moratelli, Nicholas; Sangineto, Enver; Baraldi, Lorenzo; Cucchiara, Rita | |
| Science, Technology and Systems Engineering Educational Activities with Stratospheric Balloons | 1-gen-2021 | Marcuccio, S.; Gemignani, M.; Cataldi, G. | |
| Evolution of the (Aero)Space Engineering Studies in Italy in the past 20 years | 1-gen-2021 | Bernelli-Zazzera, F.; Guglieri, G.; Marcuccio, S.; Marulo, F.; Nardinocchi, P.; Tortora, P. | |
| Test-Driven Full Vehicle Modelling for ADAS Algorithm Development | 1-gen-2021 | Lugo, Lorenzo; Bartolozzi, Mirco; Vandermeulen, Wouter; Geluk, Theo; Dom, Steven | |
| Automating Thematic Analysis with Multi-Agent LLM Systems | 1-gen-2025 | Sankaranarayanan, Sreecharan; Borchers, Conrad; Simon, Sebastian; Tajik, Elham; Ataş, Amine Hatun; Celik, Berkan; Balzan, Francesco; Shahrokhian, Bahar | |
| Variational Decision Trees with Structured Ansatzes | 1-gen-2025 | Poggiali, Alessandro; Antonioli, Giacomo; Berti, Alessandro; Del Corso, Gianna M.; Guidotti, Riccardo | |
| SOS Rules for Equivalences of Reaction Systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | |
| NUGENIA TA2: Severe Accident Research within the NUGENIA Pillar | 1-gen-2021 | Herranz, L. E.; Bentaib, A.; Gabrielli, F.; Gupta, S.; Kljenak, I.; Paci, S.; Piluso, P.; Rocchi, F. | |
| Detecting interdisciplinarity in top-class research using topic modeling | 1-gen-2021 | Bonaccorsi, A.; Melluso, N.; Massucci, F. A. | |
| Multi-objective optimization of water distribution networks via NSGA-II and Pseudo-Weights | 1-gen-2021 | Ben Ammar, Samar; Cimino, Mario Giovanni Cosimo Antonio; Foglia, Pierfrancesco; Galatolo, Federico Andrea; Nouiri., Issam | |
| Using VLF time series from the INFREP network for the study of pre-seismic radio anomalies | 1-gen-2021 | Monaco, Manilo; Nico, Giovanni; Biagi, Pier Francesco; Ermini, Anita; Nina, Aleksandra; Cimino, Mario Giovanni Cosimo Antonio; Vaglini, Gigliola | |
| Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms | 1-gen-2021 | Monaco, Manilo; Cimino, Mario Giovanni Cosimo Antonio; Vaglini, Gigliola; Fusai, Francesco; Nico., Giovanni | |
| A Real-Time Deep Learning Approach for Real-World Video Anomaly Detection | 1-gen-2021 | Petrocchi, S.; Giorgi, G.; Cimino, M. G. C. A. |
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
- 4 Contributo in Atti di Convegno ...36860
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa149
- 2020 - 20264999
- 2010 - 201911024
- 2000 - 200913955
- 1990 - 19995134
- 1980 - 19891432
- 1970 - 1979156
- 1961 - 19693
Editore
- Institute of Electrical and Elect...1767
- IEEE1226
- Springer604
- Springer Verlag328
- IEEE Computer Society263
- Springer Science and Business Med...212
- ETS179
- Elsevier155
- ACM130
- Pisa University Press127
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE431
- POS PROCEEDINGS OF SCIENCE136
- JOURNAL OF PHYSICS. CONFERENCE SE...123
- ELECTRONIC NOTES IN THEORETICAL C...71
- ACTA HORTICULTURAE69
- PROCEEDINGS OF SPIE, THE INTERNAT...58
- NUCLEAR PHYSICS B-PROCEEDINGS SUP...54
- ATTI DELLA SOCIETA' ITALIANA DELL...47
- IEEE ENGINEERING IN MEDICINE AND ...44
- PROCEDIA STRUCTURAL INTEGRITY44
Serie
- LECTURE NOTES IN COMPUTER SCIENCE338
- CEUR WORKSHOP PROCEEDINGS141
- LECTURE NOTES IN ARTIFICIAL INTEL...113
- LECTURE NOTES IN COMPUTER SCIENCE61
- COMMUNICATIONS IN COMPUTER AND IN...55
- DIGEST - IEEE ANTENNAS AND PROPAG...55
- IEEE ENGINEERING IN MEDICINE AND ...54
- LECTURE NOTES IN ELECTRICAL ENGIN...51
- LEIBNIZ INTERNATIONAL PROCEEDINGS...50
- PROCEEDINGS OF SPIE, THE INTERNAT...42
Keyword
- Computer Networks and Communications257
- Electrical and Electronic Enginee...244
- Computer Science (all)131
- Computer Science Applications1707...125
- Signal Processing124
- Instrumentation117
- Software117
- Artificial Intelligence116
- Theoretical Computer Science104
- Biomedical Engineering90
Lingua
- eng23656
- ita6899
- fre250
- spa127
- ger55
- rus45
- por28
- und23
- lat11
- grc7
Accesso al fulltext
- no fulltext34002
- open1579
- restricted893
- reserved233
- partially open151
- embargoed2
- mixed1