Search results for "Equivalence"
showing 10 items of 301 documents
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…
Differences in tissue distribution of iron from various clinically used intravenous iron complexes in fetal avian heart and liver.
2015
Abstract Nanomedicines are more complex than most pharmacologically active substances or medicines and have been considered as non-biological complex drugs. For nanomedicines pivotal pharmacokinetic properties cannot be assessed by plasma concentration data from standard bioequivalence studies. Using intravenous iron complexes (IICs) as model we show that fetal avian tissues can be used to study time dependent tissue concentrations in heart and liver. Clear differences were found between equimolar doses of sucrose, gluconate or carboxymaltose coated iron particles. The range in tissue iron concentrations observed with these clinically widely used IICs provides an orientation as to what shou…
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.
On the proper homotopy invariance of the Tucker property
2006
A non-compact polyhedron P is Tucker if, for any compact subset K ⊂ P, the fundamental group π1(P − K) is finitely generated. The main result of this note is that a manifold which is proper homotopy equivalent to a Tucker polyhedron is Tucker. We use Poenaru’s theory of the equivalence relations forced by the singularities of a non-degenerate simplicial map.
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Dynamical equivalence of impulsive quasilinear equations
2015
Abstract Using Green type map we can find sufficient conditions under which an impulsive quasilinear equation is dynamically equivalent to its corresponding linear equation. This result extends Grobman Hartman theorem for equations without ordinary dichotomy.
Geometric inequivalence of metric and Palatini formulations of General Relativity
2020
Projective invariance is a symmetry of the Palatini version of General Relativity which is not present in the metric formulation. The fact that the Riemann tensor changes nontrivially under projective transformations implies that, unlike in the usual metric approach, in the Palatini formulation this tensor is subject to a gauge freedom, which allows some ambiguities even in its scalar contractions. In this sense, we show that for the Schwarzschild solution there exists a projective gauge in which the (affine) Kretschmann scalar, K≡R R , can be set to vanish everywhere. This puts forward that the divergence of curvature scalars may, in some cases, be avoided by a gauge transformation of the …