The purpose of this study was to determine the fracture resistance of 4 post and core systems. 40 extracted maxillary canines (for orthodontic reason) were used for this study. The samples were divided into 4 groups, which were: Group (1) Cast post luted with Rely X ARC; Group (2) Cast post cemented with zinc phosphate; Group (3) Fibre post luted with Rely X + Filtek Z-250 as core material; Gro...

Compositional proof systems for shared variable concurrent programs can be devised by including the interference information in the speciica-tions. The formalism falls into a category called rely{guarantee (or assumption{ commitment), in which a speciication is explicitly (syntactically) split into two corresponding parts. This paper summarises existing work on the rely-guarantee method and giv...

The objective of this paper was to study whether subjects in a workplace setting are able to assess the intensity of musculoskeletal pain retrospectively for a period of 3 months. The intensity of average pain and maximum pain in eight anatomic regions was assessed on a numeric rating scale. The results of 12 consecutive weekly pain recordings were compared with a final retrospective assessment...

We generalize the cryptographic notion of Order Revealing Encryption (ORE) to arbitrary functions and we present a construction that allows to determine the (partial) ordering of two vectors i.e., given E(x) and E(y) it is possible to learn whether x = y, x > y, x < y or whether x and y are incomparable. This is the first non-trivial example of a Revealing Encryption (RE) scheme with output lar...