In this paper we present a semantic model that is used to interpret a logic that represents concurrent actions having temporal extent. In an earlier paper [Pelavin and Allen, 19861 we described how this logic is used to formulate planning problems that involve concurrent actions and external events. In this paper we focus on the semantic structure. This structure provides a basis for describing...

This note describes a direct relationship between rank predicates and progress measures in concurrent-program verification.

We consider two-player games of perfect information of length some cardinal κ. It is well-known that for κ ≥ ω1 the full axiom of determinacy for these games fails, thus we investigate three weaker forms of it. We obtain the measurability of κ under DCκ-the axiom of dependent choices generalized to κ. We generalize the notions of perfect and meager sets and provide characterizations with some s...

in this paper, the effect of cyclic loading on punching strength of flat slabs strengthened with carbon fiber reinforced polymer (cfrp) sheets is studied. experimental results of ten slab specimens under monotonic and cyclic loading are analyzed. eight specimens were strengthened with cfrp sheets on the tensile face of the slabs and the two other specimens were kept un-strengthened as control s...

crestal bone loss is a biological complication in implant dentistry. the aim of this study was to compare the effect of progressive and conventional loading on crestal bone height and bone density around single osseointegrated implants in the posterior maxilla by a longitudinal radiographic assessment technique.twenty micro thread implants were placed in 10 patients (two implants per patient). ...

fiber reinforced composites are widely used instead of traditional materials in various technological applications. therefore, by considering the extensive applications of these materials, a proper knowledge of their impact behavior (from low- to high-velocity) as well as their static behavior is necessary. in order to study the effects of strain rates on the behavior of these materials, specia...

This study compared three pedagogical approaches on the acquisition and robust understanding of the control of variables strategy (CVS). In Sao Pedro et al. (2009), we showed that two direct learning conditions (with and without reification) significantly outperformed the discovery learning condition for constructing unconfounded experiments starting from an initially multiply confounded experi...