, 2015 Nous proposons une formalisation en Coq des graphes orientés et non orientés et des notions associées. La bibliothèque développée offre non seulement l'expressivité requise pour exprimer et démontrer des propriétés sur les graphes mais aussi une implantation purement fonctionnelle permettant de mettre en oeuvre efficacement les algorithmes de graphe ...
Dubois, Catherine +3 more
openaire +1 more source
Hepatitis B vaccination of preterm infants and risk of bronchopulmonary dysplasia: a cohort study, Australia. [PDF]
Bull World Health OrganMorgan HJ +7 more
europepmc +1 more source
Development of a trauma and emergency database in Kigali, Rwanda. [PDF]
Afr J Emerg Med, 2016 Kearney AS +9 more
europepmc +1 more source
Éléments fondamentaux de la documentation du consentement à la recherche clinique au Canada : orientation stratégique. [PDF]
CMAJLongstaff H +5 more
europepmc +1 more source
[Neurodevelopment and cannabis]. [PDF]
Bull Acad Natl Med, 2020 Krebs MO +4 more
europepmc +1 more source
An emerging role of dysfunctional axon-oligodendrocyte coupling in neurodegenerative diseases. [PDF]
Dialogues Clin Neurosci, 2018 Mot AI, Depp C, Nave KA.
europepmc +1 more source
Pulmonary Artery Remodelling Assessed by Four-Dimensional Flow Magnetic Resonance Imaging in Pulmonary Arterial Hypertension and Atrial Septal Defect. [PDF]
CJC Pediatr Congenit Heart DisValdeolmillos E +16 more
europepmc +1 more source
[Reversible dilated cardiomyopathy induced by hypocalcaemia secondary to hypoparathyroidism after total thyroidectomy: about a case]. [PDF]
Pan Afr Med J, 2019 Daniella RM +4 more
europepmc +1 more source
Papillary optical coherence tomography angiography in optic neuropathies. [PDF]
Tunis MedNefzi D +5 more
europepmc +1 more source