In this paper, we use Girard’s Ludics to analyze focalization, a fundamental property of linear logic. In particular, we show how this can be realized interactively thanks to section-retraction pairs (uαβ, fαβ) between behaviours α〈ˆ(β〈~ Y〉), ~ X〉 and αβ〈~ Y, ~ X〉.

Let $R = bigoplus_{n in mathbb{N}_{0}} R_{n}$ be a standardgraded ring, $M$ be a finitely generated graded $R$-module and $J$be a homogenous ideal of $R$. In this paper we study the gradedstructure of the $i$-th local cohomology module of $M$ defined by apair of ideals $(R_{+},J)$, i.e. $H^{i}_{R_{+},J}(M)$. Moreprecisely, we discuss finiteness property and vanishing of thegraded components $H^...

It is shown that Matet’s characterization ([9]) of the Ramsey property relative to a selective co-ideal H, in terms of games of Kastanas ([6]), still holds if we consider semiselectivity ([3]) instead of selectivity. Moreover, we prove that a co-ideal H is semiselective if and only if Matet’s game-theoretic characterization of the H-Ramsey property holds. This lifts Kastanas’s characterization ...

Let  $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. We say that $I$ satisfies the persistence property if  $mathrm{Ass}_R(R/I^k)subseteq mathrm{Ass}_R(R/I^{k+1})$ for all positive integers $kgeq 1$, which $mathrm{Ass}_R(R/I)$ denotes the set of associated prime ideals of $I$. In this paper, we introduce a class of square-free monomial ideals in the polynomial ring  $R=K[x_1,ld...

In this paper, for a prime number , a construction method to generate -ary -form sequences with the ideal autocorrelation property is proposed and using the ternary sequences found by Helleseth, Kumar, and Martinsen, ternary -form sequences with the ideal autocorrelation property are constructed. By combining the methods for generating -ary extended sequences (a special case of geometric sequen...

In this paper, we first present a new important property for Bouligand tangent cone (contingent cone) of a star-shaped set. We then establish optimality conditions for Pareto minima and proper ideal efficiencies in nonsmooth vector optimization problems by means of Bouligand tangent cone of image set, where the objective is generalized cone convex set-valued map, in general real normed spaces.

distraction osteogenesis method (do) in bone lengthening and rapid midpalatal expansion have shown the great ability of osteognic tissues for rapid bone formation under distraction force and special protocol with optimum rate of one millimeter per day. periodontal membrane of teeth (pdm) is the extension of periostium in the alveolar socked. orthodontic force distracts pdm fibers in the tension...

Achieving a proper nasal tip projection is a crucial element of a successful rhinoplasty. A large number of correction methods and manoeuvres have been proposed in the medical literature as solutions for the prominent nasal tip, thus complicating the surgeon's strife to choose the ideal plan of action. In the present article, a single straight-forward technique, christened the 'universal retrac...

In the present paper we have investigated Psorolin B ointment for improving bio-mechanical property of skin. is proprietary Siddha formulation composed Boswellia serrata, Wrightia tinctoria, Cynodon dactylon, Hydnocarpus laurifolia and red ochre. The property/elasticity skin evaluated in volar forearm region by four different methods such as applying uniaxial force, centripetal vacuum suction i...