A quantifier elimination procedure for a class M over a language L is an algorithm that given an L-formula φ computes a quantifier-free L-formula φ′ such that M |= φ′ ←→ φ. An L-formula is called linear if it contains no products or reciprocals of quantified variables. Quantifier elimination methods for valued fields have been extensively investigated in the past. The existence of a quantifier ...

Hepatic and splenic microsomal electron transport system function, microsomal heme oxygenase activity, and microsomal drug metabolism have been examined in male Wistar rats bearing Murphy-Sturm lymphosarcoma 2 to 15 days following i.m. tumor transplantation. Hepatic microsomal cytochrome P450 and NADPH-cytochrome c reducÃ-ase activity decreased significantly [cytochrome P-450 nadir was 0.49 ± ...

in this paper we apply the homotopy perturbation method to derive the higher-order asymptotic distribution of the eigenvalues and eigenfunctions associated with the linear real second order equation of sturm-liouville type on $[0,pi]$ with neumann conditions $(y'(0)=y'(pi)=0)$ where $q$ is a real-valued sign-indefinite number of $c^{1}[0,pi]$ and $lambda$ is a real parameter.

we investigate the boundary-value problem generated by the sturm-liouville equation withdiscontinuous coefficients, eigenparameter dependent boundary conditions and transmission conditionsat the point of discontinuity. with a different approach we introduce an adequate hilbert spaceformulation, investigate some properties of eigenvalues, green’s function and resolvent operator, andfind simple c...