Because thrombin-induced inflammation is partially mast cell-dependent and involves proteinase-activated receptors (PARs), we hypothesized that mast cells express PAR and can be stimulated with PAR-activating peptides (PAR-AP). We demonstrated that rat peritoneal mast cells expressed PAR-1 and PAR-2 mRNA, and that PAR-2AP (tc-LIGRLO-NH(2), 1 microm) induced 64.2 +/- 4.4% specific beta-hexosamin...

The par genes participate in the process of establishing cellular asymmetries during the first cell cycle of Caenorhabditis elegans development. The par-2 gene is required for the unequal first cleavage and for asymmetries in cell cycle length and spindle orientation in the two resulting daughter cells. We have found that the PAR-2 protein is present in adult gonads and early embryos. In gonads...

Refinement is a well-known approach for developing correct-by-construction software. It has been very successful for producing high quality code e.g., as implemented in the B tool. Yet, such refinement techniques are restricted in the sense that they forbid aliasing (and more generally sharing of data-structures), which often happens in usual programming language such as Java and C. We propose ...

We consider solutions to the time-harmonic Maxwell problem in R. For such solution we provide a rigorous derivation of the asymptotic expansions in the practically interesting situation, where a finite number of inhomogeneities of small diameter are imbedded in the entire space. Then, we describe the behavior of the electromagnetic energy caused by the presence of these inhomogeneities. Sur la ...

We consider solutions to the time-harmonic Maxwell problem in R. For such solution we provide a rigorous derivation of the asymptotic expansions in the practically interesting situation, where a finite number of inhomogeneities of small diameter are imbedded in the entire space. Then, we describe the behavior of the electromagnetic energy caused by the presence of these inhomogeneities. Sur la ...

In connection with a problem posed by Kijima and Wong [11], we propose a lattice algorithm for pricing simple Ratchet equity-indexed annuities (EIAs) with early surrender risk and global minimum contract value when the asset value depends on the CIR++ stochastic interest rates. In addition we present an asymptotic expansion technique which permits to obtain a first order approximation formula f...

We calculated the color-octet contribution to the J/ψ hadroproduction at fixed target energies (s) ≃ 40 GeV. We consider the J/ψ production with transverse momenta which can not be explained by primordial motion of par-tons, p T > 1.5 GeV. It is shown that color octet contribution is dominant at these energies and reduces large dicrepancies between experimental data and color singlet model pred...

2. Soit A = {aij}1≤i≤n,1≤j≤m une matrice m × n dont les éléments sont à valeurs dans {0, 1}. Soit b = {bj}1≤j≤m un vecteur colonne dont les éléments sont à valeurs dans {−1,+1} et soit c = {ci}1≤i≤n le vecteur colonne défini par c = Ab. On pose ||c||∞ = ||Ab||∞ = max 1≤i≤n |ci| . On choisit b aléatoire: b1, . . . , bn sont des variables aléatoires indépendantes prenant les deux valeurs dans −1 ...

Motivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the n×n determinant det((a+ j− i)Γ(b+ j + i)) in 2000. When a = 0, Ciucu and Krattenthaler computed the associated Pfaffian Pf((j− i)Γ(b+ j + i)) with an application to the two dimensional dimer system in 2011. Recently we have generalized the latter Pfaffian formula with a q-analogue by replacing the Gamma function by the ...

— The local analytic classification of irregular linear q-difference equations has recently been obtained by J.-P. Ramis, J. Sauloy and C. Zhang. Their description involves a q-analog of the Stokes sheaf and theorems of Malgrange-Sibuya type and is based on a discrete summation process due to C. Zhang. We show here another road to some of these results by algebraic means and we describe the q-G...