NAMOR: a New Agda Library for Modal Extended Sequents
2025-01-01 Borsetto, Riccardo; Zorzi, Margherita
An Agda Implementation of the Modal Logic S4.2: First Investigations
2025-01-01 Borsetto, Riccardo; Zorzi, Margherita
Il contributo scientifico di Giuseppe Dalla Torre allo studio del diritto canonico
2025-01-01 Comotti, Giuseppe
In-field autonomous UV-B irradiation and phenolic compounds optical detection of lettuce crops by an agricultural rover prototype
2026-01-01 Micheletti, Filippo; Agati, Giovanni; Cremasco, Simone; Visentin, Francesco; Muradore, Riccardo
Analysis of Two LiDAR-Driven Methods for Autonomous Navigation in Orchard Rows
2026-01-01 Tognolo, Denis; Pierre, Cyrille; Visentin, Francesco; Lenain, Roland; Muradore, Riccardo
Knowledge Graphs for Clinical Data: Strategies and Challenges with an Application to MIMIC III Dataset
2025-01-01 Amico, Beatrice; Combi, Carlo
Corporate risk disclosure and corporate r
2026-01-01 Rossignoli, Francesca; Florio, Cristina; Liu, Pujun
On the Complexity and Approximability of Bounded Access Lempel Ziv Coding
2024-01-01 Cicalese, Ferdinando; Ugazio, Francesca
Modeling and visualizing palimpsests with IIIF Presentation API 3.0
2026-01-01 Leontaridis, Panagiotis; Marchioro, Giacomo; Robson, Glen
Blind Image Decomposition for Recovering Overlapping Text Layers on Palimpsests
2026-01-01 Pourahmadi, Baharan; Leontaridis, Panagiotis; Scattolin, Paolo; Frandsen, Mads Toudal
Analisi della letteratura sulle tecnologie per inclusione nella scuola secondaria: risultati di una Systematic Scoping Review
2026-01-01 Traina, Ivan; Garieri, Elisa
Verso un framework di competenze per l'uso inclusivo delle tecnologie: risultati di uno studio Delphi.
2026-01-01 Traina, Ivan; Garieri, Elisa
HEPATIC RESECTION FOR HEPATOCELLULAR CARCINOMA
1994-01-01 Nicoli, N.; Marchiori, L.; Daldosso, I.; Nifosi, F.; Bortolasi, L.; Mansueto, G. C.; Colombari, R.
GENESIS AND EVOLUTION OF SCHOOL LEADERSHIP IN ITALY: CONCEPTUAL FOUNDATIONS FOR A FOCUSED CRITICAL INTEGRATIVE REVIEW
2026-01-01 Assenzio, Emanuela
CURRICULUM REDESIGN AS A DRIVER OF SCHOOL INNOVATION: EVIDENCE FROM AN ITALIAN LOWER SECONDARY SCHOOL
2026-01-01 Assenzio, Emanuela
ShadowICS: Detecting OT Sandboxes via Passive Industrial Traffic Monitoring
2026-01-01 Donadel, Denis; Antonioli, Daniele; Tippenhauer, Nils O.; Merro, Massimo
Beyond productivity: Digital transformation and workers’ well-being in warehouse operations
2026-01-01 Sguizzardi, Chiara; Baldi, Benedetta; Russo, Ivan; Prataviera, Lorenzo
Unpacking Circular Supply Chains: A Systematic Review and Research Agenda of SCM Processes and Actors in Circularity
2026-01-01 Ibeh, Olivia; Confente, Ilenia; Russo, Ivan; Baldi, Benedetta
Slowing the loop: repair as a supply chain service or obligation?
2026-01-01 Confente, Ilenia; Baldi, Benedetta; Mazzoli, Valentina; Russo, Ivan
Operational Transparency in Closed-Loop Supply Chains: Activating Consumers as Suppliers
2026-01-01 Baldi, Benedetta; Russo, Ivan; Confente, Ilenia
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
- 04 Contributo in atti di convegno14130
Data di pubblicazione
- In corso di stampa42
- 2020 - 20261619
- 2010 - 20194108
- 2000 - 20095808
- 1990 - 19991752
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer266
- IEEE220
- Springer-Verlag68
- ACM56
- SPRINGER INTERNATIONAL PUBLISHING AG48
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE256
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS61
- LEIBNIZ INTERNATIONAL PROCEEDINGS...29
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
- EDULEARN PROCEEDINGS10
Keyword
- pattern recognition63
- Verona63
- CdTe51
- abstract interpretation50
- Italia49
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8668
- ita4547
- fre163
- ger112
- spa87
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12317
- open906
- restricted609
- reserved294
- embargoed2
- mixed1
- partially open1