We investigate the embeddings of the value group and residue field of a real closed valued field A in Aeq via quantifier elimination in a three sorted language. We classify the one types of field elements in a real closed valued field. Finally, we investigate some of the linear structure in Aeq induced by the valuation ring V and introduce the geometric sorts. In a subsequent paper we show that...

[1] Using statistical wave power spectral profiles obtained from CRRES and the latitudinal distributions of wave propagation modeled by the HOTRAY code, a quantitative analysis has been performed on the scattering of plasma sheet electrons into the diffuse auroral zone by multiband electrostatic electron cyclotron harmonic (ECH) emissions near L = 6 within the 0000–0600 MLT sector. The results ...

noise-induced hearing loss, which is one of the 10 leading occupational diseases, is a debilitating and irreversible disease. during the recent 15-years period (1997-2012), several studies have investigated the association between noise, hearing damage and other side effects of noise in iran. the aim of this study was to review systematically the relevant literature related to noise-induced hea...

background: sound produced by the passing traffic contributes to noise pollution. noise pollution affects the residents of both city and suburban areas. the noise produced does not only disturb the community living nearby the main road during the day but becomes worse during the night. the purpose of the study is to perform noise level measurement and subjective evaluation on the noise produced...

Near-term decarbonization of aviation requires energy-dense, renewable liquid fuels. Biomass-derived 1,4-dimethylcyclooctane (DMCO), a cyclic alkane with volumetric net heat combustion up to 9.2% higher than Jet A, has the potential serve as low-carbon, high-performance jet fuel blendstock that may enable paraffinic bio-jet fuels operate without aromatic compounds. DMCO can be produced from bio...

ANGER EXPRESSION: EVALUATING THE CONSTRUCT VALIDITY OF SEVERALEMOTION REGULATION MEASURESby MATTHEW J. JASINSKIDecember 2013Advisor: Dr. Mark A. LumleyMajor: Psychology (Clinical)Degree: Master of ArtsResearchers have used the Anger Expression Inventory (AEI), Ambivalence ofEmotional Expression Questionnaire (AEQ), and Toronto Alexithymia Scale 20 (TAS)se...

OBJECTIVE The aim of the present study was to analyze the relationship and differential validity of three constructs related to reduced emotional expression. METHODS One hundred six patients of a psychosomatic clinic completed questionnaires assessing alexithymia (TAS-20, BVAQ), ambivalence over emotional expression (AEQ-G18), and social insecurity (UQ). RESULTS A second-order principal com...

This study used Pekrun’s control-value theory (CVT) as a framework to validate the Achievement Emotion Questionnaire – Second Language Learning (AEQ-L2L) for assessing eight student emotions in second language (L2) learning. We tested and validated instrument two samples using three waves of data, with total number 1,021 Chinese university students. Item scale statistics indicate AEQ-L2L is rel...