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

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.

Normalisation vérifiée du langage Lustre

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

Publikováno v: JFLA 2021-32ème Journées Francophones des Langages Applicatifs
JFLA 2021-32ème Journées Francophones des Langages Applicatifs, Yann Régis-Gianas et Chantal Keller, Apr 2021, En ligne, France. pp.117-133

Lustre is a synchronous dataflow language designed for programming embedded systems. In the Vélus project, we use Coq to develop and formalize a compiler that accepts a normalized form of the language and produces imperative code. While this restric

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c257e39ae08ea61fb6a51fdc986e5eac
https://hal.inria.fr/hal-03287572/document

Zobrazit plný text záznamu

Investigation for pulmonary embolism in patients with chest pain in the emergency department

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

Publikováno v: European Journal of Emergency Medicine
European Journal of Emergency Medicine, Lippincott, Williams & Wilkins, 2020, Publish Ahead of Print, ⟨10.1097/MEJ.0000000000000680⟩

International audience; 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 wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9948f1a602def8e7b4fdc1fc61d40797
https://hal.sorbonne-universite.fr/hal-03105428

Zobrazit plný text záznamu

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.

Vyhledávací nástroje:

Upřesnit hledání