A Modular Strategy to Build a Large-Scale Functional Status Knowledge Graph
2023-01-01 Dragoni, M.; Bailoni, T.; Sacco, G.; Bozzato, L.
Generics in defeasible reasoning. Exceptionality, Gradability, and Content Sensitivity
2023-01-01 Sacco, G.; Bozzato, L.; Kutz, O.
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
2023-01-01 Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael; Stepanova, Daria
Defeasible Reasoning with Prototype Descriptions: First Steps
2023-01-01 Sacco, G.; Bozzato, L.; Kutz, O.
Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions
2023-01-01 Bozzato, Loris; Serafini, Luciano
A comparison of closed-source and open-source code static measures
2024-01-01 Lavazza, Luigi
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Giustizia e bellezza di fronte alla sfida tecnologica
2023-01-01 Ghirga, MARIA FRANCESCA
Pattern recognition and classification for electrical energy use in residential buildings
2019-01-01 Ferrando, M.; Marchenko, A.; Erba, S.; Causone, F.; Carlucci, S.
L’immediatezza nella lettura delle Alte Corti
2024-01-01 Ruggieri, Francesca
Comparison of environmental impact of similar prefabricated industrial structures made of precast concrete or steel
2024-01-01 Dal Lago, B.; Krelani, V.; Visconti, D.; Berisha, E.; Baltrocchi, A. P. D.; Torretta, V.
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
2024-01-01 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S.
RobTL: Robustness Temporal Logic for CPS
2024-01-01 Castiglioni, Valentina; Loreti, Michele; Tini, Simone
A co-designed platform for a technology-based early identification to support specific learning disorders screening in schools
2024-01-01 Donati, Alice; Dui Linda, Greta; Fontolan, Stefania; Termine, Cristiano; Campi, Alessandro; Ferrante, Simona
RF-WAVEGUARD: Enhancing UAV Security Against Signal Jamming Attacks through Radio Frequency Watermarking
2024-01-01 Hidawi, Khaoula; Tornaghi, Omar; Carminati, Barbara; Ferrari, Elena
PriApp-Install: Learning User Privacy Preferences on Mobile Apps' Installation
2022-01-01 Son, HA XUAN; Carminati, Barbara; Ferrari, Elena
La gestione del paziente psoriasico con fattori di rischio cardiovascolare
2024-01-01 Carugno, Andrea
Automatic Optimization-Based Calibration Using Genetic Algorithms: A Case Study of a School Energy Model
2024-01-01 Campagna, L. M.; Carlucci, F.; Carlucci, S.; Fiorito, F.
A Serverless Architecture for Efficient and Scalable Monte Carlo Markov Chain Computation
2023-01-01 Castagna, F.; Trombetta, A.; Landoni, M.; Andreon, S.
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property
2024-01-01 Fiorentini, Camillo; Ferrari, Mauro
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
- Atti di Convegno3600
Data di pubblicazione
- In corso di stampa4
- 2020 - 2024393
- 2010 - 20191564
- 2000 - 20091061
- 1990 - 1999375
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...98
- Springer87
- IEEE Computer Society74
- IEEE70
- ACM48
- Springer Verlag43
- CEUR-WS26
- Optica Publishing Group (formerly...25
- CISA Publisher21
- Mimesis21
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL...3
- ACM INTERNATIONAL CONFERENCE PROC...1
- CLINICAL TOXICOLOGY1
- IEEE TRANSACTIONS ON NEURAL SYSTE...1
- INTERNATIONAL JOURNAL OF ENERGY P...1
- JAHRBUCH FÜR INTERNATIONALE GERMA...1
- LECTURE NOTES IN COMPUTER SCIENCE1
- NEUROCOMPUTING1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE56
- CEUR WORKSHOP PROCEEDINGS40
- Optics InfoBase Conference Papers36
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...14
- AIP CONFERENCE PROCEEDINGS12
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE7
Keyword
- MSW40
- Computer Networks and Communications22
- bio-drying21
- Physics and Astronomy (all)21
- Electrical and Electronic Enginee...20
- Computer Science (all)18
- Nuclear and High Energy Physics18
- SETI18
- selective collection17
- Software17
Lingua
- eng1205
- ita339
- fre17
- spa7
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3197
- reserved264
- open130
- restricted9