Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions ...

Clustering is the process of grouping data objects into set of disjoint classes called clusters so that objects within a class are highly similar with one another and dissimilar with the objects in other classes. The k-means ...

The ways in which an innovation (e.g., new behaviour, idea, technology, product) diffuses among people can determine its success or failure. In this paper, we address the problem of diffusion of innovations over multiplex ...

Mechanism design is concerned with settings where a policy maker
(or social planner) faces the problem of aggregating the announced
preferences of multiple agents into a collective (or social), systemwide
decision. ...

In the context of intuitionistic analysis, we consider the set FF consisting of all continuous functions ϕϕ from [0,1][0,1] to RR such that ϕ(0)=0ϕ(0)=0 and ϕ(1)=1ϕ(1)=1, and the set I0I0 consisting of ϕϕ’s in FF where ...

In this paper, we introduce an agent-based representation of games, in order to propose a compact representation for multi-party games in game theory. Our method is inspired by concepts in process theory and process algebra. ...

Let A be a subset of the constructive real line. What are the necessary and sufficient conditions for the set A such that A is continuously separated from other reals, i.e., there exists a continuous function f with ...

We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer’s continuity principle in constructive mathematics, and the other involves ...

In a testing session, students may want to use the information of other students, which is cheating. The authors of this paper develop an artificial society to model and simulate this situation. They consider two control ...