Actor Network Procedures as Psi-calculi for Security Ceremonies

The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spi- or applied-pi are found as instances. Psi-calculi are operational and largely non-graphical, but have strong foundation based on the theory of nominal sets and process algebras. One purpose of the present work is to give a semantics to ANP through psi-calculi. Another aim was to give a graphical language for a psi-calculus instance for security ceremonies. At the same time, this work provides more insight into the details of the ANPs formalization and the graphical representation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

Scaling Success: Lessons from Adaptation Pilots in the Rainfed Regions of India

"Scaling Success" examines how agricultural communities are adapting to the challenges posed by climate change through the lens of India's rainfed agriculture regions. Rainfed agriculture currently occupies 58 percent of India's cultivated land and accounts for up to 40 percent of its total food production. However, these regions face potential production losses of more than $200 billion USD in rice, wheat, and maize by 2050 due to the effects of climate change. Unless action is taken soon at a large scale, farmers will see sharp decreases in revenue and yields.Rainfed regions across the globe have been an important focus for the first generation of adaptation projects, but to date, few have achieved a scale that can be truly transformational. Drawing on lessons learnt from 21 case studies of rainfed agriculture interventions, the report provides guidance on how to design, fund and support adaptation projects that can achieve scale

Reaching the Poor with Effective Microcredit: Evaluation of a Grameen Bank Replication in the Philippines

Credit provision for small and poor households has always been the major element of nongovernment organizations in alleviating poverty. Recently, there has been a move to replicate the Bangladesh Grameen Bank in the Philippines known as Landless People’s Development Fund. This paper assesses its financial viability at the borrower’s level. The institution’s sustainability is also investigated in terms of sources and fund utilization, administration costs and other branches of financial viability.financial market, poverty alleviation, land management, financial sector, poverty, financial services, credit access

Reaching the Poor with Effective Microcredit: Evaluation of a Grameen Bank Replication in the Philippines

Credit provision for small and poor households has always been the major element of nongovernment organizations in alleviating poverty. Recently, there has been a move to replicate the Bangladesh Grameen Bank in the Philippines known as Landless People’s Development Fund. This paper assesses its financial viability at the borrower’s level. The institution’s sustainability is also investigated in terms of sources and fund utilization, administration costs and other branches of financial viability.financial market, poverty alleviation, land management, financial sector, poverty, financial services, credit access

NASTRAN data deck generation on the PC

Using two commercial programs an application was developed to aid in generating a run-ready NASTRAN data deck on the PC. Macros are used to access relevant reference material and card files while editing the deck. The application can be easily customized to suit individual or group needs

Pathways to Grow Impact: Philanthropy's Role in the Journey

Since 2010, through the "Scaling What Works" initiative, GEO has fostered a conversation about scale that considers a variety of ways nonprofits are creating more value for communities and how funders are supporting their work. GEO's newest publication, "Pathways to Grow Impact", shares new learning about the role grantmakers should play. The publication is the result of a collaborative project with Ashoka, Social Impact Exchange, Taproot Foundation and TCC Group that sought to answer the question: How can grantmakers best support high-performing nonprofits in their efforts to grow their impact? "Pathways to Grow Impact" is for any grantmaker who wants his or her grant dollars to have a greater effect. The publication offers a framework for understanding different approaches to scaling impact, stories from nonprofit leaders who have successfully grown their organizations' impact, and practical recommendations for grantmakers seeking more effective ways to achieve better results