The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST contributes through its programmatic activities: 1. advanced development projects in which software techniques supported by tools are applied, 2. research projects in which new techniques for software development are investigated, 3. curriculum development projects in wh...

in order to formulate an efficient and durable mucoadhesive drug delivery system, careful consideration of formulation-related parameters is critical. this study was conducted to investigate the effect of the presence of various types and concentrations of surfactants within or outside carbopol 934 (c934) as well as hydroxypropylmethyl cellulose (hpmc) solid compacts, on their duration of mucoa...

background: oral contraceptive pills are among the most popular contraceptive methods, but the fear of cancer and cardiovascular disease overshadows its continuous use among women. this study aimed to define the association between consumption patterns of combined oral contraceptives among women with breast cancer. materials and methods: this is an analytical case–control study conducted on 175...

Oriental hybrid lily “Arabian Red” mother scales were stored in moist cocopeat and perlite (1:1) for 3 or 5 months at 25 ̊C. The numbers of scale bulblets per mother scale were nearly identical in two durations. Increasing storage duration promoted the growth of roots (number and length) and No. scales per scale bulblets. And, diameters of scale bulblets were more in longer storage duration (5 m...

Last Lecture: • Model of timed behaviour: state variables and their interpretation • First order predicate-logic for requirements and system properties This Lecture: • Educational Objectives: Capabilities for following tasks/questions. • Read (and at best also write) Duration Calculus formulae. • Content: • Classes of requirements (safety, liveness, etc.) • Duration Calculus: Assertions, Terms,...