Since the discovery of the Spectre and Meltdown vulnerabilities, transient execution attacks have increasingly gained momentum. However, while the community has investigated several variants to trigger attacks during transient execution, much less attention has been dev...

Developing software is a team project that does not only rest on technologies and methodologies used, human aspects also play a pivotal role in the success of team projects. We investigate the impact of personality diversity on the success of short-lived student teams w...

The rotation and momentum transport has been studied at JET. The analysis showed that the rotation and temperature profiles match each other for the ITB discharges but not for the H-mode plasmas. This could be explained by the difference in NBI energy and momentum depos...

This paper describes a method for converting existing thesauri and related resources from their native format to RDF(S) and OWL. The method identifies four steps in the conversion process. In each step, decisions have to be taken with respect to the syntax or semantics ...

We consider the task of exploratory search through graph queries on knowledge graphs. We propose to assist the user by expanding the query with intuitive suggestions to provide a more informative (full) query that can retrieve more detailed and relevant answers. To achi...

AbstractThe goal of strain-aware genome assembly is to reconstruct all individual haplotypes from a mixed sample at the strain level and to provide abundance estimates for the strains. Given that the use of a reference genome can introduce significant biases, de novo ap...

Inspired by the work of Yarbus [6] on eye movements, we investigated the dependence of hand movements on "scene" and question about the scene. Our haptic scenes consisted of arrays of 3•3 samples of materials that could differ in material properties or orientation of te...

Human-aware assisting computing systems can be a cost-effective solution to support people to change their behaviour and have a better lifestyle. On the other hand, such a system can be used by policy makers to increase their awareness about the behaviour of people and ...

Abstract The Compositional Interchange Format (CIF), is a modeling formalism for hybrid systems, that aims to establishing interoperability of a wide range of tools by means of model transformations to and from CIF. UPPAAL is a very successful tool for the specification...

We give a polynomial time, $(1+\epsilon)$-approximation algorithm for the traveling repairman problem (TRP) in the Euclidean plane and on weighted trees. This improves on the known quasi-polynomial time approximation schemes for these problems. The algorithm is based on...