نتایج جستجو برای: order p
تعداد نتایج: 2096609 فیلتر نتایج به سال:
Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define Polyteam Semantics in which formulae are evaluated for more than one team sim...
The (P,Q)-superlattice is a hyperstructure of the form (L, P ∨, Q ∧), where (L,∨,∧) is a lattice and the hyperoperations P ∨, Q ∧ are defined as follows: a P ∨ b . = a ∨ b ∨ P , a Q ∧ b . = a ∧ b ∧ Q. If the sets P,Q ⊆ L satisfy appropriate conditions, then (L, P ∨, Q ∧) is a superlattice. We examine the properties of the sets a P ∨ b and a Q ∧ b in connection to the properties of P,Q. Especial...
A network partitioning is said to occur when failures fragment the network into two or more sub-networks. This causes the performance of the network to degrade and many techniques have been proposed to combat this degradation. The number of possible partitionings in a fully connected network of n nodes is greater than 2 n , for large n. Thus, the analysis of partitioning-resilient algorithms is...
The distribution of valence electrons in metals usually follows the symmetry of the underlying ionic lattice. Modulations of this distribution often occur when those electrons are not stable with respect to a new electronic order, such as spin or charge density waves. Electron density waves have been observed in many families of superconductors, and are often considered to be essential for supe...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید