E-LIB Suche - Ergebnisse für: Gori, Alessandro

1

Seven Gravestones at the Muslim Tana Baru Cemetery in Cape ..:

, In: The Arts and Crafts of Literacy,

Gori, Alessandro - p. 313-330 , 2017

Link: https://doi.org/10.1515/..

2

Decomposing the Verification of Interlocking Systems:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria - p. 96-113 , 2023

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

3

Toward Novel Optimizers: A Moreau-Yosida View of Gradient-B..:

, In: AIxIA 2023 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,

Betti, Alessandro ; Ciravegna, Gabriele ; Gori, Marco... - p. 218-230 , 2023

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

4

Foveated Neural Computation:

, In: Machine Learning and Knowledge Discovery in Databases; Lecture Notes in Computer Science,

Tiezzi, Matteo ; Marullo, Simone ; Betti, Alessandro... - p. 19-35 , 2023

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

5

Automated Compositional Verification of Interlocking System:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria.. - p. 146-164 , 2023

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

6

Knowledge-Driven Active Learning:

, In: Machine Learning and Knowledge Discovery in Databases: Research Track; Lecture Notes in Computer Science,

Ciravegna, Gabriele ; Precioso, Frédéric ; Betti, Alessandro.. - p. 38-54 , 2023

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

7

Principles of Motion Invariance:

, In: SpringerBriefs in Computer Science; Deep Learning to See,

Gori, Marco ; Betti, Alessandro ; Melacci, Stefano - p. 31-62 , 2022

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

8

Information-Based Laws of Feature Learning:

, In: SpringerBriefs in Computer Science; Deep Learning to See,

Gori, Marco ; Betti, Alessandro ; Melacci, Stefano - p. 73-88 , 2022

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

9

Runtime Reliability Monitoring for Complex Fault-Tolerance ..:

, In: 2022 6th International Conference on System Reliability and Safety (ICSRS),

Fantechi, Alessandro ; Gori, Gloria ; Papini, Marco - p. 110-119 , 2022

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

10

Software rejuvenation and runtime reliability monitoring:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Fantechi, Alessandro ; Gori, Gloria ; Papini, Marco - p. 162-169 , 2022

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

11

Future Train Control Systems: Challenges for Dependability ..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,

Fantechi, Alessandro ; Gnesi, Stefania ; Gori, Gloria - p. 269-285 , 2022

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

12

Immunotherapy Adverse Events:

, In: Current Clinical Pathology; Cardio-Oncology,

Inno, Alessandro ; Gori, Stefania - p. 25-30 , 2022

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

13

Motion Is the Protagonist of Vision:

, In: SpringerBriefs in Computer Science; Deep Learning to See,

Gori, Marco ; Betti, Alessandro ; Melacci, Stefano - p. 1-12 , 2022

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

14

Compositional Verification of Railway Interlockings: Compar..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Fantechi, Alessandro ; Gori, Gloria ; Haxthausen, Anne E.. - p. 3-19 , 2022

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

15

Non-visual Environmental Interactions:

, In: SpringerBriefs in Computer Science; Deep Learning to See,

Gori, Marco ; Betti, Alessandro ; Melacci, Stefano - p. 89-96 , 2022

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