Designingprivacypreserving authenticationprotocols for massively deployed Radio Frequency IDentification (RFID) systems is a real world challenge that have drawn significant attention from RFID community. This interest yields considerable amount of proposals targeting to overcome the main bottleneck (i.e. the exhaustive search over the list of all tag entries) which appears in the back-end data...

Disaster Management has received a lot of attention over the last twenty years, and can now be considered a full research area. But a gap exists between research work proposals and their applications on the field. This is particularly true regarding quantitative approaches. One of the main issues is that the scenarios used to design and validate the proposals are often not accurate and/or too s...

A broad class of implicit or partially implicit time discretizations for the Langevin diffusion are considered and used as proposals for the Metropolis-Hastings algorithm. Ergodic properties of our proposed schemes are studied. We show that introducing implicitness in the discretization leads to a process that often inherits the convergence rate of the continuous time process. These contrast wi...

There are numerous proposals and solutions that aim to apply Learning Analytics (LA) in authentic scenarios. Many of them have been applied successfully in learning contexts where adults are involved. However, when we try to transfer such proposals to underage students, the application may not be straightforward. This paper reports on a case where a LA approach, which had been already applied t...

We present a sequential Monte Carlo algorithm for Markov chain trajectories with proposals constructed in reverse time, which is advantageous when paths are conditioned to end in a rare set. The reverse time proposal distribution is constructed by approximating the ratio of Green’s functions in Nagasawa’s formula. Conditioning arguments can be used to interpret these ratios as low-dimensional c...

In this paper the ASPIC framework for argumentation-based inference is used for formally reconstructing two legal debates about law-making proposals: an opinion of a legal scholar on a Dutch legislative proposal and a US commonlaw judicial decision on whether an existing common law rule should be followed or distinguished. Both debates are formalised as practical reasoning, with versions of the...

This technical report supplements the paper entitled ’Conceptual Navigation Analysis: a device and platform independent navigation specification’. It presents how a navigation analysis model can be integrated in two well-known user-centered conceptual modeling approaches, namely OO-H and UWE. Our aim with this integration process is to illustrate how other user-oriented hypermedia modeling prop...

a few years after the implementation of computerize maintenance management systems (cmms), showing the analysis results of the collected data in these systems is necessary and important for continuing the usage of these systems. equipment downtime and cost data can identify patterns of equipment faults and equipment costs. it can also show deficiencies in the implementation of maintenance syste...