Results 31 to 40 of about 1,077,252 (284)
Transforming structures by set interpretations [PDF]
Logical Methods in Computer Science, 2007 We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas with free set variables.
Thomas Colcombet, Christof Löding
doaj +1 more source
Applications of cohomology to set theory II: Todorčević trees
Annals of Pure and Applied Logic, 1996 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
How unprovable is Rabin's decidability theorem?
, 2015 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
A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation
IEEE Access, 2020 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
Scattering of conformal higher spin fields
Journal of High Energy Physics, 2018 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
Improvement of ID3 Algorithm Based on Simplified Information Entropy and Coordination Degree
Algorithms, 2017 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
European Physical Journal C: Particles and Fields, 2020 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
, 2010 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
A Theory of Stationary Trees and the Balanced Baumgartner-Hajnal-Todorcevic Theorem for Trees
, 2013 Building on early work by Stevo Todorcevic, we describe a theory of stationary subtrees of trees of successor-cardinal height. We define the diagonal union of subsets of a tree, as well as normal ideals on a tree, and we characterize arbitrary subsets of
Brodsky, Ari Meir
core +1 more source
Mechanisms of IgE‐mediated food allergy and the role of allergen‐specific B cells
FEBS Letters, EarlyView.Food allergy arises when allergen‐specific B cells preferentially produce immunoglobulin E (IgE) antibodies against harmless foods. This article explains the mechanisms driving IgE‐mediated reactions, highlights the central role of these B cells, and discusses how natural tolerance (NT) and oral immunotherapy (OIT) can reshape allergic immune responses.
Juan‐Felipe López +2 more
wiley +1 more source