Sfoglia per Serie
Calculating the Mind Change Complexity of Learning Algebraic Structures
2022-01-01 Bazhenov, N.; Cipriani, V.; San Mauro, L.
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, Marino; Pasqua, Michele
Composable Partial Multiparty Session Types
2021-01-01 Stolze, C.; Miculan, M.; Di Gianantonio, P.
Computing Embeddings of Directed Bigraphs
2020-01-01 Chiapperini, A.; Miculan, M.; Peressotti, M.
A Conditional Logical Framework
2008-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
Context and Interference Effects in the Combinations of Natural Concepts
2017-01-01 Aerts, Diederik; Aerts, Jonito; Beltran, Lester; Distrito, Isaac; Sassoli de Bianchi, Massimiliano; Sozzo, Sandro; Veloz, Tomas
Crowdsourcing truthfulness: The impact of judgment scale and assessor bias
2020-01-01 La Barbera, D.; Roitero, K.; Demartini, G.; Mizzaro, S.; Spina, D.
Data Augmentation Techniques for the Video Question Answering Task
2020-01-01 Falcon, A.; Lanz, O.; Serra, G.
Decidability of interval temporal logics over split-frames via granularity
2002-01-01 Montanari, A.; Sciavicco, G.; Vitacolonna, N.
Deep Cyclic Generative Adversarial Residual Convolutional Networks for Real Image Super-Resolution
2020-01-01 Umer, R. M.; Micheloni, C.
Deep neural networks for real-time remote fall detection
2021-01-01 Apicella, A.; Snidaro, L.
Depthobj: A synthetic dataset for 3d mesh model retrieval
2021-01-01 Carrabino, F.; Snidaro, L.
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures
2022-01-01 Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R.
Efficient interaction with virtual worlds over IP
2001-01-01 Bernardini, Riccardo
The Eighth Visual Object Tracking VOT2020 Challenge Results
2020-01-01 Kristan, M.; Leonardis, A.; Matas, J.; Felsberg, M.; Pflugfelder, R.; Kamarainen, J. -K.; Danelljan, M.; Zajc, L. C.; Lukezic, A.; Drbohlav, O.; He, L.; Zhang, Y.; Yan, S.; Yang, J.; Fernandez, G.; Hauptmann, A.; Memarmoghadam, A.; Garcia-Martin, A.; Robinson, A.; Varfolomieiev, A.; Gebrehiwot, A. H.; Uzun, B.; Yan, B.; Li, B.; Qian, C.; Tsai, C. -Y.; Micheloni, C.; Wang, D.; Wang, F.; Xie, F.; Lawin, F. J.; Gustafsson, F.; Foresti, G. L.; Bhat, G.; Chen, G.; Ling, H.; Zhang, H.; Cevikalp, H.; Zhao, H.; Bai, H.; Kuchibhotla, H. C.; Saribas, H.; Fan, H.; Ghanei-Yakhdan, H.; Li, H.; Peng, H.; Lu, H.; Li, H.; Khaghani, J.; Bescos, J.; Li, J.; Fu, J.; Yu, J.; Xu, J.; Kittler, J.; Yin, J.; Lee, J.; Yu, K.; Liu, K.; Yang, K.; Dai, K.; Cheng, L.; Zhang, L.; Wang, L.; Wang, L.; Van Gool, L.; Bertinetto, L.; Dunnhofer, M.; Cheng, M.; Dasari, M. M.; Wang, N.; Wang, N.; Zhang, P.; Torr, P. H. S.; Wang, Q.; Timofte, R.; Gorthi, R. K. S.; Choi, S.; Marvasti-Zadeh, S. M.; Zhao, S.; Kasaei, S.; Qiu, S.; Chen, S.; Schon, T. B.; Xu, T.; Lu, W.; Hu, W.; Zhou, W.; Qiu, X.; Ke, X.; Wu, X. -J.; Zhang, X.; Yang, X.; Zhu, X.; Jiang, Y.; Wang, Y.; Chen, Y.; Ye, Y.; Li, Y.; Yao, Y.; Lee, Y.; Gu, Y.; Wang, Z.; Tang, Z.; Feng, Z. -H.; Mai, Z.; Zhang, Z.; Wu, Z.; Ma, Z.
Endless Knob with Programmable Resistive Force Feedback
2021-01-01 De Pra, Y.; Fontana, F.; Papetti, S.
An Epistemic Logic for Modular Development of Multi-Agent Systems
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
An Epistemic Logic for Multi-agent Systems with Budget and Costs
2021-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Experiencing Contemporary Art at a Distance
2021-01-01 Barricelli, B. R.; Varesano, A.; Carbi, G.; Clemmensen, T.; Foresti, G. L.; Nocera, J. A.; Ciric, M.; vander Veer, G.; Pittarello, F.; Nunes, N. J.; Bollini, L.; Verdeil, A.
Exploiting the meCUE Questionnaire to Enhance an Existing UX Evaluation Method Based on Mental Models
2019-01-01 Filippi, Stefano; Barattin, Daniela
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Calculating the Mind Change Complexity of Learning Algebraic Structures | 1-gen-2022 | Bazhenov, N.; Cipriani, V.; San Mauro, L. | |
A Calculus for Attribute-Based Memory Updates | 1-gen-2021 | Miculan, Marino; Pasqua, Michele | |
Composable Partial Multiparty Session Types | 1-gen-2021 | Stolze, C.; Miculan, M.; Di Gianantonio, P. | |
Computing Embeddings of Directed Bigraphs | 1-gen-2020 | Chiapperini, A.; Miculan, M.; Peressotti, M. | |
A Conditional Logical Framework | 1-gen-2008 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan | |
Context and Interference Effects in the Combinations of Natural Concepts | 1-gen-2017 | Aerts, Diederik; Aerts, Jonito; Beltran, Lester; Distrito, Isaac; Sassoli de Bianchi, Massimiliano; Sozzo, Sandro; Veloz, Tomas | |
Crowdsourcing truthfulness: The impact of judgment scale and assessor bias | 1-gen-2020 | La Barbera, D.; Roitero, K.; Demartini, G.; Mizzaro, S.; Spina, D. | |
Data Augmentation Techniques for the Video Question Answering Task | 1-gen-2020 | Falcon, A.; Lanz, O.; Serra, G. | |
Decidability of interval temporal logics over split-frames via granularity | 1-gen-2002 | Montanari, A.; Sciavicco, G.; Vitacolonna, N. | |
Deep Cyclic Generative Adversarial Residual Convolutional Networks for Real Image Super-Resolution | 1-gen-2020 | Umer, R. M.; Micheloni, C. | |
Deep neural networks for real-time remote fall detection | 1-gen-2021 | Apicella, A.; Snidaro, L. | |
Depthobj: A synthetic dataset for 3d mesh model retrieval | 1-gen-2021 | Carrabino, F.; Snidaro, L. | |
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures | 1-gen-2022 | Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R. | |
Efficient interaction with virtual worlds over IP | 1-gen-2001 | Bernardini, Riccardo | |
The Eighth Visual Object Tracking VOT2020 Challenge Results | 1-gen-2020 | Kristan, M.; Leonardis, A.; Matas, J.; Felsberg, M.; Pflugfelder, R.; Kamarainen, J. -K.; Danelljan, M.; Zajc, L. C.; Lukezic, A.; Drbohlav, O.; He, L.; Zhang, Y.; Yan, S.; Yang, J.; Fernandez, G.; Hauptmann, A.; Memarmoghadam, A.; Garcia-Martin, A.; Robinson, A.; Varfolomieiev, A.; Gebrehiwot, A. H.; Uzun, B.; Yan, B.; Li, B.; Qian, C.; Tsai, C. -Y.; Micheloni, C.; Wang, D.; Wang, F.; Xie, F.; Lawin, F. J.; Gustafsson, F.; Foresti, G. L.; Bhat, G.; Chen, G.; Ling, H.; Zhang, H.; Cevikalp, H.; Zhao, H.; Bai, H.; Kuchibhotla, H. C.; Saribas, H.; Fan, H.; Ghanei-Yakhdan, H.; Li, H.; Peng, H.; Lu, H.; Li, H.; Khaghani, J.; Bescos, J.; Li, J.; Fu, J.; Yu, J.; Xu, J.; Kittler, J.; Yin, J.; Lee, J.; Yu, K.; Liu, K.; Yang, K.; Dai, K.; Cheng, L.; Zhang, L.; Wang, L.; Wang, L.; Van Gool, L.; Bertinetto, L.; Dunnhofer, M.; Cheng, M.; Dasari, M. M.; Wang, N.; Wang, N.; Zhang, P.; Torr, P. H. S.; Wang, Q.; Timofte, R.; Gorthi, R. K. S.; Choi, S.; Marvasti-Zadeh, S. M.; Zhao, S.; Kasaei, S.; Qiu, S.; Chen, S.; Schon, T. B.; Xu, T.; Lu, W.; Hu, W.; Zhou, W.; Qiu, X.; Ke, X.; Wu, X. -J.; Zhang, X.; Yang, X.; Zhu, X.; Jiang, Y.; Wang, Y.; Chen, Y.; Ye, Y.; Li, Y.; Yao, Y.; Lee, Y.; Gu, Y.; Wang, Z.; Tang, Z.; Feng, Z. -H.; Mai, Z.; Zhang, Z.; Wu, Z.; Ma, Z. | |
Endless Knob with Programmable Resistive Force Feedback | 1-gen-2021 | De Pra, Y.; Fontana, F.; Papetti, S. | |
An Epistemic Logic for Modular Development of Multi-Agent Systems | 1-gen-2022 | Costantini, S.; Formisano, A.; Pitoni, V. | |
An Epistemic Logic for Multi-agent Systems with Budget and Costs | 1-gen-2021 | Costantini, S.; Formisano, A.; Pitoni, V. | |
Experiencing Contemporary Art at a Distance | 1-gen-2021 | Barricelli, B. R.; Varesano, A.; Carbi, G.; Clemmensen, T.; Foresti, G. L.; Nocera, J. A.; Ciric, M.; vander Veer, G.; Pittarello, F.; Nunes, N. J.; Bollini, L.; Verdeil, A. | |
Exploiting the meCUE Questionnaire to Enhance an Existing UX Evaluation Method Based on Mental Models | 1-gen-2019 | Filippi, Stefano; Barattin, Daniela |
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