Search results for "Measure theory"
showing 10 items of 176 documents
Does Affective Content of Sounds Affect Auditory Time-to-collision Estimation?
2021
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
2013
In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events. We recall that quasi conjunction is a basic notion for defining consistency of conditional knowledge bases. By deepening some results given in a previous paper we show that, given any finite family of conditional events F and any nonempty subset S of F, the family F p-entails the quasi conjunction C(S); then, given any conditional event E|H, we analyze the equivalence between p-entailment of E|H from F and p-entailment of E|H from C(S), where S is some nonempty subset of F.…
All Classical Adversary Methods Are Equivalent for Total Functions
2017
We show that all known classical adversary lower bounds on randomized query complexity are equivalent for total functions and are equal to the fractional block sensitivity fbs( f ). That includes the Kolmogorov complexity bound of Laplante and Magniez and the earlier relational adversary bound of Aaronson. This equivalence also implies that for total functions, the relational adversary is equivalent to a simpler lower bound, which we call rank-1 relational adversary. For partial functions, we show unbounded separations between fbs( f ) and other adversary bounds, as well as between the adversary bounds themselves. We also show that, for partial functions, fractional block sensitivity canno…
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2020
AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a solution together with an updated correctness proof. Furthermore, we analyse in whi…
On differences and similarities in the analysis of Lorenz, Chen, and Lu systems
2015
Currently it is being actively discussed the question of the equivalence of various Lorenz-like systems and the possibility of universal consideration of their behavior (Algaba et al., 2013a,b, 2014b,c; Chen, 2013; Chen and Yang, 2013; Leonov, 2013a), in view of the possibility of reduction of such systems to the same form with the help of various transformations. In the present paper the differences and similarities in the analysis of the Lorenz, the Chen and the Lu systems are discussed. It is shown that the Chen and the Lu systems stimulate the development of new methods for the analysis of chaotic systems. Open problems are discussed.
Italian adaptation of the Group Questionnaire: validity and factorial structure
2020
The Group Questionnaire (GQ) is a measure recently developed by Krogel et al. (2013) for the evaluation of the therapeutic relationship in group. The GQ identifies a three-factor model of the relationship that allows to measure quality (Positive Bonding, Positive Working and Negative Relationship) and structure (member-member, member-leader and member-group), dimensions in group. This work shows the results of a first study on the Italian validation of the GQ. In this study the GQ was administered to 536 subjects from 32 non-clinical groups of undergraduate students. The cross-cultural validity of the GQ in the Italian population has been examined by comparing the psychometric properties an…
Hardware implementation of content based video indexing algorithms
2005
This paper focus on hardware implementation of content based video indexing techniques by using the FPGA technology. We aim to propose hardware modules that can satisfy requirements of constrained applications, such as real time applications and complex applications that can combine a large number of techniques in the same indexing system. We represent tow examples of micro-architectures related to the dominant colors descriptor and the compact color descriptor.
INGENIERÍA GENÉTICA E INDUSTRIA AGROALIMENTARIA: VENTAJAS E INCONVENIENTES GENETIC ENGINEERING AND FOOD INDUSTRY: ADVANTAGES AND INCONVENIENCES EXEÑE…
1999
Abstract Resumen Resumo Nowadays biotechnology allows to perform accurate changes on the genetic material of organisms, being a very important tool in food industry. However just a few recombinant products can be found in the market, as a result of the social repulse against these kind of foods. According to the Community Normative, it is necessary to evaluate the safety for human being and environment security previous to introducing a recombinant food into the market. In this work, the recommended protocols for several organisms to attend this evaluation on a rational way are reviewed. These protocols are fundamentally based on the SAFEST elements (Safety Assessment of Food by Equivalence…
Towards a test of the weak equivalence principle of gravity using anti-hydrogen at CERN
2016
International audience; The aim of the GBAR (Gravitational Behavior of Antimatter at Rest) experiment is to measure the free fall acceleration of an antihydrogen atom, in the terrestrial gravitational field at CERN and therefore test the Weak Equivalence Principle with antimatter. The aim is to measure the local gravity with a 1% uncertainty which can be reduced to few parts of 10-3.
Fuzzy methods for analysing fuzzy production environment
1998
Abstract Very recently, in production management research literature, the necessity to extend production systems analysis techniques, such as queue theory, Mean Value Analysis (MVA) and discrete simulation, to Fuzzy Production Environments, i.e. to those production situations in which data are vague, has emerged. Fuzzy set theory is a powerful tool to model vagueness and, therefore, fuzzy mathematics can be used to extend classical production system analysis techniques. This paper proposes a methodology based on fuzzy relation algebra to extend classical MVA and discrete event simulation.