Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces ba...

Detection and classification of underwater mines among natural formations and debris along the sea floor is a tedious task. In order to overcome such scenario an automated computer aided detection and classification system is required. Image processing techniques are used to improve the performance of mine hunting operations using sector-scan, side-scan, magnetometers, cameras, etc. This paper ...

Abstract: fabricated. Modifications carried out in different parts of the old system in order to control mostof the growth parameters with more accuracy. The fabricated system was used to grow sapphiresingle crystals with almost 10 mm in diameter and 50 mm in length. The crystallinity andstructure of the grown crystals were characterized by computer aided single crystal X-raydiffraction techniq...

Contemporary climate challenges are changing the architect’s awareness, which results in a broader spectrum of interest. The available software enables design vegetation, but it is often very limited and requires specialist knowledge. allows creation individual solutions based on visual algorithms or writing scripts; however, they still not common methods used architecture urban planning. study...

In this research, first of all, the existing problems in fragmentation measurement are reviewed for the sake of its fast and reliable evaluation. Then, the available methods used for evaluation of blast results are mentioned. The produced errors especially in recognizing the rock fragments in computer-aided methods, and also, the importance of determination of their sizes in the image analysis ...