المؤلفون: Brun, Lélio

المساهمون: STAR, ABES, Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Marc Pouzet, Timothy Bourke, Département d'informatique - ENS Paris (DI-ENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département d'informatique - ENS Paris (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL)

المصدر: Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE003⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Langages synchrones à flots de données, Compilation vérifiée, Synchronous dataflow languages, Scade, Lustre, Modular reset, Sémantique mécanisée, Assistants de preuve interactifs, Reset modulaire, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Mechanized semantics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Coq, Verified compilation, Vélus, Interactive theorem provers

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cfc389262d652042a9240e10f2d524d2
https://theses.hal.science/tel-03068862

المؤلفون: Brun, Lélio

المساهمون: Université Paris sciences et lettres, Pouzet, Marc, Bourke, Timothy

مصطلحات موضوعية: Langages synchrones à flots de données, Lustre, Scade, Compilation vérifiée, Sémantique mécanisée, Vélus, Assistants de preuve interactifs, Coq, Reset modulaire, Synchronous dataflow languages, Verified compilation, Mechanized semantics, Interactive theorem provers, Modular reset, 005.13

Relation: http://www.theses.fr/2020UPSLE003/document

الاتاحة: http://www.theses.fr/2020UPSLE003/document

المؤلفون: Brun, Lélio

المساهمون: Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Marc Pouzet, Timothy Bourke

المصدر: https://tel.archives-ouvertes.fr/tel-03068862 ; Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE003⟩.

مصطلحات موضوعية: Synchronous dataflow languages, Lustre, Scade, Verified compilation, Mechanized semantics, Vélus, Interactive theorem provers, Coq, Modular reset, Langages synchrones à flots de données, Compilation vérifiée, Sémantique mécanisée, Assistants de preuve interactifs, Reset modulaire, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: NNT: 2020UPSLE003; tel-03068862; https://tel.archives-ouvertes.fr/tel-03068862; https://tel.archives-ouvertes.fr/tel-03068862/document; https://tel.archives-ouvertes.fr/tel-03068862/file/Brun-2020-These.pdf

الاتاحة: https://tel.archives-ouvertes.fr/tel-03068862
https://tel.archives-ouvertes.fr/tel-03068862/document
https://tel.archives-ouvertes.fr/tel-03068862/file/Brun-2020-These.pdf

المؤلفون: Kretić, Viktorija

المساهمون: Belovari, Tatjana

مصطلحات موضوعية: BIOMEDICINA I ZDRAVSTVO. Temeljne medicinske znanosti. Citologija, histologija i embriologija, BIOMEDICINE AND HEALTHCARE. Basic Medical Sciences. Cytology, Histology and Embryology, terminalna dlaka, velus dlaka, promjer dlake, debljina folikula, udaljenost folikula, gustoća dlaka, terminal hair, vellus hair, hair diameter, hair follicle thickness, distance between follicles, hair density

وصف الملف: application/pdf

Relation: https://repozitorij.unios.hr/islandora/object/mefos:99; https://urn.nsk.hr/urn:nbn:hr:152:044087; https://repozitorij.unios.hr/islandora/object/mefos:99/datastream/PDF

الاتاحة: https://repozitorij.unios.hr/islandora/object/mefos:99
https://urn.nsk.hr/urn:nbn:hr:152:044087
https://repozitorij.unios.hr/islandora/object/mefos:99/datastream/PDF

المؤلفون: Barriault, Patrick

Thesis Advisors: Champoux, Yvan, Drouet, Jean-Marc

مصطلحات موضوعية: VélUS, Look CX-7, Shimano PD-6400, Vélo de route, Vélo de piste, Sensibilité, Encodeur optique, Jauge dynamométrique, Jauge extensométrique, Efficacité, Puissance, Pédalage, Pédale dynamométrique, Capteur, Pédale, Mesure, Force, Vélo

الاتاحة: http://savoirs.usherbrooke.ca/handle/11143/1444

المؤلفون: Champoux, Yvan, Drouet, Jean-Marc, Barriault, Patrick

مصطلحات الفهرس: VélUS, Look CX-7, Shimano PD-6400, Vélo de route, Vélo de piste, Sensibilité, Encodeur optique, Jauge dynamométrique, Jauge extensométrique, Efficacité, Puissance, Pédalage, Pédale dynamométrique, Capteur, Pédale, Mesure, Force, Vélo, Mémoire

URL: http://savoirs.usherbrooke.ca/handle/11143/1444