background : one of the criteria of health equity is having health insurance coverage. construction workers and their families are one of the most vulnerable populations regarding diseases and accidents. thus, this study was conducted with the aim to determine the utilization rate of health services among construction workers ‎and their families. methods: in this descriptive-analytical study, t...

The present research investigates the contribution of an interactive educational virtual environment on milk pasteurization to the learning outcomes of 40 students in a technical secondary school using SOLO taxonomy. After the interaction with the virtual environment the majority of the students moved to higher hierarchical levels of understanding on the structure and operation of the pasteuriz...

From 07.05.06 to 12.05.06, the Dagstuhl Seminar 06191 Rigorous Methods for Software Construction and Analysis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstrac...

Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and Peleg compositions and liftings of multirelations. These liftings are similar to those that arise in the Kleisli category of the powerset monad. We show that Kleisli composition of multirelations is associative, but ne...

Today’s building industry not only demands more and more reduced construction time on building site, but also an advanced and mostly construction attendant design phase. Even though there is software available to support design processes in distributed environments, most applications only support simple document based exchange of information. In this paper a knowledge based system is presented ...

A polytope is perfect if its shape cannot be changed without changing the action of its symmetry group on its face-lattice. There was a conjecture by which perfect 4-polytopes formed a rather limited class of Wythoffian polytopes. It was disproved in a preceding paper of the author by showing that this class is much more wide. In the present paper we go even further by giving a construction tha...

The detection of learning styles in adaptive systems provides a way to better assist learners during their training. A popular approach is to fill out a long questionnaire then ask a specialist to analyze the answers and identify learning styles or types accordingly. Since this process is very time-consuming, a number of automatic approaches have been proposed to reduce the number of questions ...

We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric sequences, it has enough properties to be able to define monoids (which are then operads on the underlying category) and make a bar construction. The main benefit o...

In this paper we give an explicit construction of n × n matrices over finite fields which are somewhat rigid, in that if we change at most k entries in each row, its rank remains at least Cn(logq k)/k, where q is the size of the field and C is an absolute constant. Our matrices satify a somewhat stronger property, we which explain and call “strong rigidity.” We introduce and briefly discuss str...