Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
2020-01-01 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
Model-based Analysis Support for Dependable Complex Systems in CHESS
2021-01-01 Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto
Why Is Network Reselection an Issue for Cross-Border Vehicular Applications?
2020-01-01 Centenaro, Marco; Fedrizzi, Riccardo; Vangelista, Lorenzo
An architecture-independent data model for managing information generated by human-chatbot interactions
2020-01-01 Luca, M.; Montresor, A.; Caprini, C.; Miorandi, D.
Online multi-target tracking with strong and weak detections
2016-01-01 Sanchez-Matilla, R.; Poiesi, F.; Cavallaro, A.
Combining NLP Approaches for Rule Extraction from Legal Documents
2016-01-01 Dragoni, Mauro; Villata, Serena; Rizzi, Williams; Governatori, Guido
Exploiting General-Purpose In-Game Behaviours to Predict Players Churn in Gameful Systems
2019-01-01 Loria, Enrica; Paissan, Francesco; Marconi, Annapaola
A Data-Driven Approach to Deduce Players’ Preferences from In-Game Interactions in Gameful Systems
2019-01-01 Loria, Enrica; Marconi, Annapaola
Do they Play as Intended? - Comparing Aggregated and Temporal Behavioral Analysis in a Persuasive Gamified System
2021-01-01 Loria, Enrica; Rivera, Jessica; Marconi, Annapaola
Distributed Cloud Intelligence: Implementing An ETSI MANO-Compliant Predictive Cloud Bursting Solution using Openstack and Kubernetes
2020-01-01 Faticanti, Francescomaria; Zormpas, Jason; Drozdov, Sergey; Rausch, Kewin; Avila García, Orlando; Sardis, Fragkiskos; Cretti, Silvio; Amiribesheli, Mohsen; Siracusa, Domenico
Speech Enhancement Using Dilated Wave-U-Net: an Experimental Analysis
2020-01-01 Nabih Ali Mohamed Nawar, Mohamed; Brutti, Alessio; Falavigna, Giuseppe Daniele
Multi-view Data Capture using Edge-synchronised Mobiles
2020-01-01 Poiesi, Fabio; Messelodi, Stefano; Chippendale, Paul; Bortolon, Matteo
Breeding Gender-aware Direct Speech Translation Systems
2020-01-01 Gaido, Marco; Savoldi, Beatrice; Bentivogli, Luisa; Negri, Matteo; Turchi, Marco
Blockchain Tree for eHealth
2019-01-01 Kushch, Sergii; Ranise, Silvio; Sciarretta, Giada
Vineyard Autonomous Navigation in the Echord++ GRAPE Experiment
2018-01-01 Astolfi, P.; Gabrielli, A.; Bascetta, L.; Matteucci, M.
Overview of the Interspeech TLT2020 Shared Task onASR for Non-Native Children’s Speech
2020-01-01 Gretter, Roberto; Matassoni, Marco; Falavigna, Giuseppe Daniele; Evanini, Keelan; Wee Leong, Chee
Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem
2020-01-01 Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio
Digging into Business Process Meta-models: A First Ontological Analysis
2020-01-01 Adamo, Greta; Di Francescomarino, Chiara; Ghidini, Chiara
Reasoning on incomplete execution traces using action languages - A first report
2015-01-01 Di Francescomarino, C.; Ghidini, C.; Tessaris, S.; Sandoval, I. V.
Evidence of mechanical degradation in microelectromechanical switches subjected to long-Term stresses
2017-01-01 Barbato, M.; Mulloni, V.; Barbato, A.; Silvestrini, M.; Cester, A.; Meneghesso, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Computation of the Transient in Max-Plus Linear Systems via SMT-Solving | 1-gen-2020 | Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul | |
| Model-based Analysis Support for Dependable Complex Systems in CHESS | 1-gen-2021 | Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto | |
| Why Is Network Reselection an Issue for Cross-Border Vehicular Applications? | 1-gen-2020 | Centenaro, Marco; Fedrizzi, Riccardo; Vangelista, Lorenzo | |
| An architecture-independent data model for managing information generated by human-chatbot interactions | 1-gen-2020 | Luca, M.; Montresor, A.; Caprini, C.; Miorandi, D. | |
| Online multi-target tracking with strong and weak detections | 1-gen-2016 | Sanchez-Matilla, R.; Poiesi, F.; Cavallaro, A. | |
| Combining NLP Approaches for Rule Extraction from Legal Documents | 1-gen-2016 | Dragoni, Mauro; Villata, Serena; Rizzi, Williams; Governatori, Guido | |
| Exploiting General-Purpose In-Game Behaviours to Predict Players Churn in Gameful Systems | 1-gen-2019 | Loria, Enrica; Paissan, Francesco; Marconi, Annapaola | |
| A Data-Driven Approach to Deduce Players’ Preferences from In-Game Interactions in Gameful Systems | 1-gen-2019 | Loria, Enrica; Marconi, Annapaola | |
| Do they Play as Intended? - Comparing Aggregated and Temporal Behavioral Analysis in a Persuasive Gamified System | 1-gen-2021 | Loria, Enrica; Rivera, Jessica; Marconi, Annapaola | |
| Distributed Cloud Intelligence: Implementing An ETSI MANO-Compliant Predictive Cloud Bursting Solution using Openstack and Kubernetes | 1-gen-2020 | Faticanti, Francescomaria; Zormpas, Jason; Drozdov, Sergey; Rausch, Kewin; Avila García, Orlando; Sardis, Fragkiskos; Cretti, Silvio; Amiribesheli, Mohsen; Siracusa, Domenico | |
| Speech Enhancement Using Dilated Wave-U-Net: an Experimental Analysis | 1-gen-2020 | Nabih Ali Mohamed Nawar, Mohamed; Brutti, Alessio; Falavigna, Giuseppe Daniele | |
| Multi-view Data Capture using Edge-synchronised Mobiles | 1-gen-2020 | Poiesi, Fabio; Messelodi, Stefano; Chippendale, Paul; Bortolon, Matteo | |
| Breeding Gender-aware Direct Speech Translation Systems | 1-gen-2020 | Gaido, Marco; Savoldi, Beatrice; Bentivogli, Luisa; Negri, Matteo; Turchi, Marco | |
| Blockchain Tree for eHealth | 1-gen-2019 | Kushch, Sergii; Ranise, Silvio; Sciarretta, Giada | |
| Vineyard Autonomous Navigation in the Echord++ GRAPE Experiment | 1-gen-2018 | Astolfi, P.; Gabrielli, A.; Bascetta, L.; Matteucci, M. | |
| Overview of the Interspeech TLT2020 Shared Task onASR for Non-Native Children’s Speech | 1-gen-2020 | Gretter, Roberto; Matassoni, Marco; Falavigna, Giuseppe Daniele; Evanini, Keelan; Wee Leong, Chee | |
| Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem | 1-gen-2020 | Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio | |
| Digging into Business Process Meta-models: A First Ontological Analysis | 1-gen-2020 | Adamo, Greta; Di Francescomarino, Chiara; Ghidini, Chiara | |
| Reasoning on incomplete execution traces using action languages - A first report | 1-gen-2015 | Di Francescomarino, C.; Ghidini, C.; Tessaris, S.; Sandoval, I. V. | |
| Evidence of mechanical degradation in microelectromechanical switches subjected to long-Term stresses | 1-gen-2017 | Barbato, M.; Mulloni, V.; Barbato, A.; Silvestrini, M.; Cester, A.; Meneghesso, G. |
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
- 4 Contributo in Atti di Convegno ...7921
Data di pubblicazione
- In corso di stampa5
- 2020 - 20261542
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...92
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE230
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6417
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6827
- open476
- restricted450
- reserved165
- partially open2
- mixed1