A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic
2023 Conradie, Willem; Monego, Riccardo; Muñoz-Velasco, Emilio; Sciavicco, Guido; Eduard Stan, Ionel
Evolutionary Explainable Rule Extraction from (Modal) Random Forests
2023 Ghiotti, Michele; Manzella, Federico; Pagliarini, Giovanni; Sciavicco, Guido; Eduard Stan, Ionel
A Neuro-Symbolic Artificial Intelligence Network Intrusion Detection System
2024 Bizzarri, A.; Jalaian, B.; Riguzzi, F.; Bastian, N. D.
On Modal Logic Formulae Minimization
2024 Pagliarini, Giovanni; Paradiso, Andrea; Sciavicco, Guido; Eduard Stan, Ionel
Logic Programming for Knowledge Graph Completion
2024 Azzolini, D.; Bonato, M.; Gentili, E.; Riguzzi, F.
Graphical Recognition of Antiderivatives: Analysis of Different Strategies Reflecting Level of Expertise Using Eye-Tracker Tool
2024 Casalvieri, C.; Gambini, A.; Spagnolo, C.; Viola, G.
Comparison between students’ and teachers’ perceived difficulty of a mathematical task: an introductive investigation
2024 Nicchiotti, Bianca; Spagnolo, Camilla
A New Proof of the Geometric Sobolev Embedding for Generalised Kolmogorov Operators
2024 Garofalo, Nicola; Tralli, Giulio
Learning the Parameters of Probabilistic Answer Set Programs
2024 Azzolini, D.; Bellodi, E.; Riguzzi, F.
Formative Assessment in LDL Workshop Activities: Engaging Teachers in a Training Program
2022 Spagnolo, C; Giglio, R; Tiralongo, S; Bolondi, G
Computational Storage for 3D NAND Flash Error Recovery Flow Prediction
2024 Zambelli, C.; Miola, A.; Calore, E.; Micheloni, R.; Schifano, S. F.
A Post-Modern Approach to Automatic Metaphor Identification
2023 Del Fante, Dario; Manzella, Federico; Sciavicco, Guido; Stan, Eduard
A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs
2023 Azzolini, D.
L’attività di Fabio Conforto all’INAC
2023 Lugaresi, M.
Starting from the History of Mathematics in Late Modern Italy (XVIII-XX centuries): from primary sources to mathematical concepts
2023 Lazzari, E.; Lugaresi, M.; Magrone, P.; Scalambro, E.
Starting from the History of Mathematics in Late Modern Italy (XVIII-XX centuries): From primaryy sources to mathematical concepts
2023 Lugaresi, M; Lazzari, E; Scalambro, E; Magrone, P
Machine learning for recognition of individuals from motion capture time series: performance and explainability
2023 Galdi, E. M.; Alberti, M.; D'Ausilio, A.; Tomassini, A.
Fabio Conforto (1909-1954): His Scientific and Academic Career at the University of Rome
2023 Lugaresi, M.
Summary of Statistical Statements in Probabilistic Logic Programming
2023 Azzolini, D.; Bellodi, E.; Riguzzi, F.
On the Development of PASTA: Inference in Probabilistic Answer Set Programming under the Credal Semantics
2023 Azzolini, D.
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Atto di Convegno (Proceedings)10413
Data di pubblicazione
- In corso di stampa27
- 2020 - 20261559
- 2010 - 20193412
- 2000 - 20093915
- 1990 - 19991215
- 1980 - 1989268
- 1970 - 197916
- 1966 - 19691
Editore
- IEEE714
- Institute of Electrical and Elect...352
- Springer193
- Associazione Italiana di Acustica117
- American Society of Mechanical En...100
- ASME93
- ---81
- Giappichelli61
- IEEE Computer Society56
- Springer Verlag51
Rivista
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- IFAC PROCEEDINGS VOLUMES8
- LECTURE NOTES IN COMPUTER SCIENCE8
- RENDICONTI ONLINE DELLA SOCIETÀ G...8
- PROCEEDINGS EURONOISE6
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...5
- PLINIUS5
- AIP CONFERENCE PROCEEDINGS4
- IAHS PUBLICATION4
- JOURNAL OF PHYSICS. CONFERENCE SE...4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE87
- CEUR WORKSHOP PROCEEDINGS69
- PROCEEDINGS OF SPIE, THE INTERNAT...41
- DISÉGNO - OPEN ACCESS29
- ADVANCES IN INTELLIGENT SYSTEMS A...26
- LECTURE NOTES IN NETWORKS AND SYS...22
- AIP CONFERENCE PROCEEDINGS21
- IFAC-PAPERSONLINE18
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...16
- IEEE INTERNATIONAL CONFERENCE ON ...13
Keyword
- Ferrara57
- Electrical and Electronic Enginee...43
- Rinascimento37
- acne36
- Cultural Heritage35
- Probabilistic Logic Programming26
- Computer Networks and Communications25
- Fault diagnosis25
- fault diagnosis23
- iconografia23
Lingua
- eng6724
- ita3608
- fre122
- spa48
- ger32
- por17
- enm3
- rus3
- tur3
- chi2
Accesso al fulltext
- no fulltext8504
- reserved1106
- open702
- partially open100
- mixed1