Runtime Verification of Hash Code in Mutable Classes
2023-01-01 Ancona, D.; Ferrando, A.; Mascardi, V.
Multi-objective optimization of electric automated bus trajectories based on the ϵ-constraint method
2023-01-01 Pasquale, C.; Sacone, S.; Siri, S.; Ferrara, A.
Metaverse, a year after: evolution of XR tools and generative-AI
2023-01-01 Iacono, Saverio; Zolezzi, Daniele; Vercelli, Gianni
An optimization model to help cruise companies to evaluate their offer in a basin.
2021-01-01 Ambrosino, D.; Asta, V.
Motion optimization strategy for Bearing-Only Tracking performed with a team of Autonomous Underwater Vehicles navigating in formation
2023-01-01 Tiranti, Andrea; Wanderlingh, Francesco; Simetti, Enrico; Indiveri, Giovanni; Baglietto, Marco
Deep tech start ups and market opportunities framing
2021-01-01 Buratti, Nicoletta; Pagnin, Andrea; Satta, Giovanni; Vitellaro, CIDATMA-FRANCESCO
Change of policy for museums: is governance the answer?
2020-01-01 Monti, A; Dubini, P
Studio degli effetti delle esplosioni subacquee sui basamenti dei macchinari montati a bordo delle unità navali: validazione sperimentale di modelli numerici
2023-01-01 Mannacio, F.; Barbato, A.; Di Marzo, F.; Gaiotti, M.; Rizzo, C. M.; Venturini, M.
Circular City Tourism: Defining Local Policies for Sustainable Tourism in Cities
2023-01-01 Benevolo, Clara; Dameri, Renata
Innovative Virtual Lab for Improving Safety and Port Operations
2022-01-01 Bruzzone, A.; Massei, M.; Sinelshchikov, K.; Giovannetti, A.; Ferrari, R.; de Paoli, A.; Gadupuri, B.; Reverberi, A.; Fancello, G.; Frosolini, M.; Vairo, T.; Piroddi, G.; Gaborit, F.; Paoli, J.
Experimental observations of the onset of unsteadiness for buoyant airflow along smooth and rough vertical isothermal walls
2023-01-01 Tanda, G; N Ahmed, E; Bottaro, A
Opportunistic Rainfall Sensing: State of the Art and Perspectives in Italy
2023-01-01 Giannetti, F.; Lottici, V.; Sapienza, F.; Porcú, F.; Roversi, G.; Alberoni, P. P.; Covi, E.; Nebuloni, R.; Cazzaniga, G.; De Michele, C.; Deidda, C.; Colli, M.; Zani, S.; Gianoglio, C.; Caviglia, D. D.; Adirosi, E.
Comparison between stationary downburst-like impinging jets and analytical models
2023-01-01 Xhelaj, A.; Zuzul, J.; Canepa, F.; Ricci, A.; Romanic, D.; Burlando, M.; Hangan, H.
Contingency tables with structural zeros and discrete copulas
2023-01-01 Fontana, Roberto; Perrone, Elisa; Rapallo, Fabio
Teaching in the Metaverse: Recreating an Italian Level A1 Course in Meta Horizon Woorkrooms
2023-01-01 Zolezzi, Daniele; Vercelli, Gianni Viardo
Verification Of Data-Intensive Embedded Systems
2023-01-01 Narizzano, Massimo; Tacchella, Armando
Una Macchina Nozionale per Architetture dei Calcolatori come possibile collegamento tra gli insegnamenti del primo anno della laurea in Informatica
2023-01-01 Delzanno, Giorgio; D’Agostino, Daniele; Guerrini, Giovanna; Traversaro, Daniele
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Quotients and Extensionality in Relational Doctrines
2023-01-01 Dagnino, F.; Pasquali, F.
Linguistic and Cultural Competences in Dynamic Possible Worlds
2023-01-01 Saettone, Lorenza; Fedriga, Riccardo; Micheli, Emanuele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Runtime Verification of Hash Code in Mutable Classes | 1-gen-2023 | Ancona, D.; Ferrando, A.; Mascardi, V. | |
| Multi-objective optimization of electric automated bus trajectories based on the ϵ-constraint method | 1-gen-2023 | Pasquale, C.; Sacone, S.; Siri, S.; Ferrara, A. | |
| Metaverse, a year after: evolution of XR tools and generative-AI | 1-gen-2023 | Iacono, Saverio; Zolezzi, Daniele; Vercelli, Gianni | |
| An optimization model to help cruise companies to evaluate their offer in a basin. | 1-gen-2021 | Ambrosino, D.; Asta, V. | |
| Motion optimization strategy for Bearing-Only Tracking performed with a team of Autonomous Underwater Vehicles navigating in formation | 1-gen-2023 | Tiranti, Andrea; Wanderlingh, Francesco; Simetti, Enrico; Indiveri, Giovanni; Baglietto, Marco | |
| Deep tech start ups and market opportunities framing | 1-gen-2021 | Buratti, Nicoletta; Pagnin, Andrea; Satta, Giovanni; Vitellaro, CIDATMA-FRANCESCO | |
| Change of policy for museums: is governance the answer? | 1-gen-2020 | Monti, A; Dubini, P | |
| Studio degli effetti delle esplosioni subacquee sui basamenti dei macchinari montati a bordo delle unità navali: validazione sperimentale di modelli numerici | 1-gen-2023 | Mannacio, F.; Barbato, A.; Di Marzo, F.; Gaiotti, M.; Rizzo, C. M.; Venturini, M. | |
| Circular City Tourism: Defining Local Policies for Sustainable Tourism in Cities | 1-gen-2023 | Benevolo, Clara; Dameri, Renata | |
| Innovative Virtual Lab for Improving Safety and Port Operations | 1-gen-2022 | Bruzzone, A.; Massei, M.; Sinelshchikov, K.; Giovannetti, A.; Ferrari, R.; de Paoli, A.; Gadupuri, B.; Reverberi, A.; Fancello, G.; Frosolini, M.; Vairo, T.; Piroddi, G.; Gaborit, F.; Paoli, J. | |
| Experimental observations of the onset of unsteadiness for buoyant airflow along smooth and rough vertical isothermal walls | 1-gen-2023 | Tanda, G; N Ahmed, E; Bottaro, A | |
| Opportunistic Rainfall Sensing: State of the Art and Perspectives in Italy | 1-gen-2023 | Giannetti, F.; Lottici, V.; Sapienza, F.; Porcú, F.; Roversi, G.; Alberoni, P. P.; Covi, E.; Nebuloni, R.; Cazzaniga, G.; De Michele, C.; Deidda, C.; Colli, M.; Zani, S.; Gianoglio, C.; Caviglia, D. D.; Adirosi, E. | |
| Comparison between stationary downburst-like impinging jets and analytical models | 1-gen-2023 | Xhelaj, A.; Zuzul, J.; Canepa, F.; Ricci, A.; Romanic, D.; Burlando, M.; Hangan, H. | |
| Contingency tables with structural zeros and discrete copulas | 1-gen-2023 | Fontana, Roberto; Perrone, Elisa; Rapallo, Fabio | |
| Teaching in the Metaverse: Recreating an Italian Level A1 Course in Meta Horizon Woorkrooms | 1-gen-2023 | Zolezzi, Daniele; Vercelli, Gianni Viardo | |
| Verification Of Data-Intensive Embedded Systems | 1-gen-2023 | Narizzano, Massimo; Tacchella, Armando | |
| Una Macchina Nozionale per Architetture dei Calcolatori come possibile collegamento tra gli insegnamenti del primo anno della laurea in Informatica | 1-gen-2023 | Delzanno, Giorgio; D’Agostino, Daniele; Guerrini, Giovanna; Traversaro, Daniele | |
| Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
| Quotients and Extensionality in Relational Doctrines | 1-gen-2023 | Dagnino, F.; Pasquali, F. | |
| Linguistic and Cultural Competences in Dynamic Possible Worlds | 1-gen-2023 | Saettone, Lorenza; Fedriga, Riccardo; Micheli, Emanuele |
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
- 04- Contributo in atti di convegno27240
- 01- Contributo su rivista1
Data di pubblicazione
- In corso di stampa68
- 2020 - 20264409
- 2010 - 20199178
- 2000 - 20098653
- 1990 - 19993803
- 1980 - 19891033
- 1970 - 197996
Editore
- IEEE941
- Institute of Electrical and Elect...929
- Springer261
- IEEE Computer Society192
- Springer Science and Business Med...187
- Springer Verlag173
- Elsevier B.V.113
- CEUR-WS105
- American Society of Mechanical En...103
- Genova University Press80
Rivista
- POS PROCEEDINGS OF SCIENCE92
- JOURNAL OF PHYSICS. CONFERENCE SE...86
- E3S WEB OF CONFERENCES56
- LECTURE NOTES IN COMPUTER SCIENCE37
- ATTI (CENTRO LIGURE PER LA STORIA...21
- ...SUMMER SCHOOL FRANCESCO TURCO....20
- AIP CONFERENCE PROCEEDINGS19
- EPJ WEB OF CONFERENCES17
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...136
- CEUR WORKSHOP PROCEEDINGS119
- LECTURE NOTES IN COMPUTER SCIENCE100
- LECTURE NOTES IN ELECTRICAL ENGIN...78
- IFAC-PAPERSONLINE66
- PROCEEDINGS OF SPIE, THE INTERNAT...32
- COMMUNICATIONS IN COMPUTER AND IN...26
- LECTURE NOTES IN CIVIL ENGINEERING26
- ADVANCES IN NEURAL INFORMATION PR...25
- LECTURE NOTES IN NETWORKS AND SYS...22
Keyword
- Electrical and Electronic Enginee...135
- Artificial Intelligence132
- Computer Science (all)123
- Computer Networks and Communications110
- Computer Science Applications1707...106
- Software101
- Control and Systems Engineering98
- Humans96
- Simulation94
- Theoretical Computer Science94
Lingua
- eng19733
- ita7274
- fre270
- spa151
- rus36
- ger28
- grc17
- lat16
- por16
- und14
Accesso al fulltext
- no fulltext22966
- reserved2585
- open1660
- partially open20
- restricted9