Zobrazeno 1 - 10
of 635
pro vyhledávání: '"P. Ehrhard"'
Autor:
Ehrhard, Thomas
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are compatible
Externí odkaz:
http://arxiv.org/abs/2401.14834
Autor:
Lucas Gunkel, Amelie A. Ehrhard, Carola S. Krevert, Bogdan A. Marekha, Mischa Bonn, Maksim Grechko, Johannes Hunger
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-9 (2024)
Abstract Water is characterized by strong intermolecular hydrogen bonds (H-bonds) between molecules. The two hydrogen atoms in one water molecule can form H-bonds of dissimilar length. Although intimately connected to water’s anomalous properties,
Externí odkaz:
https://doaj.org/article/c1cdb74f36e44fd78b7fd0797e5f4014
Autor:
Ehrhard, Thomas, Walch, Aymeric
We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive. The main idea consists in extending summability
Externí odkaz:
http://arxiv.org/abs/2310.01907
Autor:
Ehrhard, Henry
We introduce a new basis for the polynomial ring which lifts the complete homogeneous symmetric polynomials while retaining representation theoretic significance. Using a specialized RSK algorithm we give an explicit nonnegative expansion into key po
Externí odkaz:
http://arxiv.org/abs/2305.03241
Autor:
Ehrhard, Thomas, Walch, Aymeric
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial left-additive
Externí odkaz:
http://arxiv.org/abs/2303.06952
Autor:
Ehrhard, Thomas, Geoffroy, Guillaume
Measurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous data types" such as the real line. So far however, they lacked a majo
Externí odkaz:
http://arxiv.org/abs/2212.02371
Autor:
Simone Ehrhard, Vicky Eyb, Dominic Gautschi, Stefan K. Schauber, Meret E. Ricklin, Jolanta Klukowska-Rötzler, Aristomenis K. Exadaktylos, Arthur Helbling
Publikováno v:
Allergy, Asthma & Clinical Immunology, Vol 20, Iss 1, Pp 1-10 (2024)
Abstract Background Anaphylaxis is the most severe form of acute systemic and potentially life-threatening reactions triggered by mast and basophilic cells. Recent studies show a worldwide incidence between 50 and 112 occurrences per 100,000 person-y
Externí odkaz:
https://doaj.org/article/9afc3eaca2924eb2b28f11b07dd6db54
Autor:
Vincent Hisler, Paul Bardot, Dylane Detilleux, Andrea Bernardini, Matthieu Stierle, Emmanuel Garcia Sanchez, Claire Richard, Lynda Hadj Arab, Cynthia Ehrhard, Bastien Morlet, Yavor Hadzhiev, Matthieu Jung, Stéphanie Le Gras, Luc Négroni, Ferenc Müller, László Tora, Stéphane D. Vincent
Publikováno v:
Cell Reports, Vol 43, Iss 10, Pp 114791- (2024)
Summary: The recognition of core promoter sequences by TFIID is the first step in RNA polymerase II (Pol II) transcription initiation. Metazoan holo-TFIID is a trilobular complex, composed of the TATA binding protein (TBP) and 13 TBP-associated facto
Externí odkaz:
https://doaj.org/article/8f578fb5cc1f402db296167faf6950f2
Autor:
Ehrhard, Thomas
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (October 26, 2023) lmcs:9969
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential linear logic
Externí odkaz:
http://arxiv.org/abs/2205.04109
Autor:
Ehrhard, Henry
Gasharov introduced the combinatorial objects known as $P$-arrays to prove $s$-positivity for the chromatic symmetric functions of incomparability graphs of (3+1)-free posets. We define a crystal, a directed colored graph with some additional axioms,
Externí odkaz:
http://arxiv.org/abs/2205.01834