Towards Formal Verification of Neural Networks in Cyber-Physical Systems
2024-01-01 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
Explaining Socio-Demographic and Behavioral Patterns of Vaccination Against the Swine Flu (H1N1) Pandemic
2023-01-01 Punzi, C.; Maslennikova, A.; Gezici, G.; Pellungrini, R.; Giannotti, F.
Beyond Headlines: A Corpus of Femicides News Coverage in Italian Newspapers
2024-01-01 Cappuccio, Eleonora; Muscato, Benedetta; Pollacci, Laura; Marchiori Manerba, Marta; Punzi, Clara; Mala, Chandana; Lalli, Margherita; Gezici, Gizem; Natilli, Michela; Giannotti, Fosca
Cascaded Cross MLP-Mixer GANs for Cross-View Image Translation
2021-01-01 Ren, Bin; Tang, Hao; Sebe, Nicu
ShapeSplat: A Large-scale Dataset of Gaussian Splats and Their Self-Supervised Pretraining
2024-01-01 Ma, Qi; Li, Yue; Ren, Bin; Sebe, Nicu; Konukoglu, Ender; Gevers, Theo; Van Gool, Luc; Pani Paudel, Danda
Proceedings of the annual meeting of the European Consortium of Lipodystrophies (ECLip) Paris, France, 20–21 May 2025
2025-01-01 Vatier, Camille; Araújo-Vilar, David; Akinci, Baris; Arnould, Thierry; Beaupère, Carine; Bismuth, Elise; Brown, Rebecca J.; Ceccarini, Giovanni; Collas, Philippe; Gambineri, Alessandra; Gilio, Donatella; Halperin, Sharon; Janmaat, Sonja; Lamothe, Sophie; Lattanzi, Giovanna; Maffei, Margherita; Macdougald, Ormond A.; Mosbah, Héléna; Nobecourt, Estelle; Oral, Elif A.; Rochford, Justin; Santini, Ferruccio; Schirmer, Eric C.; Von Schnurbein, Julia; Semple, Robert; Tews, Daniel; Wabitsch, Martin; Vantyghem, Marie-Christine; Vigouroux, Corinne
BAMBI Goes to School: Evaluating Italian BabyLMs with Invalsi-ITA
2025-01-01 Capone, Luca; Suozzi, Alice; E Lebani, Gianluca; Lenci, Alessandro
Lost in Disambiguation: How Instruction-Tuned LLMs Master Lexical Ambiguity
2024-01-01 Capone, Luca; Auriemma, Serena; Miliani, Martina; Bondielli, Alessandro; Lenci, Alessandro
BaBIEs: A Benchmark for the Linguistic Evaluation of Italian Baby Language Models
2024-01-01 Capone, Luca; Suozzi, Alice; Lebani, Gianluca; Lenci, Alessandro
Measuring Trampling in Autonomous Mowers with Systematic Trajectories: Comparison with the Ordinary Random Patterns
2024-01-01 Fontanelli, M.; Carlomagno, P.; Gagliardi, L.; Frasconi, C.; Raffaelli, M.; Peruzzi, A.; Sciusco, G.; Luglio, S. M.
Measuring the operative performance of autonomous mowers on slopes
2023-01-01 Fontanelli, Marco; Chiaro, Nicola Del; Gagliardi, Lorenzo; Frasconi, Christian; Raffaelli, Michele; Peruzzi, Andrea; Sciusco, Giuliano; Luglio, Sofia Matilde
Sulfur Fertility Management As Strategy to Enhance Chickpea Agronomic Performance.
2025-01-01 Rossi, A.; Clemente, C.; Caturegli, L.; Angelini, L. G.; Tavarini, S
Challenges and opportunities of different castor ecotypes cultivated in the Mediterranean Area
2025-01-01 Caturegli, L.; Clemente, C.; Rossi, A.; Tavarini, S.; Foschi, L.; Angelini, L. G.
Digital image analysis: an innovatove method to assess nutrition status of common wheat
2024-01-01 Rossi, Alessandro; Caturegli, Lisa; Clemente, Clarissa; Tavarini, Silvia; Angelini, Luciana G.; Sciusco, Giuliano
Sustainable biomass potential resources and availability in Europe and in Italy, for bioenergy and new biofuels
2024-01-01 Caturegli, Lisa; Baldinelli, Arianna; Tavarini, Silvia; Tognotti, Leonardo; Giuliano, Aristide; Pierro, Nicola; De Bari, Isabella; Angelini, Luciana G.
Preliminary Results on the Use of Dark Green Colour Index (DGCI) to Evaluate the Nutritional Status of Camelina Sativa (L.) Crantz
2023-01-01 Ercolini, Leonardo; Berton, Andrea; Caturegli, Lisa; Grossi, Nicola; Silvestri, Nicola
Generative AI as a New Assistive Technology for Web Interaction
2026-01-01 Penna, Giuseppe Della; Buzzi, Marina; Leporini, Barbara
A Reproducibility Study of PLAID
2024-01-01 Macavaney, S.; Tonellotto, N.
Neuro-Symbolic Approach for Tantrum Monitoring and Prevention in Individuals with Autism Spectrum Disorder: A Protocol for Virtual Agents
2024-01-01 Monaldini, Andrea
From pure Prolog to logic Agent-Oriented Programming Languages
2024-01-01 Bordini, Rafael; Costantini, Stefania; Monaldini, Andrea; Vozna, Alina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards Formal Verification of Neural Networks in Cyber-Physical Systems | 1-gen-2024 | Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio | |
| Explaining Socio-Demographic and Behavioral Patterns of Vaccination Against the Swine Flu (H1N1) Pandemic | 1-gen-2023 | Punzi, C.; Maslennikova, A.; Gezici, G.; Pellungrini, R.; Giannotti, F. | |
| Beyond Headlines: A Corpus of Femicides News Coverage in Italian Newspapers | 1-gen-2024 | Cappuccio, Eleonora; Muscato, Benedetta; Pollacci, Laura; Marchiori Manerba, Marta; Punzi, Clara; Mala, Chandana; Lalli, Margherita; Gezici, Gizem; Natilli, Michela; Giannotti, Fosca | |
| Cascaded Cross MLP-Mixer GANs for Cross-View Image Translation | 1-gen-2021 | Ren, Bin; Tang, Hao; Sebe, Nicu | |
| ShapeSplat: A Large-scale Dataset of Gaussian Splats and Their Self-Supervised Pretraining | 1-gen-2024 | Ma, Qi; Li, Yue; Ren, Bin; Sebe, Nicu; Konukoglu, Ender; Gevers, Theo; Van Gool, Luc; Pani Paudel, Danda | |
| Proceedings of the annual meeting of the European Consortium of Lipodystrophies (ECLip) Paris, France, 20–21 May 2025 | 1-gen-2025 | Vatier, Camille; Araújo-Vilar, David; Akinci, Baris; Arnould, Thierry; Beaupère, Carine; Bismuth, Elise; Brown, Rebecca J.; Ceccarini, Giovanni; Collas, Philippe; Gambineri, Alessandra; Gilio, Donatella; Halperin, Sharon; Janmaat, Sonja; Lamothe, Sophie; Lattanzi, Giovanna; Maffei, Margherita; Macdougald, Ormond A.; Mosbah, Héléna; Nobecourt, Estelle; Oral, Elif A.; Rochford, Justin; Santini, Ferruccio; Schirmer, Eric C.; Von Schnurbein, Julia; Semple, Robert; Tews, Daniel; Wabitsch, Martin; Vantyghem, Marie-Christine; Vigouroux, Corinne | |
| BAMBI Goes to School: Evaluating Italian BabyLMs with Invalsi-ITA | 1-gen-2025 | Capone, Luca; Suozzi, Alice; E Lebani, Gianluca; Lenci, Alessandro | |
| Lost in Disambiguation: How Instruction-Tuned LLMs Master Lexical Ambiguity | 1-gen-2024 | Capone, Luca; Auriemma, Serena; Miliani, Martina; Bondielli, Alessandro; Lenci, Alessandro | |
| BaBIEs: A Benchmark for the Linguistic Evaluation of Italian Baby Language Models | 1-gen-2024 | Capone, Luca; Suozzi, Alice; Lebani, Gianluca; Lenci, Alessandro | |
| Measuring Trampling in Autonomous Mowers with Systematic Trajectories: Comparison with the Ordinary Random Patterns | 1-gen-2024 | Fontanelli, M.; Carlomagno, P.; Gagliardi, L.; Frasconi, C.; Raffaelli, M.; Peruzzi, A.; Sciusco, G.; Luglio, S. M. | |
| Measuring the operative performance of autonomous mowers on slopes | 1-gen-2023 | Fontanelli, Marco; Chiaro, Nicola Del; Gagliardi, Lorenzo; Frasconi, Christian; Raffaelli, Michele; Peruzzi, Andrea; Sciusco, Giuliano; Luglio, Sofia Matilde | |
| Sulfur Fertility Management As Strategy to Enhance Chickpea Agronomic Performance. | 1-gen-2025 | Rossi, A.; Clemente, C.; Caturegli, L.; Angelini, L. G.; Tavarini, S | |
| Challenges and opportunities of different castor ecotypes cultivated in the Mediterranean Area | 1-gen-2025 | Caturegli, L.; Clemente, C.; Rossi, A.; Tavarini, S.; Foschi, L.; Angelini, L. G. | |
| Digital image analysis: an innovatove method to assess nutrition status of common wheat | 1-gen-2024 | Rossi, Alessandro; Caturegli, Lisa; Clemente, Clarissa; Tavarini, Silvia; Angelini, Luciana G.; Sciusco, Giuliano | |
| Sustainable biomass potential resources and availability in Europe and in Italy, for bioenergy and new biofuels | 1-gen-2024 | Caturegli, Lisa; Baldinelli, Arianna; Tavarini, Silvia; Tognotti, Leonardo; Giuliano, Aristide; Pierro, Nicola; De Bari, Isabella; Angelini, Luciana G. | |
| Preliminary Results on the Use of Dark Green Colour Index (DGCI) to Evaluate the Nutritional Status of Camelina Sativa (L.) Crantz | 1-gen-2023 | Ercolini, Leonardo; Berton, Andrea; Caturegli, Lisa; Grossi, Nicola; Silvestri, Nicola | |
| Generative AI as a New Assistive Technology for Web Interaction | 1-gen-2026 | Penna, Giuseppe Della; Buzzi, Marina; Leporini, Barbara | |
| A Reproducibility Study of PLAID | 1-gen-2024 | Macavaney, S.; Tonellotto, N. | |
| Neuro-Symbolic Approach for Tantrum Monitoring and Prevention in Individuals with Autism Spectrum Disorder: A Protocol for Virtual Agents | 1-gen-2024 | Monaldini, Andrea | |
| From pure Prolog to logic Agent-Oriented Programming Languages | 1-gen-2024 | Bordini, Rafael; Costantini, Stefania; Monaldini, Andrea; Vozna, Alina |
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 ...36877
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa147
- 2020 - 20265017
- 2010 - 201911024
- 2000 - 200913956
- 1990 - 19995134
- 1980 - 19891432
- 1970 - 1979156
- 1961 - 19693
Editore
- Institute of Electrical and Elect...1768
- IEEE1226
- Springer607
- Springer Verlag328
- IEEE Computer Society264
- Springer Science and Business Med...213
- ETS179
- Elsevier155
- ACM130
- Pisa University Press128
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 SCIENCE339
- CEUR WORKSHOP PROCEEDINGS142
- 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
- Artificial Intelligence117
- Instrumentation117
- Software117
- Theoretical Computer Science104
- Biomedical Engineering90
Lingua
- eng23669
- ita6902
- fre250
- spa126
- ger55
- rus45
- por28
- und23
- lat11
- grc7
Accesso al fulltext
- no fulltext34010
- open1585
- restricted893
- reserved233
- partially open154
- embargoed2
- mixed1