Zobrazeno 1 - 10
of 344
pro vyhledávání: '"P Baudon"'
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2305.18250
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2208.01005
Publikováno v:
Journal of Dairy Science, Vol 106, Iss 7, Pp 4580-4598 (2023)
ABSTRACT: Forty-five Holstein lactating cows (41 ± 8.8 kg/d of milk yield, 96 ± 35.6 days in milk, and 607 ± 80.4 kg of body weight) were enrolled in this study to assess the effects of diets supplemented with sodium bicarbonate or a magnesium-bas
Externí odkaz:
https://doaj.org/article/cafd3fcba2af4bde9b6deab2ba7ccd45
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.
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:
Baudon, Olivier, Pilsniak, Monika, Przybylo, Jakub, Senhaji, Mohammed, Sopena, Eric, Wozniak, Mariusz
With any (not necessarily proper) edge $k$-colouring $\gamma:E(G)\longrightarrow\{1,\dots,k\}$ of a graph $G$,one can associate a vertex colouring $\sigma\_{\gamma}$ given by $\sigma\_{\gamma}(v)=\sum\_{e\ni v}\gamma(e)$.A neighbour-sum-distinguishin
Externí odkaz:
http://arxiv.org/abs/1701.04648
Autor:
Angel Baudon, Etienne Clauss-Creusot, Pascal Darbon, Ryan Patwell, Valery Grinevich, Alexandre Charlet
Publikováno v:
STAR Protocols, Vol 3, Iss 1, Pp 101159- (2022)
Summary: Astrocytes are glial cells that exhibit calcium signaling-mediated activity. Here, we present a protocol to monitor and manipulate astrocyte calcium activity from mouse amygdala slices. In the first part of this protocol, we describe the pro
Externí odkaz:
https://doaj.org/article/f0bf98f2d3a04a62846159f2ffdc37a3
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.
The distance-dependence of the anisotropic atom-wall interaction is studied. The central result is the 1/z^6 quadrupolar anisotropy decay in the retarded Casimir-Polder regime. Analysis of the transition region between non-retarded van der Waals regi
Externí odkaz:
http://arxiv.org/abs/1403.5216
Autor:
Baudon Olivier, Hocquard Hervé, Marczyk Antoni, Pilśniak Monika, Przybyło Jakub, Woźniak Mariusz
Publikováno v:
Discussiones Mathematicae Graph Theory, Vol 40, Iss 4, Pp 1175-1186 (2020)
A total k-coloring of a graph G is a coloring of vertices and edges of G using colors of the set {1, . . . , k}. These colors can be used to distinguish adjacent vertices of G. There are many possibilities of such a distinction. In this paper, we foc
Externí odkaz:
https://doaj.org/article/78d65607858d4c3ea2b34a04a1b5f587