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

A time advance strategy for cyclic loading will be presented, applied to the fatigue formulation first proposed by [1]. The coupling of both formulations provides a comprehensive approach to simulate high cycle fatigue problems accurately and with an important computational cost reduction. The capabilities of the proposed procedure are shown in a numerical example.

The online grocery sales experienced a surge in Singapore especially in the early half of 2003 during the SARS outbreak. The Technology Acceptance Model and some basic demographic variables will be used to study the intended usage of online supermarkets. Based on a sample of size 211 shoppers, it was found that those 21-40 years old have a propensity in using the online grocery. However, those ...

Given the scale and rate of mangrove loss globally, it is increasingly important to map and monitor mangrove forest health in a timely fashion. This study aims to identify the conditions of mangroves in a coastal lagoon south of the city of Mazatlán, Mexico, using proximal hyperspectral remote sensing techniques. The dominant mangrove species in this area includes the red (Rhizophora mangle), t...

Although organizational climate research has focused on nearly every aspect of education, Christian institutions of higher learning have been virtually ignored. To address this gap, this study seeks to map Christian college/university administrative, faculty, and staff perceptions of their organizational climate and their organizational commitment. Four evangelical higher education institutions...