Results 11 to 20 of about 549,124 (265)
Graphs and Combinatorics, 2022 We introduce a notion of rainbow saturation and the corresponding rainbow saturation number. This is the saturation version of the rainbow Turán numbers whose systematic study was initiated by Keevash, Mubayi, Sudakov, and Verstraëte. We give examples of graphs for which the rainbow saturation number is bounded away from the ordinary saturation number.
Neal Bushaw +2 more
openaire +3 more sources
Proceedings of the American Mathematical Society, 1991 The family \({\mathcal A}\) of some countable subsets of the infinite cardinal \(\kappa\) is said to be saturated (or completely separable) if for all subsets x of \(\kappa\) either there is \(a\in {\mathcal A}\) with \(a\subseteq x\) or else there are finitely many sets \(a_ 1,...,a_ n\in {\mathcal A}\) with \(x-(a_ 1\cup...\cup a_ n)\) finite. Let S(\
Goldstern, Martin +2 more
openaire +1 more source
Effect of Exit Pressure of Steam Turbine Last Stage Cascade Blade on Two Phases of Saturated Vapor and Water Droplet [PDF]
Engineering and Technology Journal, 2013 Experimental investigation was carried out in low pressure steam turbine cascade to determine the effect of exit pressure on two phases of saturated vapor and fine water droplet.
Assim H. Yousif +2 more
doaj +1 more source
EFSA Journal, 2015 The Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids of the European Food Safety Authority was requested to evaluate 29 flavouring substances in the Flavouring Group Evaluation 18, as laid down in Commission Regulation (EC) No ...
EFSA Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids (CEF)
doaj +1 more source
EFSA Journal, 2011 The Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids of the European Food Safety Authority was requested to evaluate 17 flavouring substances in the Flavouring Group Evaluation 9, Revision 3, using the Procedure in Commission ...
EFSA Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids (CEF)
doaj +1 more source
Relation between saturated and normal operators
Bibechana, 2013 A vector space X with algebra of all linear maps ∑(X) from X into itself and the ideal of all finite dimensional linear maps with dual (Conjugate) transformation T* to T from X' to itself form a relation in terms of relatively regular and linearly ...
Nagendra Pd Sah
doaj +3 more sources
Scientific Opinion on Flavouring Group Evaluation 12, Revision 3 (FGE.12Rev3): Primary saturated or unsaturated alicyclic alcohol, aldehyde, acid, and esters from chemical group 7 [PDF]
EFSA Journal, 2012 The Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids of the European Food Safety Authority was requested to evaluate 10 flavouring substances in the Flavouring Group Evaluation 12 (FGE.12), including an additional substance in ...
EFSA Panel on Food Contact Materials, Enzymes, Flavourings and Processing Aids (CEF)
doaj +1 more source
European Journal of Combinatorics, 2016 A graph $G = (V,E)$ is said to be saturated with respect to a monotone increasing graph property ${\mathcal P}$, if $G \notin {\mathcal P}$ but $G \cup \{e\} \in {\mathcal P}$ for every $e \in \binom{V}{2} \setminus E$. The saturation game $(n, {\mathcal P})$ is played as follows.
Dan Hefetz +3 more
openaire +3 more sources
gym-saturation: an OpenAI Gym environment for saturation provers [PDF]
Journal of Open Source Software, 2022 6 pages, 1 ...
openaire +2 more sources
Completeness for Saturated $\mathsf{L}$-Quasi-Uniform Limit Spaces [PDF]
Transactions on Fuzzy Sets and Systems, 2023 We define and study two completeness notions for saturated $\mathsf{L}$-quasi-uniform limit spaces. The one, that we term Lawvere completeness, is defined using the concept of promodule and lends a lax algebraic interpretation of completeness also
Gunther Jäger
doaj +1 more source