Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Faure, Christèle"'
Publikováno v:
EPTCS 149, 2014, pp. 58-63
In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler have allowed for a trustworthy development and have facilitated the fulf
Externí odkaz:
http://arxiv.org/abs/1404.6606
Prise en charge des hyperplasies canalaires atypiques sur macrobiopsies : une désescalade possible ?
Autor:
Drouet, Youenn, Le Gall, Julien, Gervasoni, Julie, Peix, Marie, Faure, Christèle, Lasset, Christine, Treilleux, Isabelle
Publikováno v:
In Imagerie de la Femme June 2018 28(2):138-143
Publikováno v:
Security & Privacy; Mar2020, Vol. 3 Issue 2, p1-13, 13p
Autor:
Faure, Christèle1 Christele.Faure@polyspace.com
Publikováno v:
Optimization Methods & Software. Feb2002, Vol. 17 Issue 1, p129-164. 36p.
Publikováno v:
Scientific Programming. 2001, Vol. 9 Issue 1, p1. 10p.
Publikováno v:
ICSE: International Conference on Software Engineering; 2015, p209-218, 10p
Publikováno v:
[Research Report] RR-4001, INRIA. 2000, pp.36
One of the main strengths of computer algebra is being able to solve a family of problems with one computation. In order to express not only one problem but a family of problems, one introduces some symbols which are in fact the parameters common to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::53fcd3f00e2b1f34ec7bede401cb85f7
https://inria.hal.science/inria-00072643/file/RR-4001.pdf
https://inria.hal.science/inria-00072643/file/RR-4001.pdf
Publikováno v:
[Rapport de recherche] RR-3907, INRIA. 2000, pp.30
La spectroscopie de résonance paramagnétique électronique permet d'accéder à des informations sur l'interaction des moments magnétiques électroniques (spins) avec le champ magnétique appliqué (effet Zeeman) et avec les moments magnétiques n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::35e15d3d04d8d1396df6fef3097cbbba
https://inria.hal.science/inria-00072746/document
https://inria.hal.science/inria-00072746/document
Publikováno v:
[Research Report] RR-3981, INRIA. 2000, pp.41
Emerging tools for automatic differentiation (AD) of computer programs should be of great benefit for the implementation of many derivative-based numerical methods such as those used for inverse modeling. The Odyssée software, one such tool for Fort
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de4f44097a88af32017be42002aec656
https://inria.hal.science/inria-00072666/document
https://inria.hal.science/inria-00072666/document