In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for ea...

physical characteristics of different features in desert is a reflection of severe thermal and climatic conditions. in this paper, diurnal surface temperature patterns of important surface features in lut desert were studied and the relationship among different surfaces analyzed. diurnal trend in surface temperature of surface types, marl, dark sand, light sand, salt-affected soil, soul at 10 c...

Knowledge of the ground thermal conductivity is of importance when designing borehole heat exchanger (BHE) systems. As thermal conductivity for any specific rock type varies due to its mineral content, porosity, pore fluid and anisotropy, it is preferable determined in-situ. Choudhary (1976) suggested a method for determining the thermal conductivity which analysed the heat transfer during the ...

We study here the connections among body temperature variation, flight performance and flight 'fuel' metabolism in Colias eurytheme butterflies, to begin re-examining the metabolic reasons for animal thermoregulation. Methods are presented for (a) stable extraction of adenylates (and other metabolites) from the flight muscles of individual Colias eurytheme, (b) automated separation and quantita...

Regulations of hormonal stress responses entail the initiation, amplitude and termination of the reaction, as well as its integration with other stress response systems. This study investigates the role of endogenous opioids in the regulation and integration of behavioral, thermal and hormonal stress responses, as these neuromodulators and their receptors are expressed in limbic structures resp...

In recent years a role for EphB receptor tyrosine kinases and their ephrinB ligands in activity-dependent synaptic plasticity in the CNS has been identified. The aim of the present study was to test the hypothesis that EphB receptor activation in the adult rat spinal cord is involved in synaptic plasticity and processing of nociceptive inputs, through modulation of the function of the glutamate...