the official iranian calendar is a solar one that in both the length and the first day of its year is based not on convention, but on two natural (i.e. astronomical) factors: a) the moment of coincidence of the centre of the sun and the vernal equinox during the sun’s apparent revolution around the earth; and b) the time length between two successive apparent passages of the sun’s center across...

date bunch fading (dbf) is a serious disease of date palm (phoenix dactelifera l.) in iran. fusarium proliferatum was isolated from the xylem of fruit bunch samples sent from kerman and fars provinces groves to the laboratory. koch’s postulates were completed in the greenhouse by crown injection and root inoculations. shriveling of the fruits was induced by peduncle inoculations. symptoms on th...

The period of limitations is the period of time in which you can amend your tax return to claim a credit or refund, or that the IRS can assess additional tax. The below information contains the periods of limitations that apply to income tax returns. Unless otherwise stated, the years refer to the period after the return was filed. Returns filed before the due date are treated as filed on the d...

We propose to contribute to understand computation theories for continuous time systems. This is motivated by • understanding algorithmic complexity of automatic verification procedures for continuous and hybrid systems; • understanding some new models of computations. New models of computations under study include analog electronics models, and some recent sensor and telecommunication networks...

The emergence of terms like natural computing, mimetic computing, parallel problem solving from nature, bio-inspired computing, neurocomputing, evolutionary computing, etc., shows the never ending interest of the computer scientists for the use of “natural phenomena” as “problem solving devices” or more generally, as a fruitful source of inspiration to develop new programming paradigms. It is t...

Received (received date) Revised (revised date) Communicated by Editor's name ABSTRACT In this paper we discuss eecient symbolic representations for innnite-state systems speciied using linear arithmetic constraints. We give algorithms for constructing nite automata which represent integer sets that satisfy linear constraints. These automata can represent either signed or unsigned integers and ...

Received (received date) Revised (revised date) Communicated by Editor's name ABSTRACT Two-Stage Programming (2sp) is an experimental programming language, the rst implementation of the Speciication-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations wit...