Results 51 to 60 of about 819,581 (91)
A commutator theorem and weighted BMO
, 1985 The main result of this paper is a commutator theorem: If μ \mu and λ \lambda are A p {A_p} weights, then the commutator H H ,
Steven Bloom
core +1 more source
Robust Weighted Timed Automata and Games [PDF]
, 2013 Weighted timed automata extend timed automata with cost variables that can be used to model the evolution of various quantities. Although cost-optimal reachability is decidable (in polynomial space) on this model, it becomes undecidable on weighted ...
Markey, Nicolas +5 more
core +1 more source
Relaxed Weighted Path Order in Theorem Proving
, 2020 We propose an extension of the automated theorem prover E by the weighted path order- ing (WPO). Weighted path ordering is theoretically stronger than all the orderings used in E Prover, however its parametrization is more involved than those normally ...
Kaliszyk, Cezary +3 more
core +1 more source
Central limit theorems for the integrated squared error of derivative estimators [PDF]
A central limit theorem for the weighted integrated squared error of kernel type estimators of the first two derivatives of a nonparametric regression function is proved by using results for martingale differences and U-statistics.
Birke, Melanie
core
Smarandache's Orthic Theorem [PDF]
, 2010 In this paper We present the Smarandache's Orthic Theorem in the geometry of the ...
Patrascu, I.
core +1 more source
A Hajós-like theorem for weighted coloring [PDF]
, 2013 International audienceThe Hajós' Theorem (Wiss Z Martin Luther Univ Math-Natur Reihe, 10, pp 116-117, 1961) shows a necessary and sufficient condition for the chromatic number of a given graph $G$ to be at least $k$ : $G$ must contain a $k ...
Araujo, Julio +3 more
core +2 more sources
A non-spin method to the positive weighted mass theorem for weighted manifolds
, 2023 In this paper, we investigate the weighted mass for weighted manifolds. By establishing a version of density theorem and generalizing Geroch conjecture in the setting of $P$-scalar curvature, we are able to prove the positive weighted mass theorem for ...
Zhu, Jintian, Chu, Jianchun
core
Smarandache’s Orthic Theorem [PDF]
, 2002 We present the Smarandache’s Orthic Theorem in the geometry of the ...
Patrascu, Ion
core +1 more source
A Weighted Weak Law of Large Numbers for Free Random Variables [PDF]
We examine various conditions under which a weighted weak law of large numbers holds, in the context of noncommutative probability theory.Weak law of large numbers, Noncommutative probability ...
George Stoica, Raluca Balan
core
A quantitative Chevalley-Weil theorem for curves [PDF]
, 2013 The classical Chevalley-Weil theorem asserts that for an étale covering of projective varieties over a number field $K$, the discriminant of the field of definition of the fiber over a $K$-rational point is uniformly bounded.
Surroca, Andrea +2 more
core +1 more source