Questions of belief and action are essential in the analysis of protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic specifically designed for this analysis; we show how protocols differ subtly with respect to the required initial assumptions of the participants and their final beliefs. Our formalism has enabl...

Visualization, as both the product and the process of creation, interpretation and reflection upon pictures and images, is gaining increased visibility in mathematics and mathematics education. This paper is an attempt to define visualization and to analyze, exemplify and reflect upon the many different and rich roles it can and should play in the learning and the doing of mathematics. At the s...

In this work the velocity, acceleration, and jerk analyses of a two-degrees-of-freedom parallel wrist are approached by means of the theory of screws. For the sake of completeness, the finite kinematics of the manipulator is also investigated. As far as the authors are aware, the equation of jerk in screw form of the robot at hand is introduced by the first time in this contribution. In order t...

We present a semi-automatic approach to study expressions of evaluation in academic writing as well as targets evaluated. The aim is to uncover the linguistic properties of evaluative expressions used in this genre, i.e. investigate which lexicogrammatical patterns are used to attribute an evaluation towards a target. The approach encompasses pattern detection and the semi-automatic annotation ...

Our study examines the group decision-making process and proposes a multi-criteria framework for e-commerce solution investment in information technology (IT) portfolios. First, the evaluation criteria that fit in the IT evaluation context are constructed. Second, the Fuzzy Analytic Hierarchy Process (FAHP) is employed to determine the weights of decision criteria and the benefit score to the c...

In this paper, we propose a new logical approach to represent and to reason about different time granularities. We identify a time granularity as an infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we symbolically model sets of granularities by means of linear time logic formulas. Some real-worl...

With higher life expectancy and an increasing number of older people, the number of people suffering from dementia continues to grow. Dementia impacts all areas of daily life and, in particular, communication with other people and maintenance of personhood. Technology is a promising means to address these challenges, yet approaches to design with and for people with dementia remain sparse. In o...

We argue that in order to detect stance, not only the explicit attitudes of the stance holder towards the targets are crucial. It is the whole narrative the writer drafts that counts, including the way he hypostasizes the discourse referents: as benefactors or villains, as victims or beneficiaries. We exemplify the ability of our system to identify targets and detect the writer’s stance towards...

The goal of this exercise is to provide strategic orientation and advice on cost-effectiveness of interventions to prevent and control malnutrition in Sri Lanka. However, because of data limitations and the limited scope of this analysis, the estimates presented here are approximate and serve to exemplify the scale of the potential costs, but are not meant to be taken as a precise quantificatio...