the igneous dykes are a small mafic rock unit exposed in the south gorgan of eastern alborz, north iran. these mafic dykes are intruded in the middle–upper paleozoic sedimentary and metamorphic rocks units representing a part of the north gondwana province. the studied samples were collected from various locations along the exposed bodies. thin sections of these rocks show medium to coarse grai...

The Stochastic Calculus of Looping Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been designed with the aim of combining the simplicity of notation of rewrite systems with the advantage of compositionality. It also allows a rather simple and accurate description of biological membranes and their interacti...

We present a static analysis to infer the amount of data that a distributed system may transmit. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. A task is posted by building a message with the task name and the data on which such task has to be executed. When the task completes, the result can be retrieved by means of another...

Introduction In colonial America, throughout the Southeast region of the country, an invisible line once existed (Figure 1). With no identified boundaries, that line ran roughly in a southwest direction from the Chesapeake to a point in the Low Country. That line separated two politically, environmentally and socially disparate regions inhabited by culturally distinct yet similar groups of ensl...

This study is a work in progress that sets out to measure the readiness for e-commerce of an aggressively developing economy in East Africa – Ethiopia – a nation that has a significant historical and geo-political status at the horn in order for it to be able to compete in the global information economy. The paper initially embarks on explaining the distinction among the fundamental concepts of...

The paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable to describe microbiological systems, such as cellular pathways, and their evolution. Systems are represented by terms. The terms of the calculus are constructed by basic constituent elements and operators of sequencing, looping, containment and parallel composition. The looping operator allows tying up the ends of a...