We extend Parigot's-calculus to form a system of realizers for classical logic which reeects the structure of Gentzen's cut-free, multiple-conclusioned, sequent calculus LK when used as a system for proof-search. Speciically, we add (i) a second binding operator, , which realizes classical, multiple-conclusioned disjunction, and (ii) explicit substitutions, , which provide suucient term-structu...

There are many functions which are continuous everywhere but non-differentiable at someor all points such functions are termed as unreachable functions. Graphs representing suchunreachable functions are called unreachable graphs. For example ECG is such an unreachable graph. Classical calculus fails in their characterization as derivatives do not exist at the unreachable points. Such unreachabl...

mefloquine (mfq), as a racemic mixture is used for the prophylaxis and treatment of malaria. stereoselective pharmacodynamic and pharmacokinetic differences have been observed for mfq. in the present study, the human blood was spiked with racemic mfq. the concentration of mfq enantiomers in various blood fractions including packed erythrocyte layer, platelet rich plasma and platelet poor plasma...

Primary squamous cell carcinoma (SCC) of renal pelvis is a rare neoplasm. A 75-year old male presented with history of chronic dull aching pain in left flank region for last 10-years with history of left pyelolithotomy about 30-years back. After proper workup, large calculus with heterogeneous density mass detected in nonfunctioning left kidney. After radical nephrectomy, histopathological exam...

the purpose of this paper was to see whether any significant relationship exists among efl learners’ autonomy, left/right brain dominance, and reading comprehension of the academic reading and general reading modules of ielts examination. to this end, 100 female efl learners were randomly selected from those who were attending ielts preparatory courses at a language school in tehran. all partic...

Abstract Researchers dealing with real functions $$\ f\left( \cdot \right) \in L^{1}\left( a,b\right) $$ f · ∈ L 1 a , b </mm...

The goal of this thesis is to provide a unified framework in which to analyze the dynamics of two seemingly unrelated families of one-dimensional dynamical systems, namely the family of quadratic polynomials and continued fractions. We develop a combinatorial calculus to describe the bifurcation set of both families and prove they are isomorphic. As a corollary, we establish a series of results...

This study outlines the local fractional integro-differential equations carried out by the local fractional calculus. The analytical solutions within local fractional Volterra and Abel’s integral equations via the Yang-Laplace transform are discussed. Some illustrative examples will be discussed. The obtained results show the simplicity and efficiency of the present technique with application t...

It was already observed by Euler [Eul1773] that the method of continued fractions occasionally requires a lot of tedious calculations, and even Fermat knew – as can be seen from the examples he chose to challenge the English mathematicians – a few examples with large solutions. To save work, Euler suggested a completely different method, which allows to compute even very large solutions of cert...

The aim of the present paper is to introduce and investigate a new subclass of Bazilevi'{c} functions in the punctured unit disk $mathcal{U}^*$ which have been described through using of the well-known fractional $q$-calculus operators, Hadamard product and a linear operator. In addition, we obtain some sufficient conditions for the func...