Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Paul Brunet"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 3 (2021)
Pomset automata are an operational model of weak bi-Kleene algebra, which describes programs that can fork an execution into parallel threads, upon completion of which execution can join to resume as a single thread. We characterize a fragment of pom
Externí odkaz:
https://doaj.org/article/b824efb24604493aab342126669c263b
Autor:
Ruairi J. McGlynn, Hussein S. Moghaieb, Paul Brunet, Supriya Chakrabarti, Paul Maguire, Davide Mariotti
Publikováno v:
Nanomaterials, Vol 12, Iss 15, p 2705 (2022)
Macroscopic ribbon-like assemblies of carbon nanotubes (CNTs) are functionalised using a simple direct-current-based plasma–liquid system, with oxygen and nitrogen functional groups being added. These modifications have been shown to reduce the con
Externí odkaz:
https://doaj.org/article/91f5d14948e14e5bbc8afff2dd36ff1c
Autor:
Paul Brunet, Damien Pous
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)
Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise the same language if and only if they are universally equivalent in the model of binary relations. We
Externí odkaz:
https://doaj.org/article/067be721507c49fe9af177ed220988e6
Autor:
Amir Farokh Payam, Slavia Deeksha Dsouza, Paul Maguire, Chiranjeevi Maddi, Dilli Babu Padmanaban, Marius Buerkle, Davide Mariotti, Paul Brunet, Alessio Morelli, Vladimir Svrcek
Publikováno v:
Carbon. 183:1-11
Nitrogen-doped carbon quantum dots are synthesized by a one-step atmospheric pressure microplasma process. The origin of the observed photoluminescence emission and its relationship with nitrogen doping is studied using a range of optical and chemica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fc639eaf199539cb96f5cc9cdb6fc91
https://doi.org/10.1016/j.carbon.2021.06.088
https://doi.org/10.1016/j.carbon.2021.06.088
Publikováno v:
JMIR mHealth and uHealth, Vol 12, p e55239 (2024)
BackgroundDespite the growing availability of smoking cessation apps, low engagement and cessation rates have remained a significant challenge. To address this issue, we used a user-centered design to iteratively develop a mobile app (MO) to provide
Externí odkaz:
https://doaj.org/article/c0c076bab5d340999e4830864af11748
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b06275b06cc194776f7ed2607a3cce2b
https://doi.org/10.1109/ase51524.2021.9678572
https://doi.org/10.1109/ase51524.2021.9678572
Autor:
Paul Brunet, Adam, New, Steve
Publikováno v:
International Journal of Operations & Production Management, 2003, Vol. 23, Issue 12, pp. 1426-1446.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/01443570310506704
Autor:
Romain Magnan, Françoise Massines, Emmanuel Hernandez, Pierre Saint-Cast, Paul Brunet, Jean-François Lelièvre, S. Pouliquen, Bishal Kafle
Publikováno v:
Progress in Photovoltaics
Progress in Photovoltaics, Wiley, 2018, 27 (11), pp.1007-1019. ⟨10.1002/pip.3141⟩
Progress in Photovoltaics, Wiley, 2018, 27 (11), pp.1007-1019. ⟨10.1002/pip.3141⟩
This work demonstrates the efficient optical and passivation properties provided by hydrogenated silicon nitride (SiNx:H) layers deposited in a lab‐scale atmospheric pressure plasma enhanced chemical vapor deposition (AP‐PECVD) reactor. By applyi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fea47b3a215209fab82a6148bba095d
https://doi.org/10.1002/pip.3141
https://doi.org/10.1002/pip.3141
Publikováno v:
Journal of Logic and Algebraic Programming, 103, 130-153. Elsevier
Concurrent Kleene Algebra (CKA) is a formalism to study concurrent programs. Like previous Kleene Algebra extensions, developing a correspondence between denotational and operational perspectives is important, for both foundations and applications. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5541ee48d7da2dac12d6de51259258d2
https://doi.org/10.1016/j.jlamp.2018.12.001
https://doi.org/10.1016/j.jlamp.2018.12.001
Autor:
Xavier Peixoto, Pablo CIEZAR, Caroline Claude, Benoit Clavel, Paul Brunet, Marie Derreumaux, Vincent Geneviève, Vincent Goustard, Harlé Stéphane, Luc Leconte, Céline Le Goff, Véronique Pissot, Arnaud Prié, François Renel, Florence Schweitzer
Publikováno v:
[Rapport de recherche] Inrap Centre-Ile-de-France. 2021
HAL
HAL
Les résultats de l’opération portent principalement sur la période antique, avec un decumanus et une insula urbaine du vicus d’Arpajon/Castra.La présence de quelques structures antérieures à l’urbanisme orthonormé pose la question d’un
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d573a4b46234733dede1e95da5cb0f8e
https://hal.archives-ouvertes.fr/hal-03219501
https://hal.archives-ouvertes.fr/hal-03219501
