In 1990, J.L. Krivine introduced the notion of storage operator to simulate ”call by value” in the ”call by name” strategy. J.L. Krivine has shown that, using Gődel translation of classical into intuitionitic logic, we can find a simple type for the storage operators in AF2 type system. This paper studies the ∀-positive types (the universal second order quantifier appears positively in these ty...

 Let $P(lambda)$ be an $n$-square complex matrix polynomial, and $1 leq k leq n$ be a positive integer. In this paper, some algebraic and geometrical properties of the $k$-numerical range of $P(lambda)$ are investigated. In particular, the relationship between the $k$-numerical range of $P(lambda)$ and the $k$-numerical range of its companion linearization is stated. Moreover, the $k$-numerical...

canine brucellosis is a zoonotic infectious disease caused by brucella canis. this bacterium can be transmitted to humans as well as other dogs. it is a significant cause of reproductive failure, predominantly in kennels. the aim of this study was to determine the seroprevalence of brucella canis infection in companion dogs referred to the veterinary hospital of shahid chamran university of ahv...

In this paper, we investigate the effect of a wide binary companion of the lens on the astrometric behavior of Galactic gravitational microlensing events and compare it to the effect on the photometric behavior. We find that the wide binary companion of the lens can affect the centroid motion of images substantially even if the corresponding light curve appears to be the one of a standard singl...

BACKGROUND Companion diagnostics aim to identify patients that will respond to targeted therapies, therefore increasing the clinical efficacy of such drugs. Less is known about their influence on safety and tolerability of targeted anti-cancer agents. METHODS AND FINDINGS Randomized trials evaluating targeted agents for solid tumors approved by the US Food and Drug Administration since year 2...

We study the possibility to detect extrasolar planets in M31 through pixel-lensing observations. Using a Monte Carlo approach, we select the physical parameters of the binary lens system, a star hosting a planet, and we calculate the pixel-lensing light curve taking into account the finite source effects. Indeed, their inclusion is crucial since the sources in M31 microlensing events are mainly...

The central star of the planetary nebula (CSPN) M 2-29 shows an extraordinary R Coronae Borealis-like fading event in its optical lightcurve. The only other CSPN to show these events are CPD−568032 (Hen 3-1333) and V651 Mon (NGC 2346). Dust cloud formation in the line of sight appears responsible but the exact triggering mechanism is not well understood. Understanding how planetary nebulae (PNe...

BACKGROUND To evaluate the effectiveness and safety of the support given to women by a companion of their choice during labor and delivery. METHODS A total of 212 primiparous women were enrolled in a randomized controlled clinical trial carried out between February 2004 and March 2005. One hundred and five women were allocated to the group in which support was permitted and 107 to the group i...

In recent times increasing occurrence of dermatophytosis, especially among the school children in eastern India was evidenced along with increased tendency of keeping companion animals such as dogs and cats. This study was undertaken to detect the occurrence of dermatophytes with antifungal susceptibility among the companion animals. A total of 1501 healthy companion animals comprising 1209 dog...

in order to study the effects of different sowing dates by some of companion crops on the weeds control, morphological traits and yield of corn sc 504, a field experiment was carried out of research field at tabriz university during 2010 growing season. treatments were arranged in a factorial experiment using randomized complete blocks design with three replicatins. factors was include four lev...