We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [9], based on the concept of typed assertion traces. We motivate the choice of semantic domains by illustrating the complexities of the behaviour of the language, paying particular attention to the prialt (priority-alternation) construct of Handel-C. We then define the typed assertion...

Light and scanning electron microscopic (SEM) examinations were used to study the hyaline zone and associated root resorption after orthodontic treatment of the upper first molars of rats. The orthodontic treatment consisted of a fixed buccal expansion appliance with an initial force of 250 mN. The animals were divided into nine experimental groups with orthodontic treatment and one control gro...

The genus AnthemisL. (Asteraceae) as medicinal plants are used both for pharmaceutical purposes and in folk medicine. In order to study of seed priming effects on seedling growth of two species of Anthemis spp., an factorial experiment based on randomized complete design with three replications was conducted under greenhouse conditions in Research Institute of Forests...

The pathogenesis of hyaline membrane disease is not only unsolved but also highly controversial and 'there exist almost as many theories about it as there have been serious observers' (Stowens, 1959). Among these theories some are based on the assumption that circulatory disturbances play a role in the development of the hyaline membranes. Transudation of constituents of blood plasma has been c...

PURPOSE To determine the nature of hyaline membranes in different manifestations of diffuse alveolar damage, [pulmonary and extrapulmonary acute respiratory distress syndrome], and idiopathic [acute interstitial pneumonia]. MATERIALS AND METHODS Pulmonary specimens were obtained from 17 patients with acute respiratory distress syndrome and 9 patients with acute interstitial pneumonia. They we...

To examine the genetic variation for drought stress in chamomile, eight accessions belonging to four species were evaluated under both field and greenhouse conditions using normal and late season drought stress. In the field experiment drought stress were initiated with irrigation cease at the commencement of flowering time. In greenhouse experiment, irrigation carried out at flower initiation ...

lipoid proteinosis (lp) is a rare autosomal recessive disease characterized by the deposition of an amorphous hyaline material in the skin, mucosa and viscera. the classic manifestation is onset in infancy with a hoarse cry due to laryngeal infiltration. skin and mucous changes develope, and the disease follows a slowly progressive course. in this case report, a 49 year-old man presented with a...