Rich Internet Applications are widely used as they are interactive and user friendly. Automated tools for crawling Rich Internet Applications have become needed for many reasons such as content indexing or testing for correctness and security. Due to the large size of RIAs, distributed crawling has been introduced to reduce the amount of time required for crawling. However, having one controlle...

User modelling algorithms such as Performance Factors Analysis and Knowledge Tracing seek to determine a student’s knowledge state by analyzing (among other features) right and wrong answers. Anyone who has ever graded an assignment by hand knows that some answers are “more wrong” than others; i.e. they display less of an understanding of the skill(s) involved. This investigation seeks to under...

We propose a logic for specifying and proving properties of membrane systems. The main idea is to approach a membrane system by using the “point of view” of an external observer. Observers (treated as epistemic agents) accumulate their knowledge from the partial information they collect by observing subparts of the system and by applying logical reasoning to this information. We provide a forma...

We consider the time of deterministic broadcasting in networks whose nodes have limited knowledge of network topology. Each node v knows only the part of the network within knowledge radius r from it, i.e., it knows the graph induced by all nodes at distance at most r from v. Apart from that, each node knows the maximum degree of the network. One node of the network, called the source, has a me...

We construct the belief function that quantifies the agent' beliefs about which event of Q will occurred when he knows that the event is selected by a chance set-up and that the probability function associated to the chance set up is only partially known.

Breast-conserving therapy consisting of segmental mastectomy followed by whole-breast irradiation (WBI) has become widely accepted as an alternative to mastectomy as a treatment for women with early-stage breast cancer. Accelerated partial-breast irradiation (APBI) is a shorter, alternative radiation technique for select patients with favorable early-stage breast cancer. We review here the diff...

In this letter, we analyze the problem of detecting spectrum holes in cognitive radio systems. We consider that a group of unlicensed users can sense the radio signal energy, perform some simple processing and transmit the result to a central entity, where the decision about the presence or not of licensed users is made. We show that the proposed cooperative schemes present good performances ev...

We study minimal single-task peer prediction mechanisms that have limited knowledge about agents’ beliefs. Without knowing what agents’ beliefs are or eliciting additional information, it is not possible to design a truthful mechanism in a Bayesian-Nash sense. We go beyond truthfulness and explore equilibrium strategy profiles that are only partially truthful. Using the results from the multi-a...

For elliptic curve based cryptosystems, the discrete logarithm problem must be hard to solve. But even when this is true from a mathematical point of view, side-channel attacks could be used to reveal information about the key if proper countermeasures are not used. In this paper, we study the difficulty of the discrete logarithm problem when partial information about the key is revealed by sid...