Abstract We study increasingly expressive type systems, from $$F^\mu $$ F μ —an extension of the polymorphic lambda calculus with equirecursive types—to $$F^{\mu ;}_\omega ω ; —the hig...

BACKGROUND The autoimmune disease type 1 diabetes mellitus (T1D) is associated with a defect in the immune response, which increases susceptibility to infection. We recently demonstrated that prolonged elevated levels of type 1 interferon (IFN) induce lymphocyte exhaustion during T1D. AIMS In the present study, we further investigated the effect of blocking the type I IFN receptor signaling p...

This paper introduces an exploration to the permuting ability of a 2D torus under deterministic XY routing. The research is carried out for a number of communication models, namely, unidirectional uniaxial, bidirectional uniaxial, unidirectional biaxial, and bidirectional biaxial. Necessary and sufficient conditions of blocking occurrence in a 2D torus for uniaxial models are expressed mathemat...

OBJECTIVE Several studies have demonstrated differences in omega-3 fatty acid composition in plasma and in erythrocyte membranes in patients with attention-deficit/hyperactivity disorder (ADHD) compared with unaffected controls. Omega-3 fatty acids have anti-inflammatory properties and can alter central nervous system cell membrane fluidity and phospholipid composition. Cell membrane fluidity c...

The purpose of this note is to give a necessary and sufficient condition for the coexistence of positive solutions to a rather general type of elliptic predator-prey system of the Dirichlet problem on the bounded domain omega when omega is a subset of Rn is large. The result is that the partial differential equation system possesses positive coexistence if and only if the corresponding ordinary...

Incorporation of omega-3 fatty acids in the diet of chicks challenged with coccidiosis (E. tenella) reduced the adverse effects on growth and reduced gut lesion scores. The optimum response with fish oil was seen with 5%. Lower levels of fish oil (2.5%) gave lower yet significant improvements. It was demonstrated that the main long chain omega-3 fatty acids in fish oil (EPA plus DHA) accounted ...

A vertical line stimulus was presented alternately at two positions on an oscilloscope face, with no interstimulus interval. Observation of this stimulus produced haphazard alternation between a number of movement percepts, which were divided into four categories: phi, omega and partial movement, and no movement. Attention to one category did not increase the proportion of time movement in that...

The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to solve several agreement problems, like Consensus. In this paper, algorithms that implement failure detectors in partially synchronous systems are presented. First two simple algorithms of the weakest class to solve Consen...