Zobrazeno 1 - 10
of 156
pro vyhledávání: '"Kerjean, P."'
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various frameworks. The most famous are indexed linear logics which can descri
Externí odkaz:
http://arxiv.org/abs/2402.09138
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dabrowski, Yoann, Kerjean, Marie
From the interpretation of Linear Logic multiplicative disjunction as the $\varepsilon$-product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This improves on
Externí odkaz:
http://arxiv.org/abs/1712.07344
Autor:
Gagaille Marie-Pauline, Pieragostini Rémi, Girault Elise, Touil Yacine, Chalopin Marie, Besse Michael, Pons-Kerjean Nathalie
Publikováno v:
Pharmaceutical Technology in Hospital Pharmacy, Vol 6, Iss 1, Pp 901-10 (2021)
Preparation of injectable anticancer drugs in hospital pharmacies, in particular of cytotoxics, is a high-risk activity. We used Preliminary Risk Analysis (PRA) to analyse the risks in the different steps of our anticancer drug circuit, including the
Externí odkaz:
https://doaj.org/article/c89f87e786e4461280d8d39830554c79
Autor:
Valérie Gagnaire, Xavier Lecomte, Romain Richoux, Magali Genay, Julien Jardin, Valérie Briard-Bion, Jean-René Kerjean, Anne Thierry
Publikováno v:
Frontiers in Nutrition, Vol 9 (2022)
Reducing salt intake can mitigate the prevalence of metabolic disorders. In fermented foods such as cheeses, however, salt can impact the activity of desirable and undesirable microorganisms and thus affect their properties. This study aimed to inves
Externí odkaz:
https://doaj.org/article/a7767df5d9e84dd8a69ee3aef9ba99d9
Autor:
Kerjean, Marie, Tasson, Christine
In this paper, we have described a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted by bounded linear functio
Externí odkaz:
http://arxiv.org/abs/1507.03262
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kerjean, Marie
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 1 (March 9, 2016) lmcs:1626
We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as continuous
Externí odkaz:
http://arxiv.org/abs/1405.5393
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Romina Vanessa Barbosa, Marion Jaud, Cédric Bacher, Yann Kerjean, Fred Jean, Jérôme Ammann, Yoann Thomas
Publikováno v:
Remote Sensing, Vol 14, Iss 21, p 5441 (2022)
In this study, we used orthomosaics and a digital surface model (DSM) generated from drone surveys to (1) characterize the distribution of mussel (Mytilus galloprovincialis) aggregations at high resolution (centimeters), and (2) evaluate the role of
Externí odkaz:
https://doaj.org/article/b8540a3558bc4b6ca155f5d5dcd6cc78