Search results for "relation"
showing 10 items of 10542 documents
Counting in the Two Variable Guarded Logic with Transitivity
2005
We show that the extension of the two-variable guarded fragment with transitive guards (GF+TG) by functionality statements is undecidable. This gives immediately undecidability of the extension of GF+TG by counting quantifiers. The result is optimal, since both the three-variable fragment of the guarded fragment with counting quantifiers and the two-variable guarded fragment with transitivity are undecidable. We also show that the extension of GF+TG with functionality, where functional predicate letters appear in guards only, is decidable and of the same complexity as GF+TG. This fragment captures many expressive modal and description logics.
Ranking fuzzy interval numbers in the setting of random sets – further results
1999
Abstract We present some new properties of several fuzzy order relations, defined on the set of fuzzy numbers, from among those introduced in [S. Chanas, M. Delgado, J.L. Verdegay, M.A. Vila, Information Sciences 69 (1993) 201–217]. The main result is proving that four from among the relations considered in [S. Chanas, M. Delgado, J.L. Verdegay, M.A. Vila, Information Sciences 69 (1993) 201–217] are strongly transitive (s-transitive).
Transitive partially hyperbolic diffeomorphisms on 3-manifolds
2005
Abstract The known examples of transitive partially hyperbolic diffeomorphisms on 3-manifolds belong to 3 basic classes: perturbations of skew products over an Anosov map of T 2 , perturbations of the time one map of a transitive Anosov flow, and certain derived from Anosov diffeomorphisms of the torus T 3 . In this work we characterize the two first types by a local hypothesis associated to one closed periodic curve.
Transitive Reasoning with Imprecise Probabilities
2015
We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.
Common fixed point theorems for families of occasionally weakly compatible mappings
2011
We prove some common fixed point theorems in probabilistic semi-metric spaces for families of occasionally weakly compatible mappings. We also give a common fixed point theorem for mappings satisfying an integral-type implicit relation.
Common fixed points of mappings satisfying implicit contractive conditions
2012
In this article we obtain, in the setting of metric spaces or ordered metric spaces, coincidence point, and common fixed point theorems for self-mappings in a general class of contractions defined by an implicit relation. Our results unify, extend, generalize many related common fixed point theorems from the literature. Mathematics Subject Classification (2000): 47H10, 54H25.
Discrete wavelet transform based multispectral filter array demosaicking
2013
International audience; The idea of colour filter array may be adapted to multi-spectral image acquisition by integrating more filter types into the array, and developing associated demosaicking algorithms. Several methods employing discrete wavelet transform (DWT) have been proposed for CFA demosaicking. In this work, we put forward an extended use of DWT for mul-tispectral filter array demosaicking. The extension seemed straightforward, however we observed striking results. This work contributes to better understanding of the issue by demonstrating that spectral correlation and spatial resolution of the images exerts a crucial influence on the performance of DWT based demosaicking.
Application of wavelet analysis to acoustic emission pulses generated by partial discharges
2004
The subject matter of this paper refers to the improvement of the acoustic emission (AE) method when used for detection, measurement and location of partial discharges (PDs) in oil insulation systems of power appliances. The detailed subject matter refers to the issues connected with the application of modern methods of digital processing of signals obtained during technical high-power measurements. The paper presents the results of measurements and analyses of the AE pulses generated in setups making the modeling of basic PD forms that can occur in oil insulations possible. The research concentrated mainly on the following types of PDs: point-plane, multipoint-plane, multipoint-plane with …
On Multiresolution Transforms Based on Weighted-Least Squares
2014
This work is devoted to construct Harten’s multiresolution transforms using Weighted-Least squares for different discretizations. We establish a relation between the filters obtained using some decimation operators. Some properties and examples of filters are presented.
Investment Arbitration and the Controverted Right of the Arbitrator to Issue a Separate or Dissenting Opinion
2018
Abstract Although dissents are not generally encouraged in international arbitration, they are a reality of investment treaty disputes. About one in five cases includes at least one separate or dissenting opinion. The ICSID Convention is rare among investment arbitration rules to expressly recognise the right of the arbitrator to attach his or her personal opinion to the award. Other investment arbitration rules are silent on the topic. And yet dissenting opinions are an established feature of several international courts and tribunals and their role is often viewed more benevolently than in investment arbitration. The article explores the perceived advantages and disadvantages of dissents …