Search results for "predicate"
showing 10 items of 216 documents
On Branciari’s theorem for weakly compatible mappings
2010
AbstractIn a recent paper B. Samet and H. Yazidi [B. Samet, H. Yazidi, An extension of Banach fixed point theorem for mappings satisfying a contractive condition of integral type, Ital. J. Pure Appl. Math. (in press)] have obtained an interesting theorem for mappings satisfying a contractive condition of integral type. The aim of this note is to present a generalization of their main result.
Realizing Undelayed N-step TD prediction with neural networks
2010
There exist various techniques to extend reinforcement learning algorithms, e.g., eligibility traces and planning. In this paper, an approach is proposed, which combines several extension techniques, such as using eligibility-like traces, using approximators as value functions and exploiting the model of the environment. The obtained method, ‘Undelayed n-step TD prediction’ (TD-P), has produced competitive results when put in conditions of not fully observable environment.
A multicriteria extension of the efficient market hypothesis
2021
Challenging the Efficient Market Hypothesis (EMH) has been a recurrent topic for researchers and practitioners since its formulation. Hundreds of empirical studies claim to either prove or disprove the EMH by means of a number of heterogeneous methods. Even though the EMH is usually adjusted to a measure of risk, there is a lack of a formal analysis within a multiple-criteria context. In this paper, we propose a extension of the EMH that accommodates the foundations of multiple-criteria decision analysis. To this end, we rely on a family of parametric signed dissimilarity measures to assess multidimensional performance differences. Since normalization is a critical step in our approach to a…
The dynamic interdependence in the demand of primary and emergency secondary care: A hidden Markov approach
2021
This paper develops an extension of the class of finite mixture models for longitudinal count data to the bivariate case by using a trivariate reduction technique and a hidden Markov chain approach. The model allows for disentangling unobservable time-varying heterogeneity from the dynamic effect of utilisation of primary and secondary care and measuring their potential substitution effect. Three points of supports adequately describe the distribution of the latent states suggesting the existence of three profiles of low, medium and high users who shows persistency in their behaviour, but not permanence as some switch to their neighbour's profile.
Empirical definition of social types in the analysis of inequality of opportunity: a latent classes approach
2014
The empirical analysis of inequality of opportunity centres on disparities between social types, defined by the exposure to circumstances beyond individual control. Despite this, its main theoretical foundation—the Roemer model—does not indicate how to carry out, in practice, the required partition of the population into such types. This paper operationalises this definition of social types using a latent classes approach. Our specification is embedded in a probabilistic extension of the canonical Roemer model, which assumes that the relevant population consists of a finite number of latent types, from which each individual can be treated as a random draw. This makes possible the use of the…
The extended CC2 model ECC2
2013
We present a size-extensive extension to the CC2 model that avoids the complications with quasi-degeneracies that are present in the CC2 model and related perturbation theory-based approaches. The formulation also provides a consistent model for treating different parts of a molecular system at different levels of electron correlation. Such a subsystem approach leads to large reductions in the computational requirements without compromising the accuracy. In this initial study, we focus on static molecular properties. © 2013 Copyright Taylor and Francis Group, LLC.
Validation Specimen for Contour Method Extension to Multiple Residual Stress Components
2007
A new theoretical development of the contour method [1], that allow the user to measure the three normal residual stress components on cross sections of a generic mechanical part, is presented. To validate such a theoretical development, a residual stress test specimen was properly designed, fabricated and then tested with different experimental techniques.
An extension of the fractional model for construction of asphalt binder master curve
2015
Knowledge and prediction of viscoelastic behaviour of asphalt binder is of great interest in order to design asphalt mixtures for civil construction of road and airports with good performances. The capability of a fractional model – requiring a very limited number of parameters – to describe and predict the linear viscoelastic behaviour of asphalt binder subjected to sinusoidal oscillations is investigated. Experimental data of complex modulus, |G*|, and phase angle, δ, are used to validate the proposed constitutive model. Based on the proposed extension of a fractional model, complex modulus isotherms for a range of frequencies can be created simply starting from isochronals at frequency v…
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…
The fluted fragment with transitive relations
2022
Abstract The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, we show that the satisfiability and finite satisfiability problems for this extension remain decidable. We also show that the corresponding problems in the…