User-friendly interfaces can play an important role in bringing the benefits of a machine-readable representation of formal arguments to a wider audience. The aartifact system is an easy-to-use lightweight verifier for formal arguments that involve logical and algebraic manipulations of common mathematical concepts. The system provides validation capabilities by utilizing a database of proposit...

Abstract Autoethnography—a methodology that foregrounds personal experience both during research and in writing about it—is a useful keyword for scholars working Africa the diaspora. Mara Thompson argue by exploring new forms of engaging critical self-reflexivity regarding (shifting) positionalities, autoethnography—particularly collaborative approaches—is vital to ongoing efforts decolonize Af...

This paper describes the concept and the realisation of a research prototype of a haptic environment that is enhanced with sound feedback to impart implicit knowledge and to teach motor skills to trainees. The sound feedback is to be understood as an additional feedback that provides information to the trainee about his or her actions in relation to objects in a virtual haptic environment. Alth...

the research was aimed at finding out the effects of the implementation of writing feedback techniques and students’ writing anxiety on students’ writing ablity. experimental method of 3x2 factorial design was employed in the research. there were three experimental groups of students who were taught by using teacher feedback, peer feedback and the combination of peer and teacher feedback writin...

Recommendation system acts as a tool in providing most appropriate service to the user. Currently, information through online services increases. This leads to the overhead of data in online and there is a possibility of getting less accurate results. In previous approaches, recommendation of service is based on the feedbacks and ranking from the previous user. It doesn’t consider the suggestio...

There are various new applications of genetic algorithms to information retrieval, mostly with respect to relevance feedback. However, they are yet to be evaluated in a way that allows them to be compared with each other and with other relevance feedback techniques. There is always need to efficiently store and retrieve image data to perform assigned tasks and to make a decision. This paper pre...