نتایج جستجو برای: inclusion relation

تعداد نتایج: 416880  

1994
Jordi Levy

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...

Journal: :Logic Journal of the IGPL 2005
Robin Hirsch

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...

2010
HASSAN SEDAGHAT

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...

Journal: :international journal of reproductive biomedicine 0

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...

Journal: :iranian journal of science and technology (sciences) 2007
m. a. rajabzadeh

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...

Journal: :medical journal of islamic republic of iran 0
amir r. motabar department of surgery, iran university of medical sciences, rasool-e- akram hospital,سازمان اصلی تایید شده: دانشگاه علوم پزشکی ایران (iran university of medical sciences)

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید