Unique-Solution of Equations in Higher-Order Process Calculi with Passivation
2026 Sangiorgi, Davide
Assessing Code Understanding in LLMs
2025 Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M.
ABOUT THE EXISTENCE OF AN ALT-CAFFARELLI-FRIEDMAN MONOTONICITY FORMULA IN THE HEISENBERG GROUP
2021 Ferrari, F.; Forcillo, N.
FREE BOUNDARY REGULARITY FOR A ONE-PHASE PROBLEM WITH NON-STANDARD GROWTH
2023 Ferrari, F.; Lederman, C.
ON THE LIPSCHITZ REGULARITY FOR ALMOST MINIMIZERS OF A ONE-PHASE BERNOULLI- TYPE FUNCTIONAL FOR THE p-LAPLACIAN
2023 Dipierro, S.; Ferrari, F.; Forcillo, N.; Valdinoci, E.
Variability of water intake in dairy cows for the assessment of water efficiency
2025 Costa, A.; Lamanna, M.; Cavallini, D.; Bovo, M.; Colleluori, R.; Visentin, G.
Trajectory-Embedded Matryoshka Representation Learning for Enhanced Similarity Analysis
2025 Pennino, Federico; Gurioli, Andrea; Gabbrielli, Maurizio
Modeling of charge welds evolution through Cahn-Hilliard equation for interaction between different Fluids: Experimental-numerical comparison with industrial case studies
2025 Di Donato, S.; Pelaccia, R.; Negozio, M.; Reggiani, B.; Donati, L.
Evaluation of hydronitrogen plasma treatment to improve the bonding process of PCM composite material in automotive: A case study
2025 Gatti, G.; Tropeano, M.; Giorgini, L.; Donati, L.; Della Torca, F.; Gentile, G.; Mazzocchetti, L.
Modular Engineering of Industrial Digital Twins: The WLDT Approach
2025 Martinelli, M.; Barbone, A.; Morandi, R.; Picone, M.; Burattini, S.; Ricci, A.
Modular Logic Argumentation in Arg-tuProlog
2022 Calegari, R.; Contissa, G.; Pisano, G.; Sartor, G.; Sartor, G.
Devising a Framework for Virtual PED Labs: Classification to Identify the Potential Scalability of PED Cases
2025 Semprini, G.; Brajkovic, J.; Haase, M.; Ashrafian, T.; Andreucci, M. B.; Paoli, M. D.; Castro, S. S.; Giancola, E.; Calvo, O. S.
Primi dati sullo scavo di una chiesa nella campagna ascolana in località Villaggio del Fan-ciullo (AP)
2025 Cirelli, E.; Carpani, P.; Damiani, L.; Ferranti, E.; Speranza, L.
Optimizing VCSEL-to-SSMF Butt-Coupling in view of Enhanced Efficiency in Radio-over-Fiber Systems
2025 Esfahani, Maryam Nasr; Nanni, Jacopo; Tartarini, Giovanni
SMLE: Safe Machine Learning via Embedded Overapproximation
2025 Francobaldi, Matteo; Lombardi, Michele
DEFENDING REALITY: HUMAN-AI COLLABORATION TO UNVEIL DEEPFAKE INFORMATION MANIPULATION
2025 Ho, Shuyuan Mary; Prandini, Marco; Callegati, Franco; Chakraborty, Shayok; Juzek, Thomas Stephan; And Liu, Yue
LIP-CAR: A Learned Inverse Problem Approach for Medical Imaging with Contrast Agent Reduction
2026 Evangelista, D.; Morotti, E.; Colombo Serra, S.; Luo, P.; Valbusa, G.; Bianchi, D.
Multi-Modal Large Language Model driven Augmented Reality Situated Visualization: the Case of Wine Recognition
2025 Armandi, Vincenzo; Loretti, Andrea; Stacchio, Lorenzo; Cascarano, Pasquale; Marfia, Gustavo
Pandemia da Covid-19, fase 1: le restrizioni italiane ai diritti fondamentali tra garanzie internazionali e stato di emergenza
2024 Palma, A. J.
L'eredità didattica di Bruno Ciari. 4, Educazione linguistico-espressiva e lingua seconda (L2)
2025 Marulo, Carla
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Unique-Solution of Equations in Higher-Order Process Calculi with Passivation | Sangiorgi, Davide | 2026-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | Stefani_Iris.pdf |
| Assessing Code Understanding in LLMs | Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M. | 2025-01-01 | - | SPRINGER INTERNATIONAL PUBLISHING AG | 4.01 Contributo in Atti di convegno | Paper_Journal_CSV_STTT_2025_Accepted.pdf |
| ABOUT THE EXISTENCE OF AN ALT-CAFFARELLI-FRIEDMAN MONOTONICITY FORMULA IN THE HEISENBERG GROUP | Ferrari, F.; Forcillo, N. | 2021-01-01 | - | Asociación Argentina de Matemática Aplicada, Computacional e Industrial | 4.01 Contributo in Atti di convegno | MACI-Vol-8-2021.pdf |
| FREE BOUNDARY REGULARITY FOR A ONE-PHASE PROBLEM WITH NON-STANDARD GROWTH | Ferrari, F.; Lederman, C. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | FREE BOUNDARY REGULARITY FOR A ONE-PHASE PROBLEM WITH NON-STANDARD GROWTH.pdf |
| ON THE LIPSCHITZ REGULARITY FOR ALMOST MINIMIZERS OF A ONE-PHASE BERNOULLI- TYPE FUNCTIONAL FOR THE p-LAPLACIAN | Dipierro, S.; Ferrari, F.; Forcillo, N.; Valdinoci, E. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | ACFROG~1.PDF |
| Variability of water intake in dairy cows for the assessment of water efficiency | Costa, A.; Lamanna, M.; Cavallini, D.; Bovo, M.; Colleluori, R.; Visentin, G. | 2025-01-01 | JOURNAL OF DAIRY SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Trajectory-Embedded Matryoshka Representation Learning for Enhanced Similarity Analysis | Pennino, Federico; Gurioli, Andrea; Gabbrielli, Maurizio | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | ES2025-121.pdf |
| Modeling of charge welds evolution through Cahn-Hilliard equation for interaction between different Fluids: Experimental-numerical comparison with industrial case studies | Di Donato, S.; Pelaccia, R.; Negozio, M.; Reggiani, B.; Donati, L. | 2025-01-01 | - | Association of American Publishers | 4.01 Contributo in Atti di convegno | unpaywall-bitstream-943546073.pdf |
| Evaluation of hydronitrogen plasma treatment to improve the bonding process of PCM composite material in automotive: A case study | Gatti, G.; Tropeano, M.; Giorgini, L.; Donati, L.; Della Torca, F.; Gentile, G.; Mazzocchetti, L. | 2025-01-01 | - | Association of American Publishers | 4.01 Contributo in Atti di convegno | unpaywall-bitstream--1570435754.pdf |
| Modular Engineering of Industrial Digital Twins: The WLDT Approach | Martinelli, M.; Barbone, A.; Morandi, R.; Picone, M.; Burattini, S.; Ricci, A. | 2025-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | _IoTI5_DCOSS_2025____Engineering_Industrial_Digital_Twins_with_WLDT.pdf |
| Modular Logic Argumentation in Arg-tuProlog | Calegari, R.; Contissa, G.; Pisano, G.; Sartor, G.; Sartor, G. | 2022-01-01 | - | SPRINGER | 4.01 Contributo in Atti di convegno | Modular Logic Argumentation in Arg-tuProlog.pdf |
| Devising a Framework for Virtual PED Labs: Classification to Identify the Potential Scalability of PED Cases | Semprini, G.; Brajkovic, J.; Haase, M.; Ashrafian, T.; Andreucci, M. B.; Paoli, M. D.; Castro, S.... S.; Giancola, E.; Calvo, O. S. | 2025-01-01 | IOP CONFERENCE SERIES. EARTH AND ENVIRONMENTAL SCIENCE | Institute of Physics | 4.01 Contributo in Atti di convegno | Semprini_2025_IOP_Conf._Ser.__Earth_Environ._Sci._1546_012079.pdf |
| Primi dati sullo scavo di una chiesa nella campagna ascolana in località Villaggio del Fan-ciullo (AP) | Cirelli, E.; Carpani, P.; Damiani, L.; Ferranti, E.; Speranza, L. | 2025-01-01 | - | Ante Quem | 4.01 Contributo in Atti di convegno | Cirelli_2025_Villaggio_del_fanciullo.pdf |
| Optimizing VCSEL-to-SSMF Butt-Coupling in view of Enhanced Efficiency in Radio-over-Fiber Systems | Esfahani, Maryam Nasr; Nanni, Jacopo; Tartarini, Giovanni | 2025-01-01 | - | IEEE Computer Society | 4.01 Contributo in Atti di convegno | ICTON_MARYAM NASR_Pdf_express_checked.pdf |
| SMLE: Safe Machine Learning via Embedded Overapproximation | Francobaldi, Matteo; Lombardi, Michele | 2025-01-01 | - | Association for the Advancement of Artificial Intelligence | 4.01 Contributo in Atti di convegno | - |
| DEFENDING REALITY: HUMAN-AI COLLABORATION TO UNVEIL DEEPFAKE INFORMATION MANIPULATION | Ho, Shuyuan Mary; Prandini, Marco; Callegati, Franco; Chakraborty, Shayok; Juzek, Thomas Stephan;... And Liu, Yue | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | DEFENDING REALITY_ HUMAN-AI COLLABORATION TO UNVEIL DEEPFAKE INFO.pdf |
| LIP-CAR: A Learned Inverse Problem Approach for Medical Imaging with Contrast Agent Reduction | Evangelista, D.; Morotti, E.; Colombo Serra, S.; Luo, P.; Valbusa, G.; Bianchi, D. | 2026-01-01 | - | - | 4.01 Contributo in Atti di convegno | 2026_Evangelista_LIPCAR_Miccai.pdf |
| Multi-Modal Large Language Model driven Augmented Reality Situated Visualization: the Case of Wine Recognition | Armandi, Vincenzo; Loretti, Andrea; Stacchio, Lorenzo; Cascarano, Pasquale; Marfia, Gustavo | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | Armandi_Multi-Modal_Large_Language_Model_driven_Augmented_Reality_Situated_Visualization_the_WACVW_2025_paper.pdf |
| Pandemia da Covid-19, fase 1: le restrizioni italiane ai diritti fondamentali tra garanzie internazionali e stato di emergenza | Palma, A. J. | 2024-01-01 | - | RomaTreEpress | 4.01 Contributo in Atti di convegno | 23. ATTI LINC - Pandemia da COVID-19, fase 1 - Antonio J. Palma.pdf |
| L'eredità didattica di Bruno Ciari. 4, Educazione linguistico-espressiva e lingua seconda (L2) | Marulo, Carla | 2025-01-01 | - | Tab edizioni | 4.01 Contributo in Atti di convegno | Bruno Ciari (3).pdf |
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 convegno40906
- 2 - Contributo in volume2
- 1 - Contributo in rivista1
Data di pubblicazione
- In stampa/Attività in corso72
- 2020 - 20279437
- 2010 - 201916259
- 2000 - 200914851
- 1990 - 1999278
- 1986 - 198911
Editore
- s.n3094
- IEEE2145
- Institute of Electrical and Elect...1930
- Springer801
- IEEE Computer Society395
- Springer Verlag302
- ACM219
- Springer Science and Business Med...213
- CEUR-WS176
- Association for Computing Machinery166
Rivista
- ACTA HORTICULTURAE235
- JOURNAL OF PHYSICS. CONFERENCE SE...99
- SAE TECHNICAL PAPER82
- POS PROCEEDINGS OF SCIENCE68
- LECTURE NOTES IN COMPUTER SCIENCE61
- ...SUMMER SCHOOL FRANCESCO TURCO....46
- ELECTRONIC PROCEEDINGS IN THEORET...42
- COMPUTING IN CARDIOLOGY40
- PROCEEDINGS OF SPIE, THE INTERNAT...38
- ELECTRONIC NOTES IN THEORETICAL C...37
Serie
- LECTURE NOTES IN COMPUTER SCIENCE628
- CEUR WORKSHOP PROCEEDINGS332
- LECTURE NOTES IN ARTIFICIAL INTEL...155
- PROCEEDINGS OF SPIE, THE INTERNAT...108
- IFAC-PAPERSONLINE92
- LECTURE NOTES IN CIVIL ENGINEERING71
- SOCIETÀ ITALIANA DI PEDAGOGIA63
- LEIBNIZ INTERNATIONAL PROCEEDINGS...60
- KEY ENGINEERING MATERIALS59
- COMMUNICATIONS IN COMPUTER AND IN...58
Keyword
- Electrical and Electronic Enginee...388
- Computer Networks and Communications338
- Software168
- Computer Science (all)147
- Hardware and Architecture147
- Machine Learning143
- Computer Science Applications1707...140
- Artificial Intelligence137
- GIS129
- Control and Systems Engineering125
Lingua
- eng30009
- ita10389
- fre488
- spa305
- ger177
- rus80
- por56
- per19
- jpn15
- gre11
Accesso al fulltext
- no fulltext36607
- open3647
- reserved349
- embargoed236
- partially open69