Increasing concern over the regional dimensions of national economic planning since 1970s, has constituted appropriate baselines for scientific analysis of regional differences The Iranian planning views in the pre and post revolution era have been examined in this article, based on both theoretical and applied study of regional differences. Then the types and degrees of convergency and/or dive...

this  article  provides  an  overview  on  preparation,  design,  crystal structure  and  properties  of  some  metal-organic  frameworks  of carboxylate coordination polymers mixed with pyridine-functionality linkers  prepared  in  our  laboratory.  the  article  covers  coordination polymers  in  two-  and  three-dimensional  supramolecular architectures. the reported coordination polymers ex...

We present a dialectical proof procedure for computing skeptical preferred semantics in argumentation frameworks. The proof procedure is based on the dispute derivation introduced for assumption-based framework. We prove the soundness of the procedure for any argumentation frameworks and the completeness for a general class of finitary argumentation frameworks containing the class of finite arg...

Objects that play multiple roles in different contexts are called role objects. Object-Oriented Design (OOD) frameworks are groups of role objects. These frameworks are increasingly recognised as better units of reuse in software development than single-role objects. Composing OOD frameworks yields role objects. In this paper we discuss the implementation of OOD frameworks, in particular their ...

During the past decade a number of modelling frameworks for knowledge based systems have been developed. In this paper an approach to the comparison of modelling frameworks is proposed, based on the aims and purposes behind the frameworks. A purpose oriented comparison of the frameworks DESIRE, CommonKADS, PROTÉGÉ-II, MIKE, VITAL and KARL provides insight in their differences and similarities.

Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and available expressions). Weighted pushdown systems is similarly one of the most general frameworks for interprocedural analysis of programs. However, it makes use of idempotent semirings to represent the sets of prope...

My thesis work aims to study change operations for argumentation systems, especially for abstract argumentation systems à la Dung. This paper presents a first study of the AGM revision adapted to the case of argumentation. We also sketch future research works planned to complete the one already achieved.

Most software reuse has focused on code reuse, such as reusing parts of existing applications, reusing library functions or reusing pre-built components. With the recent interest in design patterns [Gamma et al., 1995] and object-oriented frameworks, the focus is shifting away from just reusing code to reusing existing designs as well. Design patterns provide a reusable piece of a design which ...

Periodic frameworks with crystallographic symmetry are investigated from the perspective of a general deformation theory of periodic bar-and-joint structures in Euclidean spaces of arbitrary dimension. It is shown that natural parametrizations provide affine section descriptions for families of frameworks with a specified graph and symmetry. A simple geometrical setting for displacive phase tra...