In keeping with the theme of this year's e-Science All Hands Meeting--past, present and future--we consider the motivation for, the current status of, and the future directions for, the technologies developed within the GIMI (Generic Infrastructure for Medical Informatics) project. This analysis provides insights into how some key problems in data federation may be addressed. GIMI was funded by...

Using a nationally representative household survey data set from Ghana, this paper provides empirical evidence regarding the role of financial inclusion or exclusion in welfare. We first compute multidimensional index inclusion, and then we examine effect on The study finds that households suffering deprivation have lower welfare compared with their financially included counterparts. Also, obse...

Abstract Policy in coalition governments (a) depends on negotiations between parties that (b) continue elections. No extant means of predicting policy—bargaining power indices, vote shares, seat polling, veto players or measures electoral competitiveness—recognizes both these facts. We conceptualize, estimate and validate the first dynamic measure parties’ bargaining leverage intended to predic...

The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an Lfuzzy valued relation between fuzzy sets. This relation is reflexive, antisymmetric and transitive,...

The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an Lfuzzy valued relation between fuzzy sets. This relation is reflexive, antisymmetric and transitive,...

We study the time optimal control problem with a general target S for a class of differential inclusions that satisfy mild smoothness and controllability assumptions. In particular, we do not require Petrov’s condition at the boundary of S. Consequently, the minimum time function T (·) fails to be locally Lipschitz—never mind semiconcave—near S. Instead of such a regularity, we use an exterior ...

We study hybrid systems with nondeterministic discrete and continuous behaviors. We use nondetermin-istic nite automata to model the discrete behavior and state dependent diierential inclusions to model the continuous behavior. By viability we mean the system's ability to take an innnite number of discrete transitions. Viability can be used to express safety and fairness properties over the sys...