Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Etienne André"'
Autor:
Laurent Fribourg, Etienne André
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 10, Iss Proc. INFINITY 2009, Pp 44-61 (2009)
We present an extension of two policy-iteration based algorithms on weighted graphs (viz., Markov Decision Problems and Max-Plus Algebras). This extension allows us to solve the following inverse problem: considering the weights of the graph to be un
Externí odkaz:
https://doaj.org/article/a0e7f326cec742629d7343ec8b6484e4
Autor:
Étienne, André
Publikováno v:
Springer CCIS 1008, pages 75-83, November 2018
Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the presence of unknown timing constants or uncertainty (e.g. imprecision f
Externí odkaz:
http://arxiv.org/abs/1812.08441
Autor:
Étienne André, Jun Sun
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and prac
Autor:
Bineet Ghosh, Étienne André
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)
Monitoring the correctness of distributed cyber-physical systems is essential. Detecting possible safety violations can be hard when some samples are uncertain or missing. We monitor here black-box cyber-physical system, with logs being uncertain bot
Externí odkaz:
https://doaj.org/article/5da87b4d80e14cd2b9a1f6a82c259fdd
Autor:
Étienne André, Mariëlle Stoelinga
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.The 15 full papers and 2 short papers presented in
Autor:
Robert Benamouzig, Etienne André, Pierre Bunouf, Jean-François Huneau, Frédérique Lantoine-Adam, Véronique Mathé, Hélène Fouillet, Klaus J. Petzke, François Mariotti, Dominique Hermier, Ambre Deveaux
Publikováno v:
Journal of Nutrition
Journal of Nutrition, American Society for Nutrition, 2016, 146 (7), pp.1322-1329. ⟨10.3945/jn.116.231910⟩
Journal of Nutrition, American Society for Nutrition, 2016, 146 (7), pp.1322-1329. ⟨10.3945/jn.116.231910⟩
Background: Oral L-arginine supplements can have a beneficial effect on nitric oxide (NO)-related functions when subjects have cardiovascular disease risk factors. Objective: The study was designed to determine the utilization for NO synthesis of ora
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f05be52875abe58819b56998e9127c83
https://doi.org/10.3945/jn.116.231910
https://doi.org/10.3945/jn.116.231910
Autor:
Véronique Mathé, Pierre Bunouf, Samira Sadi, Robert Benamouzig, Dominique Hermier, Jean-François Huneau, François Mariotti, Sheila G. West, Isabelle Pham, Ambre Deveaux, Frédérique Lantoine-Adam, Etienne André, Hélène Fouillet
Publikováno v:
Journal of Nutrition
Journal of Nutrition, American Society for Nutrition, 2016, 146 (7), pp.1330-1340
Journal of Nutrition, American Society for Nutrition, 2016, 146 (7), pp.1330-1340. ⟨10.3945/jn.115.227959⟩
Journal of Nutrition, American Society for Nutrition, 2016, 146 (7), pp.1330-1340
Journal of Nutrition, American Society for Nutrition, 2016, 146 (7), pp.1330-1340. ⟨10.3945/jn.115.227959⟩
International audience; AbstractBACKGROUND:Vascular endothelial dysfunction, the hallmark of early atherosclerosis, is induced transiently by a high-fat meal. High doses of free l-arginine supplements reduce fasting endothelial dysfunction.OBJECTIVE:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ef6904b7622a9ef478b8891d2ce1ba7
https://hal-agroparistech.archives-ouvertes.fr/hal-01576899
https://hal-agroparistech.archives-ouvertes.fr/hal-01576899
Publikováno v:
Revue du Rhumatisme. 78:S30-S37
Resume Les auteurs passent en revue les donnees etablies concernant les lombalgies : maladie frequente et couteuse, elle cache rarement une affection organique specifique que les « red flags » peuvent soupconner. La biomecanique du rachis est au mi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67c67f3b00245386cbedcfd3e6211404
https://doi.org/10.1016/s1169-8330(11)70006-0
https://doi.org/10.1016/s1169-8330(11)70006-0
Autor:
Ambre Deveaux, Isabelle Pham, Sheila West, Etienne André, Frédérique Lantoine-Adam, Pierre Bunouf, Dominique Hermier, Véronique Mathé, Hélène Fouillet, Jean-François Huneau, Robert Benamouzig, François Mariotti
Publikováno v:
Journées francophones de Nutrition
Journées francophones de Nutrition, Dec 2015, Marseille, France
HAL
Journées francophones de Nutrition, Dec 2015, Marseille, France
HAL
International audience; La supplémentation en L-arginine atténue la dysfonction endothéliale postprandiale lorsque l'argininémie basale est faible chez des sujets sains présentant des facteurs de risque du syndrome métabolique Veuillez choisir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b582dd8f74d4a026012f00f64ed10ef
https://hal-agroparistech.archives-ouvertes.fr/hal-01584643
https://hal-agroparistech.archives-ouvertes.fr/hal-01584643