Abs t rac t . The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier tr...

Basically, using the phrase “iterative” means there is a stepwise movement towards a (the) goal, instead of a “momentary leap” from problem to solution, where, at intervals, the situation is evaluated and necessary steps are taken to ensure the process is “on track” towards the solution. Such steps will normally be like loops, where you go backwards in the step-line and kind of “run it through ...

Shopping malls are one of the glories of metropolises with their attractive shops and a wide variety people who are walking in order to purchase goods. Location of a shopping mall is one of the critical criteria, because it can influence the success of the project. In addition, selecting an appropriate location to establish a new shopping mall is a sophisticated, time consuming and risky decisi...

With the ever-deepening economic reform and international trend of ICT application in education, the Chinese government is strengthening its basic education curriculum reform and actively facilitating the application of ICT in education. Given the achievement gap of ICT infrastructure and its application in middle and primary schools between urban and rural areas, a divide exists between the ne...

to determine the correlation between grain yield and its components in some grain corn hybrids and their cause and effect relationships in various fertilizer application methods, an experiment was carried out as split plot based on randomized complete block design with two fertilizer application methods (urea foliar application and soil application method), four grain corn hybrids (ns 640, kons...

The influence of leaf-wetness duration and temperature on infection of Amelanchier alnifolia (saskatoon) by Entomosporium mespili was quantified in controlled-environment studies. Plants were inoculated with a conidial suspension and then subjected to a period of leaf wetness (0, 6, 12, and 24 h), after which they were moved to a growth room set at a fixed temperature (10, 15, 20, 25, and 30°C)...