RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 11 - 20 di 422 (tempo di esecuzione: 0.106 secondi).
Titolo Data di pubblicazione Autore(i) File
A computable and compositional semantics for hybrid automata 1-gen-2020 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 1-gen-2021 Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola
A containerized ROS-compliant verification environment for robotic systems 1-gen-2021 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
A context-based approach for partitioning big data 1-gen-2020 Migliorini, S.; Belussi, A.; Quintarelli, E.; Carra, D.
A Decidable Multi-agent Logic forReasoning About Actions, Instruments, and Norms 1-gen-2020 van Berkel, K; Lyon, T; Olivieri, F
A deep learning unsupervised approach for fault diagnosis of household appliances 1-gen-2020 Cordoni, Francesco Giuseppe; Bacchiega, Gianluca; Bondani, Giulio; Radu, Robert; Muradore, Riccardo
A Design Methodology of Multi-level Digital Twins 1-gen-2021 Centomo, Stefano; Avogaro, Andrea; Panato, Marco; Tadiello, Carlo; Fummi, Franco
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development 1-gen-2020 Leotta, Maurizio; Biagiola, Matteo; Ricca, Filippo; Ceccato, Mariano; Tonella, Paolo
A Framework for In-Vivo Testing of Mobile Applications 1-gen-2020 Ceccato, Mariano; Corradini, Davide; Gazzola, Luca; Meshesha Kifetew, Fitsum; Mariani, Leonardo; Orrù, Matteo; Tonella, Paolo
A Framework for Optimizing CPU-iGPUCommunication on Embedded Platforms 1-gen-2021 Lumpp, F.; Patel, Hiren; Bombieri, Nicola
Risultati 11 - 20 di 422 (tempo di esecuzione: 0.106 secondi).
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 04 Contributo in atti di convegno 422
  • 04 Contributo in atti di convegno... 422
Autore
  • FARINELLI, Alessandro 20
  • FIORINI, Paolo 19
  • MURADORE, Riccardo 17
  • FUMMI, Franco 14
  • CASTELLINI, ALBERTO 13
  • DALL'ALBA, Diego 13
  • Ceccato, Mariano 12
  • MURINO, Vittorio 12
  • VILLA, Tiziano 11
  • MENEGAZ, Gloria 10
Data di pubblicazione
  • 2021 231
  • 2020 191
Editore
  • IEEE 25
  • IEEE COMPUTER SOC 12
  • Springer 5
  • ASSOC COMPUTING MACHINERY 4
  • CEUR 4
  • Società Italiana Marketing 4
  • Adi editore 3
  • IATED 3
  • IEEE Computer Society 3
  • inScience Press 3
Rivista
  • ELECTRONIC PROCEEDINGS IN THEORET... 3
  • PROCEDIA COMPUTER SCIENCE 2
  • EUROPEAN HEART JOURNAL 1
  • JOURNAL OF THE PERIPHERAL NERVOUS... 1
  • PROCEEDINGS - ACM-SIGMOD INTERNAT... 1
Serie
  • LECTURE NOTES IN ARTIFICIAL INTEL... 17
  • LECTURE NOTES IN COMPUTER SCIENCE 17
  • CEUR WORKSHOP PROCEEDINGS 10
  • INTERNATIONAL CONFERENCE ON PATTE... 4
  • PROCEEDINGS OF THE ... IEEE/RSJ I... 4
  • ADVANCES IN INTELLIGENT SYSTEMS A... 3
  • ICERI PROCEEDINGS 3
  • LEIBNIZ INTERNATIONAL PROCEEDINGS... 3
  • PROCEEDINGS INTERNATIONAL SYMPOSI... 3
  • AIP CONFERENCE PROCEEDINGS 2
Keyword
  • data management 6
  • machine learning 6
  • POMCP 6
  • Covid-19 5
  • Robotics 5
  • Static analysis 5
  • blockchain 4
  • knowledge graph 4
  • Knowledge representation 4
  • POMDP 4
Lingua
  • eng 356
  • ita 57
  • fre 5
  • spa 4
  • afh 1
  • enm 1
Accesso al fulltext
  • no fulltext 250
  • restricted 77
  • open 75
  • reserved 20