Reactive Synthesis from Extended Bounded Response LTL Specifications
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
An Energy-Efficient Low-Voltage Swing Transceiver for mW-Range IoT End-Nodes
2020-01-01 Okuhara, Hayate; Elnaqib, Ahmed; Rossi, Davide; Di Mauro, Alfio; Mayer, Philipp; Palestri, Pierpaolo; Benini, Luca
Delivering an online course on ‘Health emergency from Sars-cov-2, the novel coronavirus: preparation and contrast’ for health professions students at Italian Universities
2020-01-01 Galeoto, Giovanni; Berardi, Anna; Tofani, Marco; Saiani, Luisa; Palese, Alvisa; Valente, Donatella
Can the Crowd Identify Misinformation Objectively?: The Effects of Judgment Scale and Assessor's Background
2020-01-01 Roitero, K.; Soprano, M.; Fan, S.; Spina, D.; Mizzaro, S.; Demartini, G.
Design and evaluation of extreme moisture reference years for moisture-related risk assessments
2020-01-01 Libralato, M.; Pernigotto, G.; Prada, A.; de Angelis, A.; Saro, O.; Gasparella, A.
NTIRE 2020 challenge on real-world image super-resolution: Methods and results
2020-01-01 Lugmayr, A.; Danelljan, M.; Timofte, R.; Ahn, N.; Bai, D.; Cai, J.; Cao, Y.; Chen, J.; Cheng, K.; Chun, S.; Deng, W.; El-Khamy, M.; Ho, C. M.; Ji, X.; Kheradmand, A.; Kim, G.; Ko, H.; Lee, K.; Lee, J.; Li, H.; Liu, Z.; Liu, Z. -S.; Liu, S.; Lu, Y.; Meng, Z.; Michelini, P. N.; Micheloni, C.; Prajapati, K.; Ren, H.; Seo, Y. H.; Siu, W. -C.; Sohn, K. -A.; Tai, Y.; Umer, R. M.; Wang, S.; Wang, H.; Wu, T. H.; Wu, H.; Yang, B.; Yang, F.; Yoo, J.; Zhao, T.; Zhou, Y.; Zhuo, H.; Zong, Z.; Zou, X.
On a temporal logic of prefixes and infixes
2020-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Analytical Modelling and Optimization of DAB Converters Considering the Steady-State Behavior and All Degrees of Freedom
2020-01-01 Fiaz, M. F.; Calligaro, S.; Petrella, R.
Deep generative adversarial residual convolutional networks for real-world super-resolution
2020-01-01 Muhammad Umer, R.; Luca Foresti, G.; Micheloni, C.
Numerical and experimental study on the impact of humidity on the thermal behavior of insulated timber walls
2020-01-01 Danovska, M.; Libralato, M.; Pernigotto, G.; de Angelis, A.; Saro, O.; Baggio, P.; Gasparella, A.
A new similarity measure for low-sampling cellular fingerprint trajectories
2020-01-01 Gallo, P.; Gubiani, D.; Montanari, A.; Saccomanno, N.
Optimization of radio frequency assisted freezing and its effects during cooking
2020-01-01 Anese, M.; Alongi, M.; Cortella, G.; Manzocco, L.
Tra storia e letteratura. Filippo Zamboni «ultimo […] dei dantisti militanti del Risorgimento» (e Carducci, Slataper, Svevo)
2017-01-01 Norbedo, Roberto
New data on the active tectonics in Friuli.
2019-01-01 Poli, M. E.; Falcucci, E.; Galadini, F.; Gori, S.; Monegato, G.; Patricelli, G.; Zanferrari, A.
Improvement of acoustic localization using a short Time Spectral Attenuation with a novel suppression rule
2009-01-01 Salvati, D.; Canazza, S.
Sound spatialization control by means of acoustic source localization system
2011-01-01 Salvati, D.; Canazza, S.; Roda, A.
A sound localization based interface for real-time control of audio processing
2011-01-01 Salvati, D.; Canazza, S.; Roda, A.
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
2020-01-01 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
I luoghi delle lingue: dialogo interculturale negli spazi transnazionali. Places of Languages: intercultural dialogue in transnational spaces
2016-01-01 Altin, Roberta; Virgilio, Flavia; Zinant, Luisa
Umiliani, Troviajoli and Rota: The Jazz film score of “Boccaccio ‘70”
2019-01-01 Ianniello, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reactive Synthesis from Extended Bounded Response LTL Specifications | 1-gen-2020 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| An Energy-Efficient Low-Voltage Swing Transceiver for mW-Range IoT End-Nodes | 1-gen-2020 | Okuhara, Hayate; Elnaqib, Ahmed; Rossi, Davide; Di Mauro, Alfio; Mayer, Philipp; Palestri, Pierpaolo; Benini, Luca | |
| Delivering an online course on ‘Health emergency from Sars-cov-2, the novel coronavirus: preparation and contrast’ for health professions students at Italian Universities | 1-gen-2020 | Galeoto, Giovanni; Berardi, Anna; Tofani, Marco; Saiani, Luisa; Palese, Alvisa; Valente, Donatella | |
| Can the Crowd Identify Misinformation Objectively?: The Effects of Judgment Scale and Assessor's Background | 1-gen-2020 | Roitero, K.; Soprano, M.; Fan, S.; Spina, D.; Mizzaro, S.; Demartini, G. | |
| Design and evaluation of extreme moisture reference years for moisture-related risk assessments | 1-gen-2020 | Libralato, M.; Pernigotto, G.; Prada, A.; de Angelis, A.; Saro, O.; Gasparella, A. | |
| NTIRE 2020 challenge on real-world image super-resolution: Methods and results | 1-gen-2020 | Lugmayr, A.; Danelljan, M.; Timofte, R.; Ahn, N.; Bai, D.; Cai, J.; Cao, Y.; Chen, J.; Cheng, K.; Chun, S.; Deng, W.; El-Khamy, M.; Ho, C. M.; Ji, X.; Kheradmand, A.; Kim, G.; Ko, H.; Lee, K.; Lee, J.; Li, H.; Liu, Z.; Liu, Z. -S.; Liu, S.; Lu, Y.; Meng, Z.; Michelini, P. N.; Micheloni, C.; Prajapati, K.; Ren, H.; Seo, Y. H.; Siu, W. -C.; Sohn, K. -A.; Tai, Y.; Umer, R. M.; Wang, S.; Wang, H.; Wu, T. H.; Wu, H.; Yang, B.; Yang, F.; Yoo, J.; Zhao, T.; Zhou, Y.; Zhuo, H.; Zong, Z.; Zou, X. | |
| On a temporal logic of prefixes and infixes | 1-gen-2020 | Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P. | |
| Analytical Modelling and Optimization of DAB Converters Considering the Steady-State Behavior and All Degrees of Freedom | 1-gen-2020 | Fiaz, M. F.; Calligaro, S.; Petrella, R. | |
| Deep generative adversarial residual convolutional networks for real-world super-resolution | 1-gen-2020 | Muhammad Umer, R.; Luca Foresti, G.; Micheloni, C. | |
| Numerical and experimental study on the impact of humidity on the thermal behavior of insulated timber walls | 1-gen-2020 | Danovska, M.; Libralato, M.; Pernigotto, G.; de Angelis, A.; Saro, O.; Baggio, P.; Gasparella, A. | |
| A new similarity measure for low-sampling cellular fingerprint trajectories | 1-gen-2020 | Gallo, P.; Gubiani, D.; Montanari, A.; Saccomanno, N. | |
| Optimization of radio frequency assisted freezing and its effects during cooking | 1-gen-2020 | Anese, M.; Alongi, M.; Cortella, G.; Manzocco, L. | |
| Tra storia e letteratura. Filippo Zamboni «ultimo […] dei dantisti militanti del Risorgimento» (e Carducci, Slataper, Svevo) | 1-gen-2017 | Norbedo, Roberto | |
| New data on the active tectonics in Friuli. | 1-gen-2019 | Poli, M. E.; Falcucci, E.; Galadini, F.; Gori, S.; Monegato, G.; Patricelli, G.; Zanferrari, A. | |
| Improvement of acoustic localization using a short Time Spectral Attenuation with a novel suppression rule | 1-gen-2009 | Salvati, D.; Canazza, S. | |
| Sound spatialization control by means of acoustic source localization system | 1-gen-2011 | Salvati, D.; Canazza, S.; Roda, A. | |
| A sound localization based interface for real-time control of audio processing | 1-gen-2011 | Salvati, D.; Canazza, S.; Roda, A. | |
| Decidability and Complexity of Action-Based Temporal Planning over Dense Time | 1-gen-2020 | Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico | |
| I luoghi delle lingue: dialogo interculturale negli spazi transnazionali. Places of Languages: intercultural dialogue in transnational spaces | 1-gen-2016 | Altin, Roberta; Virgilio, Flavia; Zinant, Luisa | |
| Umiliani, Troviajoli and Rota: The Jazz film score of “Boccaccio ‘70” | 1-gen-2019 | Ianniello, Armando |
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 ...12337
Data di pubblicazione
- In corso di stampa23
- 2020 - 20272067
- 2010 - 20193793
- 2000 - 20094359
- 1990 - 19991637
- 1980 - 1989430
- 1970 - 197927
Editore
- Institute of Electrical and Elect...389
- IEEE181
- Springer178
- Springer Science and Business Med...154
- CEUR-WS121
- Springer Verlag108
- Sissa Medialab Srl107
- Forum Editrice Universitaria Udinese76
- IEEE Computer Society62
- Springer-Verlag61
Rivista
- POS PROCEEDINGS OF SCIENCE125
- LECTURE NOTES IN COMPUTER SCIENCE123
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- MINERVA ANESTESIOLOGICA61
- ACTA HORTICULTURAE39
- CEUR WORKSHOP PROCEEDINGS33
- ELECTRONIC NOTES IN THEORETICAL C...22
- INTERNATIONAL ARCHIVES OF THE PHO...22
- ELECTRONIC PROCEEDINGS IN THEORET...20
- SABIEDRIBA, INTEGRACIJA, IZGLITIBA20
Serie
- LECTURE NOTES IN COMPUTER SCIENCE177
- CEUR WORKSHOP PROCEEDINGS141
- LECTURE NOTES IN ARTIFICIAL INTEL...52
- MECHANISMS AND MACHINE SCIENCE33
- LEIBNIZ INTERNATIONAL PROCEEDINGS...25
- CONFERENCE PROCEEDINGS - IEEE APP...23
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- SCIENCE ET TECHNIQUE DU FROID19
- LECTURE NOTES IN CIVIL ENGINEERING18
- PROCEEDINGS OF THE IEEE CONFERENC...18
Keyword
- Electrical and Electronic Enginee...63
- Computer Science (all)54
- Computer Science Applications1707...44
- Physics and Astronomy (all)44
- Mechanical Engineering38
- Software35
- Musica per film34
- Theoretical Computer Science34
- Computer Networks and Communications30
- Electronic30
Lingua
- eng7389
- ita3025
- und74
- fre71
- spa44
- ger34
- slv12
- lat10
- rus7
- mul5
Accesso al fulltext
- no fulltext10220
- reserved1262
- open795
- partially open55
- restricted4
- embargoed1