Search results for "equivalence"
showing 10 items of 301 documents
Search for New Physics with Atoms and Molecules
2017
This article reviews recent developments in tests of fundamental physics using atoms and molecules, including the subjects of parity violation, searches for permanent electric dipole moments, tests of the CPT theorem and Lorentz symmetry, searches for spatiotemporal variation of fundamental constants, tests of quantum electrodynamics, tests of general relativity and the equivalence principle, searches for dark matter, dark energy and extra forces, and tests of the spin-statistics theorem. Key results are presented in the context of potential new physics and in the broader context of similar investigations in other fields. Ongoing and future experiments of the next decade are discussed.
Numerical and Experimental Investigation of Equivalence Ratio (ER) and Feedstock Particle Size on Birchwood Gasification
2017
This paper discusses the characteristics of Birchwood gasification using the simulated results of a Computational Fluid Dynamics (CFD) model. The CFD model is developed and validated with the experimental results obtained with the fixed bed downdraft gasifier available at the University of Agder (UIA), Norway. In this work, several parameters are examined and given importance, such as producer gas yield, syngas composition, lower heating value (LHV), and cold gas efficiency (CGE) of the syngas. The behavior of the parameters mentioned above is examined by varying the biomass particle size. The diameters of the two biomass particles are 11.5 mm and 9.18 mm. All the parameters investigate wit…
Do metric fluctuations affect the Higgs dynamics during inflation?
2017
We show that the dynamics of the Higgs field during inflation is not affected by metric fluctuations if the Higgs is an energetically subdominant light spectator. For Standard Model parameters we find that couplings between Higgs and metric fluctuations are suppressed by $\mathcal{O}(10^{-7})$. They are negligible compared to both pure Higgs terms in the effective potential and the unavoidable non-minimal Higgs coupling to background scalar curvature. The question of the electroweak vacuum instability during high energy scale inflation can therefore be studied consistently using the Jordan frame action in a Friedmann--Lema\^itre--Robertson--Walker metric, where the Higgs-curvature coupling …
Assessing individual differences in driving inattention: Adaptation and validation of the Attention-Related Driving Errors Scale to Spain
2013
The Attention-Related Driving Errors Scale (ARDES) is a self-reported questionnaire to assess individual differences in the proneness to make attentional errors while driving. The aims of the current work are to adapt the original Argentinean version of the ARDES to the culture, language, traffic regulations and driving habits of Spain and provide new validity evidence of the cross-cultural equivalence of the scale. In the first step of the validation process, five external independent experts reviewed the original ARDES-Argentina and proposed modifications, adapted to the culture, language, traffic regulations and driving habits in Spain. Secondly, a sample of 320 drivers completed the ada…
Aggregation of Risk Level Assessments Based on Fuzzy Equivalence Relation
2017
The paper deals with the problem of aggregation of risk level assessments. We describe the technique of a risk level evaluation taking into account values of the risk level obtained for objects which are in some sense equivalent. For this purpose we propose to use the construction of a general aggregation operator based on the corresponding fuzzy equivalence relation. Numerical example of the investment risk level aggregation using an equivalence relation obtained on the basis of different macroeconomic factors for countries of one region is considered.
From fuzzy metric spaces to modular metric spaces: a fixed point approach
2017
We propose an intuitive theorem which uses some concepts of auxiliary functions for establishing existence and uniqueness of the fixed point of a self-mapping. First we work in the setting of fuzzy metric spaces in the sense of George and Veeramani, then we deduce some consequences in modular metric spaces. Finally, a sample homotopy result is derived making use of the main theorem.
An elementary proof of Hilbertʼs theorem on ternary quartics
2012
Abstract In 1888, Hilbert proved that every nonnegative quartic form f = f ( x , y , z ) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up to now, no elementary proof is known. Here we present a completely new approach. Although our proof is not easy, it uses only elementary techniques. As a by-product, it gives information on the number of representations f = p 1 2 + p 2 2 + p 3 2 of f up to orthogonal equivalence. We show that this number is 8 for generically chosen f, and that it is 4 when f is chosen generically with a real zero. Although these facts were known, there wa…
Regularly Algebraizable Logics
2001
A sentential logic (S, C) is regularly algebraizable (alias 1-algebraizable) if it possesses a non-empty system E(p, q) of equivalence sentences such that E(p, q) ⊆ C(p, q).
A decidable word problem without equivalent canonical term rewriting system
1989
We present a weak associative single-axiom system having the following property: the word problem is decidable with an efficient algorithm even though there does not exist any finite equivalent canonical term rewriting system.
Forbidden words in symbolic dynamics
2000
AbstractWe introduce an equivalence relation≃between functions from N to N. By describing a symbolic dynamical system in terms of forbidden words, we prove that the≃-equivalence class of the function that counts the minimal forbidden words of a system is a topological invariant of the system. We show that the new invariant is independent from previous ones, but it is not characteristic. In the case of sofic systems, we prove that the≃-equivalence of the corresponding functions is a decidable question. As a more special application, we show, by using the new invariant, that two systems associated to Sturmian words having “different slope” are not conjugate.