Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Arnaud Venet"'
Autor:
Amélie Cèbe, Bérangère Dessane, Pauline Gohier, Jean-Marc Bernadou, Arnaud Venet, Fabien Xuereb, Sylvie Crauste-Manciet
Publikováno v:
Pharmaceutics, Vol 15, Iss 3, p 905 (2023)
In the context of essential drug shortages, this article reports a proof of concept for the hospital preparation of a 2% propofol injectable nanoemulsion. Two processes for propofol were assessed: mixing propofol with the commercial Intralipid® 20%
Externí odkaz:
https://doaj.org/article/6de4d07d6a764fb6a09fdeaf8a4f979d
Autor:
Jeremie Zerbit, Marion Detroit, Sylvie Chevret, Frederic Pene, Charles-Edouard Luyt, Jade Ghosn, Frederic Eyvrard, Guillaume Martin-Blondel, Benjamine Sarton, Raphael Clere-Jehl, Pierre Moine, Amelie Cransac, Pascal Andreu, Marie Labruyère, Laetitia Albertini, Jean-François Huon, Pauline Roge, Lise Bernard, Magali Farines-Raffoul, Maxime Villiet, Arnaud Venet, Louis Marie Dumont, Jean-Daniel Kaiser, Claire Chapuis, François Goehringer, François Barbier, Stephane Desjardins, Younes Benzidi, Nora Abbas, Corinne Guerin, Rui Batista, Jean-François Llitjos, Marie Kroemer
Publikováno v:
Journal of Clinical Medicine, Vol 11, Iss 21, p 6545 (2022)
Background. Given the rapidly evolving pandemic of COVID-19 in 2020, authorities focused on the repurposing of available drugs to develop timely and cost-effective therapeutic strategies. Evidence suggested the potential utility of remdesivir in the
Externí odkaz:
https://doaj.org/article/6aaf7eb7f60246898ee4b70b4b2aefdc
Autor:
Aasfa Khan, Arnaud Venet, Jean-Marc Bernadou, Sylvie Cresto, Vincent Servant, Hélène Boulestreau, Fabien Xuereb, Sylvie Crauste-Manciet
Publikováno v:
Pharmaceutical Technology in Hospital Pharmacy. 7
Objectives Fungal keratitis is a rare but severe cause of infectious keratitis and can lead to blindness. To cure fungal keratitis, antifungal like voriconazole eye drops must be immediately administered. As no brand is available on the market, voric
Autor:
Arnaud Venet
Publikováno v:
ACM SIGAda Ada Letters. :92-95
Static analysis by Abstract Interpretation is a promising way for conducting formal verification of large software applications. In spite of recent successes in the verification of aerospace codes, this approach has limited industrial applicability d
Autor:
Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Rich Washington
Publikováno v:
Formal Methods in System Design. 25:167-198
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319104300
SEFM
SEFM
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a0de9133d6dc5a91bf8fbe5d1cc6de6
https://doi.org/10.1007/978-3-319-10431-7_20
https://doi.org/10.1007/978-3-319-10431-7_20
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642380877
NASA Formal Methods
NASA Formal Methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8cd574be1f5a5ee6b849433208fa194
https://doi.org/10.1007/978-3-642-38088-4
https://doi.org/10.1007/978-3-642-38088-4
Autor:
Axel Simon, Arnaud Venet
Publikováno v:
Electronic Notes in Theoretical Computer Science. 307:1-2