Výsledky vyhledávání - "Paul Jeanmaire"

Verified Lustre Normalization with Node Subsampling

Autor: Basile Pesin, Paul Jeanmaire, Marc Pouzet, Timothy Bourke

Publikováno v: ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩
ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩

Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow prog

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed12de49e67fec9bbd345a1cb70235aa
https://doi.org/10.1145/3477041

Zobrazit plný text záznamu

Investigation of pulmonary embolism in patients with chest pain in the emergency department: a retrospective multicenter study

Autor: Paul Jeanmaire, Antoine Lefevre-Scelles, Anne-Laure Phillipon, Yonathan Freund, Luc-Marie Joly, Mélanie Roussel

Publikováno v: European Journal of Emergency Medicine. 27:357-361

Introduction Chest pain is a common main complaint in the emergency department. Among its associated differential diagnoses, pulmonary embolism remains a key concern for the clinician. There are no clear recommendations on which patients should have

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77bc2aa6de3de41f472df023183a2795
https://doi.org/10.1097/mej.0000000000000680

Zobrazit plný text záznamu

Les déséquilibres radioactifs (U-Ra) de l'uranium du gisement de phosphate des Ganntour (Maroc occidental). The radioactive disequilibria (U-Ra) of the uranium from the phosphatic deposit of the Ganntour (Western Morocco)

Autor: Jean-Paul Jeanmaire

Publikováno v: Sciences Géologiques. Bulletin. 40:349-362

In the context of the study of uranium distribution in the phosphate deposit of the Ganntour, the state of relative equilibrium uranium-equivalent radium (U/eRa) for 110 phosphatic samples of various localities and facies, was analysed by gamma multi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68cbfefb8dfa2328174d0413d6dd1d36
https://doi.org/10.3406/sgeol.1987.1772

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání