We present a separated-linear lambda calculus of resource consumption based on a refinement of linear logic which allows separate control of weakening and contraction. The calculus satisfies subject reduction and confluence, and inherits previous results on the relationship of Girard’s two translations from minimal intuitionistic logic to linear logic with call-by-name and call-by-value. We con...

We present spatially resolved BPT mapping of the extended narrow line regions (ENLRs) seven nearby Seyfert 2 galaxies, using HST band filter imaging. construct diagrams $\leq$ 0.1" resolution emission images [O III]$\lambda$5007, H$\alpha$, [S II]$\lambda$$\lambda$6717,6731, and H$\beta$. By these diagnostic lines according to classification, we dissect ENLR into Seyfert, LINER, star-forming re...

A classical result of Sz.-Nagy asserts that a Hilbert space contraction operator T can be dilated to unitary $${{\mathcal {U}}}$$ , i.e., $$T^n = P_{{\mathcal {H}}}{{\mathcal {U}}}^n|{{\mathcal {H}}}$$ for all $$n =0,1,2,\ldots $$ . more general multivariable setting these ideas is the setup where (i) unit disk replaced by domain $$\Omega contained in $${{\mathbb {C}}}^d$$ (ii) an -contraction,...

Previously, we showed that intercellular uncoupling through gap junctions is an important mechanism for maintaining transmural heterogeneities of repolarization that are responsible for ventricular arrhythmias in disease states such as heart failure. However, rotational anisotropy between transmural muscle layers also may influence coupling. To determine the effect of rotational anisotropy on t...

In this paper, we define a new contractive mapping called fuzzy (φ,ψ)-contraction in fuzzy metric space and prove a fixed point theorem for this type of mapping. Finally, an example is given to illustrate the main result of this paper. Mathematics Subject Classification: 54E70; 47H25

We compute analytically and numerically the four-point correlation function that characterizes nontrivial cooperative dynamics in glassy systems within several models of glasses: elastoplastic deformations, mode-coupling theory (MCT), collectively rearranging regions (CRR's), diffusing defects, and kinetically constrained models (KCM's). Some features of the four-point susceptibility chi(4) (t)...

This paper is concerned with a one-dimensional isentropic compressible Navier-Stokes-Allen-Cahn system density-dependent viscosity, which models the motion of mixture two viscous fluids. The case when pressure $ p(\rho) = \rho^\gamma $, viscosity \nu(\rho, \chi) \rho^\alpha interface thickness \delta(\rho) \rho^\beta and relaxation time function a(\rho, \chi, \chi_y) \rho^\lambda considered, wh...

The convergence of a Presić type k-step iterative method for a new class of operators f : Xk → X satisfying a general Presić type contraction condition is proved. Our result is completing an existing list of Presić type iteration methods, see [Rus I. A., An iterative method for the solution of the equation x = f(x, . . . , x), Rev. Anal. Numer. Theor. Approx., 10(1) (1981), 95–100] and the rece...

We study quasi-matter bounce cosmology in light of Planck cosmic microwave background (CMB) angular anisotropy measurements along with the BICEP2/Keck Array data. propose a new primordial scalar power spectrum by considering linear approximation equation state $w\cong w_0+\kappa(\eta-\eta_0)$ for field contracting phase universe. Using this spectrum, we constrain zeroth-order $w_0= -\,0.00340\p...