In a bipartite graph there are two widely encountered monotone mappings from subsets of one side of the graph to subsets of the other side: one corresponds to the quantifier “there exists a neighbor in the subset” and the other to the quantifier “all neighbors are in the subset.” These mappings generate a partially ordered semigroup which we characterize in terms of “run-unimodal” words.

the renewable energy resources such as wind power have recently attracted more researchers’ attention. it is mainly due to the aggressive energy consumption, high pollution and cost of fossil fuels. in this era, the future fluctuations of these time series should be predicted to increase the reliability of the power network. in this paper, the dynamic characteristics and short-term predictabili...

passiflora species were known by their anticonvulsant, anxiolytic and sedative activities. the aim of this study was to investigate the chemical composition of the most active leaf extract of passiflora caerulea l. grown in egypt. the ethanolic extract of the leaves exhibited higher activity than aqueous extract as anticonvulsant (63% potency relative to carbamazepine), analgesic (70% potency r...

background:breast cancer remains the most common and second lethal cancer in females. her-2/neu is one of the most important amplified oncogene in breast cancer. the amplification of her-2 is correlated with decreased survival, metastasis, and early recurrence.  the amplification of her-2/neu gene and synthesis of the protein are reported in 10%-34% of breast cancer cases associated with tumor ...

Different software tools for quantification of myocardial perfusion SPECT (MPS) studies are routinely used. Several perfusion parameters can be computed automatically.  Interpretation of the MPS should start with visual inspection of the rotating planar images, visual analysis of reconstructed SPECT slices and then quantitative analysis to confirm the visual impression. Quantification should be...

This paper discusses the role of existence presuppositions and conceivability in linguistic interpretation. In particular, it is discussed evidence that the non-emptiness requirement on universally-quantified propositions might be satisfied through access to a background of knowledge concerning what might be the case in the actual world, as opposed to a background of knowledge concerning what i...

Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is either unknown, or when it occurs in infinitely many, similar versions. The following is a list of application areas and publications that contain applications fo...

(i) For any x1 ∈ R+, there exists some Kx1 and x1 > 0 such that ∂f2 ∂x2 (x1, t) ≤ − x1 for all t ≥ Kx1 . (ii) For any x2 ∈ R+, there exists some Kx2 and x2 > 0 such that ∂f1 ∂x1 (t, x2) ≤ − x2 for all t ≥ Kx2 . In the following result, which is a correction of Theorem 5.1 in [1], f is required to satisfy the same conditions as in Section V of [1] as well as Assumption A above. Theorem 5.1 Assum...

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as “there exists uncountable many.” Both of the axiomatizations are shown to be sound and com...