Search results for "Predicate logic"
showing 10 items of 170 documents
A True Extension of the Markov Inequality to Negative Random Variables
2020
The Markov inequality is a classical nice result in statistics that serves to demonstrate other important results as the Chebyshev inequality and the weak law of large numbers, and that has useful applications in the real world, when the random variable is unspecified, to know an upper bound for the probability that an variable differs from its expectation. However, the Markov inequality has one main flaw: its validity is limited to nonnegative random variables. In the very short note, we propose an extension of the Markov inequality to any non specified random variable. This result is completely new.
Development of non-equilibrium Green's functions for use with full interaction in complex systems
2016
We present an ongoing development of an existing code for calculating groundstate, steady-state, and transient properties of many-particle systems. The development involves the addition of the full four-index two electron integrals, which allows for the calculation of transport systems, as well as the extension to multi-level electronic systems, such as atomic and molecular systems and other applications. The necessary derivations are shown, along with some preliminary results and a summary of future plans for the code. peerReviewed
An Extension of the DgLARS Method to High-Dimensional Relative Risk Regression Models
2020
In recent years, clinical studies, where patients are routinely screened for many genomic features, are becoming more common. The general aim of such studies is to find genomic signatures useful for treatment decisions and the development of new treatments. However, genomic data are typically noisy and high dimensional, not rarely outstripping the number of patients included in the study. For this reason, sparse estimators are usually used in the study of high-dimensional survival data. In this paper, we propose an extension of the differential geometric least angle regression method to high-dimensional relative risk regression models.
A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain
2010
We consider extensions of the unique additive measure on a finite MV-chain to uncertainty measures on its canonical Girard algebra extension. If the underlying MV-chain has more than two non-trivial elements, in a previous paper we have proved the non-existence of strongly additive measure extensions, where strong additivity is defined as additivity not for all disjoint unions but only restricted to the so-called divisible disjoint unions. This negative result motivates to look for weakly additive measure extensions which are defined to be additive only on all MV-subalgebras of the canonical Girard algebra extension. We obtain a characterization of all such MV-subalgebras which are in fact …
Analytic extension of non quasi-analytic Whitney jets of Roumieu type
1997
Let (Mr)r∈ℕ0 be a logarithmically convex sequence of positive numbers which verifies M0 = 1 as well as Mr≥ 1 for every r ∈ ℕ and defines a non quasi-analytic class. Let moreover F be a closed proper subset of ℝn. Then for every function ƒ on ℝn belonging to the non quasi-analytic (Mr)-class of Roumieu type, there is an element g of the same class which is analytic on ℝnF and such that Dα ƒ(x) = Dαg(x) for every σ ∈ ƒ0n SBAP and x ∈ F.
Extensions of Representable Positive Linear Functionals to Unitized Quasi *-Algebras: A New Method
2014
In this paper we introduce a topological approach for extending a representable linear functional \({\omega}\), defined on a topological quasi *-algebra without unit, to a representable linear functional defined on a quasi *-algebra with unit. In particular, we suppose that \({\omega}\) is continuous and the positive sesquilinear form \({\varphi_\omega}\), associated with \({\omega}\), is closable and prove that the extension \({\overline{\varphi_\omega}^e}\) of the closure \({\overline{\varphi_\omega}}\) is an i.p.s. form. By \({\overline{\varphi_\omega}^e}\) we construct the desired extension.
Browder's theorems through localized SVEP
2005
A bounded linear operator T ∈ L(X) on aBanach space X is said to satisfy “Browder’s theorem” if the Browder spectrum coincides with the Weyl spectrum. T ∈ L(X) is said to satisfy “a-Browder’s theorem” if the upper semi-Browder spectrum coincides with the approximate point Weyl spectrum. In this note we give several characterizations of operators satisfying these theorems. Most of these characterizations are obtained by using a localized version of the single-valued extension property of T. In the last part we shall give some characterizations of operators for which “Weyl’s theorem” holds.
A generalization of Sardinas and Patterson's algorithm to z-codes
1993
Abstract This paper concerns the framework of z-codes theory. The main contribution consists in an extension of the algorithm of Sardinas and Patterson for deciding whether a finite set of words X is a z-code. To improve the efficiency of this test we have found a tight upper bound on the length of the shortest words that might have a double z-factorization over X. Some remarks on the complexity of the algorithm are also given. Moreover, a slight modification of this algorithm allows us to compute the z-deciphering delay of X.
Sylow permutable subnormal subgroups of finite groups
2002
[EN] An extension of the well-known Frobenius criterion of p-nilpotence in groups with modular Sylow p-subgroups is proved in the paper. This result is useful to get information about the classes of groups in which every subnormal subgroup is permutable and Sylow permutable.
Extension of luminance component based demosaicking algorithm to 4- and 5-band multispectral images
2021
Abstract Multispectral imaging systems are currently expanding with a variety of multispectral demosaicking algorithms. But these algorithms have limitations due to the remarkable presence of artifacts in the reconstructed image. In this paper, we propose a powerful multispectral image demosaicking method that focuses on the G band and luminance component. We've first identified a relevant 4-and 5-band multispectral filter array (MSFA) with the dominant G band and then proposed an algorithm that consistently estimates the missing G values and other missing components using a convolution operator and a weighted bilinear interpolation algorithm based on the luminance component. Using the cons…