On the use of Petri Nets in Smart Contracts modeling, generation and verification
2022-01-01 Pinna, Andrea; Tonelli, Roberto
Comprehensive simulation and design of 3D silicon sensors for enhanced timing performance
2020-01-01 Loi, A.; Lai, A.; Contu, A.; Cardini, A.; Lampis, A.; Garau, M.; Brundu, D.; Cossu, G. -M.; Dalla Betta, G. -F.; Forcolin, G. T.; Mendicino, R.; Bozzi, C.; Siddi, B.; Vecchi, S.
Ontology modelling for materials science experiments
2021-01-01 Mehwish, Alam; Henk, Birkholz; Dessi', Danilo; Christoph, Eberl; Heike, Fliegl; Peter, Gumbsch.; Philipp von Hartrott, ; Lutz, Madler; Markus, Niebel; Harald, Sack; Akhil, Thomas
A Game-Theoretical Incentive Mechanism for Local Energy Communities
2021-01-01 Lilliu, F.; Denysiuk, R.; Reforgiato Recupero, D.; Vinyals, M.
Sustainable Urban Mobility Planning and Walkability in the Post Pandemic era. Assessing the Role of Urban Enclaves
2022-01-01 Balletto, Ginevra; Ladu, Mara; Federico, Camerin
Spatial features of a regional green infrastructure and identification of ecological corridors: A study related to Sardinia
2022-01-01 Isola, Federica; Lai, Sabrina; Leone, Federica; Zoppi, Corrado
Emergenza sanitaria e legalità costituzionale
2021-01-01 Demuro, Gianmario
The Impact of Multi-Sensorial Media in Smart Home Scenario on User Experience and Emotions
2019-01-01 Jalal, L.; Murroni, M.
Online domain adaptation for person Re-identification with a human in the loop
2021-01-01 Delussu, R.; Putzu, L.; Fumera, G.; Roli, F.
MAPPING FOR THE PROJECT: METHODS FOR THE CONSTRUCTION OF A “BESTIARY” OF THE MINOR RURAL HERITAGE OF SARDINIA
2019-01-01 Sanna, Roberto
Evaluation of the seismic behavior of historical churches reinforced by cross-lam roof-structure
2021-01-01 Longarini, N.; Crespi, P.; Zucca, M.
Automated tag enrichment by semantically related trends
2020-01-01 Arca, Antonella; Carta, SALVATORE MARIO; Giuliani, Alessandro; Stanciu, MARIA MADALINA; REFORGIATO RECUPERO, DIEGO ANGELO GAETANO
Efficient thumbnail identification through object recognition
2020-01-01 Carta, SALVATORE MARIO; Gaeta, Eugenio; Giuliani, Alessandro; Piano, Leonardo; REFORGIATO RECUPERO, DIEGO ANGELO GAETANO
A Voice User Interface for football event tagging applications
2020-01-01 Barra, S.; Carcangiu, A.; Carta, S.; Podda, A. S.; Riboni, D.
2D equivalent linear analysis for the seismic vulnerability evaluation of multi-propped retaining structures
2019-01-01 Zucca, M.; Crespi, P. G.; Tropeano, G.; Erbi, E.
Ipotesi di governance delle relazioni di una realtà urbana policentrica. La Città Metropolitana di Cagliari: contesto problematico di riferimento
2019-01-01 Desogus, Giulia
A model for the optimal incentive scheme for wind energy: Theory, evidence and simulations for the Italian case
2015-01-01 Campisi, D.; Gitto, S.; Morea, D.
High capacity silicon photonics packaging
2019-01-01 Binda, Marco; Canciamilla, Antonio; Daverio, Alessio; Fincato, Antonio; Gambini, Piero; Maggi, Luca; Orlandi, Piero; Ramini, Luca; Repossi, Matteo; Simbula, Angelica; Shaw, Mark
Structural optimization of composite steel trussed-concrete beams
2021-01-01 Deligia, M.; Congiu, E.; Marano, G. C.; Briseghella, B.; Fenu, L.
Ecological corridors and landscape planning: A study to develop a regional network of protected areas in Sardinia (Italy)
2022-01-01 Isola, Federica; Leone, Federica; Zoppi, Corrado
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
On the use of Petri Nets in Smart Contracts modeling, generation and verification | 1-gen-2022 | Pinna, Andrea; Tonelli, Roberto | - | - |
Comprehensive simulation and design of 3D silicon sensors for enhanced timing performance | 1-gen-2020 | Loi, A.; Lai, A.; Contu, A.; Cardini, A.; Lampis, A.; Garau, M.; Brundu, D.; Cossu, G. -M.; Dalla Betta, G. -F.; Forcolin, G. T.; Mendicino, R.; Bozzi, C.; Siddi, B.; Vecchi, S. | - | Institute of Electrical and Electronics Engineers |
Ontology modelling for materials science experiments | 1-gen-2021 | Mehwish, Alam; Henk, Birkholz; Dessi', Danilo; Christoph, Eberl; Heike, Fliegl; Peter, Gumbsch.; Philipp von Hartrott, ; Lutz, Madler; Markus, Niebel; Harald, Sack; Akhil, Thomas | - | CEUR-WS |
A Game-Theoretical Incentive Mechanism for Local Energy Communities | 1-gen-2021 | Lilliu, F.; Denysiuk, R.; Reforgiato Recupero, D.; Vinyals, M. | - | Springer |
Sustainable Urban Mobility Planning and Walkability in the Post Pandemic era. Assessing the Role of Urban Enclaves | 1-gen-2022 | Balletto, Ginevra; Ladu, Mara; Federico, Camerin | - | Springer |
Spatial features of a regional green infrastructure and identification of ecological corridors: A study related to Sardinia | 1-gen-2022 | Isola, Federica; Lai, Sabrina; Leone, Federica; Zoppi, Corrado | - | Springer |
Emergenza sanitaria e legalità costituzionale | 1-gen-2021 | Demuro, Gianmario | - | - |
The Impact of Multi-Sensorial Media in Smart Home Scenario on User Experience and Emotions | 1-gen-2019 | Jalal, L.; Murroni, M. | - | IEEE Computer Society |
Online domain adaptation for person Re-identification with a human in the loop | 1-gen-2021 | Delussu, R.; Putzu, L.; Fumera, G.; Roli, F. | - | Institute of Electrical and Electronics Engineers Inc. |
MAPPING FOR THE PROJECT: METHODS FOR THE CONSTRUCTION OF A “BESTIARY” OF THE MINOR RURAL HERITAGE OF SARDINIA | 1-gen-2019 | Sanna, Roberto | - | GANGEMI EDITORE |
Evaluation of the seismic behavior of historical churches reinforced by cross-lam roof-structure | 1-gen-2021 | Longarini, N.; Crespi, P.; Zucca, M. | - | National Technical University of Athens |
Automated tag enrichment by semantically related trends | 1-gen-2020 | Arca, Antonella; Carta, SALVATORE MARIO; Giuliani, Alessandro; Stanciu, MARIA MADALINA; REFORGIATO RECUPERO, DIEGO ANGELO GAETANO | - | - |
Efficient thumbnail identification through object recognition | 1-gen-2020 | Carta, SALVATORE MARIO; Gaeta, Eugenio; Giuliani, Alessandro; Piano, Leonardo; REFORGIATO RECUPERO, DIEGO ANGELO GAETANO | - | - |
A Voice User Interface for football event tagging applications | 1-gen-2020 | Barra, S.; Carcangiu, A.; Carta, S.; Podda, A. S.; Riboni, D. | - | Association for Computing Machinery |
2D equivalent linear analysis for the seismic vulnerability evaluation of multi-propped retaining structures | 1-gen-2019 | Zucca, M.; Crespi, P. G.; Tropeano, G.; Erbi, E. | - | International Society for Soil Mechanics and Geotechnical Engineering |
Ipotesi di governance delle relazioni di una realtà urbana policentrica. La Città Metropolitana di Cagliari: contesto problematico di riferimento | 1-gen-2019 | Desogus, Giulia | - | Planum Publisher |
A model for the optimal incentive scheme for wind energy: Theory, evidence and simulations for the Italian case | 1-gen-2015 | Campisi, D.; Gitto, S.; Morea, D. | - | - |
High capacity silicon photonics packaging | 1-gen-2019 | Binda, Marco; Canciamilla, Antonio; Daverio, Alessio; Fincato, Antonio; Gambini, Piero; Maggi, Luca; Orlandi, Piero; Ramini, Luca; Repossi, Matteo; Simbula, Angelica; Shaw, Mark | - | Institute of Electrical and Electronics Engineers |
Structural optimization of composite steel trussed-concrete beams | 1-gen-2021 | Deligia, M.; Congiu, E.; Marano, G. C.; Briseghella, B.; Fenu, L. | PROCEDIA STRUCTURAL INTEGRITY | Elsevier B.V. |
Ecological corridors and landscape planning: A study to develop a regional network of protected areas in Sardinia (Italy) | 1-gen-2022 | Isola, Federica; Leone, Federica; Zoppi, Corrado | - | Ediciones UPCT |
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 ...12653
Data di pubblicazione
- In corso di stampa65
- 2020 - 2022484
- 2010 - 20194811
- 2000 - 20095129
- 1990 - 19991708
- 1980 - 1989425
- 1974 - 197931
Editore
- IEEE268
- Springer216
- IEEE (Institute of Electrical and...110
- Institute of Electrical and Elect...107
- Institute of Electrical and Elect...67
- CEUR-WS47
- Clinica Ostetrica e Ginecologica,...46
- IEEE Computer Society46
- Association for Computing Machinery45
- Institute of Electrical and Elect...44
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE52
- SARDINIA...33
- JOURNAL OF PHYSICS. CONFERENCE SE...24
- NUCLEAR PHYSICS. A22
- POS PROCEEDINGS OF SCIENCE22
- IFAC PROCEEDINGS VOLUMES21
- LECTURE NOTES IN COMPUTER SCIENCE21
- PROCEEDINGS OF SPIE, THE INTERNAT...20
- RENDICONTI ONLINE DELLA SOCIETÀ G...20
- CHEMICAL ENGINEERING TRANSACTIONS19
Serie
- LECTURE NOTES IN COMPUTER SCIENCE101
- CEUR WORKSHOP PROCEEDINGS64
- LECTURE NOTES IN ARTIFICIAL INTEL...30
- LECTURE NOTES IN COMPUTER SCIENCE25
- IFAC-PAPERSONLINE23
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS OF THE IEEE CONFERENC...11
- AIP CONFERENCE PROCEEDINGS10
- SMART CITY. URBAN PLANNING FOR A ...10
- CONFERENCE PROCEEDINGS - IEEE INS...9
Keyword
- Sardinia65
- Sardegna63
- Electrical and Electronic Enginee...58
- Computer Networks and Communications52
- Software49
- Computer Science (all)37
- Computer science (all)36
- Computer Science Applications1707...36
- Computer networks and communications35
- Cagliari33
Lingua
- eng4892
- ita2747
- Inglese1555
- Italiano505
- fre73
- spa55
- ger28
- fra16
- Francese (Altre)10
- und8
Accesso al fulltext
- no fulltext10126
- reserved1909
- open588
- partially open21
- restricted5
- embargoed3
- mixed1