Search results for "CONSISTENCY"
showing 10 items of 316 documents
Producción de personas, reproducción de representaciones. Reflexiones sobre dos programas de capacitación en liderazgo
2020
The present paper addresses the question of the role Executive Education performs in the strengthening and reproduction of neoliberal ideology. It aims to critically reflect on the way selected contents and teaching activities operate jointly enabling or inhibiting certain perspectives regarding work in organizations. Two Leadership training programs are analyzed in this article, currently delivered by the two most prestigious business schools in Argentina: IAE Business School, and Torcuato Di Tella Business School. I begin with a general description of each one and proceed analyzing their educational proposals. Finally, the critical review reveals their consistency with a set of social rep…
Electromagnetic and ultrasonic investigations on a Roman marble slab
2011
The archaeological museum of Rome asked our group about the physical consistency of a marble slab (second to third century AD) that recently fell during its travel as part of an exhibition. We decided to use different methodologies to investigate the slab: namely a pacometer (Protovale Elcometer) to individuate the internal coupling pins, and ground-penetrating radar (GPR) (2000 MHz) and ultrasonic (55 kHz) tomographic high-density surveys to investigate the internal extension of all the visible fractures and to search for the hidden ones. For the ultrasonic data, tests were carried out to optimize the inversion parameters, in particular the cell dimensions. Surely, the choice of cell size …
The complexity of finite model reasoning in description logics
2005
AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.
Density gradient expansion of correlation functions
2013
We present a general scheme based on nonlinear response theory to calculate the expansion of correlation functions such as the pair-correlation function or the exchange-correlation hole of an inhomogeneous many-particle system in terms of density derivatives of arbitrary order. We further derive a consistency condition that is necessary for the existence of the gradient expansion. This condition is used to carry out an infinite summation of terms involving response functions up to infinite order from which it follows that the coefficient functions of the gradient expansion can be expressed in terms the local density profile rather than the background density around which the expansion is ca…
Mapping and holistic design of natural hydraulic lime mortars
2020
Supplementary data to this article can be found online at https://doi.org/10.1016/j.cemconres.2020.106167.
High-pressure structural behaviour of HoVO4: combined XRD experiments and ab initio calculations.
2014
We report a high-pressure experimental and theoretical investigation of the structural properties of zircon-type HoVO4. Angle-dispersive x-ray diffraction measurements were carried out under quasi-hydrostatic and partial non-hydrostatic conditions up to 28 and 23.7 GPa, respectively. In the first case, an irreversible phase transition is found at 8.2 GPa. In the second case, the onset of the transition is detected at 4.5 GPa, a second (reversible) transition is found at 20.4 GPa, and a partial decomposition of HoVO4 was observed. The structures of the different phases have been assigned and their equations of state (EOS) determined. Experimental results have also been compared to theoretica…
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
2011
We study the quasi conjunction and the Goodman & Nguyen inclusion relation for conditional events, in the setting of probabilistic default reasoning under coherence. We deepen two recent results given in (Gilio and Sanfilippo, 2010): the first result concerns p-entailment from a family F of conditional events to the quasi conjunction C(S) associated with each nonempty subset S of F; the second result, among other aspects, analyzes the equivalence between p-entailment from F and p-entailment from C(S), where S is some nonempty subset of F. We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and the Goodman & Nguyen inclusion…
Subgroups of $$SF(\omega )$$ S F ( ω ) and the relation of almost containedness
2016
The relations of almost containedness and orthogonality in the lattice of groups of finitary permutations are studied in the paper. We define six cardinal numbers naturally corresponding to these relations by the standard scheme of $$P(\omega )$$P(ź). We obtain some consistency results concerning these numbers and some versions of the Ramsey theorem.
Heyting-valued interpretations for Constructive Set Theory
2006
AbstractWe define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.
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.