Adding interaction to logic programming is an essential task. Expressive logics such as linear logic provide a theoretical basis for such a mechanism. Unfortunately, none of the existing (linear) logic languages can model interactions with the user because they uses provability as the sole basis for computation. In the operational semantics based on provability, executing the additive-conjuncti...

We study a generalization of the Frobenius problem: given k positive relatively prime integers, what is the largest integer g0 that cannot be represented as a nonnegative integral linear combination of the given integers? More generally, what is the largest integer gs that has exactly s such representations? We construct a family of integers, based on a recent paper by Tripathi, whose generaliz...

Sleep apnea syndrome, characterized by intermittent hypoxia (IH), is linked with increased oxidative stress. This study investigates the mechanisms underlying IH and the effects of IH-induced oxidative stress on cerebellar astrocytes. Rat primary cerebellar astrocytes were kept in an incubator with an oscillating O2 concentration between 20% and 5% every 30 min for 1-4 days. Although the cell l...

Let G0 be a reductive group over Fq. There are two classes of algebraic varieties over an algebraic closure F of Fq attached to G0. Let us recall their definition. We set G = G0×Fq F. To G there is associated the maximal torus, the Weyl group W and the set of fundamental reflections in W , cf. [DL] 1.1. Let X = XG be the set of all Borel subgroups of G. Then X is a smooth projective algebraic v...

The ability of progenitor cells to exit the cell cycle is essential for proper embryonic development and homeostasis, but the mechanisms governing cell cycle exit are still not fully understood. Here, we tested the requirement for the retinoblastoma (Rb) protein and its family members p107 and p130 in G0/G1 arrest and differentiation in mammalian cells. We found that Rb family triple knockout (...

The miR-16 family, which targets genes important for the G1-S transition, is a known modulator of the cell cycle, and members of this family are often deleted or downregulated in many types of cancers. Here, we report the reciprocal relationship-that of the cell cycle controlling the miR-16 family. Levels of this family increase rapidly as cells are arrested in G0. Conversely, as cells are rele...

A topological group is locally pseudocompact if it contains a non-empty open set with pseudocompact closure. In this note, we study connectedness and disconnectedness properties of groups G with the property that every closed subgroup of G is locally pseudocompact. We show that the completion of the component G0 of G contains every connected compact subgroup of the completion of G. We also prov...

BACKGROUND The purpose of this study was to evaluate cell cycle changes in choroidal endothelial cells treated with varying doses of bevacizumab in the presence of a range of concentrations of vascular endothelial growth factor (VEGF). Bevacizumab, a drug widely used in the treatment of neovascular age-related macular degeneration, choroidal neovascularization, and proliferative diabetic retino...

Different generations of Gd(III)DTPA-terminated poly(propylene imine) dendrimers {G1 [n = 4 Gd(III) ions per molecule], G3 (n = 16) and G5 (n = 64)} and reference Gd(III)DTPA complex [G0 (n = 1)] were characterized in terms of (i) longitudinal (r1) and transverse (r2) relaxivities in mouse blood plasma, (ii) concentration detection limits in vitro and (iii) in vivo contrast-enhanced MR imaging ...

The resistant dextrin NUTRIOSE®, developed from starch, is expected to act as a prebiotic. The aim of this study was to determine the effects of NUTRIOSE® on cecal parameters, short-chain fatty acid (SCFA) concentrations, and fecal excretion in rats. In an initial experiment, twenty-four male Fischer F344 rats were randomly assigned to one of the following four treatments for 14 days: G0 (contr...