4.1 Contributo in Atti di convegno

4.1 Contributo in Atti di convegno: [12337] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.361 a 2.380 di 12.337

Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata

2017-01-01 Della Monica, Dario; Montanari, Angelo; Sala, Pietro

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

2017-01-01 Della Monica, Dario; de Frutos-Escrig, David; Montanari, Angelo; Aniello, Murano; Guido, Sciavicco

Proving continuity of coinductive global bisimulation distances: A never ending story

2015-01-01 Romero-Hernandez, D.; De Frutos-Escrig, D.; Della Monica, D.

Highly Efficient Hydrogenation Ruthenium and Osmium Catalysts based on Ampy type Ligands

2020-01-01 Ballico, Maurizio; Figliolia, Rosario; Baratta, Walter

Dal telaio al pannello(1940-1950). Sperimentazione nell’edilizia residenziale prefabbricata sovietica

2020-01-01 Bertolazzi, Angelo; Turrini, Umberto; Croatto, Giorgio; Chinellato, Francesco; Dorigatti, Giorgia; Petriccione, Livio

Turismo rurale e nuove tecnologie: tra opportunità e difficoltà. Il caso delle applicazioni lungo le vie d'acqua nelle campagne del Veneto (Italia)

2016-01-01 Visentin, Francesco

“Multifuncionalidad y retos de future en el paisaje cultural del regadio del Bajo Ter”,

2014-01-01 Visentin, F; Vallerani, F; Ribas, A; Pavon, D

Characterisations of quasi-metric semilattices and applications to intrinsic entropies

2021-01-01 Zava, Nicolo'

Zootecnia di montagna e alpeggio: un rapporto imprescindibile?

2019-01-01 Bovolenta, Stefano

Sugli ‘universali del contatto’ e le gerarchie di adottabilità

2020-01-01 Costantini, Francesco

Image Anomaly Detection by Aggregating Deep Pyramidal Representations

2021-01-01 Mishra, P.; Piciarelli, C.; Foresti, G. L.

Alternative food networks in West Cork (Ireland)

2018-01-01 Benvenuto, Caterina; Piani, Lucia

The solidarity economy in local governance systems

2018-01-01 Piani, Lucia; Guerra, Valentina

Milk yield and greenhouse gases emission in mountain dairy cattle systems: an ambiguous relationship

2020-01-01 Berton, M.; Bovolenta, S.; Corazzin, M.; Gallo, L.; Ramanzin, M.; Spigarelli, C.; Zuliani, A.; Sturaro, E.

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.

Genetic algorithm for calibration and leakage identification in water distribution system

2020-01-01 Nicolini, M.; Falcomer, L.

Vibration measurements with multiple cameras

2020-01-01 Del Sal, R; Dal Bo, L; Turco, E; Fusiello, A; Zanarini, A; Rinaldo, R; Gardonio, P

Vibration control with electromagnetic and piezoelectric time-varying vibration absorbers: a comparative experimental study

2020-01-01 Dal Bo, L; Turco, E; Gardonio, P

Applicazioni digitali e patrimonio della nautica tradizionale: il paesaggio ereditato delle vie d'acqua navigabili della Serenissima

2019-01-01 Visentin, Francesco; Eriberto, Eulisse

Vibration control units with piezoelectric patches and multi-resonant shunts set to maximize electric power absorption

2020-01-01 Konda Rodrigues, G; Dal Bo, L; Turco, E; Gardonio, P

Titolo	Data di pubblicazione	Autore(i)
Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata	1-gen-2017	Della Monica, Dario; Montanari, Angelo; Sala, Pietro
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking	1-gen-2017	Della Monica, Dario; de Frutos-Escrig, David; Montanari, Angelo; Aniello, Murano; Guido, Sciavicco
Proving continuity of coinductive global bisimulation distances: A never ending story	1-gen-2015	Romero-Hernandez, D.; De Frutos-Escrig, D.; Della Monica, D.
Highly Efficient Hydrogenation Ruthenium and Osmium Catalysts based on Ampy type Ligands	1-gen-2020	Ballico, Maurizio; Figliolia, Rosario; Baratta, Walter
Dal telaio al pannello(1940-1950). Sperimentazione nell’edilizia residenziale prefabbricata sovietica	1-gen-2020	Bertolazzi, Angelo; Turrini, Umberto; Croatto, Giorgio; Chinellato, Francesco; Dorigatti, Giorgia; Petriccione, Livio
Turismo rurale e nuove tecnologie: tra opportunità e difficoltà. Il caso delle applicazioni lungo le vie d'acqua nelle campagne del Veneto (Italia)	1-gen-2016	Visentin, Francesco
“Multifuncionalidad y retos de future en el paisaje cultural del regadio del Bajo Ter”,	1-gen-2014	Visentin, F; Vallerani, F; Ribas, A; Pavon, D
Characterisations of quasi-metric semilattices and applications to intrinsic entropies	1-gen-2021	Zava, Nicolo'
Zootecnia di montagna e alpeggio: un rapporto imprescindibile?	1-gen-2019	Bovolenta, Stefano
Sugli ‘universali del contatto’ e le gerarchie di adottabilità	1-gen-2020	Costantini, Francesco
Image Anomaly Detection by Aggregating Deep Pyramidal Representations	1-gen-2021	Mishra, P.; Piciarelli, C.; Foresti, G. L.
Alternative food networks in West Cork (Ireland)	1-gen-2018	Benvenuto, Caterina; Piani, Lucia
The solidarity economy in local governance systems	1-gen-2018	Piani, Lucia; Guerra, Valentina
Milk yield and greenhouse gases emission in mountain dairy cattle systems: an ambiguous relationship	1-gen-2020	Berton, M.; Bovolenta, S.; Corazzin, M.; Gallo, L.; Ramanzin, M.; Spigarelli, C.; Zuliani, A.; Sturaro, E.
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.
Genetic algorithm for calibration and leakage identification in water distribution system	1-gen-2020	Nicolini, M.; Falcomer, L.
Vibration measurements with multiple cameras	1-gen-2020	Del Sal, R; Dal Bo, L; Turco, E; Fusiello, A; Zanarini, A; Rinaldo, R; Gardonio, P
Vibration control with electromagnetic and piezoelectric time-varying vibration absorbers: a comparative experimental study	1-gen-2020	Dal Bo, L; Turco, E; Gardonio, P
Applicazioni digitali e patrimonio della nautica tradizionale: il paesaggio ereditato delle vie d'acqua navigabili della Serenissima	1-gen-2019	Visentin, Francesco; Eriberto, Eulisse
Vibration control units with piezoelectric patches and multi-resonant shunts set to maximize electric power absorption	1-gen-2020	Konda Rodrigues, G; Dal Bo, L; Turco, E; Gardonio, P

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.361 a 2.380 di 12.337

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

Accesso al fulltext

no fulltext10220
reserved1262
open795
partially open55
restricted4
embargoed1