Results 31 to 40 of about 108,430 (261)
Local newforms for the general linear groups over a non-archimedean local field
Forum of Mathematics, Pi, 2022 In [14], Jacquet–Piatetskii-Shapiro–Shalika defined a family of compact open subgroups of p-adic general linear groups indexed by nonnegative integers and established the theory of local newforms for irreducible generic representations. In this paper, we
Hiraku Atobe +2 more
doaj +1 more source
A Generalization of Equational Proof Theory? [PDF]
, 2002 Recently rule based languages focussed on the use of rewriting as a modeling tool which results in making specifications executable. To extend the modeling capabilities of rule based languages, we explored in a previous work the possibility of making the rule applications subject to probabilistic choices, and started to study the generalization of the ...
openaire +3 more sources
A Proof of the Generalized Second-Limit Theorem in the Theory of Probability [PDF]
Transactions of the American Mathematical Society, 1931 A particular case is represented by dF(x) =f(x)dx, where f(x), summable and >0, is the "probability density" or "law of distribution" for x. The expression f -'.xsdF(x) is called the "sth moment" of the distribution, s taking values 0, 1, 2, The Second Limit-Theorem, which was the starting point of this paper, can be stated, with A.
Fréchet, Maurice, Shohat, J.
openaire +1 more source
The general proof of certain fundamental equations in the theory of metallic conduction [PDF]
Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character, 1934 Abstract In the modern theory of electronic conduction the electrons are considered, when the thermal motion of the lattice is neglected, as moving in a periodic potential with the property V (x + la, y + ma, z + na) = V (x, y, z). The wave equation for an electron in this field is { h2/8π2m ∇2 + EK - V} ψK = 0.
Jones, H., Zener, C.
openaire +1 more source
Proof mining and probability theory
Forum of Mathematics, SigmaWe extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie “noncomputational” proofs from probability theory, thereby unlocking ...
Morenikeji Neri, Nicholas Pischke
doaj +1 more source
Ground interpolation for the theory of equality [PDF]
Logical Methods in Computer Science, 2012 Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality.
Alexander Fuchs +4 more
doaj +1 more source
Entropy, 2021 This paper studies the problem of upper bounding the number of independent sets in a graph, expressed in terms of its degree distribution. For bipartite regular graphs, Kahn (2001) established a tight upper bound using an information-theoretic approach ...
Igal Sason
doaj +1 more source
Molecular Oncology, EarlyView.Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch +13 more
wiley +1 more source
Systemic dysregulation of apolipoproteins in amyotrophic lateral sclerosis serum
FEBS Open Bio, EarlyView.Amyotrophic lateral sclerosis (ALS) is a fatal disease that damages motor neurons. This study found that people with ALS show significant changes in blood fats and the proteins that carry them. Several apolipoproteins were higher, lipid balances were altered, and normal protein–lipid relationships were disrupted.
Finula I. Isik +6 more
wiley +1 more source
An Abstract Result on Projective Aggregation Functions
Axioms, 2018 A general characterization result of projective aggregation functions is shown, the proof of which makes use of the celebrated Arrow’s theorem, thus providing a link between aggregation functions theory and social choice theory.
Juan C. Candeal
doaj +1 more source