Growing HOLMS : a verified automated prover for Grzegorczyk logic in HOL light
2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
FusionRAG-Ex : an Interactive RAG Framework with retrieval and confidence-aware explanations
2026 Mala, Chandana Sree; Gezici, Gizem; Kutluk, Sezer; Giannotti, Fosca
Ezechiele, una carcerata, l’occhio del mulo : il rapporto tra forma romanzo e blog letterario nell’opera di Giorgio Vasta
2025 Moscardini, Lorenzo
Benchmarking in Neuro-Symbolic AI
2026 Manhaeve, R.; Giannini, F.; Ali, M.; Azzolini, D.; Bizzarri, A.; Borghesi, A.; Bortolotti, S.; De Raedt, L.; Dhami, D.; Diligenti, M.; Dumančić, S.; Faltings, B.; Gentili, E.; Gerevini, A.; Gori, M.; Guns, T.; Homola, M.; Kersting, K.; Lehmann, J.; Lombardi, M.; Lorello, L.; Marconato, E.; Melacci, S.; Passerini, A.; Paul, D.; Riguzzi, F.; Teso, S.; Yorke-Smith, N.; Lippi, M.
Web archiving “attivo” con IA : reingegnerizzazione assistita (LLM/Codex) e rilascio containerizzato di un portale di ricerca legacy
2026 Fiaschi, Michele
Global Control in a Superconducting Quantum Computer
2024 Riccardi, M.; Menta, R.; Cioni, F.; Aiudi, R.; Polini, M.; Giovannetti, V.
La DDR immaginata : Jurek Becker e le metafore di una Germania divisa
2026 Schiaffino, Federica
Il verso
2026 Soldani, Arnaldo
BRICS enlargement in the MENA : diversification, contestation, and the EU’s leverage
2026 Fruganti, Lorenzo; Lovotti, Chiara
Riverberi di esegesi in miniatura: il Paradiso Banco Rari 39 della Biblioteca Nazionale Centrale di Firenze
2026 Coppola, Angelica
Quantitative Stemmatology and Open Recensio : A Test Case on the Bible historiale's Book of Exodus
2026 Modolo, Valentina
La diplomazia italiana di fronte alla comunità ebraica in Palestina : ( 1933-1938 )
2026 Di Piro, Clelia
Tasso legge Platone. Qualche osservazione su cronologia e riusi delle postille al Simposio e al Commentarium in Convivium
2026 Costanza, Laura
Per una rilettura della lirica del Quattrocento fra rimaneggiamenti e cleptomanie: il caso inedito di Michele della Vedova e Gianotto Calogrosso
2025 Tinti, Jacopo
Invertible Quadratic Non-linear Functions over $$\mathbb {F}_p^n$$ via Multiple Local Maps
2023 Giordani, Ginevra; Grassi, Lorenzo; Onofri, Silvia; Pedicini, Marco
Towards Building a Trustworthy RAG-Based Chatbot for the Italian Public Administration
2025 Mala, Chandana Sree; Di Maio, Christian; Proietti, Mattia; Gezici, Gizem; Giannotti, Fosca; Melacci, Stefano; Lenci, Alessandro; Gori, Marco
Un nuovo santuario a Ortigia? Evidenze da recenti indagini presso la Caserma Abela a Siracusa
2025 Amara, Giulio; Castorina, Alessandra; Zurla, Lorenzo
Corinth and the making of Syracuse : new evidence at stake
2025 Amara, Giulio
Atomistic multiscale modeling of surface-enhanced IR absorption
2025 Sodomaco, S.; Lafiosca, P.; Giovannini, T.; Cappelli, C.
Distilling KGE black boxes into interpretable NeSy models
2025 Castellano Ontiveros, Rodrigo; Giannini, Francesco; Diligenti, Michelangelo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file non ad Accesso aperto
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1519
- 2 Contributo in Volume1
Data di pubblicazione
- In corso di stampa4
- 2020 - 2026317
- 2010 - 2019490
- 2000 - 2009516
- 1990 - 1999132
- 1980 - 198955
- 1973 - 19796
Editore
- Edizioni della Normale41
- Springer23
- Olschki19
- Springer Science and Business Med...19
- Institute of Electrical and Elect...15
- Scuola Normale Superiore. Laborat...15
- IEEE - INST ELECTRICAL ELECTRONIC...14
- CEUR-WS12
- World Scientific12
- ETS11
Rivista
- POS PROCEEDINGS OF SCIENCE13
- JOURNAL OF PHYSICS. CONFERENCE SE...11
- LECTURE NOTES IN COMPUTER SCIENCE5
- NUCLEAR AND PARTICLE PHYSICS PROC...4
- THE FASEB JOURNAL4
- ALZHEIMER'S & DEMENTIA3
- ANNALI DELLA SCUOLA NORMALE SUPER...3
- EPJ WEB OF CONFERENCES3
- NEUROBIOLOGY OF AGING3
- SCIENZE DELL'ANTICHITÀ3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE33
- CEUR WORKSHOP PROCEEDINGS21
- COMMUNICATIONS IN COMPUTER AND IN...9
- PROCEEDINGS OF MACHINE LEARNING R...8
- ADVANCES IN NEURAL INFORMATION PR...5
- SEMINARI E CONVEGNI5
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
- ATTI DEI CONVEGNI LINCEI3
- FILOLOGIA E LETTERATURA ITALIANE....3
Settore disciplinare
- Settore INF/01 - Informatica86
- Settore L-ANT/07 - Archeologia Cl...47
- Settore L-FIL-LET/10 - Letteratur...38
- Settore L-LIN/01 - Glottologia e ...36
- Settore L-FIL-LET/12 - Linguistic...26
- Settore FIS/01 - Fisica Sperimentale21
- Settore L-ANT/02 - Storia Greca16
- Settore ING-INF/05 - Sistemi di E...13
- Settore L-FIL-LET/04 - Lingua e L...13
- Settore L-FIL-LET/09 - Filologia ...11
Keyword
- Linguistics23
- Literature20
- Explainable AI16
- Entella8
- Italian literature. XVI century8
- High Energy Physics - Phenomenology7
- Art of memory6
- Elba6
- Philosophy6
- phonology6
Lingua
- eng782
- ita603
- fre39
- grc9
- en8
- ger7
- it6
- lat6
- spa5
- und4
Accesso al fulltext
- no fulltext891
- reserved297
- open283
- partially open48
- mixed1
Appartenenza
- Classe di Lettere e Filosofia489
- Classe di Scienze493
- Classe di Scienze politico-sociali33
- Scuola Normale Superiore362
Disciplina SNS
- Scienze dell'Antichità276
- Matematica e Informatica244
- Lettere moderne211
- Fisica183
- Scienze biologiche146
- Storia dell'arte137
- Filosofia121
- Chimica e Geologia97
- Storia90
- Scienze politico-sociali25