Non-normal modalities in variants of Linear Logic

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic Linear Logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatization and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the logical framework to use by instantiating it as logics of agency. In particular, we propose a logic to reason about the resource-sensitive use of artefacts and illustrate it with a variety of examples

Bringing tasks back in: an organizational theory of resource complementarity and partner selection

To progress beyond the idea that the value of inter-firm collaboration is largely determined by the complementarity of the resources held by partners, we build a theoretical framework that explains under which conditions a set of resources or capabilities can be considered as complementary and resulting in superior value creation. Specifically, we argue that the tasks that an inter-firm collaboration has to perform determine complementarities, and that complementarities arise from similar and dissimilar resources alike. We capture this relationship in the concept of task resource complementarity. Further, we examine factors that impact on the relevance of this construct as a predictor of partner selection. Finally, we discuss which implications arise for a theory of the firm when tasks are explicitly incorporated into the conceptualization of resource complementarity

Measuring the Work of Intermediaries in the St. Louis Region

This guide serves to encourage funders and intermediaries to think about intermediary nonprofit organizations and their outcomes differently as well as explain how these two groups can partner successfully to create change. "We do not fund intermediaries" is often times used as a blanket statement by funders. This statement has led many nonprofit organizations to claim "we are not an intermediary" to avoid getting lumped into a certain bucket when they are in fact an intermediary organization. This guide will give insight into both the communications struggles and best practices that funders and intermediaries encounter with one another and give examples of successful funder/intermediary partnerships

A conceptual model of service exchange in service-dominant logic

The service system is the basic abstraction of Service Science. This paper proposes the Resource-Service-System model as a conceptual model of service systems interacting in service exchanges, assuming a service-dominant logic economic worldview. The paper explains how the model was developed starting from the Resource-Event-Agent business model ontology, taking into account insights gained from studying Service Science literature and existing service ontologies. The paper also explains how different model views can contribute to study various aspects of service systems and exchanges

The Shifting Gears Approach to Systems Change

Evaluates the Shifting Gears initiative to strengthen state postsecondary, adult basic education, and skills development systems through data, policy change, engagement, and communications. Focuses on the logic model and the policy agenda and action plan

Considering Evaluation: Thoughts for Social Change and Movement-Building Groups

The aim of this guide is to present an easy-to-use resource for evaluation and assessments of social justice, social change and movement building work. It is not meant to be a comprehensive guide to evaluation, but rather goal is to share some of our tools, resources, and lessons learned in this area. This booklet is intended for practitioners working to build organizations, organize networks, alliances and movement building projects

Evaluation of EPIM III: Emerging Insights From the Evaluation So Far

This report sets out some emerging insights from the ongoing evaluation of the European Programme for Integration and Migration (EPIM) 2012-2015 programme. The activities of EPIM and this evaluation lie at the very heart of EPIM's efforts to strengthen the capacity of NGOs active in migration and integration issues, to engage with and influence decision-making at EU and Member state levels, and to do so by drawing on a rigorous evidence base, and through a pragmatic approach. Founded in 2005 as an activity of the Network of European Foundations (NEF) in a unique effort to fund European migration and integration organisations, EPIM's activities include strategic grant-making as well as networking, capacity-building, supporting advocacy and policy work. The Programme has now disbursed over 3m to more than 24 grantee organisations. Drawing on experience and learning from previous phases, EPIM's current three core areas of focus are asylum seekers, undocumented migrants, and equality, integration and social inclusion of vulnerable migrants. Recognising the importance of the role played by civil society, one of EPIM's key goals is to strengthen the advocacy capacities of NGOs at the European level. This goal reflects the fact that over the past decade the EU has become an important actor in the field of immigration and asylum, as well as that the majority of countries face some challenges in this area

GRIDCC: Real-time workflow system

The Grid is a concept which allows the sharing of resources between distributed communities, allowing each to progress towards potentially different goals. As adoption of the Grid increases so are the activities that people wish to conduct through it. The GRIDCC project is a European Union funded project addressing the issues of integrating instruments into the Grid. This increases the requirement of workflows and Quality of Service upon these workflows as many of these instruments have real-time requirements. In this paper we present the workflow management service within the GRIDCC project which is tasked with optimising the workflows and ensuring that they meet the pre-defined QoS requirements specified upon them

Ontologies on the semantic web

As an informational technology, the World Wide Web has enjoyed spectacular success. In just ten years it has transformed the way information is produced, stored, and shared in arenas as diverse as shopping, family photo albums, and high-level academic research. The “Semantic Web” was touted by its developers as equally revolutionary but has not yet achieved anything like the Web’s exponential uptake. This 17 000 word survey article explores why this might be so, from a perspective that bridges both philosophy and IT