Nowadays, the expansion of the cities is an inevitable necessity; increasing the dependence of the citizens on motor vehicles and, consequently, making development of the transportation networks a necessity rather than an option. Thus, increasing car ownership and car use has created many problems for the cities, such as increasing greenhouse gas emissions, environmental pollution, casualties o...

A number of shortcomings of space syntaxöa well-known technique of urban analysisöwere recently discussed in the scientific literature. They are mostly traceable to the reliance in space syntax on the `axial map': a simplified line-of-sight description of the city, which is then analysed based on its topology. This paper explores how another type of urban representationsönamely the urban digita...

This article examines Le Corbusier’s architectural design processes, paying special attention to his concept of “ineffable space”. Corbusier related space” mathematics, arguing that both mathematics and the phenomenon provoke an effect “concordance”. He also argued when establishment relations is “precise” “overwhelming”, artefacts are capable “provoking physiological sensations”. For Corbusier...

This paper introduces MetTeL2, a tableau prover generator producing Java code from the specification of a logical syntax and a tableau calculus. It is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated implementations.