Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

New Urbanism design principles have been adopted for many urban planning efforts in recent years. The purpose of this paper is studding the structure and space of Shahid Beheshti Square as one of the most important and old squares of Tabriz from the view of new urbanism principals. In order to reaching this purpose the data were collected through a questionnaire distributed among peoples that a...

The following study aims to present an innovative approach for Design. Participatory Design is the model of direct involvement of different social groups in the design from functional tools to environments, social institutions and businesses. Diverse collection of practices has been developed to support this direct involvement by Participatory Design. People are invited to participate during di...

In this paper an approach based on evolutionary algorithms to find Pareto optimal pair of state and control for multi-objective optimal control problems (MOOCP)'s is introduced‎. ‎In this approach‎, ‎first a discretized form of the time-control space is considered and then‎, ‎a piecewise linear control and a piecewise linear trajectory are obtained from the discretized time-control space using ...

‎by considering a degenerate $p(x)-$laplacian equation‎, ‎a generalized compact embedding in weighted variable‎ ‎exponent sobolev space is presented‎. ‎multiplicity of positive solutions are discussed by applying fibering map approach for the‎ ‎corresponding nehari manifold‎.

Background Decentralisation aims to bring services closer to the community and has been advocated in the health sector to improve quality, access and equity, and to empower local agencies, increase innovation and efficiency and bring healthcare and decision-making as close as possible to where people live and work. Fiji has attempted two approaches to decentralisation. The current approach refl...

We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...

nowadays “design” is considered as an independent discipline which is neither a science, nor an art, but an interdiscipline with strong relations with both art and science. therefore, this new understanding demands reidentifying all design sub-disciplines. “space” as one of this sub-disciplines, has a pivotal role in shaping form in both design and architecture. while concrete understanding of ...