This paper offers a framework for analysing the economic drivers and effects of agrobiodiversity loss, focusing on in-situ conservation at both farm and landscape levels. We distinguish between the proximate and fundamental causes of biodiversity loss in terms of the decentralised (microeconomic) behaviour of farming households. Special attention is paid to the interplay between microeconomic d...

Android stores and users need mechanisms to evaluate whether their applications are secure or not. Although various previous works use data and control flow techniques to evaluate security features of Android applications, this paper extends those works by using Jif to verify compliance of information flow policies. To do so, the authors addressed some challenges that emerge in Android environm...

We study the optimal monetary policy in a two-country open-economy model under two monetary arrangements: (a) multiple currencies controlled by independent policy makers; (b) common currencies with a centralized policy maker. Our findings suggest that: (i) Monetary policy competition leads to higher long-term inflation and interest rates with large welfare losses; (ii) The inflation bias and th...

Human rights have become an important aspect of development policy and programming. This trend is reflected in the human rights policies that a growing number of bilateral and multilateral aid agencies have adopted over the past ten years. This chapter reviews donor approaches and rationales for working on human rights. The analysis shows that human rights work is considered as an objective in ...

In modern communication environments, the ability to provide access control to services in a context-aware manner is crucial. By leveraging the dynamically changing context information, we can achieve context-specific control over access to services, better satisfying the security and privacy requirements of the stakeholders. In this paper, we introduce a new Context-Aware Access Control (CAAC)...

Current goal-oriented requirements engineering methods focus on the definition of optimal requirements that an information system needs to support in order to help its stakeholders to achieve their goals. But, the lack of systemic reasoning and disregard for questions of interpretation lead to insufficient attention given to activities and implicit policies affecting the definition of these goa...

The completion mode (individual, collaborative) of the tasks and the conditions under which these modes are performed have been reported to play an important role in language learning. The present study aimed to investigate the effects of employing text editing tasks performed both individually and collaboratively, on the achievement of English grammar under explicit and implicit learning condi...

Procedural representations of control policies have two advantages when facing the scale-up problem in learning tasks. First they are implicit, with potential for inductive generalization over a very large set of situations. Second they facilitate modularization. In this paper we compare several randomized algorithms for learning modular procedural representations. The main algorithm, called Ad...

We study the problem of imitation learning from demonstrations of multiple coordinating agents. One key challenge in this setting is that learning a good model of coordination can be difficult, since coordination is often implicit in the demonstrations and must be inferred as a latent variable. We propose a joint approach that simultaneously learns a latent coordination model along with the ind...

Procedural representations of control policies have two advantages when facing the scale-up problem in learning tasks. First they are implicit, with potential for inductive generalization over a very large set of situations. Second they facilitate modularization. In this paper we compare several randomized algorithms for learning modular procedural representations. The main algorithm, called Ad...