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
Quasi-stationary hydrodynamics in high repetition rate filamentation
2024-01-01 Loscher, R.; Kesim, D. K.; Schroeder, M. C.; Saraceno, C. J.; Moreno, V.; Wolf, J. -P.; Adamou, D.; Clerici, M.
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 Convegno3770
Data di pubblicazione
- In corso di stampa4
- 2020 - 2026527
- 2010 - 20191597
- 2000 - 20091063
- 1990 - 1999376
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...102
- Springer93
- IEEE Computer Society77
- IEEE72
- ACM50
- Springer Verlag45
- CEUR-WS27
- Optica Publishing Group (formerly...27
- WITPress23
- Springer Science and Business Med...22
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 SCIENCE66
- CEUR WORKSHOP PROCEEDINGS52
- Optics InfoBase Conference Papers38
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...17
- AIP CONFERENCE PROCEEDINGS13
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE8
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
- Software18
- selective collection17
Lingua
- eng1297
- ita361
- fre16
- spa7
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3332
- reserved291
- open137
- restricted10