In this contribution, a semi-automatic segmentation algorithm for (medical) image analysis is presented. More precise, the approach belongs to the category of interactive contouring algorithms, which provide real-time feedback of the segmentation result. However, even with interactive real-time contouring approaches there are always cases where the user cannot find a satisfying segmentation, e....

Abstraction refinement is a key technique for applying model checking to the verification of real-world digital systems. In previous work, the abstraction granularity is often limited at the state variable level, which is too coarse for verifying industrial-scale designs. In this paper, we propose a finer grain abstraction in which intermediate variables are selectively inserted to partition la...

In this research, formation of nanocrystalline Ni3Al intermetallic from Ni and Al elemental powders by mechanical alloying (MA) process and its characterization was investigated. Therefore, the evolutions in microstructure such as phase transformation, oxidation in air and introduction of Fe impurity from milling media after MA were evaluated using XRD, Rietveld refinement, TEM, SEM, EDS and IC...

In this research, St37 and 316L steel sheets were welded using friction stir welding (FSW) process and effective parameters such as the rotational speed, linear speed of the tool, pin diameter, and their appropriate values were studied. The microstructure, hardness, and strength of the different welding regions were investigated. It was observed that in the stir zone (SZ), a mechanical operatio...