The aim of this study is to understand how learners with different personality respond to an e-learning content structure, by which it will help to build an instance of personalit...
In this paper we present the results of our long term development of a mixed reality book. Most previous work in the area has focused on the technology of augmented reality books,...
— This work introduces a modified endoscope structure that employs a spring as its backbone. This design allows backdrivability of the mechanism due to the flexibility of the spr...
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...