Zobrazeno 1 - 10
of 154
pro vyhledávání: '"A. Franceschino"'
Autor:
Ho, Son, Boisseau, Guillaume, Franceschino, Lucas, Prak, Yoann, Fromherz, Aymeric, Protzenko, Jonathan
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these tools has
Externí odkaz:
http://arxiv.org/abs/2410.18042
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the soundness of their computations. While s
Externí odkaz:
http://arxiv.org/abs/2107.09472
We present Labeled Input Output in F* (LIO*), a verified framework that enforces information flow control (IFC) policies developed in F* and automatically extracted to C. Inspired by LIO, we encapsulated IFC policies into effects, but using F* we der
Externí odkaz:
http://arxiv.org/abs/2004.12885
Autor:
Malcolm A.S. Moore, Robert G. Maki, Michael LaQuaglia, Mark Edgar, Roland Leung, Yildirim Dogan, Anna Franceschino, Emil Lou, Andre L. Moreira, John Healey, Robert J. Downey, Alexei Morozov
Supplementary Figure S1 and Supplementary Tables S1-S2.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07aa4081b6f872613f3817d491d7a302
https://doi.org/10.1158/1078-0432.22442586.v1
https://doi.org/10.1158/1078-0432.22442586.v1
Autor:
Malcolm A.S. Moore, Robert G. Maki, Michael LaQuaglia, Mark Edgar, Roland Leung, Yildirim Dogan, Anna Franceschino, Emil Lou, Andre L. Moreira, John Healey, Robert J. Downey, Alexei Morozov
Purpose: Recent evidence suggests that at least some sarcomas arise through aberrant differentiation of mesenchymal stromal cells (MSCs), but MSCs have never been isolated directly from human sarcoma specimens.Experimental Design: We examined human s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6c6370b931f0e665d5402da3ecff280
https://doi.org/10.1158/1078-0432.c.6519276
https://doi.org/10.1158/1078-0432.c.6519276
Autor:
Pellis, T., Sanfilippo, F., Roncarati, A., Dibenedetto, F., Franceschino, E., Lovisa, D., Magagnin, L., Mercante, W.P., Mione, V.
Publikováno v:
In Resuscitation September 2014 85(9):1251-1256
Autor:
T. Puel, C. Soavi, T. Guilmoteau, V. Grobost, L. Sabbagh, A. Franceschino, F. Chiambaretta, S. Trouillier
Publikováno v:
La Revue de Médecine Interne. 43:A411-A412
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a7a6f4126abcf5632945aa29606867b
https://doi.org/10.1016/j.revmed.2022.10.140
https://doi.org/10.1016/j.revmed.2022.10.140
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Franceschino, Lucas
Publikováno v:
Autre [cs.OH]. École normale supérieure de Rennes, 2021. Français. ⟨NNT : 2021ENSR0030⟩
Dependently-typed languages allow for a new paradigm: proof-oriented or type-driven programming, consisting in writing a program, its specifications and proofs simultaneously. This yields the greatest quality of software, at the cost of manual proof
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c9dd3906a2a2ab23b5923bf05c8a6486
https://theses.hal.science/tel-03617659/document
https://theses.hal.science/tel-03617659/document
Autor:
Franceschino, Adrien, Dutheil, Frédéric, Pereira, Bruno, Watson, Stephanie, Chiambaretta, Frédéric, Navel, Valentin
Publikováno v:
Cornea
Cornea, Lippincott, Williams & Wilkins, 2021, ⟨10.1097/ICO.0000000000002855⟩
Cornea, 2021, ⟨10.1097/ICO.0000000000002855⟩
Cornea, Lippincott, Williams & Wilkins, 2021, ⟨10.1097/ICO.0000000000002855⟩
Cornea, 2021, ⟨10.1097/ICO.0000000000002855⟩
International audience; Purpose: Descemetorhexis without endothelial keratoplasty (DWEK) is an innovative corneal intervention and potentially effective against Fuchs endothelial corneal dystrophy (FECD). We aimed to conduct a systematic review and m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c5fd293cbcf0a4cd9ddd7cd7f33ade59
https://hal.archives-ouvertes.fr/hal-03483249
https://hal.archives-ouvertes.fr/hal-03483249