Results 71 to 80 of about 6,236,903 (286)
Shannon type inequalities via time scales theory
Advances in Difference Equations, 2020 The aim of present paper is to obtain Shannon type inequalities using the extended version of Jensen’s inequality in time scales settings. The concept of differential entropy of a continuous random variable on time scales is introduced, and its bounds ...
Iqrar Ansari +4 more
doaj +1 more source
The S-matrix of 2D type 0B string theory. Part I. Perturbation theory revisited
Journal of High Energy Physics, 2023 We study the perturbative S-matrix of closed strings in the two-dimensional type 0B string theory from the worldsheet perspective, by directly integrating correlation functions of N $$ \mathcal{N} $$ = 1 Liouville theory.
Bruno Balthazar +2 more
doaj +1 more source
S-Duality, SL(2,Z) Multiplets and Killing Spinors [PDF]
, 1999 The S-duality transformations in type IIB string theory can be seen as local U(1) transformations in type IIB supergravity. We use this approach to construct the $SL(2,Z)$ multiplets associated to supersymmetric backgrounds of type IIB string theory and ...
de Wit +12 more
core +2 more sources
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
The Independence of Markov's Principle in Type Theory [PDF]
Logical Methods in Computer Science, 2017 In this paper, we show that Markov's principle is not derivable in dependent type theory with natural numbers and one universe. One way to prove this would be to remark that Markov's principle does not hold in a sheaf model of type theory over Cantor ...
Thierry Coquand, Bassel Mannaa
doaj +1 more source
Multisets in type theory [PDF]
Mathematical Proceedings of the Cambridge Philosophical Society, 2019 AbstractA multiset consists of elements, but the notion of a multiset is distinguished from that of a set by carrying information of how many times each element occurs in a given multiset. In this work we will investigate the notion of iterative multisets, where multisets are iteratively built up from other multisets, in the context Martin–Löf Type ...
openaire +2 more sources
Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions
FEBS Letters, EarlyView.We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva +10 more
wiley +1 more source
Early Dark Energy in Type IIB String Theory
Journal of High Energy Physics, 2023 Early Dark Energy (EDE) is a promising model to resolve the Hubble Tension, that, informed by Cosmic Microwave Background data, features a generalization of the potential energy usually associated with axion-like particles. We develop realizations of EDE
Michele Cicoli +5 more
doaj +1 more source
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
Unifying cubical and multimodal type theory [PDF]
Logical Methods in Computer ScienceIn this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT).
Frederik Lerbjerg Aagaard +3 more
doaj +1 more source