Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...
—Segmented cross-sectional MRI images were used to construct 3-D virtual models of the carotid bifurcation in ten healthy volunteers. Geometric features, such as bifurcation angl...
Nicolas Aristokleous, Ioannis Seimenis, Yannis Pap...
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Abstract. An abstract recurrent neural network trained by an unsupervised method is applied to the kinematic control of a robot arm. The network is a novel extension of the Neural ...