Feasibility Assessment of Aquifer Thermal Energy Storage: A Case Study in Riva del Garda, Italy
2025-01-01 Manafi, Masoud; Cypaite, Vaiva; Ranaee, Ehsan; Inzoli, Fabio; Perego, Rodolfo; Godschalk, Bas; Franco Pinto, Nico; Oerlemans, Peter; Jansen, Frederik; Viesi, Diego
Dynamic Scoring with Enhanced Semantics for Training-Free Human-Object Interaction Detection
2025-01-01 Tonini, Francesco; Vaquero, Lorenzo; Conti, Alessandro; Beyan, Cigdem; Ricci, Elisa
Safety and Liveness on Finite Words
2025-01-01 Geatti, Luca; Pessotto, Stefano; Tonetta, Stefano
Certifying rlive: A New Proof Strategy for Liveness Model Checking
2025-01-01 Sindoni, Giulia; Griggio, Alberto; Tonetta, Stefano
Flexible glass planar structures fabricated by rf-sputtering
2025-01-01 Tran, L. T. N.; Lis, S. Sudha Maria; Sengottaiyan, R.; Carlotto, A.; Szczurek, A.; Dell'Anna, R.; Babiarczu, B.; Sayginer, O.; Varas, S.; Vinante, A.; Pietralunga, S. M.; Krzak, J.; Bursi, O. S.; Zonta, D.; Lukowiak, A.; Righini, G. C.; Sglavo, V. M.; Ferrari, M.; Chiasera, A.
On the effects of platinization of commercial titanium Porous Transport Layers in PEM water electrolysis cells
2025-01-01 Crespi, Elena; Di Gregorio, Giulia; Cheraiet, Takwa; Testi, Matteo
High-temperature electrolysis for industrial decarbonisation: a real-scale demonstration in the steel sector
2025-01-01 Fantini, Martina; Crespi, Elena; Denissenko, Andrei; Toivola, Minna; Leoncini, Claudio; Kaiser, Felix; Rossetti, Silvia; Mcphail, Stephen J.; Camarda, Giovanni; Guandalini, Giulio; Colbertaldo, Paolo; Campanari, Stefano
Proactive Data-driven Scheduling of Business Processes
2025-01-01 Meneghello, Francesca; Senderovich, Arik; Ronzani, Massimiliano; Di Francescomarino, Chiara; Ghidini, Chiara
TrenTeam at Multilingual Counterspeech Generation: Multilingual Passage Re-Ranking Approaches for Knowledge-Driven Counterspeech Generation Against Hate
2025-01-01 Russo, D.
Enhancing Device-Goal-Norm Modeling for Ambient Assisted Living with Large Language Models
2025-01-01 Sabatucci, Luca; Cossentino, Massimo; Di Napoli, Claudia; Susi, Angelo
Multi-perspective Next Event Prediction in PPM via Heterogeneous Graph Neural Networks
2025-01-01 Dissegna, Sebastiano; Di Francescomarino, Chiara; Ronzani, Massimiliano
Modeling and Synthesis of GPS Trajectories for Privacy-Preserving Mobility Data Generation
2025-01-01 Burzacchi, Arianna; Bellanger, Lise; Le Gall, Klervi; Stamm, Aymeric; Vantini, Simone
RF-MEMS as a Key Enabling Technology of 6G and Future Networks mMIMO Beamforming Architectures
2026-01-01 Tagliapietra, Girolamo; Donelli, Massimo; Manekyia, Mohammedhusen; Guha, Koushik; Angira, Mahesh; Bansal, Deepak; Iannacci, Jacopo
Infinite-State Liveness Checking with rlive
2025-01-01 Cimatti, Alessandro; Griggio, Alberto; Johannsen, Christopher; Rozier, Kristin Yvonne; Tonetta, Stefano
Faster and Better Simple Temporal Problems
2021-01-01 Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo
Complexity of weak, strong and dynamic controllability of CNCUs
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Conditional Simple Temporal Networks with Uncertainty and Decisions
2017-01-01 Zavatteri, Matteo
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty
2017-01-01 Zavatteri, Matteo; Combi, Carlo; Posenato, Roberto; Viganò, Luca
Enhanced What-If Scenarios Generation by Bridging Generative Models and Process Simulation
2025-01-01 Buliga, Andrei; Meneghello, Francesca; Graziosi, Riccardo; Ronzani, Massimiliano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Feasibility Assessment of Aquifer Thermal Energy Storage: A Case Study in Riva del Garda, Italy | 1-gen-2025 | Manafi, Masoud; Cypaite, Vaiva; Ranaee, Ehsan; Inzoli, Fabio; Perego, Rodolfo; Godschalk, Bas; Franco Pinto, Nico; Oerlemans, Peter; Jansen, Frederik; Viesi, Diego | |
| Dynamic Scoring with Enhanced Semantics for Training-Free Human-Object Interaction Detection | 1-gen-2025 | Tonini, Francesco; Vaquero, Lorenzo; Conti, Alessandro; Beyan, Cigdem; Ricci, Elisa | |
| Safety and Liveness on Finite Words | 1-gen-2025 | Geatti, Luca; Pessotto, Stefano; Tonetta, Stefano | |
| Certifying rlive: A New Proof Strategy for Liveness Model Checking | 1-gen-2025 | Sindoni, Giulia; Griggio, Alberto; Tonetta, Stefano | |
| Flexible glass planar structures fabricated by rf-sputtering | 1-gen-2025 | Tran, L. T. N.; Lis, S. Sudha Maria; Sengottaiyan, R.; Carlotto, A.; Szczurek, A.; Dell'Anna, R.; Babiarczu, B.; Sayginer, O.; Varas, S.; Vinante, A.; Pietralunga, S. M.; Krzak, J.; Bursi, O. S.; Zonta, D.; Lukowiak, A.; Righini, G. C.; Sglavo, V. M.; Ferrari, M.; Chiasera, A. | |
| On the effects of platinization of commercial titanium Porous Transport Layers in PEM water electrolysis cells | 1-gen-2025 | Crespi, Elena; Di Gregorio, Giulia; Cheraiet, Takwa; Testi, Matteo | |
| High-temperature electrolysis for industrial decarbonisation: a real-scale demonstration in the steel sector | 1-gen-2025 | Fantini, Martina; Crespi, Elena; Denissenko, Andrei; Toivola, Minna; Leoncini, Claudio; Kaiser, Felix; Rossetti, Silvia; Mcphail, Stephen J.; Camarda, Giovanni; Guandalini, Giulio; Colbertaldo, Paolo; Campanari, Stefano | |
| Proactive Data-driven Scheduling of Business Processes | 1-gen-2025 | Meneghello, Francesca; Senderovich, Arik; Ronzani, Massimiliano; Di Francescomarino, Chiara; Ghidini, Chiara | |
| TrenTeam at Multilingual Counterspeech Generation: Multilingual Passage Re-Ranking Approaches for Knowledge-Driven Counterspeech Generation Against Hate | 1-gen-2025 | Russo, D. | |
| Enhancing Device-Goal-Norm Modeling for Ambient Assisted Living with Large Language Models | 1-gen-2025 | Sabatucci, Luca; Cossentino, Massimo; Di Napoli, Claudia; Susi, Angelo | |
| Multi-perspective Next Event Prediction in PPM via Heterogeneous Graph Neural Networks | 1-gen-2025 | Dissegna, Sebastiano; Di Francescomarino, Chiara; Ronzani, Massimiliano | |
| Modeling and Synthesis of GPS Trajectories for Privacy-Preserving Mobility Data Generation | 1-gen-2025 | Burzacchi, Arianna; Bellanger, Lise; Le Gall, Klervi; Stamm, Aymeric; Vantini, Simone | |
| RF-MEMS as a Key Enabling Technology of 6G and Future Networks mMIMO Beamforming Architectures | 1-gen-2026 | Tagliapietra, Girolamo; Donelli, Massimo; Manekyia, Mohammedhusen; Guha, Koushik; Angira, Mahesh; Bansal, Deepak; Iannacci, Jacopo | |
| Infinite-State Liveness Checking with rlive | 1-gen-2025 | Cimatti, Alessandro; Griggio, Alberto; Johannsen, Christopher; Rozier, Kristin Yvonne; Tonetta, Stefano | |
| Faster and Better Simple Temporal Problems | 1-gen-2021 | Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo | |
| Complexity of weak, strong and dynamic controllability of CNCUs | 1-gen-2020 | Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano | |
| Conditional Simple Temporal Networks with Uncertainty and Decisions | 1-gen-2017 | Zavatteri, Matteo | |
| Access Controlled Temporal Networks | 1-gen-2017 | Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo | |
| Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty | 1-gen-2017 | Zavatteri, Matteo; Combi, Carlo; Posenato, Roberto; Viganò, Luca | |
| Enhanced What-If Scenarios Generation by Bridging Generative Models and Process Simulation | 1-gen-2025 | Buliga, Andrei; Meneghello, Francesca; Graziosi, Riccardo; Ronzani, Massimiliano |
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