Results 11 to 20 of about 3,064 (192)
Equivalence relations and determinacy [PDF]
Journal of Mathematical Logic, 2022 We introduce the notion of [Formula: see text]-determinacy for [Formula: see text] a pointclass and [Formula: see text] an equivalence relation on a Polish space [Formula: see text]. A case of particular interest is the case when [Formula: see text] is the (left) shift-action of [Formula: see text] on [Formula: see text] where [Formula: see text] or ...
Logan Crone +2 more
openaire +2 more sources
Proceedings of the American Mathematical Society, 1992 Summary: We present a particularly simple and direct proof that the set of noncontact-sufficient (\(\mathcal K\)-sufficient) germs are of infinite codimension. Our proof gives, for each \(k\), an integer \(r\) with the property that almost all \(r\)-jets over any \(k\)-jet \(z\) are \(\mathcal K\)- sufficient.
Bruce, J.W., Ruas, M.A.S., Saia, M.J.
openaire +1 more source
Proceedings of the National Academy of Sciences, 1988 It is shown that projective determinacy follows from large cardinal axioms weaker than the assertion that supercompact cardinals exist.
Martin, Donald A., Steel, John R.
openaire +2 more sources
Topology Universality and Dissimilarity in a Class of Scale-Free Networks. [PDF]
PLoS ONE, 2016 We study the effect of subtle changes on the evolution in the scale-free (SF) networks. Three extended models are evolved based on competition and inner anti-preferential deletion in growth and preferential attachment processes.
Lanhua Zhang +6 more
doaj +1 more source
Determinacy and Determinacy Analysis [PDF]
J. Program. Lang., 1997 One unique feature of logic languages is their ability to succinctly and declaratively express non-determinacy and hence search. Improving search efficiency is one of the main goals of AI and, by studying how redundant search may be factored out, this paper contributes to this goal.
Hill, Pat, King, Andy
openaire +2 more sources
Frontiers in Human Neuroscience, 2016 Research in the field of psychological aesthetics points to the appeal of stimuli which defy easy recognition by being semantically unstable but which still allow for creating meaning—in the ongoing process of elaborative perception or as an end product ...
Claudia eMuth +8 more
doaj +1 more source
Enhancing Real-Time and Determinacy for Network-Level Schedule in Distributed Mixed-Critical System
IEEE Access, 2020 Time-triggered Ethernet (TTE) is designed as a deterministic real-time network for mixed-critical real-time systems, such as industrial automation, aerospace, and aviation.
Jun Lu +3 more
doaj +1 more source
MULTI-FLORET SPIKELET 4 (MFS4) Regulates Spikelet Development and Grain Size in Rice
Rice Science, 2021 In rice, the spikelet is the basic unit of inflorescence, and its development is important for determining the grain yield and quality. We reported a rice spikelet mutant multi-floret spikelet 4 (mfs4) which resulted in the production of extra floral ...
Wang Yan +7 more
doaj +1 more source
The Church Problem for Countable Ordinals [PDF]
Logical Methods in Computer Science, 2009 A fundamental theorem of Buchi and Landweber shows that the Church synthesis problem is computable. Buchi and Landweber reduced the Church Problem to problems about ω-games and used the determinacy of such games as one of the main tools to show its ...
Alexander Rabinovich
doaj +1 more source
Polynomial Approximation on Unbounded Subsets, Markov Moment Problem and Other Applications
Mathematics, 2020 This paper starts by recalling the author’s results on polynomial approximation over a Cartesian product A of closed unbounded intervals and its applications to solving Markov moment problems.
Octav Olteanu
doaj +1 more source