Object Recognition as Classification via Visual Properties
2022-01-01 Giunchiglia, Fausto; Bagchi, Mayukh
An Architecture and a Methodology Enabling Interoperability within and across Universities
2022-01-01 Giunchiglia, Fausto; Maltese, Vincenzo; Ganbold, Amarsanaa; Zamboni, Alessio
SMT-based Weighted Model Integration with Structure Awareness
2022-01-01 Spallitta, Giuseppe; Masina, Gabriele; Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto
Topology-based Secret Key Generation for Underwater Acoustic Networks
2021-01-01 Diamant, R.; Casari, P.; Tomasin, S.
Authentication of Underwater Acoustic Transmissions via Machine Learning Techniques
2021-01-01 Bragagnolo, L.; Ardizzon, F.; Laurenti, N.; Casari, P.; Diamant, R.; Tomasin, S.
Closer than Close: MEC-Assisted Platooning with Intelligent Controller Migration
2021-01-01 Ayimba, Constantine; Segata, Michele; Casari, Paolo; Mancuso, Vincenzo
Conceptualising Resources-aware Higher Education Digital Infrastructure through Self-hosting: a Multidisciplinary View
2022-01-01 Angeli, Lorenzo; Okur, Ö.; Corradini, Carlo; Stolin, M.; Huang, Y.; Brazier, F. M.; Marchese, Maurizio
Automatic Detection of Speculative Execution Combinations
2022-01-01 Fabian, Xaver; Guarnieri, Marco; Patrignani, Marco
On the feasibility of detecting injections in malicious npm packages
2022-01-01 Scalco, Simone; Paramitha, Ranindya; Vu Duc, Ly; Massacci, Fabio
ACT-Thor: A Controlled Benchmark for Embodied Action Understanding in Simulated Environments
2022-01-01 Hanna, Michael; Pedeni, Federico; Testoni, Alberto; Suglia, Alessandro; Bernardi, Raffaella
Probability Distributions as a Litmus Test to Inspect NNs Grounding Skills
2022-01-01 Lucassen, A. J.; Testoni, A.; Bernardi, Raffaella
A Small but Informed and Diverse Model: The Case of the Multimodal GuessWhat!? Guessing Game
2022-01-01 Greco, Claudio; Testoni, Alberto; Bernardi, Raffaella; Frank, Stella
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
2022-01-01 Cimatti, A.; Griggio, A.; Lipparini, E.; Sebastiani, R.
Foothold Evaluation Criterion for Dynamic Transition Feasibility for Quadruped Robots
2022-01-01 Clemente, L.; Villarreal, O.; Bratta, A.; Focchi, M.; Barasuol, V.; Muscolo, G. G.; Semini, C.
WiP: Metamodel for Continuous Authorisation and Usage Control
2022-01-01 Hariri, Ali; Ibrahim, Amjad; Dimitrakos, Theo; Crispo, Bruno
SYMMETRY-ART: A STEAM TRAINING WORKSHOP FOR PRIMARY SCHOOL TEACHERS
2021-01-01 Blanco, Teresa; Gonzalez Roel, Valeria; Branchetti, Laura; Capone Roberto, &; Gaio, Aaron
GENERALIZATION AND CONCEPTUALIZATION IN A STEAM TEACHING LEARNING SEQUENCE FOR PRIMARY SCHOOL ABOUT AXIAL SYMMETRY
2021-01-01 Gaio, Aaron; Branchetti, Laura; González Roel, Valeria; Capone, Roberto
The role of filter breathability in reducing the fraction of exhaled air leaking from surgical and community face masks
2022-01-01 Chiera, S.; Cristoforetti, A.; Benedetti, L.; Borro, L.; Mazzei, L.; Nollo, G.; Tessarolo, F.
Symboleo2SC: From Legal Contract Specifications to Smart Contracts
2022-01-01 Rasti, A.; Amyot, D.; Parvizimosaed, A.; Roveri, M.; Logrippo, L.; Anda, A. A.; Mylopoulos, J.
A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision
2022-01-01 Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano
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 Convegni (Proceedings)20265
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263332
- 2010 - 20197200
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2262
- Institute of Electrical and Elect...957
- Springer898
- ACM387
- IEEE Computer Society313
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery163
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE680
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...176
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...92
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15200
- ita3561
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15008
- reserved3240
- open1521
- partially open488
- mixed8
- embargoed2