This paper revisits the results of Barendregt and Ghilezan [3] and generalizes them for classical logic. Instead of λ-calculus, we use here λμ-calculus as the basic term calculus. We consider two extensionally equivalent type assignment systems for λμ-calculus, one corresponding to classical natural deduction, and the other to classical sequent calculus. Their relations and normalisation proper...

In this paper we strengthen to Morrey-Lorentz spaces the famous trace principle introduced by Adams. More precisely, show that Riesz potential $I_{\alpha}$ is continuous \begin{equation} \Vert I_{\alpha}f\Vert_{\mathcal{M}_{q, \infty}^{\lambda_{\ast}}(d\mu)}\lesssim \Arrowvert\mu\Arrowvert_{\beta}^{{1}/{q}}\,\Vert f\Vert_{\mathcal{M}_{p, \infty}^{\lambda}(d\nu)}\nonumber\\[0.02in] \end{equation...

Food microbiologists generally use continuous sigmoidal functions such as the empirical Gompertz equation to obtain the kinetic parameters specific growth rate (mu) and lag phase duration (lambda) from bacterial growth curves. This approach yields reliable information on mu; however, values for lambda are difficult to determine accurately due, in part, to our poor understanding of the physiolog...

Leishmaniasis has been of concern to the U.S. military and has re-emerged in importance because of recent deployments to the Middle East. We conducted a retrospective probabilistic risk assessment for military personnel potentially exposed to insecticides during the "Leishmaniasis Control Plan" (LCP) undertaken in 2003 at Tallil Air Base, Iraq. We estimated acute and subchronic risks from resme...

Reference percentile curves represent the covariate-dependent distribution of a quantitative measurement and are often used to summarize and monitor dynamic processes such as human growth. We propose a new nonparametric method based on a radial smoothing (RS) technique to estimate age-specific reference percentile curves assuming the underlying distribution is relatively close to normal. We com...

A single strain (ATCC 700408) of Salmonella typhimurium DT104 was used to investigate and model growth from a low (1.12 log10 mpn g(-1)) and high (3.7 log10 cfu g(-1)) initial density on ground chicken with a natural microflora. Kinetic data for growth of the pathogen on ground chicken were fit to a primary model to determine lag time (lambda), maximum specific growth rate (mu) and maximum popu...

The generalized affine Grassmannian slices $\overline{\mathcal{W}}_\mu^\lambda$ are algebraic varieties introduced by Braverman, Finkelberg, and Nakajima in their study of Coulomb branches $3d$ $\mathcal{N}=4$ quiver gauge theories. We prove a conjecture theirs showing that the dense open subset $\mathcal{W}_\mu^\lambda \subseteq \overline{\mathcal{W}}_\mu^\lambda$ is smooth. An explicit decomp...

Leishmaniasis has been of concern to the U.S. military and has re-emerged in importance because of recent deployments to the Middle East. We conducted a retrospective probabilistic risk assessment for military personnel potentially exposed to insecticides during the “Leishmaniasis Control Plan” (LCP) undertaken in 2003 at Tallil Air Base, Iraq. We estimated acute and subchronic risks from resme...

Let $\mathbb S$ be a Clifford module for the complexified algebra $\mathbb{C}\ell(\mathbb R^n)$, S'$ its dual, $\rho$ and $\rho'$ corresponding representations of spin group ${\rm Spin}(n)$. The $G= {\rm Spin}(1,n+1)$ is (twofold) covering conformal R^n$. For $\lambda, \mu\in \mathbb C$, let $\pi_{\rho, \lambda}$ (resp. $\pi_{\rho',\mu}$) spinorial representation $G$ realized on (subspace of) $...