E-LIB Suche - Ergebnisse für: Corsi, A

1

NEWSROOM: Towards Automating Cyber Situational Awareness Pr..:

, In: Proceedings of the 19th International Conference on Availability, Reliability and Security,

Wurzenberger, Markus ; Krenn, Stephan ; Landauer, Max... - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

2

Sustainability in the Strategic Planning of the Italian Hig..:

, In: Sustainability in Higher Education; Strategies for Sustainability,

Pischedda, Gianfranco ; Corsi, Katia ; Marinò, Ludovico.. - p. 163-181 , 2024

Link: https://doi.org/10.1007/..

3

Raising Environmental Alerts in the Arctic Region by Analyz..:

, In: Lecture Notes in Information Systems and Organisation; Towards Digital and Sustainable Organisations,

Ciappa, Achille ; Corsi, Marco ; Francalanci, Chiara.. - p. 217-232 , 2024

Link: https://doi.org/10.1007/..

4

The Treatment of Ties in Rank-Biased Overlap:

, In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval,

Corsi, Matteo ; Urbano, Julián - p. 251-260 , 2024

Link: https://dl.acm.org/doi/1..

5

The Proposal for the New Corporate Sustainability Reporting..:

, In: Circular Economy and Sustainability; Innovation, Quality and Sustainability for a Resilient Circular Economy,

Tascione, Valentino ; Corsi, Katia ; Manca, Gavina - p. 317-323 , 2024

Link: https://doi.org/10.1007/..

6

Investigation of Key Cellular Targets in Atrial Fibrillatio..:

, In: 2023 Computing in Cardiology (CinC),

Mazhar, Fazeelat ; Bartolucci, Chiara ; Corsi, Cristiana. - p. 1-4 , 2023

Link: https://doi.org/10.22489..

7

Formally Explaining Neural Networks within Reactive Systems:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Bassan, Shahaf ; Amir, Guy ; Corsi, Davide.. - p. 1-13 , 2023

Link: https://doi.org/10.34727..

8

Constrained Reinforcement Learning and Formal Verification ..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),

Corsi, Davide ; Marzari, Luca ; Pore, Ameya... - p. 10289-10294 , 2023

Link: https://doi.org/10.1109/..

9

NEWMAN Project: IoT sensors for overhead MV line real-time ..:

, In: 2023 AEIT International Annual Conference (AEIT),

Ghillardi, Giorgio ; Cielo, Andrea ; Vallocchia, Valerio... - p. 1-6 , 2023

Link: https://doi.org/10.23919..

10

Rehabilitation in Congenital Hand and Forearm Defects: Reha..:

, In: Pediatric Hand Surgery,

Mancon, Elena M. ; Bartolomeo, Luigi ; Ceccarelli, Elisa... - p. 423-474 , 2023

Link: https://doi.org/10.1007/..

11

A Digital Twin Approach for Stroke Risk Assessment in Atria..:

, In: 2023 Computing in Cardiology (CinC),

Falanga, Matteo ; Chiaravalloti, Antonio ; Tomasi, Corrado. - p. 1-4 , 2023

Link: https://doi.org/10.22489..

12

A Digital Twin Approach for Stroke Risk Assessment in Atria..:

, In: 2023 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE),

Chiaravalloti, Antonio ; Tomasi, Corrado ; Corsi, Cristiana. - p. 17-21 , 2023

Link: https://doi.org/10.1109/..

13

Real time quality monitoring of electrical distribution net..:

, In: 27th International Conference on Electricity Distribution (CIRED 2023),

Pompili, M. ; Muscarà, G. ; Di Felice, G.... - p. None , 2023

Link: https://doi.org/10.1049/..

14

Supplying of portion of distribution network during blackou..:

, In: 27th International Conference on Electricity Distribution (CIRED 2023),

D'Orazio, L. ; De Berardinis, E. ; Corsi, N.. - p. None , 2023

Link: https://doi.org/10.1049/..

15

Advanced 3D Printing of Patient-Specific Human Heart for Im..:

, In: 2023 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE),

Forni, Riccardo ; Pavan, Giacomo ; Gunnarsson, Arnar... - p. 473-478 , 2023

Link: https://doi.org/10.1109/..