introduction of modern architecture in iran and its popularization in 1950s and after, brought some new concepts in everyday life of iranian women, among which was “kitchen as heart of home-life”. younger members of current generation are grown in these modernized spaces while a bit older ones have experienced houses of traditional style. this study is designed to explore what previous concept ...

In radiative transfer simulations the simplification of cloud top structure by homogeneous assumptions can cause mistakes in comparison to realistic heterogeneous cloud top structures. This paper examines the influence of cloud top heterogeneity on the radiation at the top of the atmosphere. The use of cloud top measurements with a high temporal resolution allows the analysis of small spatial c...

In recent years, underactuated nonlinear dynamic systems trajectory tracking, such as space robots and manipulators with structural flexibility, has become a major field of interest due to the complexity and high computational load of these systems. Hierarchical sliding mode control has been investigated recently for these systems; however, the instability phenomena will possibly occur, especia...

The transcriptional responses of drug treatments combined with a protein target prediction algorithm was utilised to associate compounds to biological genomic space. This enabled us to predict efficacy of compounds in cMap and LINCS against 181 databases of diseases extracted from GEO. 18/30 of top drugs predicted for leukemia (e.g. Leflunomide and Etoposide) and breast cancer (e.g. Tamoxifen a...

We strain our eyes, cramp our necks, and destroy our hands trying to interact with computer on their terms. At the extreme, we strap on devices and weigh ourselves down with cables trying to re-create a sense of place inside the machine, while cutting ourselves off from the world and people around us. The alternative is to make the real environment responsive to our actions. It is not enough fo...

We propose an approach to perform efficient model-checking of μ-calculus formulae on modular Petri nets. Given a formula φ, each module can be analysed separately, possibly yielding a conclusion about the truth value of φ on the global system. When no conclusion can be drawn locally, a minimal state space preserving φ is computed for the module and can be incrementally composed with others, thu...