Journal articles: 'Logical Framework Approach'

1

Couillard, Jean, Serge Garon, and Jovica Riznic. "The Logical Framework Approach-Millennium." Project Management Journal 40, no. 4 (December 2009): 31–44. http://dx.doi.org/10.1002/pmj.20117.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Musso, Alessandro, Souheil Jebabli, and Abbas Ghorbani. "Management Control. A logical framework approach." MANAGEMENT CONTROL, no. 3 (November 2018): 13–29. http://dx.doi.org/10.3280/maco2018-003002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Cappetta, Donato. "Europrogettazione, project cycle management e logical framework approach." PROJECT MANAGER (IL), no. 18 (June 2014): 33–38. http://dx.doi.org/10.3280/pm2014-018010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Morrison, Thomas K., and Sarmad Khawaja. "Measuring Statistical Capacity Building: A Logical Framework Approach." IMF Working Papers 01, no. 188 (2001): 1. http://dx.doi.org/10.5089/9781451859560.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sartorius, R. H. "The Logical Framework Approach to Project Design and Management." American Journal of Evaluation 12, no. 2 (June 1, 1991): 139–47. http://dx.doi.org/10.1177/109821409101200204.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Sartorius, Rolf H. "The logical framework approach to project design and management." Evaluation Practice 12, no. 2 (June 1991): 139–47. http://dx.doi.org/10.1016/0886-1633(91)90005-i.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

RABE, FLORIAN. "A logical framework combining model and proof theory." Mathematical Structures in Computer Science 23, no. 5 (March 1, 2013): 945–1001. http://dx.doi.org/10.1017/s0960129512000424.

Full text

Abstract:

Mathematical logic and computer science have driven the design of a growing number of logics and related formalisms such as set theories and type theories. In response to this population explosion, logical frameworks have been developed as formal meta-languages in which to represent, structure, relate and reason about logics.Research on logical frameworks has diverged into separate communities, often with conflicting backgrounds and philosophies. In particular, two of the most important logical frameworks are the framework of institutions, from the area of model theory based on category theory, and the Edinburgh Logical Framework LF, from the area of proof theory based on dependent type theory. Even though their ultimate motivations overlap – for example in applications to software verification – they have fundamentally different perspectives on logic.In the current paper, we design a logical framework that integrates the frameworks of institutions and LF in a way that combines their complementary advantages while retaining the elegance of each of them. In particular, our framework takes a balanced approach between model theory and proof theory, and permits the representation of logics in a way that comprises all major ingredients of a logic: syntax, models, satisfaction, judgments and proofs. This provides a theoretical basis for the systematic study of logics in a comprehensive logical framework. Our framework has been applied to obtain a large library of structured and machine-verified encodings of logics and logic translations.

APA, Harvard, Vancouver, ISO, and other styles

8

Chang, Hyejung. "Evaluation Framework for Telemedicine Using the Logical Framework Approach and a Fishbone Diagram." Healthcare Informatics Research 21, no. 4 (2015): 230. http://dx.doi.org/10.4258/hir.2015.21.4.230.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Orłowska, Ewa. "Logic Approach to Information Systems." Fundamenta Informaticae 8, no. 3-4 (July 1, 1985): 359–78. http://dx.doi.org/10.3233/fi-1985-83-406.

Full text

Abstract:

The purpose of the present paper is to give a logical framework which provides a uniform description of Pawlak’s information systems of deterministic, nondeterministic, and many-valued information. A language is introduced for representing and retrieving information. Logical aspects of dynamics of information systems are discussed.

APA, Harvard, Vancouver, ISO, and other styles

10

Gasper, Des. "Evaluating the ?logical framework approach? towards learning-oriented development evaluation." Public Administration and Development 20, no. 1 (2000): 17–28. http://dx.doi.org/10.1002/1099-162x(200002)20:1<17::aid-pad89>3.0.co;2-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Santos, Olga C., and Jesus G. Boticario. "Involving Users to Improve the Collaborative Logical Framework." Scientific World Journal 2014 (2014): 1–15. http://dx.doi.org/10.1155/2014/893525.

Full text

Abstract:

In order to support collaboration in web-based learning, there is a need for an intelligent support that facilitates its management during the design, development, and analysis of the collaborative learning experience and supports both students and instructors. At aDeNu research group we have proposed the Collaborative Logical Framework (CLF) to create effective scenarios that support learning through interaction, exploration, discussion, and collaborative knowledge construction. This approach draws on artificial intelligence techniques to support and foster an effective involvement of students to collaborate. At the same time, the instructors’ workload is reduced as some of their tasks—especially those related to the monitoring of the students behavior—are automated. After introducing the CLF approach, in this paper, we present two formative evaluations with users carried out to improve the design of this collaborative tool and thus enrich the personalized support provided. In the first one, we analyze, following the layered evaluation approach, the results of an observational study with 56 participants. In the second one, we tested the infrastructure to gather emotional data when carrying out another observational study with 17 participants.

APA, Harvard, Vancouver, ISO, and other styles

12

Zakaria, Norhanim, Nurul Izzati Muhamed Yusuff, Azlan Shah Ali, and Umi Kalsum Zolkafli. "Logical Framework Matrix (LFM) in Malaysia Government Project Planning." Journal of Surveying, Construction & Property 11, no. 1 (June 26, 2020): 48–62. http://dx.doi.org/10.22452/jscp.vol11no1.5.

Full text

Abstract:

The Malaysian Government adopted the Logical Framework Approach (LFA) as a crucial project management tool in implementing Outcome Based Approach (OBA) for public projects in 2009 via the issuance of the Guideline for Planning and Preparation of Programs and Projects Development 1/2009. The guideline was issued by the Economic Planning Unit (EPU) of the Prime Minister’s Department (JPM) (also known as Ministry of Economic Affairs (MEA) since 2018), Malaysia. The Logical Framework Matrix (LFM) has been suggested as a key tool for project appraisal. However, there are some cases where the LFM has not been appropriately utilized by the ministries and agencies. This paper therefore presents the frequent failings of LFM and practical issues in the participatory approach of LFA process, which contribute to the LFM produced. Findings from the study conducted via document review and interview confirmed that frequent failings of LFM and practical issues occur in preparing LFM in Malaysia Government project planning. Three (3) measures to overcome the existing challenges as well as in reducing existing gaps were identified to include knowledge management, enforcement and format.

APA, Harvard, Vancouver, ISO, and other styles

13

Pesic, Jelena. "Logical and epistemological approach to critical thinking." Psihologija 40, no. 2 (2007): 173–90. http://dx.doi.org/10.2298/psi0702173p.

Full text

Abstract:

Two main approaches in the conceptualization of critical thinking, logical and epistemological, are presented and analyzed in this paper. The review of logical approach begins with defining its general framework (relationship between critical thinking and informal logic) and afterwards we analyze abilities and skills which are seen as basic constituents of critical thinking. In the review of epistemological approach we analyze four conceptions that present the main directions in criticizing logical approach, and also in developing the broader perspective on critical thinking that includes specific view of knowledge and its development, noncognitive dispositions and the role of subject based knowledge. At the end, we discuss the relationship between logical and epistemological approach. We claim and justify that they should be understood as complementary approaches, and we consider specific contribution of each approach to comprehensive definition of critical thinking. .

APA, Harvard, Vancouver, ISO, and other styles

14

Zuo, Yanjun. "A Constrained, Possibilistic Logical Approach for Software System Survivability Evaluation." International Journal of Software Engineering and Knowledge Engineering 24, no. 05 (June 2014): 777–800. http://dx.doi.org/10.1142/s0218194014500302.

Full text

Abstract:

In this paper, we present a logical framework to facilitate users in assessing a software system in terms of the required survivability features. Survivability evaluation is essential in linking foreign software components to an existing system or obtaining software systems from external sources. It is important to make sure that any foreign components/systems will not compromise the current system's survivability properties. Given the increasing large scope and complexity of modern software systems, there is a need for an evaluation framework to accommodate uncertain, vague, or even ill-known knowledge for a robust evaluation based on multi-dimensional criteria. Our framework incorporates user-defined constrains on survivability requirements. Necessity-based possibilistic uncertainty and user survivability requirement constraints are effectively linked to logic reasoning. A proof-of-concept system has been developed to validate the proposed approach. To our best knowledge, our work is the first attempt to incorporate vague, imprecise information into software system survivability evaluation.

APA, Harvard, Vancouver, ISO, and other styles

15

LI, ZHIQIANG, and DAIZHAN CHENG. "ALGEBRAIC APPROACH TO DYNAMICS OF MULTIVALUED NETWORKS." International Journal of Bifurcation and Chaos 20, no. 03 (March 2010): 561–82. http://dx.doi.org/10.1142/s0218127410025892.

Full text

Abstract:

Using semi-tensor product of matrices, a matrix expression for multivalued logic is proposed, where a logical variable is expressed as a vector, and a logical function is expressed as a multilinear mapping. Under this framework, the dynamics of a multivalued logical network is converted into a standard discrete-time linear system. Analyzing the network transition matrix, easily computable formulas are obtained to show (a) the number of equilibriums; (b) the numbers of cycles of different lengths; (c) transient period, the minimum time for all points to enter the set of attractors, respectively. A method to reconstruct the logical network from its network transition matrix is also presented. This approach can also be used to convert the dynamics of a multivalued control network into a discrete-time bilinear system. Then, the structure and the controllability of multivalued logical control networks are revealed.

APA, Harvard, Vancouver, ISO, and other styles

16

Fiorini, Rodolfo A. "The Emerging Computational Biolinguistic Framework." International Journal of Cognitive Informatics and Natural Intelligence 12, no. 4 (October 2018): 1–19. http://dx.doi.org/10.4018/ijcini.2018100101.

Full text

Abstract:

The convergence of software and intelligent sciences forms the transdisciplinary field of computational intelligence. Abstract intelligence is a human enquiry of both natural and artificial intelligence at the reductive embodying levels of neural, cognitive, functional, and logical from the bottom-up (BU). The human brain is at least a factor of 1 billion more efficient than our present digital technology, and a factor of 10 million more efficient than the best digital technology that we can imagine today. The unavoidable conclusion is that current neuromorphic engineering has something fundamental to learn from the human brain and cells about a new and much more effective form of computation, with a convenient, effective, efficient, and reliable BU approach. The author presents a brain-inspired geometric-logical scheme defining fundamental human linguistic and predicative competence. According to CICT, complete duality of opposition and implication geometry in logical geometry and language can model n-dimensional predicative competence and beyond, according to available computational resources.

APA, Harvard, Vancouver, ISO, and other styles

17

Sartorius, R. "The third generation Logical Framework Approach: dynamic management for agricultural research projects." European Journal of Agricultural Education and Extension 2, no. 4 (March 1996): 49–62. http://dx.doi.org/10.1080/13892249685300071.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Stanley, Tony. "A practice framework to support the Care Act 2014." Journal of Adult Protection 18, no. 1 (February 8, 2016): 53–64. http://dx.doi.org/10.1108/jap-07-2015-0020.

Full text

Abstract:

Purpose – The purpose of this paper is to discuss how the signs of safety and wellbeing practice framework offers a practical and logical reinforcement for the Making Safeguarding Personal programme within the practice context of the Care Act. The new practice framework orientates safeguarding practice to be person led and person centred while reinforcing an outcomes focus. Design/methodology/approach – The principal social worker co-led the design and pilot programme where the new practice framework was developed and trialled. Findings – A practice framework that houses the policy and practice updates needed to deliver the Care Act and Making Safeguarding Personal agenda is logical and necessary for the practitioners. An outcomes focus is encouraged because safeguarding practice is goal orientated and outcome focused. Practical implications – A debate about how practice frameworks can help achieve the Making Safeguarding Personal approach and deliver on the Care Act principles is offered. This is a new and important debate for adult social care; a debate well-established across children’s services. Originality/value – A debate about how practice frameworks can help achieve the Making Safeguarding Personal approach and deliver on the Care Act principles is offered. This is a new and important debate for adult social care; a debate well-established across children’s services.

APA, Harvard, Vancouver, ISO, and other styles

19

Caroprese, Luciano, Irina Trubitsyna, Miroslaw Truszczyński, and Ester Zumpano. "A logical framework for view updating in indefinite databases." Logic Journal of the IGPL 27, no. 6 (February 27, 2019): 777–811. http://dx.doi.org/10.1093/jigpal/jzz003.

Full text

Abstract:

Abstract This paper introduces and studies a declarative framework for updating views over indefinite databases. An indefinite database is a database with null values that are represented, following the standard database approach, by a single null constant. Typically a database is represented by a single set of facts $D$ that model what is known to be true. This paper proposes a model of an indefinite extensional database that is more expressive with respect to the closed-world assumption (CWA) adapted for the setting of indefinite databases (Libkin, 1995, A semantics-based approach to design of query languages for partial information. In Semantics in Databases, vol. 1358 of LNCS, pp. 170–208. Springer; der Meyden, 1998, Logical approaches to incomplete information: a survey. In Logics for Databases and Information Systems, pp. 307–356. Kluwer Academic Publishers, Norwell, MA, USA). More specifically, in our model, databases are determined by two sets of facts: $D$ representing, as usual, all facts that are true in the database, and $E$ that is meant to represent exceptions to the ‘unknown range’, i.e. facts that cannot be unknown. Intuitively, unless they are explicitly implied to be true by the first set, the facts specified as exceptions are assumed false. The semantics is given by means of a two-level CWA tailored to the case of indefinite information. The paper characterizes the semantics of indefinite databases in terms of their possible worlds that are obtained by instantiating occurrences of null values by concrete constants and defines several classes of database repairs that realize view-update requests. Most notable is the class of constrained repairs. Constrained repairs change the database ‘minimally’and avoid making arbitrary commitments. They narrow down the space of alternative ways to fulfill the view-update request to those that are grounded, in a certain strong sense, in the database, the view and the view-update request.

APA, Harvard, Vancouver, ISO, and other styles

20

Ezekiel, Kanana, Vassil Vassilev, Karim Ouazzane, and Yogesh Patel. "Adaptive business rules framework for workflow management." Business Process Management Journal 25, no. 5 (September 2, 2019): 948–71. http://dx.doi.org/10.1108/bpmj-08-2017-0219.

Full text

Abstract:

Purpose Changing scattered and dynamic business rules in business workflow systems has become a growing problem that hinders the use and configuration of workflow-based applications. There is a gap in the existing research studies which currently focus on solutions that are application specific, without accounting for the universal logical dependencies between the business rules and, as a result, do not support adaptation of the business rules in real time. The paper aims to discuss this issue. Design/methodology/approach To tackle the above problems, this paper adopts a bottom-up approach, which puts forward a component model of the business process workflows and then adds business rules which have clear logical semantics. This allows incremental development of the workflows and semantic indexing of the rules which govern them during the initial acquisition. Findings The paper introduces an event-driven model for development of business workflows which is purely logic-based and can be easily implemented using an object-oriented technology, together with a model of the business rules dependencies which supports incremental semantic indexing. It also proposes a two-level inference mechanism as a vehicle for controlling the business process execution and the process of adaptation of the business rules at real time based on propagating the dependencies. Research limitations/implications The framework is strictly logical and completely domain-independent. It allows to account both synchronous and asynchronous triggering events as well as both qualitative and quantitative description of the conditions of the rules. Although our primary interest is to apply the framework to the business processes typical in the construction industry we believe our approach has much wider potential due to its strictly logical formalization and domain independence. In fact it can be used to control any business processes where the execution is governed by rules. Practical implications The framework could be applied to both large business process modelling tasks and small but very dynamic business processes like the typical digital business processes found in online banking or e-Commerce. For example, it can be used for adjusting security policies by adding the capability to adapt automatically the access rights to account for additional resources and new channels of operation which can be very interesting ion both B2C and B2B applications. Social implications The potential scope of the impact of the research reported here is linked to the wide applicability of rule-based systems in business. Our approach makes it possible not only to control the execution of the processes, but also to identify problems in the control policies themselves from the point of view of their logical properties – consistency, redundancies and potential gaps in the logics. In addition to this, our approach not only increases the efficiency, but also provides flexibility for adaptation of the policies in real time and increases the security of the overall control which improves the overall quality of the automation. Originality/value The major achievement reported in this paper is the construction of a universal, strictly logic-based event-driven framework for business process modelling and control, which allows purely logical analysis and adaptation of the business rules governing the business workflows through accounting their dependencies. An added value is the support for object-oriented implementation and the incremental indexing which has been possible thanks to the bottom-up approach adopted in the construction of the framework.

APA, Harvard, Vancouver, ISO, and other styles

21

Buttigieg, Sandra C., Dorothy Gauci, and Prasanta Dey. "Continuous quality improvement in a Maltese hospital using logical framework analysis." Journal of Health Organization and Management 30, no. 7 (October 10, 2016): 1026–46. http://dx.doi.org/10.1108/jhom-11-2015-0185.

Full text

Abstract:

Purpose The purpose of this paper is to present the application of logical framework analysis (LFA) for implementing continuous quality improvement (CQI) across multiple settings in a tertiary care hospital. Design/methodology/approach This study adopts a multiple case study approach. LFA is implemented within three diverse settings, namely, intensive care unit, surgical ward, and acute in-patient psychiatric ward. First, problem trees are developed in order to determine the root causes of quality issues, specific to the three settings. Second, objective trees are formed suggesting solutions to the quality issues. Third, project plan template using logical framework (LOGFRAME) is created for each setting. Findings This study shows substantial improvement in quality across the three settings. LFA proved to be effective to analyse quality issues and suggest improvement measures objectively. Research limitations/implications This paper applies LFA in specific, albeit, diverse settings in one hospital. For validation purposes, it would be ideal to analyse in other settings within the same hospital, as well as in several hospitals. It also adopts a bottom-up approach when this can be triangulated with other sources of data. Practical implications LFA enables top management to obtain an integrated view of performance. It also provides a basis for further quantitative research on quality management through the identification of key performance indicators and facilitates the development of a business case for improvement. Originality/value LFA is a novel approach for the implementation of CQI programs. Although LFA has been used extensively for project development to source funds from development banks, its application in quality improvement within healthcare projects is scant.

APA, Harvard, Vancouver, ISO, and other styles

22

Russo, Francesco, Giuseppe Iiritano, Domenica Pellicanò, Giovanna Petrungaro, and Clara Zito. "Logical Framework Approach to Calabria Sustainable Development: The Intervention Program on School Buildings." International Journal of Safety and Security Engineering 10, no. 2 (April 30, 2020): 235–41. http://dx.doi.org/10.18280/ijsse.100210.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Aune, Jens B. "Logical Framework Approach and PRA - mutually exclusive or complementary tools for project planning?" Development in Practice 10, no. 5 (November 2000): 687–90. http://dx.doi.org/10.1080/09614520020008850.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Abdoli, Shiva, and Sami Kara. "A Modelling Framework to Design Executable Logical Architecture of Engineering Systems." Modern Applied Science 11, no. 9 (August 24, 2017): 75. http://dx.doi.org/10.5539/mas.v11n9p75.

Full text

Abstract:

Modern production, logistic and assembly systems comprise of a considerable number of processes which operate by using diverse types of resources. Conceptual design of these systems has become more complicated because of the large scale and multi-disciplinary essence of their design knowledge. This paper proposes a modelling framework to support the conceptual design of such systems. The framework employs the principles of system engineering to fulfil the necessity of having a multi-disciplinary approach for the design of such systems. The framework realizes the essence of holistic design by modelling the structural and behavioral aspects of a system in one design artefact. Object Oriented (OO) method is employed to facilitate the complexity of holistic analysis and yielding proper logics for system architecting. This paper proposes incorporating the OO analyzing semantics into Finite State Machine formalism. Therefore, the logical architecture will be established in an FSM platform. In return, the resultant artefact can stand as an executable Meta-Architecture such that design alternatives are its instances. Moreover, the Meta-Architecture enables simulation of the alternatives which serve their early validation. Accordingly, this approach opens avenues regarding incorporation of the Meta- Architecture with computational and analyzing methods which can significantly support the decision making in the conceptual design stage.

APA, Harvard, Vancouver, ISO, and other styles

25

Odrowąż-Sypniewska, Joanna. "Functional logical semiotics of natural language." Semiotica 2021, no. 240 (March 23, 2021): 5–22. http://dx.doi.org/10.1515/sem-2020-0006.

Full text

Abstract:

Abstract In the first part of my paper I briefly present Jerzy Pelc’s functional approach to logical semiotics of natural language. This approach focuses on the use of natural language expressions and on its dependence on context and conversational situation. One of the important goals of this analysis is to appreciate the role of sentences in natural language and stress that it is by means of sentences that language fulfills its main roles. However, for Pelc almost any expression can be used as a sentence, despite not being a grammatical sentence. In the second part I try to place Pelc’s standpoint within the framework of contemporary semantic minimalism – contextualism debate. I pay special attention to his treatment of subsentential expressions used to express propositions and argue that his view belongs to pragmatics-oriented approaches to subsentential speech acts.

APA, Harvard, Vancouver, ISO, and other styles

26

Setiawan, Foni, Eko Budiardjo, and Wahyu Wibowo. "ByNowLife: A Novel Framework for OWL and Bayesian Network Integration." Information 10, no. 3 (March 5, 2019): 95. http://dx.doi.org/10.3390/info10030095.

Full text

Abstract:

An ontology-based system can currently logically reason through the Web Ontology Language Description Logic (OWL DL). To perform probabilistic reasoning, the system must use a separate knowledge base, separate processing, or third-party applications. Previous studies mainly focus on how to represent probabilistic information in ontologies and perform reasoning through them. These approaches are not suitable for systems that already have running ontologies and Bayesian network (BN) knowledge bases because users must rewrite the probabilistic information contained in a BN into an ontology. We present a framework called ByNowLife, which is a novel approach for integrating BN with OWL by providing an interface for retrieving probabilistic information through SPARQL queries. ByNowLife catalyzes the integration process by transforming logical information contained in an ontology into a BN and probabilistic information contained in a BN into an ontology. This produces a system with a complete knowledge base. Using ByNowLife, a system that already has separate ontologies and BN knowledge bases can integrate them into a single knowledge base and perform both logical and probabilistic reasoning through it. The integration not only facilitates the unity of reasoning but also has several other advantages, such as ontology enrichment and BN structural adjustment through structural and parameter learning.

APA, Harvard, Vancouver, ISO, and other styles

27

Radunović, Miljan, and Goran Avlijaš. "Achieving continuous project value in small hydropower plant projects by implementing Logical Framework Approach." Industrija 48, no. 1 (2020): 61–79. http://dx.doi.org/10.5937/industrija48-23770.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Coleman, Gilroy. "Logical framework approach to the monitoring and evaluation of agricultural and rural development projects." Project Appraisal 2, no. 4 (December 1987): 251–59. http://dx.doi.org/10.1080/02688867.1987.9726638.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Xie, Zhenming. "Logical framework of quality of care in family planning in China: client-centered approach." China Population and Development Studies 2, no. 2 (June 2018): 224–44. http://dx.doi.org/10.1007/s42379-018-0009-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Huchette, Joey, and Juan Pablo Vielma. "A Combinatorial Approach for Small and Strong Formulations of Disjunctive Constraints." Mathematics of Operations Research 44, no. 3 (August 2019): 793–820. http://dx.doi.org/10.1287/moor.2018.0946.

Full text

Abstract:

A framework is presented for constructing strong mixed-integer programming formulations for logical disjunctive constraints. This approach is a generalization of the logarithmically sized formulations of Vielma and Nemhauser for special ordered sets of type 2 (SOS2) constraints, and a complete characterization of its expressive power is offered. The framework is applied to a variety of disjunctive constraints, producing novel small and strong formulations for outer approximations of multilinear terms, generalizations of special ordered sets, piecewise linear functions over a variety of domains, and obstacle avoidance constraints.

APA, Harvard, Vancouver, ISO, and other styles

31

Richardson, T. S., and M. H. Lowenberg. "A continuation design framework for nonlinear flight control problems." Aeronautical Journal 110, no. 1104 (February 2006): 85–96. http://dx.doi.org/10.1017/s0001924000001032.

Full text

Abstract:

Abstract A methodology referred to as the continuation design framework is developed for application to nonlinear flight control problems. This forms the basis of a systematic approach to control system design for aircraft operating in highly nonlinear regions of the flight envelope. The essence of the continuation design framework is to combine bifurcation analysis with modern control methods such as eigenstructure assignment. Theoretical and practical issues of the approach are discussed with particular reference to the problems posed by agile fighter aircraft. The proposed methodology is applied to a fifth order hypothetical aircraft model and is shown to provide a visible, flexible and logical approach to nonlinear aircraft control law design.

APA, Harvard, Vancouver, ISO, and other styles

32

Botha, Neels, Jeff Coutts, James A. Turner, Toni White, and Tracy Williams. "Evaluating for learning and accountability in system innovation: Incorporating reflexivity in a logical framework." Outlook on Agriculture 46, no. 2 (June 2017): 154–60. http://dx.doi.org/10.1177/0030727017707406.

Full text

Abstract:

Approaches to accelerate innovation have become more integrated and systemic over time, such as Agricultural Innovation Systems and co-innovation. Primary Innovation is a New Zealand co-innovation programme in which innovation is conceived as being ‘co-produced’ by stakeholders who contribute their unique knowledge to solving a problem or realizing an opportunity. In co-innovation, cyclical processes of planning, doing, observing and reflecting enable innovation to emerge from interactive learning among stakeholders. In this article, we argue that when flexibly applied and adapted to capture dynamics typical in systems innovation projects, the log frame approach and logical frameworks have considerable utility to support evaluation for both learning and accountability and for identifying and addressing institutional logics, which lead to system innovation. We demonstrate this for the case of Primary Innovation and compare our experiences with the limitations and solutions suggested by other recent researchers when applying logic models, logical frameworks, programme theories or theories of change as part of an ‘adapted accountability framework’.

APA, Harvard, Vancouver, ISO, and other styles

33

Sawadogo, Jean-Baptiste, and Kathryn Dunlop. "Managing for Results with a Dynamic Logical Framework Approach: from Project Design to Impact Measurement." Canadian Journal of Development Studies/Revue canadienne d'études du développement 18, sup1 (January 1997): 597–612. http://dx.doi.org/10.1080/02255189.1997.9669720.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

GRÉGOIRE, ÉRIC, and DU ZHANG. "A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES." International Journal of Semantic Computing 05, no. 03 (September 2011): 323–34. http://dx.doi.org/10.1142/s1793351x11001262.

Full text

Abstract:

In this paper, a framework for fusing several Boolean knowledge bases together is presented. The focus is on detecting inconsistencies and overcoming them so that a consistent global knowledge base is obtained. The framework is based on two cornerstones: detecting inconsistencies using algorithmic techniques to compute minimally unsatisfiable sub-formulas, and adopting a logic-based weakening approach to restore consistency for the fused knowledge. The dynamics in the framework in terms of both model-theoretic and the fixpoint semantics is then investigated.

APA, Harvard, Vancouver, ISO, and other styles

35

Kolge, Neeraj E., Vivek J. Patni, and Sheetal Potnis. "Semi-permanent Substitution of Maxillary Anterior Teeth: TADs Supported Approach." Journal of Indian Orthodontic Society 53, no. 2 (April 2019): 148–50. http://dx.doi.org/10.1177/0301574219841176.

Full text

Abstract:

The present paper describes a technique for intermittent replacement of missing anterior edentulous spans which in simple, logical, less time consuming and cost-effective. The objective was to incorporate a rigid framework as a long edentulous span had to be replaced, along with miniscrews at two different angulations, thus restricting the effect of perioral and masticatory forces in an effective manner

APA, Harvard, Vancouver, ISO, and other styles

36

Dokhanchi, Atieh, and Eslam Nazemi. "BISC." International Journal of Enterprise Information Systems 11, no. 2 (April 2015): 90–106. http://dx.doi.org/10.4018/ijeis.2015040105.

Full text

Abstract:

Despite the importance and the strategic role of Business Intelligence (BI) in organizations and its key impact on successfully executing corporate strategies, in most cases, strategic planning and performance management projects are done independently from BI projects, therefore a holistic and an integrated framework has been proposed in this paper for aligning Business Intelligence initiatives with corporate strategies. This framework as an interdisciplinary work borrows the approach of the Enterprise Architecture frameworks and its structured logical thinking about the organization and was refined through gathering and analyzing expert's opinions. This paper also uses a case study in one bank with the aim of clarifying the application of the proposed framework.

APA, Harvard, Vancouver, ISO, and other styles

37

IM, DONG-HYUK, SANG-WON LEE, and HYOUNG-JOO KIM. "A VERSION MANAGEMENT FRAMEWORK FOR RDF TRIPLE STORES." International Journal of Software Engineering and Knowledge Engineering 22, no. 01 (February 2012): 85–106. http://dx.doi.org/10.1142/s0218194012500040.

Full text

Abstract:

RDF is widely used as an ontology language for representing the metadata in Semantic Web, knowledge management system and E-commerce. Since ontologies model the knowledge in a particular domain, they may change over time. Furthermore, ontologies are usually developed and controlled in a distributed and collaborative way. Thus, it is very important to be able to manage multiple versions for RDF data. Earlier studies on RDF versions have focused on providing the accesses to different versions (i.e. snapshots) and computing the differences between those two versions. However, the existing approaches suffer from the space overhead for large scale data, since all snapshots should be redundantly kept in a repository. Moreover, it is very time consuming to compute the delta between two specific versions, which is very common in RDF applications. In this paper, we propose a framework for RDF version management in relational databases. It stores the original version and the deltas between two consecutive versions, thereby reducing the space requirement considerably. The other benefit of our approach is appropriate for change queries. On the flip side, in order to answer a query on a specific logical version, version should be constructed on the fly by applying the deltas between the original version and the logical version. This can slow down query performance. In order to overcome this, we propose a compression technique for deltas, called Aggregated Delta, to create a logical version directly rather than executing the sequence of deltas. An experimental study with real life RDF data sets shows our framework maintains multiple versions efficiently.

APA, Harvard, Vancouver, ISO, and other styles

38

ZHU, ZHIXI, HUIZHI WANG, HE XU, and HONGTAO BAI. "AN ALTERNATIVE APPROACH TO INSTITUTIONAL ANALYSIS IN STRATEGIC ENVIRONMENTAL ASSESSMENT IN CHINA." Journal of Environmental Assessment Policy and Management 12, no. 02 (June 2010): 155–83. http://dx.doi.org/10.1142/s1464333210003589.

Full text

Abstract:

This paper advocates a modification of the impact-based approach to strategic environmental assessment (SEA) which seems unable to address institutional weaknesses in most conventional SEA cases in China. It identifies a possible alternative approach, i.e. an impact-centred SEA with institutional components, and presents an analytical framework for institutional analysis, including a four-phase methodology to address and improve institutional weaknesses. Subsequently, the analytical framework is applied to an SEA pilot for a provincial transport plan in China. The case study demonstrates (1) that the proposed approach is adequate even in relatively fixed SEA processes; and (2) that the components and the logical relationships among factors elaborated on in the analytical framework are reasonable. In addition, the components of the framework that need to be improved and the perspectives for future application are discussed.

APA, Harvard, Vancouver, ISO, and other styles

39

Brewer, Peter C. "An Approach to Organizing a Management Accounting Curriculum." Issues in Accounting Education 15, no. 2 (May 1, 2000): 211–35. http://dx.doi.org/10.2308/iace.2000.15.2.211.

Full text

Abstract:

In recent years, numerous tools such as activity-based costing, the balanced scorecard, and target costing have gained prominence within business organizations (Kaplan and Cooper 1998; Kaplan and Norton 1996; Ansari et al. 1997). Nonetheless, traditional management accounting practices such as standard costing and contribution margin analysis continue to be prevalent (Szendi and Elmore 1993). The traditional topics, when coupled with all the recent advancements, create a sizable body of knowledge that presents a challenge to management accounting educators, who bear the responsibility of organizing this subject matter into a coherent whole. In an effort to aid professors wrestling with this challenge, this article presents a new framework for organizing an entire management accounting curriculum. The article also includes one possible application of the framework that is being used at Miami University. The benefits of adopting the framework include: (1) less redundancy within the curriculum, (2) logical distinctions between the topics taught in each course, and (3) more opportunities for in-depth coverage of particular content areas.

APA, Harvard, Vancouver, ISO, and other styles

40

Musiyarira, Harmony K., Mallikarjun Pillalamarry, Ditend Tesh, and Namate Nikowa. "Formulating strategic interventions for the coloured gemstone industry in Namibia by utilising the logical framework approach." Extractive Industries and Society 6, no. 4 (November 2019): 1017–29. http://dx.doi.org/10.1016/j.exis.2019.05.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Atanasyan, Sergey L., and Ildar S. Safuanov. "TEACHING GEOMETRY IN A PEDAGOGICAL UNIVERSITY BASED ON THE GENETIC APPROACH." Science and School, no. 5, 2020 (2020): 58–66. http://dx.doi.org/10.31862/1819-463x-2020-5-58-66.

Full text

Abstract:

The article considers the genetic approach to teaching mathematics and its application to teaching geometry. It involves the genetic development of important mathematical concepts, including the analysis of the subject from the historical, logical and epistemological, psychological and socio-cultural points of view, and the identification of logical genealogies of concepts and theorems. The importance of this type of approach to the method of teaching a basic course of geometry in the mathematical departments of pedagogical universities is substantiated within the framework of the Concept of Mathematical Education in the Russian Federation. The article deals with the applications of the genetic approach to teaching one of the sections of the geometry course, namely „Elements of Lobachevsky’s Geometry”, more specifically to its part, which deals with the statements equivalent to the axiom of parallelism of elementary Euclidean geometry.

APA, Harvard, Vancouver, ISO, and other styles

42

Buttigieg, Sandra Catherine, Prasanta Kumar Dey, and Mary Rose Cassar. "Combined quality function deployment and logical framework analysis to improve quality of emergency care in Malta." International Journal of Health Care Quality Assurance 29, no. 2 (March 14, 2016): 123–40. http://dx.doi.org/10.1108/ijhcqa-04-2014-0040.

Full text

Abstract:

Purpose – The purpose of this paper is to develop an integrated patient-focused analytical framework to improve quality of care in accident and emergency (A & E) unit of a Maltese hospital. Design/methodology/approach – The study adopts a case study approach. First, a thorough literature review has been undertaken to study the various methods of healthcare quality management. Second, a healthcare quality management framework is developed using combined quality function deployment (QFD) and logical framework approach (LFA). Third, the proposed framework is applied to a Maltese hospital to demonstrate its effectiveness. The proposed framework has six steps, commencing with identifying patients’ requirements and concluding with implementing improvement projects. All the steps have been undertaken with the involvement of the concerned stakeholders in the A & E unit of the hospital. Findings – The major and related problems being faced by the hospital under study were overcrowding at A & E and shortage of beds, respectively. The combined framework ensures better A & E services and patient flow. QFD identifies and analyses the issues and challenges of A & E and LFA helps develop project plans for healthcare quality improvement. The important outcomes of implementing the proposed quality improvement programme are fewer hospital admissions, faster patient flow, expert triage and shorter waiting times at the A & E unit. Increased emergency consultant cover and faster first significant medical encounter were required to start addressing the problems effectively. Overall, the combined QFD and LFA method is effective to address quality of care in A & E unit. Practical/implications – The proposed framework can be easily integrated within any healthcare unit, as well as within entire healthcare systems, due to its flexible and user-friendly approach. It could be part of Six Sigma and other quality initiatives. Originality/value – Although QFD has been extensively deployed in healthcare setup to improve quality of care, very little has been researched on combining QFD and LFA in order to identify issues, prioritise them, derive improvement measures and implement improvement projects. Additionally, there is no research on QFD application in A & E. This paper bridges these gaps. Moreover, very little has been written on the Maltese health care system. Therefore, this study contributes demonstration of quality of emergency care in Malta.

APA, Harvard, Vancouver, ISO, and other styles

43

ADAMS, ROBIN, and ZHAOHUI LUO. "A pluralist approach to the formalisation of mathematics." Mathematical Structures in Computer Science 21, no. 4 (July 1, 2011): 913–42. http://dx.doi.org/10.1017/s0960129511000156.

Full text

Abstract:

We present a programme of research for pluralist formalisations, that is, formalisations that involve proving results in more than one foundation.A foundation consists of two parts: a logical part, which provides a notion of inference, and a non-logical part, which provides the entities to be reasoned about. An LTT is a formal system composed of two such separate parts. We show how LTTs may be used as the basis for a pluralist formalisation.We show how different foundations may be formalised as LTTs, and also describe a new method for proof reuse. If we know that a translation Φ exists between two logic-enriched type theories (LTTs) S and T, and we have formalised a proof of a theorem α in S, we may wish to make use of the fact that Φ(α) is a theorem of T. We show how this is sometimes possible by writing a proof script MΦ. For any proof script Mα that proves a theorem α in S, if we change Mα so it first imports MΦ, the resulting proof script will still parse, and will be a proof of Φ(α) in T.In this paper, we focus on the logical part of an LTT-framework and show how the above method of proof reuse is done for four cases of Φ: inclusion, the double negation translation, the A-translation and the Russell–Prawitz modality. This work has been carried out using the proof assistant Plastic.

APA, Harvard, Vancouver, ISO, and other styles

44

Neider, Daniel, P. Madhusudan, Shambwaditya Saha, Pranav Garg, and Daejun Park. "A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines." Journal of Automated Reasoning 64, no. 7 (July 13, 2020): 1523–52. http://dx.doi.org/10.1007/s10817-020-09570-z.

Full text

Abstract:

Abstract We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counterexample guided inductive synthesis principle and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs. This work is an extended version of a conference paper titled “Invariant Synthesis for Incomplete Verification Engines”.

APA, Harvard, Vancouver, ISO, and other styles

45

Gardner, Philippa. "Equivalences between logics and their representing type theories." Mathematical Structures in Computer Science 5, no. 3 (September 1995): 323–49. http://dx.doi.org/10.1017/s0960129500000785.

Full text

Abstract:

We propose a new framework for representing logics, called LF+, which is based on the Edinburgh Logical Framework. The new framework allows us to give, apparently for the first time, general definitions that capture how well a logic has been represented. These definitions are possible because we are able to distinguish in a generic way that part of the LF+ entailment corresponding to the underlying logic. This distinction does not seem to be possible with other frameworks. Using our definitions, we show that, for example, natural deduction first-order logic can be well-represented in LF+, whereas linear and relevant logics cannot. We also show that our syntactic definitions of representation have a simple formulation as indexed isomorphisms, which both confirms that our approach is a natural one and provides a link between type-theoretic and categorical approaches to frameworks.

APA, Harvard, Vancouver, ISO, and other styles

46

Palekha, Roman R., Valery P. Belyaev, Valery P. Kanishchev, Larisa L. Solovyova, and Neonila A. Turanina. "Legal Impact Theory in the Context of an Integrative Approach to Understanding Law." Cuestiones Políticas 37, no. 64 (May 14, 2020): 101–10. http://dx.doi.org/10.46398/cuestpol.3764.08.

Full text

Abstract:

The theory of legal impact from the perspective of an integrative approach to understanding law, is a progressive theoretical and methodological toolkit with a high potential of heuristically mastering of various legal phenomena. This theory understood within the framework of an integrative approach, allows us to consider its legal nature, content and essence as fully and thoroughly as possible, which creates favorable conditions for achieving the criteria of scientific research, such as: comprehensiveness, objectivity, and historicism. It is the integrative approach that makes it possible to fully realize such a fundamental principle of scientific research as unity in diversity, to study the nature of the legal impact comprehensively and deeply, as a complex socio-legal phenomenon, determined by various factors of public life. The methodological ground of the examination depends on the utilization of different general logical procedures and techniques for logical information, just as specific logical strategies – recorded legitimate, formal-lawful, relative lawful and interpretative. Results showed that law isn't reducible to the arrangement of lawful standards, it is a lot more extensive and progressively various, which is related with its source, bearer and vehicle - a man, with his intentionally solid willed nature and passionate mental motivations.

APA, Harvard, Vancouver, ISO, and other styles

47

Haar, Stefan, Salim Perchy, and Frank Valencia. "Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach." International Journal of Semantic Computing 11, no. 04 (December 2017): 451–72. http://dx.doi.org/10.1142/s1793351x17400189.

Full text

Abstract:

We study the applicability of declarative models to encode and describe structured information by means of semantics. Specifically, we introduce D-SPACES, an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We mainly give this information an epistemic or temporal interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++ library providing implementations of constraint systems, space functions and extrusion functions. The interfaces to access each implementation are minimal and thoroughly documented. D-SPACES also provides property-checking methods as well as an implementation of a specific type of constraint systems (a boolean algebra). This last implementation serves as an entry point for quick access and proof of concept when using these models. Finally, we show the applicability of this framework with two examples; a scenario in the form of a social network where users post their beliefs and utter their opinions, and a semantical interpretation of a logical language to express time behaviors and properties.

APA, Harvard, Vancouver, ISO, and other styles

48

Wang, Chun Mei, and Bao Feng Chen. "The Pathway Analysis on Benefit of Agricultural Science and Technology Projects (ASTP) Based on Logical Framework Approach." Advanced Materials Research 998-999 (July 2014): 1642–48. http://dx.doi.org/10.4028/www.scientific.net/amr.998-999.1642.

Full text

Abstract:

Research achievements of the ASTP Policy-Oriented cannot generate directly economic benefit, social benefit and ecological benefit. It would realize benefit of ASTP only if the outputs can be transformed practical productive forces. In this paper, the mechanism and pathway of achieving benefit of ASTP is analyzed deeply based on the logical framework model. Then the empirical studies shows that the inputs (research investment) have positive correlation with outputs (research achievement), extension and outcomes (changes in productivity). Although the inputs have a certain influence to agricultural economics, it mainly affects indirectly agricultural development by research achievements and extension. Therefore, the benefits of ASTP should not be evaluated according by inputs/outputs methods. We must analyze and assess the anticipated chain of cause/effect relationships of ASTP based on the program “theory-driven” approach. It can promote agricultural research and extension projects to integrated closely, at the same time the benefit of ASTP can be improved greatly.

APA, Harvard, Vancouver, ISO, and other styles

49

Akroyd, David. "The logical framework approach and the post-evaluation of health-sector projects by the African Development Bank." Project Appraisal 10, no. 4 (December 1995): 210–22. http://dx.doi.org/10.1080/02688867.1995.9727000.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

김난영 and 이혜승. "Performance Evaluation of “Korean” Education Program in Supporting Policies for Multi-cultural Families Using Logical Framework Approach." Korean Public Management Review 25, no. 2 (June 2011): 27–60. http://dx.doi.org/10.24210/kapm.2011.25.2.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Logical Framework Approach'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles