Fibonacci is a strongly typed, object-oricntcd database programming language with a new mechanism to model objects with roles. Traditional object-oriented programming languages do not have the possibility of changing dynamically the type of an object to model the bchaviour of real world entities which change their status over time. This is a severe limitation in the context of a database progra...

ion Figure 4: The abstraction from some unimportant, peculiar properties of a physical system is going on in a flesh and blood formal system, namely, in a physical theory (L, S) describing the physical system in question physical objects. To compare physical systems, for example formal systems L1, L2, . . . Ln, we have to use a theory which is capable of describing all of L1, L2, . . . Ln. That...

A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system is inspired on Meyer’s system of class invariants [12] and remedies its unsoundness, which is already recognized by Meyer. Dynamic binding is treated in a flexible way: when throughout the class hierarchy overriding m...

The site of Kul Tepe is located near the city of Hadishahr, in Eastern Azerbaijan Province. It is an ancient multi-period mound, having an extension of about 6 hectares and rising 19 meters above the surrounding land. The second season of archeological excavations at the site, carried out in 2013, aimed at clarifying its chronology and its settlement organization. In the meantime it aimed at el...

Almond is one of the most important nut crops in Iran. Due to the suitable climatic conditions, Iran is one of the most important growing centers for wild and domesticated species of almond in world. Native genotypes typically are early flowering, due to late spring frost, often; they have been damaged. So frost damage to the flowers and early developing fruits is one of the most limiting facto...

background: malaria is one of the most important parasitic diseases in iran. due to importantce of drug policy, monitoring of chloroquine therapeutic efficacy in uncomplicated falciparum cases was carried out in south and south-east of iran in 2003. materials and methods: this discriptive study was carried out in five centers of sistan-baluchestan, hormozgan and kerman provinces (south and sout...

Introduction: Ginger has shown anti-nociceptive effects. Here we investigated the possible involvement of GABAA receptors in anti-nociceptive effect of ginger using muscimol (GABAA agonist) and picrotoxin (GABAA antagonist) in rats that received ginger. The pain sensitivity was evaluated by formalin test. Methods: Thirty-five male Sprague-Dawley rats were randomly divided into 7 groups (n=5): s...

introduction: meningioma is usually a benign brain tumor, but sometimes with aggressive course. the aim of this study was to assess the ability of 201tl brain spect to differentiate the pathologic grade of meningioma preoperatively. methods: thirty lesions in 28 patients were evaluated in this study. early (20 minutes) and late (3 hours) brain spect images were performed and early uptake ratio...