Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

logical framework

cadre logique

pouvoir exécutif et administration publique / gestion administrative - iate.europa.eu acta.es
Home » Logical Framework Approach (LFA) » Project design with the Logical Framework Approach » Formulate the logical framework

Accueil » L'Approche Cadre Logique (ACL) » La conception du projet par l'Approche Cadre Logique

général - CCMatrix (Wikipedia + CommonCrawl)
Home » Logical Framework Approach (LFA) » Project design with the Logical Framework Approach » Formulate the logical framework

Accueil » L'Approche Cadre Logique (ACL) » La conception du projet par l'Approche Cadre Logique » Formuler le cadre logique

général - CCMatrix (Wikipedia + CommonCrawl)
Home » Logical Framework Approach (LFA) » Project design with the Logical Framework Approach

Accueil » L'Approche Cadre Logique (ACL) » La conception du projet par l'Approche Cadre Logique

général - CCMatrix (Wikipedia + CommonCrawl)
Home » Logical Framework Approach (LFA) » Project design with the Logical Framework Approach

L'Approche Cadre Logique (ACL)La conception du projet par l'Approche Cadre Logique

général - CCMatrix (Wikipedia + CommonCrawl)
Go to the Logical Framework window (second tab) to design your logical framework

Accédez à la fenêtre Cadre logique (deuxième onglet) pour concevoir votre cadre logique

général - CCMatrix (Wikipedia + CommonCrawl)
▷
Kripke semantics for a logical frameworkWe present a semantics (using Kripke lambda models) for a logical framework (minimal implicational predicate logic with quantification over all higher types)....
▷
Formation au montage de projets de recherche développement à soumettre aux bailleurs de fonds. douala cameroun 26 avril - 30 avril 2010... Elle s'est composée d'une partie théorique sur la typologie des partenaires financiers et des projets, sur la formation à des outils spécifiques facilitant cette soumission (SWOT et cadre logique) et en des conseils dans la rédaction de la soumission....
général - core.ac.uk - PDF: citeseerx.ist.psu.edugénéral - core.ac.uk - PDF: agritrop.cirad.fr
Connecting a logical framework to afirst-order logic prover... We present one way of combining a logical framework and first-orderlogic....
Mission d'appui technique pour le montage du schèma d'orientation et 1ère étape du bilan des interventions du programme régional parc w/ecopas : niger - burkina faso, 31 mars-12 avril 2002... Cette mission visait à (1) Réaliser un bilan prospectif du programme Ecopas après un an de fonctionnement en proposant des améliorations éventuelles, (2) proposer un schéma d'orientation pour la suite du programme qui permettrait d'unifier et préciser les grandes orientations stratégiques du programme, de simplifier et intégrer les secteurs d'activités dans un cadre de référence unique plus fonctionnel que le cadre logique initial, de faire ou de proposer des choix justifiés pour certains secteurs d'interventions, de développer l'aspect pérennisation ou durabilité du programme qui ...
 PDF: citeseerx.ist.psu.edu PDF: agritrop.cirad.fr
What would a polarized logical framework be good for? request for logic (rfl) #2In my note "Mismatch II, " I noted that the Ordered Logical Framework could not encode the sequent calculus for ordered logic, and proposed one solution to the problem: a polarized logical framework....
La metodología investigación-acción participativa aplicada al proyecto: balance y resultados... Incorporer la méthodologie de la Recherche-Action participative (RAP) à un projet conçu depuis l'Approche du cadre logique (ACL) a permis l'innovation dans la gestion de cette initiative, du fait que cela apporte des mécanismes d'adaptation au contexte et aux besoins des collectifs et...
 PDF: citeseerx.ist.psu.edu
Connecting a logical framework to a first-order logic proverWe present one way of combining a logical framework and first-order logic....
Incertitude et concertation dans la gestion de la zone côtière... La première partie pose le cadre logique, en définissant dans un premier temps la zone côtière, ses enjeux et son contexte de gestion....
 PDF: citeseerx.ist.psu.edu PDF: agritrop.cirad.fr

Publications scientifiques

▷
Combining union, intersection and dependent types in an explicitely typed lambda-calculus
... We study this lambda-calculus enhanced with Intersection types, as described by Barendregt, Dekkers and Statman in the book "Lambda-calculus with Types"; Union types, as introduced by Plotkin, MacQueen and Sethi; and Dependent types, as described by Plotkin, Harper and Honsell when they introduced the Edinburgh Logical Framework LF....
... Les types dépendants ont été introduits pour formaliser la logique intuitionniste avec la correspondance de Curry-Howard....
général - core.ac.uk -
▷
Autour de sat : le calcul d'impliquants p-restreints, algorithmes et applications
... Finally, we show that qualitative decision theory in a logical framework can also be modeled with P-restricted implicants....
...Les travaux présentés concernent les deux problèmes fondamentaux de la logique propositionnelle : la satisfiabilité d'une formule logique (problème SAT) et la détermination de ses impliquants/impliqués premiers....
recherche et propriété intellectuelle / Europe - core.ac.uk -
▷
Modelling uncertainties in pillar stability analysis
... Through the practical example of the assessment of a single pillar stability in a very simple mining layout, this paper introduces a logical framework that can be used to incorporate the different kinds of uncertainties related to data, models as well as to specific expert's choices in the risk analysis process....
... Cette étude, à travers l'exemple du calcul de stabilité d'un pilier de mine extrait d'un environnement très simple, présente une démarche logique pouvant être utilisée pour incorporer les incertitudes, liées aux données aussi bien qu'aux modèles ou aux choix spécifiques des experts, dans les processus d'analyse ...
général - core.ac.uk - PDF: core.ac.uk
▷
Argument representation for dependable computer-based systems” informal logic
... The paper dis-cusses how a meta-logical framework, in-formed by aspects of both formal and infor-mal logic, offers a rich and unified means of representing dependability arguments and of thus addressing this...
... Nous decrivons comment un encadrement meta-logique base sur des aspects des logiques formelle et non formelle offre des moyens riches et unifies de representer cette fiabilite
recherche et propriété intellectuelle / activité agricole / Europe - core.ac.uk - PDF: ojs.uwindsor.ca

Synonymes et termes associés anglais

LFA

•

PLM

•

Programme Logic Model

•

framing

•

IPSE

•

framework

[...]

software backplane

•

I-CASE

•

framework integration

•

integrated project support environment

•

Framework

•

tubular support stays

•

workbench

•

tool framework

•

frame

•

integrated computer aided software engineering tools

•

logical

•

FRAMEWORK

•

Exemples anglais - français

logical framework approach

approche du cadre logique
gestion administrative - acta.es

the logical framework

le cadre logique
général - eur-lex.europa.eu

logical framework matrix

matrice de planification du projet
politique de coopération - iate.europa.eu
matrice du cadre logique
politique de coopération - iate.europa.eu

Traductions en contexte anglais - français

Strategically planning the logical framework method

Planification Stratégique par la méthode du cadre logique

général - CCMatrix (Wikipedia + CommonCrawl)
Strategically planning the logical framework method

Planifier stratégiquement la méthode du cadre logique

général - CCMatrix (Wikipedia + CommonCrawl)
Project design with the Logical Framework Approach ›

La conception du projet par l'Approche Cadre Logique ›

général - CCMatrix (Wikipedia + CommonCrawl)
· Recommend further improvement of the logical framework;

Effectuer des recommandations visant l’amélioration du cadre logique ;

général - CCMatrix (Wikipedia + CommonCrawl)
Logical Framework Analysis for Designing Development Projects

L’approche cadre logique dans l’identification de projets de développement

général - CCMatrix (Wikipedia + CommonCrawl)
Recommend further improvement of the logical framework;

Effectuer des recommandations visant l’amélioration du cadre logique ;

général - CCMatrix (Wikipedia + CommonCrawl)
Recommend further improvement of the logical framework;

Effectuer des recommandations visant l’amélioration du cadre logique ;

général - CCMatrix (Wikipedia + CommonCrawl)
· Recommend further improvement of the logical framework;

Effectuer des recommandations visant l’amélioration du cadre logique ;

général - CCMatrix (Wikipedia + CommonCrawl)
Logical framework provides summary of a project within a 4x4 matrix framework.

Le cadre logique présente un tas d'informations concernant votre projet dans une matrice de 4x4.

général - CCMatrix (Wikipedia + CommonCrawl)
Facilidev is specialised in project management using logical framework approaches, such as Results Based Management, Project Cycle Management and Logical Framework Analysis.

Facilidev est spécialisé dans la gestion de projet en utilisant les approches de cadre logique, telles que la gestion axée sur les résultats, la gestion du cycle de projet et l'analyse du cadre logique.

général - CCMatrix (Wikipedia + CommonCrawl)
‹ The objectives tree up Formulate the logical framework ›

‹ L'arbre aux objectifs up Formuler le cadre logique ›

général - CCMatrix (Wikipedia + CommonCrawl)
Project Cycle Management: Integrated Approach and Logical Framework.

Gestion du Cycle de Projet : approche intégrée et cadre logique.

général - CCMatrix (Wikipedia + CommonCrawl)
Facilidev is specialised in project management using logical framework approaches, such as Results Based Management, Project Cycle Management and Logical Framework Analysis.

Facilidev s'est spécialisé dans la gestion de projet par les approches du cadre logique, telles que la gestion axée aux résultats, la gestion du cycle de projet et l'approche cadre logique.

général - CCMatrix (Wikipedia + CommonCrawl)
Developed an implementation plan, using logical framework approach;

Elaborer un cadre de mise en œuvre accompagné d’un cadre logique ;

général - CCMatrix (Wikipedia + CommonCrawl)
Project Cycle Management: Integrated Approach and Logical Framework.

Cycle de Projet : approche intégrée et cadre logique.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод