Purpose – This paper aimed to develop a usability evaluation model and associated survey tool in the context of academic libraries. This study not only proposed a usability evaluation model but also a practical survey tool tailored to academic library websites. Design/methodology – A usability evaluation model has been developed for academic library websites based on literature review and exper...

Illumina whole-genome expression BeadArrays are a popular choice in gene profiling studies. Aside from the vendor-provided software tools for analyzing BeadArray expression data (GenomeStudio/BeadStudio), there exists a comprehensive set of open-source analysis tools in the Bioconductor project, many of which have been tailored to exploit the unique properties of this platform. In this article,...

In this paper we evaluate a symbolic loop bound generation technique recently proposed by the authors in [7]. The technique deploys pattern-based recurrence solving in conjunction with program flow refinement using SMT reasoning. The derived bounds are further used in the WCET analysis of programs with loops. This paper presents experimental evaluations of the method carried out with the r-TuBo...

In the information retrieval field, Fuzzy Information Retrieval Systems (FIRSs) use the potential of fuzzy techniques to improve the retrieval activities. Some models of FIRSs employ weighted queries to enhance the representation of user information needs and fuzzy connectives to evaluate such queries. In our teaching experience we have observed that students have many problems to understand th...

This paper describes how the practical sessions of the Digital Systems Laboratory within the Computer Science Degree have been adapted to allow a visually impaired student to take part in the practical sessions. Regular students use a computer--aided design tool (OrCAD) for digital design in their practical assignments. This work shows how the use of special instrumentation allows visually impa...

This paper introduces an evolutionary method for generating levels for adventure games, combining speed, guaranteed solvability of levels and authorial control. For this purpose, a new graph-based two-phase level encoding scheme is developed. This method encodes the structure of the level as well as its contents into two abstraction layers: the higher level defines an abstract representation of...

Recently, because of the expansion of TCP/IP networks, the evaluation of IP networks is being considered as a major task for network operators and administrators. As a result, many IP evaluation tools have appeared, but almost all of them can only be applied to a limited purpose. The authors have already developed an IP evaluation tool, called KITS (KDD Internet Test System) [1] that can genera...

Collaborative communities are increasingly supported by systems of information and communication tools. Much current research and development focuses on the technical and semantic aspects of tool system interoperability. However, for developing effective tool systems, their pragmatic evaluation is also essential. This implies that the usage context of tools is taken into account. In this paper,...

Evaluation of semantic web technologies at large scale, including ontology matching, is an important topic of semantic web research. This paper presents a web-based evaluation service for automatically executing the evaluation of ontology matching systems. This service is based on the use of a web service interface wrapping the functionality of a matching tool to be evaluated and allows develop...