Gamification has the potential to improve the quality of learning by better engaging students with learning activities. Our objective in this study is to evaluate a gamified learning activity along the dimensions of learning, engagement, and enjoyment. The activity made use of a gamified multiple choice quiz implemented as a software tool and was trialled in three undergraduate IT-related cours...

BACKGROUND There is an increasing body of evidence from trials suggesting that major reductions in neonatal mortality are possible through community-based interventions. Since these trials involve packages of varying content, determining how much of the observed mortality reduction is due to specific interventions is problematic. The Lives Saved Tool (LiST) is designed to facilitate programmati...

SystemCoDesigner is a software tool for automatic design space exploration at the electronic system level and automatic platform-based prototyping of hardware/software systems using SystemC.

This paper describes a software tool that implements an instancebased schema matching technique for OWL dialects. The technique is based on a matching algorithm that depends on the definition of similarity functions that evaluate the semantic proximity of elements from two different schemas. The tool is engineered to accommodate different similarity functions and variations of the matching algo...

Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools that can help protocol designers catch semantic protocol errors at design time. As research in networking protocols has shown, flawed specifications of protocols can have disastrous consequences. Hence, it is crucial to ...

We are developing a prototype of a simulation development tool to aid administrators in the process of redesigning organizational structures. The purpose of the system is to help organization designers to more precisely model their hypothetical designs, and, by simulation, to predict key facets of the overall behavior of their proposed organizational structures. The tool will help them to evalu...

We focus on creating a programming tool which enables to create dialog managers for speech-enabled IVA applications in the standardized health screening and assessment domain. Our approach aims to bridge the gap between the intelligent virtual agents (IVA) and the spoken dialog systems (SDS) research communities for the delivery of standardized health interviews by embodied conversational agent...

CAST is a system-level software tool that supports the design of concurrent systems. It assumes that the functional model of a system is specified as a set of compute nodes that communicate with each other using point-to-point connections. CAST provides concurrency analysis, support for refinement of the concurrency in the model to implement, and guidance in the design-space exploration. Its ma...

The paper deals with organization of interaction and communication between subjects of the distance learning process through forums and comment system. Considered existing software tools, their structure and disadvantages. Propose a model of adaptive educational forums, as well as the structural and semantic similarity metrics for extracting dialogues and thematic discussions from arrays of ind...

The Network and Distributed Systems Group within the University of Franche-Comte’s computer research lab (LIFC) gained solid expertise on medical ediagnosis in the area of remote collaboration through continued research and findings. TeNeCi (Cooperative Teleneurology) is a European remote diagnosis project applied to neurology developed under the aegis of INTERREGIII. INTERREGIII is a European ...