The methodology of the Logical Framework with a Risk Management Approach to Improve the Sustainability in the International Development Projects

When working with international development projects (IDPs), the use of the logical framework approach (LFA) prevails as the most important tool to plan and manage these projects. This paper presents how the methodology has been enriched, including risk management (LFRMA logical framework with risk management approach), proposing an original contribution, tested with professionals that will improve the effectiveness of IDPs by increasing their success rate and their sustainability. The steps followed to design the methodology (problem statement (literature review, interview with experts, questionnaire for professionals. and statistical analysis), case study analysis (eight case studies in Colombia, interviews with IDPs managers, focus groups, questionnaire for participants, qualitative analysis, and fuzzy analysis) and design of LFRMA (focus group with experts)) and the methodology itself (how to introduce risk management during all the life cycle through the methodology steps) are presented. Conclusions answer the research questions: can the effectiveness and sustainability of IDPs be improved? Can risk management help to improve IDPs effectiveness? Would it be useful to introduce risk management into the LFA? The LFRMA methodology consists of two fields of application, the first at the organization level and the second at the project level.

Guideline for feedback of individual genetic research findings for genomics research in Africa

As human genomics research in Africa continues to generate large amounts of data, ethical issues arise regarding how actionable genetic information is shared with research participants. The Human Heredity and Health in Africa Consortium (H3Africa) Ethics and Community Engagement Working group acknowledged the need for such guidance, identified key issues and principles relevant to genomics research in Africa and developed a practical guideline for consideration of feeding back individual genetic results of health importance in African research projects. This included a decision flowchart, providing a logical framework to assist in decision-making and planning for human genomics research projects. Although presented in the context of the H3Africa Consortium, we believe the principles described, and the decision flowchart presented here is applicable more broadly in African genomics research.

The Ethics of Controllability as Influenceability

We present a logical analysis of influence and control over the actions of others, and address consequential causal and normative responsibilities. We first account for the way in which influence can be exercised over the behaviour of autonomous agents. On this basis we determine the conditions under which influence leads to control on the implementation of positive and negative values. We finally define notions of causal and normative responsibility for the action of others. Our logical framework is based on STIT logic and is complemented with a series of examples illustrating the application. Our analysis applies to interactions between humans as well as to those involving autonomous artificial agents.

Establishing a State-civil (municipal-civil) partnership mechanism to develop the market of services for citizens over working age: A conceptual approach

Subject. This article discusses the issues of implementation of a public-civil partnership mechanism to provide services for persons over the working age in Russia. Objectives. The article aims to develop principles of formation and implementation of the mentioned mechanism. Methods. For the study, we used the methods of selective analysis, generalization, and the systems, and logical framework approaches. Results. The article describes the basic services provided for persons over the working age and articulates certain principles of implementing the mechanism of State-civil (municipal-civil) partnership. Conclusions. The elements of the agreement on State-civil (municipal-civil) partnership should be clearly regulated. It is important to ensure a sustainable increase in the capacity of social infrastructure facilities for persons over the working age.

A focused linear logical framework and its application to metatheory of object logics

Linear logic (LL) has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks, and models for concurrency. LL’s cut-elimination and the completeness of focusing are two of its fundamental properties that have been exploited in such applications. This paper formalizes the proof of cut-elimination for focused LL. For that, we propose a set of five cut-rules that allows us to prove cut-elimination directly on the focused system. We also encode the inference rules of other logics as LL theories and formalize the necessary conditions for those logics to have cut-elimination. We then obtain, for free, cut-elimination for first-order classical, intuitionistic, and variants of LL. We also use the LL metatheory to formalize the relative completeness of natural deduction and sequent calculus in first-order minimal logic. Hence, we propose a framework that can be used to formalize fundamental properties of logical systems specified as LL theories.

Precision Fishery Management Framework Based on Fisheries Management Area

Implementing precision fisheries management is a challenge for fisheries governance. Precision fisheries management might depend on the availability of data, area, carrying capacity, utilization, labor, industrial capacity, and fish consumption of the community. For Indonesia, the Fisheries Management Areas (FMAs) approach could become the basis for traceability and measurability of precision fisheries management. To ensure its effectiveness, the design of precision fisheries management must be started with the development of a logical framework, which then serves as a foundation for a further management design. This paper aims to present a management framework for precision fisheries management based on Fisheries Management Area. The framework covers sub sector in fisheries including capture fisheries, aquaculture, fish processing, and conservation activities. Meanwhile, supervision is the cornerstone that will oversee the implementation of all the fisheries sub sector. The framework shows that spatial-based data is one of the determinants in the efficacy of precision fisheries management.