Results 41 to 50 of about 1,072,947 (315)
Applications of cohomology to set theory II: Todorčević trees
The author develops a cohomology theory for a class of \(\omega_1\)-trees. This continues the author's investigations in Part I [ibid. 71, 69-106 (1995; Zbl 0824.03029)] on application of cohomology to gaps. An \(\omega_1\)-tree \(T\) is special if there is a function \(f: T\to \mathbb{Z}\) such that if \(s< t\) then \(f(s)\neq f(t)\).
openaire +1 more source
A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation
Temporal fault trees (TFTs), an extension of classical Boolean fault trees, can model time-dependent failure behaviour of dynamic systems. The methodologies used for quantitative analysis of TFTs include algebraic solutions, Petri nets (PN), and Bayesian
Sohag Kabir +4 more
doaj +1 more source
How unprovable is Rabin's decidability theorem?
We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical ...
Beckmann A. +6 more
core +1 more source
Scattering of conformal higher spin fields
We develop a formalism for describing the most general notion of tree-level scattering amplitudes in 4d conformal higher spin theory. As conformal higher spin fields obey higher-derivative equations of motion, there are many distinct on-shell external ...
Tim Adamo +2 more
doaj +1 more source
An allometry-based approach for understanding forest structure, predicting tree-size distribution and assessing the degree of disturbance [PDF]
Tree-size distribution is one of the most investigated subjects in plant population biology. The forestry literature reports that tree-size distribution trajectories vary across different stands and/or species, while the metabolic scaling theory suggests
Anfodillo, Tommaso +5 more
core +2 more sources
Improvement of ID3 Algorithm Based on Simplified Information Entropy and Coordination Degree
The decision tree algorithm is a core technology in data classification mining, and ID3 (Iterative Dichotomiser 3) algorithm is a famous one, which has achieved good results in the field of classification mining.
Yingying Wang +4 more
doaj +1 more source
BCJ numerators from differential operator of multidimensional residue
In previous works, we devised a differential operator for evaluating typical integrals appearing in the Cachazo–He–Yuan (CHY) forms and in this paper we further streamline this method.
Gang Chen, Tianheng Wang
doaj +1 more source
Notes on the scattering amplitude / Wilson loop duality
We consider the duality between the four-dimensional S-matrix of planar maximally supersymmetric Yang-Mills theory and the expectation value of polygonal shaped Wilson loops in the same theory.
Caron-Huot, Simon
core +1 more source
Coloring trees in reverse mathematics [PDF]
The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{
Dzhafarov, Damir, Patey, Ludovic
core +4 more sources

