the issue of urban decline in city centers and horizontal expansion of the city and its consequences is a challenge in sustainable development of the cities. in this regard, new approaches were shaped to define career planning, urban design and urban environmental quality concerns in new-urbanism pattern. the critical approach to modern urban pattern was formed based on scattered, non-human and...

In this paper we show how the abstract behaviours of higherorder systems can be modelled as final coalgebras of suitable behavioural functors. These functors have the challenging peculiarity to be circularly defined with their own final coalgebra. Our main contribution is a general construction for defining these functors, solving this circularity which is the essence of higher-order behaviours...

Hygienic macro systems, such as Scheme’s, automatically rename variables to prevent unintentional variable capture—in short, they “just work.” Yet hygiene has never been formally presented as a specification rather than an algorithm. According to folklore, the definition of hygienic macro expansion hinges on the preservation of alphaequivalence. But the only known notion of alpha-equivalence fo...

Hygienic behavior in honey bees, Apis mellifera, is measured by determining the rate at which the bees uncap and remove dead sealed brood. We analyzed individual behavior of house-cleaning Africanized honey bees in order to focus on some poorly understood aspects of hygienic behavior. Two observation hives, each with approximately 3,000 individually marked bees, were used in this study. The eff...