The focus of the research is mega-block in New Belgrade built in 1960`s, before and after transformation. The aim of research was to compare the parameters of bioclimatic urban design before and after the intervention. The results show decrease due to shading and evapotranspiration of 1°C to 2°C, in the central part of communal open space and increase of temperature along the edges of the block...

Process Algebras are a suitable formalism both for system-level description and for ATPG with formal verification techniques. A functional fault model for System-Level descriptions is presented and experimental data are reported. The contributions of this paper are the definition of a general-purpose fault model for concurrently evolving processes and the implementation of a test pattern genera...

We study m-transportability, a generalization of transportability, which offers a license to use causal information elicited from experiments and observations in m ≥ 1 source environments to estimate a causal effect in a given target environment. We provide a novel characterization of mtransportability that directly exploits the completeness of docalculus to obtain the necessary and sufficient ...

Vegetation configuration in residential districts improves human comfort by effectively moderating the thermal environment. Herein, reliability of ENVI-met is verified comparing field measured with simulated data, including air temperature and relative humidity. The cooling effect trees gradually increased increasing tree coverage. Under same coverage, a crown diameter (TCD) 3 m have strongest ...

Optimum energy consumption and prevention of energy losses are important issues in various fields including agricultural engineering. Mower is one of the agricultural machineries that can waste too much energy if does not function properly. In this study, the performance of a single disc rotary mower was studied and optimized by measurement of cutting quality of the stem cross section (cutting ...