Programming in the large require the use of formal speci cation languages for describing program requirements and a method to test (automatically) such requirements. These methods can also be applied in other areas like complex system modeling. In this thesis we study the theoretical kernel of a formal speci cation language, named Calculus of Re nements (COR), based on the use of monotonic incl...

An ordered monoid is a structure with an identity element (1′), a binary composition operator (;) and an antisymmetric partial order (≤), satisfying certain axioms. A representation of an ordered monoid is a 1-1 map which maps elements of an ordered monoid to binary relations in such a way that 1′ is mapped to the identity relation, ; corresponds to composition of binary relations and ≤ corresp...

Considering a binary operation as a ternary relation permits certain sections of the latter (which are functions) to be used in representing an abstract semigroup as a family of the self-maps of its underlying set under function composition. The idea is thus seen to be entirely similar to the way that the sections of a partial ordering under set inclusion represent the (abstract) partially orde...

background: there is a fundamental correlation between follicles and endometrium in intracytoplasmic sperm injection (icsi) cycles. objective: to assess the relation between perifollicular perfusion and sub endometrial parameters in doppler ultrasonography and outcome of in icsi cycles. materials and methods: in this prospective deh1ive pilot study 10 patients were enrolled. strict inclusion cr...

the komshecheh barite-fluorite deposit is the product of epigenetic hydrothermal mineralizationin dolomitized limestone of middle triassic age. the deposit is structurally and lithologically controlled andoccurs predominantly as bedded stratabound replacement sheets, although the veins and solution-collapsebreccias constitute important modes of occurrence. brecciation, dolomitization, silicific...

abstractepidermal inclusion cysts are uncommon in the breast, but the consequences can besevere when these cysts occur in the breast parenchyma. here, we report two suchcases. the patient in case 1 was an 37-year-old woman with a 3-cm palpable mass inthe right breast. mammography revealed a round and smoothly outlined mass, whichindicated a benign tumor, and sonography showed an irregularly sha...