Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Fabien Renaud"'
Publikováno v:
Frontiers in Psychiatry, Vol 12 (2021)
The frequent co-occurrence of post-traumatic stress disorder (PTSD) and substance use disorders (SUDs) leads to manifestations of both conditions that are more severe and more resistance to treatment than single disorders. One hypothesis to explain t
Externí odkaz:
https://doaj.org/article/a037c8e925644c3bbe6fca0617132900
Publikováno v:
EPiC Series in Computing.
We present the design philosophy of a proof checker based on a notion of foundational proof certificates. At the heart of this design is a semantics of proof evidence that arises from recent advances in the theory of proofs for classical and intuitio
Publikováno v:
Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2017, 59 (3), pp.287-330. ⟨10.1007/s10817-016-9380-6⟩
Journal of Automated Reasoning, 2017, 59 (3), pp.287-330. ⟨10.1007/s10817-016-9380-6⟩
Journal of Automated Reasoning, Springer Verlag, 2017, 59 (3), pp.287-330. ⟨10.1007/s10817-016-9380-6⟩
Journal of Automated Reasoning, 2017, 59 (3), pp.287-330. ⟨10.1007/s10817-016-9380-6⟩
International audience; Theorem provers produce evidence of proof in many different formats, such as proof scripts, natural deductions, resolution refutations, Herbrand expansions, and equational rewritings. In implemented provers, numerous variants
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9042bde3070c63940732ea5153a29a9e
https://hal.inria.fr/hal-01390912/document
https://hal.inria.fr/hal-01390912/document
Autor:
Gérard Hopfgartner, Stéphane Petoud, Jean-Claude G. Bünzli, Kurt Schenk, Fabien Renaud, Claude Piguet
Publikováno v:
Inorganic chemistry, Vol. 36, No 25 (1997) pp. 5750-5760
The planar aromatic tridentate ligand 2,6-bis(1-methylbenzimidazol-2-yl)pyridine (L(1)) reacts with Ln(III) (Ln = La-Lu) in acetonitrile to give the successive complexes [Ln(L(1))(n)()](3+) (n = 1-3). Stability constants determined by spectrophotomet
Autor:
Gérard Hopfgartner, Fabien Renaud, Gérald Bernardinelli, Claude Piguet, Jean-Claude G. Bünzli
Publikováno v:
Chemistry-A European Journal, Vol. 3, No 10 (1997) pp. 1646-1659
The ligdnd N,N,N',N'-tetraethylpyridine- 2,6-dicarboxamide (Ly) reacts with trivalent lanthanide ions (Ln"') to give stable mononuclear triplestranded helical complexes [Ln(L9)J3 + (Ln = La to Lu).The crystal and molecular structures of [La(L9),](CI0
Publikováno v:
Journal of Alloys and Compounds, Vol. 249, No 1-2 (1997) pp. 14-24
We have taken advantage of self-assembly processes associated with the induced fit concept to design multidentate segmental ligands based on substituted benzimidazole-pyridine moieties which lead to the selective formation of stable luminescent monon
Publikováno v:
PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving.
Publikováno v:
Automated Deduction – CADE-24 ISBN: 9783642385735
CADE
CADE-24th International Conference on Automated Deduction
CADE-24th International Conference on Automated Deduction, Jun 2013, Lake Placid, United States
Lecture Notes in Computer Science
CADE
CADE-24th International Conference on Automated Deduction
CADE-24th International Conference on Automated Deduction, Jun 2013, Lake Placid, United States
Lecture Notes in Computer Science
International audience; It is the exception that provers share and trust each others proofs. One reason for this is that different provers structure their proof evidence in remarkably different ways, including, for example, proof scripts, resolution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36a3ae823e61de0c634f82ef5242b5be
https://doi.org/10.1007/978-3-642-38574-2_11
https://doi.org/10.1007/978-3-642-38574-2_11
Autor:
Delia Kesner, Fabien Renaud
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2011, 412 (37), pp.4867-4892. ⟨10.1016/j.tcs.2011.01.026⟩
Theoretical Computer Science, Elsevier, 2011, 412 (37), pp.4867-4892. ⟨10.1016/j.tcs.2011.01.026⟩
International audience; Inspired by the Multiplicative Exponential fragment of Linear Logic, we define a framework called the prismoid of resources where each vertex is a language which refines the lambda-calculus by using a different choice to make
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc0d59aa861f531d79e1052c34080d02
https://hal.archives-ouvertes.fr/hal-00625598/document
https://hal.archives-ouvertes.fr/hal-00625598/document
Autor:
Fabien Renaud, Delia Kesner
Publikováno v:
Mathematical Foundations of Computer Science 2009 ISBN: 9783642038150
MFCS
MFCS 2009
Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science, Aug 2010, Novy Smokovec, Slovakia. pp.464-476
MFCS
MFCS 2009
Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science, Aug 2010, Novy Smokovec, Slovakia. pp.464-476
International audience; We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the definition of the contraction, weakening, and substitut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc28a82a195285b90173c494b61e62e9
https://hal.inria.fr/inria-00519503
https://hal.inria.fr/inria-00519503