This note summarises my understanding to date of two closely-related theories for dealing with “bulk” data types: the Bird-Meertens formalism (henceforth abbreviated to BMF) and its extension in categorical data types (CDT). I've been led to this study for two reasons: as interesting formalisms for program derivation in their own right, and as a possible basis for defining useful operations for...

Contemporary poetry can be divided into the poetry of before and after the Islamic Revolution. Among the post-revolutionary poetry, the Pishro or avant-garde Poetry is the most important style of poetry. The well-known figure of this kind of poetry is Reza Baraheni (1935- ) who became the most influential poet of the Post-Revolution Poetry with the publication of his Khetab be Parvane ha and in...

conclusions according to the results, the old dosimetry formalisms, overestimate the dose especially towards the applicator’s tip. while the tg-43u1 based software perform the calculations more accurately. results for a typical arrangement of 10 active pellets in the applicator, the percentage difference between doses obtained by the new algorithm at 1cm distance from the tip of the applicator ...