Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Salvia, Rocco
25  Ergebnisse:
Personensuche X
?
1

Rigorous Roundoff Error Analysis of Probabilistic Floating-..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Constantinides, George ; Dahlqvist, Fredrik ; Rakamarić, Zvonimir. - p. 626-650 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Intents Analysis of Android Apps for Confidentiality Leakag..:

, In: Advances in Intelligent Systems and Computing; Advanced Computing and Systems for Security,
Salvia, Rocco ; Cortesi, Agostino ; Ferrara, Pietro. - p. 43-65 , 2020
Link: https://doi.org/10.1007/..
 
?
3

A Mixed Real and Floating-Point Solver:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Salvia, Rocco ; Titolo, Laura ; Feliú, Marco A.... - p. 363-370 , 2019
Link: https://doi.org/10.1007/..
 
?
4

A Probabilistic Approach to Floating-Point Arithmetic:

, In: 2019 53rd Asilomar Conference on Signals, Systems, and Computers,
Dahlqvist, Fredrik ; Salvia, Rocco ; Constantinides, George A. - p. 596-602 , 2019
Link: https://doi.org/10.1109/..
 
?
5

Memory-Efficient Mixed-Precision Implementations for Robust..:

Salamati, Mahmoud ; Salvia, Rocco ; Darulova, Eva..
ACM Transactions on Embedded Computing Systems.  18 (2019)  5s - p. 1-19 , 2019
Link: https://doi.org/10.1145/..
 
?
6

Memory-Efficient Mixed-Precision Implementations for Robust..:

Salamati, Mahmoud ; Salvia, Rocco ; Darulova, Eva..
ACM Transactions on Embedded Computing Systems (TECS).  18 (2019)  5s - p. 1-19 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Rigorous Roundoff Error Analysis of Probabilistic Floating-..:

Constantinides, George ; Dahlqvist, Fredrik ; Rakamaric, Zvonimir.
http://arxiv.org/abs/2105.13217.  , 2021
Link: http://arxiv.org/abs/210..
 
?
8

A Probabilistic Approach to Floating-Point Arithmetic:

Dahlqvist, Fredrik ; Salvia, Rocco ; Constantinides, George A
http://arxiv.org/abs/1912.00867.  , 2019
Link: http://arxiv.org/abs/191..
 
?
9

CAV-2021 #224 Rigorous Roundoff Error Analysis of Probabili..:

Rocco Salvia
doi:10.5281/zenodo.4725986.  , 2021
Link: https://zenodo.org/recor..
 
?
10

CAV-2021 #224 Rigorous Roundoff Error Analysis of Probabili..:

Rocco Salvia (10718750)
https://figshare.com/articles/software/CAV-2021_224_Rigorous_Roundoff_Error_Analysis_of_Probabilistic_Floating-Point_Computations/14504309.  , 2021
Link: https://doi.org/10.5281/..
 
?
11

Serotoninergic brain dysfunction in neuroendocrine tumor pa..:

La Salvia, Anna ; Portigliatti Pomeri, Alberto ; Persano, Irene...
Comprehensive Psychiatry.  109 (2021)  - p. 152244 , 2021
Link: https://doi.org/10.1016/..
 
?
12

Septic cardiomyopathy: The value of lactoferrin and CD15 as..:

Galassi, Andrea ; Turatello, Liliana ; De Salvia, Alessandra...
International Journal of Immunopathology and Pharmacology.  32 (2018)  - p. 205873841877652 , 2018
Link: https://doi.org/10.1177/..
 
?
13

Leiomyosarcoma of the inferior vena cava:

Di Pilla, Maria Antonietta ; Capuano, Marco Alex ; Rossi, Mariangela...
Radiology Case Reports.  19 (2024)  1 - p. 382-386 , 2024
Link: https://doi.org/10.1016/..
 
?
14

Liposarcoma of the spermatic cord: The state of art and our..:

Di Pilla, Maria Antonietta ; Capuano, Marco Alex ; Rossi, Mariangela...
Radiology Case Reports.  18 (2023)  11 - p. 3941-3944 , 2023
Link: https://doi.org/10.1016/..
 
?
15

Septic cardiomyopathy: the value of lactoferrin and CD15 as..:

Galassi, Andrea ; Turatello, Liliana ; De Salvia, Alessandra...
info:eu-repo/semantics/altIdentifier/pmid/29809052.  , 2018
Link: http://hdl.handle.net/11..
 
1-15