To see the other types of publications on this topic, follow the link: Formalisation de la connaissance.
Journal articles on the topic 'Formalisation de la connaissance'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Formalisation de la connaissance.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
1
Gagnon, Richard. "Une perspective fonctionnelle pour la formation professionnelle technique assistée par ordinateur." Articles 25, no. 2 (October 17, 2007): 211–42. http://dx.doi.org/10.7202/031999ar.
Full textAbstract:
Résumé Dans cet article, les environnements de formation assistés par ordinateur sont considérés comme une réponse partielle à la problématique contemporaine de la formation professionnelle technique. Dans cette perspective, le développement par l'élève technicien d'une connaissance fonctionnelle y est préconisé et sa signification définie. La nature de l'expertise y est étudiée en distinguant le sujet sur lequel elle porte, ses degrés de formalisation et de généralité, de même que ses origines diversifiées. Pour former les élèves, on y propose une organisation des connaissances du domaine en réseaux conceptuels technoscientifiques. On y justifie la nécessité d'incorporer à l'environnement de formation des stratégies de « gestion de l'ignorance » en raison d'une connaissance fragmentaire des savoirs véritables des élèves. À cette fin, on examine le contrôle des connaissances mobilisées dans l'acte d'apprendre et le contrôle des processus d'apprentissage.
2
Guerra, Anne-Sophie, Maurice Pillet, and Jean-Luc Maire. "Formalisation de connaissances subjectives par l’analyse sensorielle." Revue Française de Gestion Industrielle 25, no. 4 (December 1, 2006): 9–20. http://dx.doi.org/10.53102/2006.25.04.566.
Full text
3
Jaouen, Annabelle. "Les stratégies d’alliances des TPE artisanales." Revue internationale P.M.E. 19, no. 3-4 (February 16, 2012): 111–36. http://dx.doi.org/10.7202/1008503ar.
Full textAbstract:
Si les alliances stratégiques ont fait l’objet de nombreuses recherches en management stratégique, la connaissance de ce phénomène en contexte de très petite entreprise (TPE) artisanale est relativement vierge. L’objet de cet article est de montrer que l’alliance revêt des dimensions spécifiques dès lors qu’elle met en relation des toutes petites organisations. À partir de l’étude de 14 entreprises artisanales exerçant dans de multiples secteurs d’activité et d’une analyse de discours thématique, l’auteure relève deux configurations d’alliances en fonction de l’objectif du partenariat (alliance « métier » versus « produit ») et met en évidence certaines particularités : l’absence de formalisation, le refus du contrat et la prépondérance de la logique d’entraide des partenaires. Ainsi, après avoir explicité les motivations qui peuvent conduire les TPE artisanales à s’allier, il s’agit de présenter les configurations d’alliances et d’en analyser les modes de coordination. Finalement, l’auteur s’interroge sur l’apport que peut représenter le recours à l’alliance stratégique pour le développement des toutes petites structures artisanales.
4
Denis, Christophe. "Le périple de l’éthique de l’Intelligence Artificielle dans la révolution en cours des systèmes de soins." Droit, Santé et Société N° 3, no. 3 (July 21, 2021): 17–21. https://doi.org/10.3917/dsso.083.0017.
Full textAbstract:
L’Intelligence Artificielle semble être une clé de voute technologique pour mettre en place de nouveaux paradigmes en médecine, rendus nécessaires pour assurer au plus grand nombre un accès à un système de soin de qualité. Depuis 2010, le renouveau de l’Intelligence Artificielle est porté par les fortes capacités prédictives de l’apprentissage machine profond. Cela nécessite de considérer plusieurs problèmes éthiques : d’une part lié à l’utilisation de réseaux de neurones (effet boite noire par exemple), ou d’autre part hérité de la formalisation de la médecine en utilisant notamment la méthodologie statistique. Un travail de recherche interdisciplinaire en cours réunissant des informaticiens et des philosophes a pour objectif de fournir des explications éthiques des prédictions de réseaux de neurones. Malgré ces travaux, la crise sanitaire actuelle montre que les méthodes d’apprentissage profond bien qu’utiles ne sont pas la panacée pour comprendre un virus inconnu lorsqu’il n’existe pas de base de données historiques le concernant. Notre piste de recherche est d’utiliser l’apprentissage machine comme un médiateur entre la connaissance médicale actuelle et les observations provenant du monde sensible pour aider à la compréhension de nouveaux phénomènes.
5
Thibault, Alexandre, Ali Siadat, Patrick Marchand, and Patrick Martin. "Démarche outillée de conception intégrée utilisant une formalisation des connaissances métier." Revue Française de Gestion Industrielle 25, no. 4 (December 1, 2006): 77–91. http://dx.doi.org/10.53102/2006.25.04.570.
Full text
6
Le Gall, Laurent. "Un folklorisme de paradoxes : l’abbé François Duine." Port Acadie, no. 24-25-26 (October 31, 2013): 154–80. http://dx.doi.org/10.7202/1019131ar.
Full textAbstract:
L’itinéraire intellectuel de François Duine (1870-1924) ne dépare pas lorsqu’on le compare à ceux de ses contemporains qui, en embrassant la soutane, embrassèrent, en cette fin du dix-neuvième siècle marqué par l’affrontement des deux France, une dilection particulière pour le folklore. Science en cours de formalisation, le folklore fut, en effet, au tournant du siècle, un rameau de cette libido sciendi qui rassembla, dans une même quête d’exhumation et d’objectivation des cultures populaires, des intellectuels à l’ancrage essentiellement local. Dans le cadre d’une division du travail entre des savants de réputation nationale et des correspondants venant alimenter et leurs revues et leurs travaux, nombreux furent les prêtres qui, de par leur formation et leur connaissance endogène de la société dans laquelle ils évoluaient, constituèrent le vivier de ces folkloristes de second rang. Duine en fut une incarnation d’autant plus idéale-typique qu’il ne fut pas que cela : son folklorisme ne représenta en effet qu’un rameau d’une érudition gagée sur une volonté de comprendre le peuple dans son histoire, une histoire conçue à travers des traditions dont l’existence même attestait sa continuité et sa possible perpétuation.
7
HOCH, T., P. PRADEL, and J. AGABRIEL. "Modélisation de la croissance de bovins : évolution des modèles et applications." INRAE Productions Animales 17, no. 4 (October 5, 2004): 303–14. http://dx.doi.org/10.20870/productions-animales.2004.17.4.3605.
Full textAbstract:
Les modèles mathématiques tiennent de nos jours une place importante dans les recherches en biologie. En productions animales, notamment dans le domaine de la croissance des bovins, de nombreux modèles ont été élaborés. Leur degré de complexité et leur niveau d’intégration des connaissances des mécanismes varient notamment en fonction des objectifs qui leur sont assignés. La prise en compte de processus biologiques à des échelles fines, d’où un niveau d’agrégation faible du modèle, peut constituer une source d’incertitude sur la valeur des paramètres employés, et donc nuire au caractère opérationnel d’un modèle.
Cet article classe et décrit dans un premier temps les différents types de modèles de croissance de bovins. Puis un modèle dynamique et mécaniste, que nous avons développé, fait l’objet d’une description détaillée. Ce modèle se veut suffisamment simple pour pouvoir être utilisé pour la prévision de la croissance des animaux en fonction de l’alimentation, tout en intégrant une formalisation mathématique des processus biologiques. Les résultats issus de ce modèle ont été confrontés avec des données expérimentales concernant des génisses Salers. Cette comparaison montre une assez bonne adéquation entre données simulées et expérimentales. Toutefois, pour certaines variables, telles que les lipides et les dépôts adipeux, des améliorations, notamment de la formalisation de nos connaissances, apparaissent nécessaires. L’intégration de tels modèles dans des outils de recommandations alimentaires est également discutée.
8
Chia, Eduardo. "Principes, méthodes de la recherche en partenariat : une proposition pour la traction animale." Revue d’élevage et de médecine vétérinaire des pays tropicaux 57, no. 3-4 (March 1, 2004): 233. http://dx.doi.org/10.19182/remvt.9895.
Full textAbstract:
La rencontre des chercheurs qui s’interrogent sur l’efficacité de leurs interventions pour accompagner les acteurs dans les processus de changement constitue une occasion pour s’interroger sur les méthodes de recherche à développer lors de travaux réalisés avec les acteurs : recherche participative, « recherche-action », recherche intervention... L’auteur propose de présenter la démarche de recherche-action comme nouvelle. Si les trois phases de la recherche-action sont importantes, la phase de négociation est capitale car elle permet la formalisation du contrat entre les partenaires (cadre éthique), la fabrication d’un langage commun, et la formalisation d’une problématique structurante entre chercheurs de disciplines différentes et acteurs. Dans la démarche de recherche-action, des dispositifs de gouvernance (comité scientifique…) jouent un rôle très important : ils sont à la fois garants de la résolution des problèmes et de la production, et de la légitimation des connaissances scientifiques produites. En conclusion sont proposées des pistes pour construire des recherches-action dans le domaine de la traction animale, afin d’imaginer de nouvelles innovations sociotechniques et organisationnelles pour faciliter l’utilisation de cette technique.
9
Laddada, Wissame, and Eric Saux. "Analyse des empreintes guidée par un modèle de connaissances pour la compréhension des dynamiques de navigation maritime côtière." Revue Internationale de Géomatique 31, no. 1-2 (January 2022): 111–33. http://dx.doi.org/10.3166/rig31.111-133.
Full textAbstract:
Les empreintes spatiales, historiques ou acquises en temps réel, aident a la compréhension des dynamiques de leurs porteurs. Dans un contexte de navigation maritime côtière, la recherche présentée montre la démarche de mise en place d’un modèle de connaissances visant a une analyse sémantique des empreintes de navires. Ce modèle est défini a partir des connaissances recueillies auprès d’experts du domaine complétées par des descriptions textuelles et graphiques. Après avoir décrit les principes de navigation, nous présentons les étapes menant a un tel modèle de connaissances. La recherche est complétée par la formalisation de règles portant sur la visibilité des points de repère. Enfin, un raisonnement conduit a inférer des connaissances supplémentaires de navigation sur lesquelles sont confrontées les empreintes de navigation afin d’identifier les routes ayant une sémantique pour le modèle et celles dénuées de sémantique.
10
Karoui, Lotfi, and Nazik Fadil. "La participation du conseil d’administration au processus stratégique des pme : les effets de la professionnalisation." Management international 23, no. 1 (June 4, 2019): 28–42. http://dx.doi.org/10.7202/1060060ar.
Full textAbstract:
Dans cette recherche, nous examinons les effets de la professionnalisation du conseil d’administration (CA) dans les PME sur sa participation au processus de décision stratégique. À partir d’un échantillon de 186 PME françaises, nous montrons que la professionnalisation du CA, tant par la formalisation de son fonctionnement que par la présence de connaissances et de compétences, est un déterminant majeur de sa participation au processus stratégique. Ces résultats contribuent aux perspectives cognitives et comportementales de l’étude des organes de gouvernance au sein des PME.
11
El Mekaoui, Brahim, and Jean-Claude Régnier. "La part de l’héritage culturel dans l’apprentissage des mathématiques." Éducation Permanente N° 238, no. 1 (March 18, 2024): 89–98. http://dx.doi.org/10.3917/edpe.238.0089.
Full textAbstract:
Avant même la formalisation des mathématiques académiques, les êtres humains avaient des idées mathématiques pour résoudre les problèmes rencontrés au quotidien. La démarche ethnomathématique consiste à établir des ponts entre les connaissances académiques et celles issues du système culturel de sorte à penser les rapports entre éducation formelle et éducation informelle en termes de continuité, de rupture et de complémentarité. L’article expose les résultats d’une approche ethnomathématique pour aborder l’apprentissage de résolution de problèmes de mathématiques dont le contenu extra-mathématique est contextualisé : le partage de l’eau d’irrigation dans un village marocain.
12
Walter, Christian. "Une Histoire du Concept D'Efficience Sur Les Marchés Financiers." Annales. Histoire, Sciences Sociales 51, no. 4 (August 1996): 873–905. http://dx.doi.org/10.3406/ahess.1996.410892.
Full textAbstract:
A quoi sert le concept d'efficience des marchés ? De manière simple et schématique, ce concept exprime que le prix coté reflète fidèlement la réalité économique sous-jacente, et permet donc une bonne prise de décision (achat ou vente), en toute connaissance de cause. Le marché est alors « efficient », dans le sens où, en tant que mécanisme d'échange, l'information nécessaire à cet échange est correctement transmise par les prix. Comme ce concept d'efficience fait intervenir l'économie de l'information, on utilise également le terme « efficience informationnelle », et l'on parle alors d'efficience informationnelle des marchés de capitaux. C'est un concept qui se trouve au fondement de la théorie financière moderne, telle qu'elle s'est élaborée en une cinquantaine d'années. N'est-ce qu'une abstraction intellectuelle forgée a posteriori pour rendre compte de l'utilisation de plus en plus étendue d'un grand nombre de pratiques professionnelles et d'instruments financiers, ou bien ces savoirs empiriques, ces pratiques consensuelles, ont-ils eux-mêmes été engendrés par ce concept en amont de leur développement ? En fait, depuis que la théorie financière s'est élaborée, d'abord en interaction avec la croissance de l'industrie de la gestion de fonds aux États-Unis puis dans les pays anglo-saxons, ensuite avec celle, plus récente, des marchés dérivés dans le monde entier, il a toujours existé une interrelation entre savoir empirique et formalisation théorique.
13
Schmitt, A., and S. Déderix. "Qu’est-ce qu’une sépulture collective ? Vers un changement de paradigme." Bulletins et Mémoires de la Société d'Anthropologie de Paris 31, no. 3-4 (February 8, 2019): 103–12. http://dx.doi.org/10.3166/bmsap-2019-0051.
Full textAbstract:
Depuis sa formalisation à la fin des années 1980, la définition de la sépulture collective a été discutée à plusieurs reprises. Une des ambiguïtés est liée au fait que le terme collectif décrit un fonctionnement alors que sa signification littérale lui confère une forte connotation sociale. Dans la mesure où la définition a été créée il y a plusieurs décennies et que nos connaissances sur la diversité des pratiques funéraires se sont depuis accrues, sa révision devient inévitable. La réflexion sur les écueils de la définition actuelle invite à privilégier comme caractéristique première la chronologie successive des décès plutôt que celle des dépôts et à abandonner l’utilisation du terme collectif dans la phase analytique de l’approche archéothanatologique. Nous proposons ainsi que la sépulture collective soit caractérisée par sa fonction sociale, plutôt que par un mode de fonctionnement.
14
Géniaux, Isabelle, and Sylvie Mira Bonnardel. "La gestion des connaissances et des compétences dans les petites entreprises technologiques : une approche empirique." Revue internationale P.M.E. 14, no. 2 (February 16, 2012): 41–65. http://dx.doi.org/10.7202/1008691ar.
Full textAbstract:
L’approche «resource based» est à l’honneur dans la réflexion en management stratégique et devrait même devenir, pour de nombreux chercheurs, la colonne vertébrale des problématiques de recherche en management pour le prochain millénaire. Des travaux sur des pratiques d’entreprises en soulignent les portées opératoires. Cependant, nous devons constater que la plupart de ces études concernent de grandes entreprises. La question reste posée pour les PME pour lesquelles nous avons encore peu de visibilité en matière de management des connaissances et des compétences : ceci résulte-t-il d’une faible médiatisation ou de l’absence de formalisation des pratiques ? Cet article vise à apporter des éléments de réponse à cette question. À cet effet, nous avons observé plus attentivement les pratiques des PME en matière de management des ressources et des compétences et nous y avons retrouvé des modes opératoires et organisationnels particulièrement structurés et orientés vers un management global des connaissances et des compétences. Cette étude exploratoire confirme que la problématique de management des ressources et des compétences est bien présente dans les réflexions des dirigeants de ces PME qui ont su mettre en œuvre des outils et méthodes particulièrement sophistiqués.
15
Massuard, Marie, Julie Lane, Luiza Maria Manceau, Pascale Castonguay, and Renée Proulx. "Analyse d’une infrastructure québécoise de transfert de connaissances en autisme : le RNETSA." Santé Publique 36, no. 3 (June 21, 2024): 21–31. http://dx.doi.org/10.3917/spub.243.0021.
Full textAbstract:
Introduction : En dépit du déploiement de nombreuses infrastructures de transfert de connaissances, il existe peu de données empiriques sur leur fonctionnement. Le Réseau national d’expertise en trouble du spectre de l’autisme (RNETSA), initiative ministérielle, a pour mission de favoriser l’évolution des pratiques et des services en autisme dans les milieux de l’éducation, de la petite enfance, de la santé et des services sociaux. Objectif et méthode : Cet article vise à présenter les résultats de l’analyse de la structure de gouverne et de la stratégie de transfert de connaissances (TC) du RNETSA sous l’angle de sa légitimité. L’étude repose sur un devis d’étude de cas regroupant une analyse documentaire et des entrevues. Les cadres et concepts utilisés renvoient à la gouvernance collaborative et à la méta-gouvernance, de même qu’au TC. Résultats : Les résultats mettent en lumière les composantes clés 1) de la structure de gouverne (ex : identification d’un besoin commun, formalisation d’instances, attribution de ressources) et 2) de la stratégie de TC (ex : diffusion de connaissances, collaborations, participation croissante aux activités). La discussion aborde quelques éléments pouvant contribuer à renforcer la légitimité du réseau dans l’optique qu’il se rapproche de sa finalité. Conclusions : Le RNETSA démontre une grande capacité à assurer sa légitimité dans l’écosystème du TC dans le domaine de l’autisme. Le potentiel d’influence sur les politiques publiques en autisme est également un élément phare du RNETSA. Une évaluation des effets des activités de TC du RNETSA serait nécessaire pour améliorer les connaissances en lien avec sa légitimité.
16
Costa, Rute, and Ana Salgado. "Le projet lexicographique MORDigital : une nouvelle approche au service des dictionnaires numériques." Éla. Études de linguistique appliquée N° 211, no. 3 (January 29, 2024): 315–33. http://dx.doi.org/10.3917/ela.211.0061.
Full textAbstract:
Le projet MORDigital (PTDC/LLT-LIN/6841/2020) a pour objectif de mettre en ligne les versions numériques des trois premières éditions du Diccionario da Lingua Portugueza d’António de Morais Silva, publiées en 1789, 1813 et 1823. L’approche transdisciplinaire qui parcourt l’ensemble du projet combine la linguistique, les sciences de l’information, les ontologies et l’informatique dans une tentative d’implémenter des méthodes innovantes. Cet article met en avant les objectifs du projet, en insistant notamment sur le rôle des normes pour assurer l’interopérabilité des données produites, ainsi que sur la méthodologie mise en œuvre pour rendre le dictionnaire requêtable. Cette dernière repose sur une analyse linguistique épurée et englobe également les étapes requises pour la formalisation des connaissances présentes dans le texte et associées à celui-ci. MORDigital vise ainsi à promouvoir l’accessibilité au patrimoine culturel et à développer des contenus lexicographiques numériques en portugais en proposant une plateforme dédiée en accès libre. Enfin, une section présentera les domaines de recherche du projet, et les résultats.
17
Hassan, Alaa, Ali Siadat, Jean-Yves Dantan, and Patrick Martin. "Utilisation intégrée des méthodes AMDEC et KC comme outil de formalisation des connaissances pour la gestion de la qualité en conception et en industrialisation." Revue Française de Gestion Industrielle 26, no. 3 (June 1, 2014): 19–27. http://dx.doi.org/10.53102/2007.26.03.731.
Full text
18
PERROT, C. "Typologie d’exploitations construite par agrégation autour de pôles définis à dires d’experts. Proposition méthodologique et premiers résultats obtenus en Haute-Marne." INRAE Productions Animales 3, no. 1 (February 3, 1990): 51–66. http://dx.doi.org/10.20870/productions-animales.1990.3.1.4360.
Full textAbstract:
La typologie d’exploitations agricoles est, pour les organismes départementaux de développement agricole, un investissement qui tient une place centrale dans l’organisation du conseil individuel aux agriculteurs. La typologie constitue un modèle de la diversité des exploitations qui permet d’orienter la recherche de références technico-économiques en s’appuyant sur l’étude de la complexité du fonctionnement des systèmes de production, puis de bâtir un dispositif pertinent pour comparer les performances des exploitations au référentiel ainsi structuré, afin de faciliter la formulation d’un diagnostic et d’un conseil adapté. La méthode typologique présentée dans cet article a été mise au point et testée dans le département de la Haute-Marne. Elle est basée sur la mobilisation des connaissances des experts de terrain. Ces connaissances sont recueillies au cours d’entretiens semi-directifs individuels, puis formalisées en pôles d’agrégation qui résument, à l’aide de quelques indicateurs discriminants, les caractéristiques essentielles des différents groupes d’exploitations identifiés par les experts. Cette formalisation est réalisée de manière itérative et interactive avec ceux-ci jusqu’à l’établissement d’un consensus sur la définition des pôles d’agrégation. Une clé typologique, étalonnée avec les experts sur des fichiers-tests, calcule un coefficient de ressemblance entre une exploitation à classer et chacun des pôles. L’exploitation est ensuite rattachée au pôle auquel elle ressemble le plus. L’ensemble des exploitations agrégées autour d’un pôle constitue un type. La procédure de classement se déroule donc de façon maîtrisée, transparente et explicite aux yeux des utilisateurs grâce à l’évaluation quantitative, donc nuancée, de la ressemblance entre exploitations et pôles, sur la base de quelques indicateurs familiers pour les experts. Chaque pôle peut être défini à l’aide d’indicateurs spécifiques, indépendamment des autres pôles, ce qui confère à la typologie la capacité à évoluer avec les systèmes de production : on pourra en effet modifier la définition d’un pôle pour un type qui évolue, ou créer de nouveaux pôles. Cette dernière propriété est particulièrement importante lorsque l’on considère la typologie non pas comme une image instantanée de la diversité des exploitations, mais comme un outil méthodologique pérenne au service du conseil individuel aux agriculteurs.
19
Emorine, Martine. "Lexique contrôlé." Terminology 2, no. 2 (January 1, 1995): 293–323. http://dx.doi.org/10.1075/term.2.2.07emo.
Full textAbstract:
Nous explicitons dans cet article d'une part, un modèle conceptuel d'entrées verbales d'un lexique d'une langue contrôlée, et, d'autre part, l'implantation dans le formalisme de représentation des connaissances typed feature structures (désormais TFS) d'un modèle d'une base de données lexicales et la spécification d'entrées verbales d'une langue contrôlée, ici le Français Rationalisé (désormais FR). Une langue contrôlée est un sous-ensemble simplifié d'une langue naturelle comportant des règles syntaxiques et lexicales restrictives. Après une présentation générale des langues contrôlées, du contexte de leur utilisation et des principes généraux qui les régissent, nous traitons, dans une première partie, la modélisation des entrées lexicales des verbes du FR, à partir de la formalisation d'un lexique existant, le glossaire FR, pour permettre de contrôler sa cohérence et son adéquation expressive. Nous présentons les choix et les motivations qui ont déterminé la modélisation que nous avons effectuée, l'élément essentiel de notre conception d'une modélisation lexicale est la décision, que nous motivons dans cet article, de n 'incorporer que des informations discriminantes et/ou pertinentes pour permettre une discrimination entre les emplois verbaux autorisés dans FR. Dans la seconde partie, nous présentons l'implantation de la base de données lexicales dans le formalisme TFS, développé à l'Université de Stuttgart. Nous montrons les grands principes qui régissent ce formalisme: informations regroupées sous forme de structures de traits typées, hiérarchisation, circulation de l'information par héritage multiple. Puis nous définissons l'architecture de notre base de données lexicales, et nous illustrons l'implantation des entrées verbales. En conclusion, nous présentons les perspectives linguistiques et informatiques de notre travail, et les extensions qu'il serait souhaitable d'apporter à notre modélisation. L'implémentation que nous avons réalisée est à considérer comme une sorte d'expérimentation du formalisme TFS, et nous présentons une rapide synthèse de ses possibilités et de ses limites. Nous pensons par ailleurs avoir démontré que ce n'est qu'en formalisant les observations linguistiques qu'il est possible de "contrôler une langue contrôlée", c'est-à-dire de pouvoir être certain qu'il s'agit d'un modèle intrinsèquement cohérent et complet.
20
KASEKETE, Désiré Katembo, Nils BOURLAND, Michel GERKENS, Dominique LOUPPE, Jolien SCHURE, and Jean-Pierre MATE. "Bois-énergie et plantations à vocation énergétique en République démocratique du Congo : cas de la province du Nord-Kivu – Synthèse bibliographique." BOIS & FORETS DES TROPIQUES 357 (October 1, 2023): 5–28. http://dx.doi.org/10.19182/bft2023.357.a36927.
Full textAbstract:
L’énergie d’origine ligneuse est largement utilisée en République démocratique du Congo (RDC) où elle satisfait plus de 90 % des besoins énergétiques des ménages et de certains professionnels. Cette étude dresse l’état des lieux des connaissances sur la filière bois-énergie et les plantations dédiées en RDC, en particulier dans la province du Nord-Kivu, et cherche à relever les éventuelles lacunes dans l’information qui nécessiteraient d’être comblées. La revue des études a révélé un caractère fragmentaire de la recherche sur la filière. La consommation en bois-énergie n’est connue que pour quelques villes, avec des estimations questionnables pour certaines d’entre elles dont Butembo au Nord-Kivu. L’extraction du bois-énergie se fait dans toutes les zones boisées accessibles dont les forêts naturelles, les terres agricoles et les plantations forestières. Certaines pratiques sont illégales et ont lieu dans les aires protégées. Depuis les années 1980, environ 69 400 ha de plantations à vocation énergétique ont été réalisés en RDC par 15 projets. Ces plantations sont encore marginales, trop jeunes et incapables de satisfaire la demande actuelle ou future. Elles fourniraient, combinées avec les plantations initiées hors projets, environ 9, 30, 32 et 54 % du bois-énergie consommé respectivement à Kinshasa, Bukavu, Goma et Butembo. À part celles sur les plantations du plateau Batéké et du Nord-Kivu, il n’existe pas encore de publications scientifiques sur les autres plantations à vocation énergétique de la RDC. Pour gérer durablement la ressource et sécuriser les approvisionnements, des actions sont indispensables en ce qui concerne prioritairement : la diversification des sources d’approvisionnement en bois-énergie, à travers notamment de larges programmes de plantations forestières et agroforestières ainsi que l’aménagement des forêts naturelles ; l’amélioration des techniques d’exploitation du bois et de sa carbonisation ; la réduction de la consommation en bois-énergie grâce aux foyers de combustion améliorés et au recours à des énergies alternatives au bois. Cela exige aussi la formalisation et la structuration de la filière bois-énergie suivant des dispositions réglementaires spécifiques à édicter. Des recherches complémentaires sont nécessaires en vue d’améliorer l’exploitation, la transformation et d’optimiser l’utilisation du bois-énergie.
21
Wang, Juntao, Wenhua Li, Nozomu Mishima, and Tsuyoshi Adachi. "Formalisation of informal collectors under a dual-recycling channel: A game theoretic approach." Waste Management & Research 38, no. 5 (January 16, 2020): 576–87. http://dx.doi.org/10.1177/0734242x19897125.
Full textAbstract:
Formalisation of informal collectors is beneficial for economical, environmental and social sustainability. Through dividing collectors and recyclers, a benchmark model consists of competitive dual formal and informal channels is established to quantitatively analyse the possibility of formalising informal collectors and study the formalisation extent. This study comprehensively compares the effects of respective subsidy or punishment targeting at collectors or recyclers in the extended policy model. The subsidy delay used to represent the response speed of the subsidy system is first included. This study indicates the influences of different factors on formalisation activity, including bargaining power, reluctance of informal collectors and recycling cost of formal channels. The policy model concluded that the subsidy on informal collectors or formal recyclers (punishment on informal collectors or informal recyclers) presents no difference regarding the formalisation extent. Based on numerical data, we studied the formalisation extent for the context of China and visualised the effects of different policies. The decremental effect of subsidy and the incremental effect of punishment are concluded in a formalisation activity. This study fills the gap of a quantitative study on formalisation activity and the results will comprehend the promotion of the formalisation of informal collectors.
22
Zazkis, Dov, and Melissa Mills. "The roles of formalisation artefacts in students’ formalisation processes." Research in Mathematics Education 19, no. 3 (September 2, 2017): 257–75. http://dx.doi.org/10.1080/14794802.2017.1374877.
Full text
23
AMAVI, Robert Messanh. "Entre aspirations et injonctions dans le champ social et médico-social en France : enjeu social, éducatif, pédagogique et de professionnalisation après la loi 2002-02 du 02 janvier 2002." LAKISA, Revue des Sciences de l’Éducation 3, no. 6 (December 29, 2023): 10–23. https://doi.org/10.55595/lakisa.v3i6.111.
Full textAbstract:
Les enjeux fondamentaux des sciences de l’éducation in fine restent économiques et sociétaux. Le secteur et les acteurs du social et médico-social restent éloignés du monde des entreprises, pourtant ils rencontrent des problèmes analogues. L’insertion des jeunes et des chômeurs, les nouvelles formes de pauvreté, les besoins de solidarité, les crises économiques, sanitaires et sociales sont autant de problèmes de société qui convoquent des réponses professionnelles nouvelles, ingénieuses, disruptives mais solidaires et bienveillantes des associations et des professionnels. Le terrain d’investigation du travail doctoral -soutenu en 2022 à l’université de Rouen Normandie-, et dont est issu cet article, est une association Normande de protection de l’enfance. La thèse est une monographie française de la professionnalisation de cet établissement multi-sites - appelé « l’association » - dans le champ social. Notre problématique est de savoir pourquoi un ensemble composé d’une organisation particulière, aux injonctions contradictoires, d’individus d’horizons divers, aux formations et aux niveaux de formations variés, parvient-il à fonctionner et même à transcender les instants de tension ? Notre question de recherche est : quelles professionnalités sociales, éducatives, et pédagogiques font évoluer « l’association » -notre terrain de recherche- après la loi n° 2002-02 du 02 janvier 2002 ? Pour accomplir leurs missions nous postulons que les organisations du champ social instrumentent en premier lieu les particularités éducatives des outils de management interactionniste organisationnel (K.E. Weick, 1995). En second lieu, ces organisations instrumentent les difficultés que pose ou oppose le « paradigme stratégique » organisationnel face aux changements (G. Johnson, 1987). Enfin ces organisations instrumentent les cultures d’action (J-M. Barbier, 2010), les logiques de formation (T. Ardouin, 2013), et de professionnalisation (R. Wittorski, M. Sorel, 2005). Cet article expose donc les modalités d’intervention des institutions qui agissent dans le champ social en France. Il en développe leur histoire, leur encadrement juridique ainsi que les paradigmes de leurs modalités d’action sur le terrain. Les résultats confirment globalement l’ensemble de nos hypothèses. La professionnalisation se produit en premier lieu par visée de production de sens et par apprentissage informel des acteurs et de leurs pratiques. Ensuite, la professionnalisation se produit via le partage par les acteurs des valeurs, des croyances, des comportements et autres hypothèses implicites organisationnelles. Enfin, leur professionnalisation emprunte les voies de la pédagogie éducative et de la formation. « L’association » d’action sociale, comme paradigme, nous la définissons telle une cité de cohabitation de stratégies managériales, de normes référentielles, de logiques politiques et de logiques terrains et ou techniques (R. Amavi, 2022). La professionnalisation est l’enjeu ultime de ce continuum de processus d’actions, d’interactions, de compétences, de formalisation de connaissances et de savoirs.
24
Tuominen, Tiina, and Miia Martinsuo. "Employees’ agency in the formalisation of knowledge-intensive business service processes." Journal of Service Theory and Practice 29, no. 1 (May 10, 2019): 45–70. http://dx.doi.org/10.1108/jstp-10-2017-0184.
Full textAbstract:
Purpose The purpose of this paper is to identify and explain how different kinds of knowledge-intensive business service processes (KIBS processes) can be formalised without excessively limiting employees’ agency, and thus flexibility in value creation. Previous research acknowledges the need to balance flexibility and formalisation but does not investigate how employees achieve this balance in various types of KIBS processes. Design/methodology/approach This paper employs a qualitative multiple-case study approach to compare employees’ agency in six successful formalisation projects targeting different types of KIBS processes in three firms. Through a systematic mapping of employees’ agency across the cases, this study reveals alternative patterns of formalisation that enable agency. Findings The findings reveal notable differences in employees’ agency in the studied cases. When KIBS processes were scale intensive and/or the culture-favoured conformity, formalisation projects were centrally organised, and employees obeyed codified process templates, even though some agency remained. When KIBS processes were smaller scale and/or the culture-favoured freedom, employees conducted formalisation projects autonomously and retained higher levels of agency in formalised KIBS processes. Practical implications Firms and business units providing KIBS should choose their formalisation approaches locally based on the scalability of the KIBS process, their employees’ skill levels, knowledge bases and culture. Choosing the right approach enables flexibility while striving for efficient processes. Originality/value Previous studies suggest that formalisation benefits only some KIBS, but this comparative approach shows that a variety of KIBS processes benefit from formalisation if the formalisation approach is tailored to the context. Alternative patterns of formalisation are revealed to guide further empirical research on the topic.
25
Lööw, Andreas. "The Simulation Semantics of Synthesisable Verilog." Proceedings of the ACM on Programming Languages 9, OOPSLA1 (April 9, 2025): 1295–320. https://doi.org/10.1145/3720484.
Full textAbstract:
Despite numerous previous formalisation projects targeting Verilog, the semantics of Verilog defined by the Verilog standard -- Verilog's simulation semantics -- has thus far eluded definitive mathematical formalisation. Previous projects on formalising the semantics have made good progress but no previous project provides a formalisation that can be used to execute or formally reason about real-world hardware designs. In this paper, we show that the reason for this is that the Verilog standard is inconsistent both with Verilog practice and itself. We pinpoint a series of problems in the Verilog standard that we have identified in how the standard defines the semantics of the subset of Verilog used to describe hardware designs, that is, the synthesisable subset of Verilog. We show how the most complete Verilog formalisation to date inherits these problems and how, after we repair these problems in an executable implementation of the formalisation, the repaired implementation can be used to execute real-world hardware designs. The existing formalisation together with the repairs hence constitute the first formalisation of Verilog's simulation semantics compatible with real-world hardware designs. Additionally, to make the results of this paper accessible to a wider (nonmathematical) audience, we provide a visual formalisation of Verilog's simulation semantics.
26
Miniesy, Rania, and Hadia Fakhreldin. "Factors Impacting Intention of Formalisation of Egyptian MSMEs; What about Social Media?" European Conference on Social Media 10, no. 1 (May 5, 2023): 191–200. http://dx.doi.org/10.34190/ecsm.10.1.1049.
Full textAbstract:
Research on the impact of social media (SM) on the formalisation – switching from the informal to the formal sector – of micro, small, and medium enterprises (MSMEs) is scant if existent; Egypt is no exception. The need for MSMEs to increase productivity and growth are vital to Egypt’s own growth and development, and formalisation tops the list of prerequisites. This study aims to examine the impact of the factors perceived by informal entrepreneurs to motivate/hinder formalisation on those entrepreneurs’ intention to formalise their MSMEs. SM usage is a new factor whose impact on the intention of formalisation is also investigated. This is accomplished by adopting the conceptual framework of the Theory of Planned Behaviour (TPB). A logistic regression model was used on data collected through questionnaires from a sample of Egyptian female and youth male MSMEs owners, who comprise most informal entrepreneurs in Egypt. Results demonstrate that the factors affecting the intention of formalisation of female and youth male informal entrepreneurs are different. However, for both groups, higher educational levels and SM usage negatively affect their intention of formalisation. The one size fits all policies encouraging formalisation might not work given these differences.
27
Rouger, Jean-Robert. "Connaissance littéraire et connaissance philosophique." L’enseignement philosophique 70e Année, no. 1 (January 1, 2020): 21–41. http://dx.doi.org/10.3917/eph.701.0021.
Full text
28
Meth, Paula. "Representation and formalisation." Urban Forum 11, no. 1 (March 2000): 31–48. http://dx.doi.org/10.1007/bf03036830.
Full text
29
Vanpoulle, Yannick. "Connaissance de la connaissance et connaissance par corps en STAPS." Movement & Sport Sciences 94, no. 4 (2016): 27. http://dx.doi.org/10.3917/sm.094.0027.
Full text
30
Vanpoulle, Yannick. "Connaissance de la connaissance et connaissance par corps en STAPS." Movement & Sport Sciences - Science & Motricité, no. 94 (2016): 27–39. http://dx.doi.org/10.1051/sm/2016009.
Full text
31
Adams, A. A. "A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs." LMS Journal of Computation and Mathematics 3 (2000): 1–26. http://dx.doi.org/10.1112/s1461157000000188.
Full textAbstract:
AbstractDyckhoff and Pinto present a weakly normalising system of reductions on derivations are characterised as the fixed points of the composition of the Prawitz translations into natural deduction and back. This paper presents a formalisation of the system, including a proof of the Weak normalisation property for the formalisation. More details can be found in earlier work by the author. The formalisation has been kept as closes as possible to the original presentation to allow an evaluation of the state of proof assistance for such methods, and to ensure similarity of methods, and not merely similarly of results. The formalisation is restricted to the implicational fragment of intuitionistic logic.
32
Morali, Claude. "Connaissance de soi, connaissance de moi." Petite revue de philosophie 10, no. 1 (1988): 119. http://dx.doi.org/10.7202/1104006ar.
Full text
33
Thurin, Jean-Michel. "Analyse dʹun blocage et ouverture vers lʹavenir." Perspectives Psy 57, no. 1 (January 2018): 10–22. http://dx.doi.org/10.1051/ppsy/2018571010.
Full textAbstract:
Le 16 janvier 1992, à l’issue d’une année de travail de part et d’autre, les représentants de 21 associations et sociétés scientifiques signent les statuts de la Fédération Française de Psychiatrie (FFP) dans les locaux de l’Inserm. Les objectifs de la toute nouvelle Fédération sont que les recherches dans tous les domaines de la psychiatrie et de la santé mentale soient le point d’ancrage d’une ouverture et d’échanges tout azimut de la psychiatrie, aux niveaux professionnel et institutionnel sur les scènes nationales et internationales. Des actions d’envergure sont immédiatement engagées. Leur recensement et leur correspondance par rapport aux besoins recensés et aux objectifs traduisent la cohérence de l’ensemble. Le contraste qui s’établit entre les 15 premières années de fonctionnement de la FFP et les suivantes est considérable. Un début de réflexion à ce sujet a été mené par Comité de rédaction de ce numéro de Perspectives psychiatriques pour le comprendre. Le rôle des antinomies individuelles ou institutionnelles n’a pas été retenu comme facteur principal. Les antagonismes ont toujours existé en psychiatrie. Ils n’avaient pas réussi à interrompre le processus initial. Nous nous sommes alors orientés, à partir des publications et documents dont nous disposons, sur ce qui a pu se modifier dans les relations avec les grandes institutions qui ont apporté leur dynamisme, leur accompagnement et leur soutien à la Fédération, à savoir l’Inserm, l’Andem-Anaes-Has et la DGS. L’histoire de la Fédération Française de Psychiatrie s’est trouvée largement concernée par le développement de l’EBM et les questions particulières qui se sont trouvées posées par la spécificité de la psychiatrie dans le champ scientifique. La crise qui s’est produite à l’occasion des premières expertises collectives Inserm et le travail intense du comité d’interface qui a permis sa résolution au moins partielle apportent un éclairage important sur les conséquences que peuvent produire la différence dans la construction des savoirs qui existe entre l’abord biomédical général et l’abord individualisé de la psychiatrie et disciplines connexes. Le problème s’est retrouvé dans la génération des recommandations pour la pratique clinique alors que les conférences de consensus, qui ont toujours inclus la participation des familles, n’ont jamais posé aucun problème, bien au contraire. La méthodologie de la recherche et des recommandations pour la pratique qui en découlent doivent prendre en compte l’apport de la clinique en psychiatrie et santé mentale, et notamment la dimension multifactorielle individualisée qui sous-tend les dysfonctionnements et leurs manifestations symptomatiques et comportementales. Les cliniciens ont appris à travailler avec la complexité dynamique et à ajuster leur pratique à l’individualité de chaque cas. La formalisation de cette activité représente une base potentielle de connaissances considérables. Mise en relation avec d’autres niveaux d’approche, notamment physiologiques et biologiques dans différentes conditions comme celles du stress, elle peut conduire à une recherche pragmatique ouverte dont chacun bénéficiera.
34
Farooqui, Usmaan. "Politics of neutrality: Urban knowledge practices and everyday formalisation in Karachi’s waterscape." Urban Studies 57, no. 12 (October 9, 2019): 2423–39. http://dx.doi.org/10.1177/0042098019872703.
Full textAbstract:
Formalisation in cities is commonly associated with top-down processes like slum demolition, land titling and economic regulation. By contrast, this article explores processes of everyday formalisation by considering how locally grounded understandings of formality and informality are reproduced. It thus theorises everyday formalisation as a process distinct from state-led formalisation in terms of both the scale (local) and mechanisms (everyday) through which formal/informal dichotomisation occurs. To explore the effects of such everyday formalisation, this article draws on a case study of water access in a low-income settlement of Karachi, Pakistan. Turning attention to everyday practices of water access in the settlement, this article highlights how residents and water board officials understand and enact distinctions between formality and informality through daily knowledge practices and meanings of neutrality. By focusing on everyday formalisation, this article makes two wider contributions to urban theory. First, it demonstrates that urban informality gives rise to diverse lived experiences, not all of which may be characterised as examples of subaltern agency. Secondly, it demonstrates that urban learning and local knowledge generation can be conceptualised not only as tools for urban ‘navigation’, but as distinctive practices that reproduce urban space according to hegemonic categories like formal and informal.
35
SACERDOTI COEN, CLAUDIO, and ENRICO TASSI. "Formalising Overlap Algebras in Matita." Mathematical Structures in Computer Science 21, no. 4 (July 1, 2011): 763–93. http://dx.doi.org/10.1017/s0960129511000107.
Full textAbstract:
We describe some formal topological results, formalised in Matita 1/2, presented in predicative intuitionistic logic and in terms of Overlap Algebras.Overlap Algebras are new algebraic structures designed to ease reasoning about subsets in an algebraic way within intuitionistic logic. We find that they also ease the formalisation of formal topological results in an interactive theorem prover.Our main result is the existence of a functor between two categories of ‘generalised topological spaces’, one with points (Basic Pairs) and the other point-free (Basic Topologies). This formalisation is part of a wider scientific collaboration with the inventor of the theory, Giovanni Sambin. His goal is to verify in what sense his theory is ‘implementable’, and to discover what problems may arise in the process. We check that all intermediate constructions respect the stringent size requirements imposed by predicative logic. The formalisation is quite unusual, since it has to make explicit size information that is often hidden.We found that the version of Matita used for the formalisation was largely inappropriate. The formalisation drove several major improvements of Matita that will be integrated in the next major release (Matita 1.0). We show some motivating examples, taken directly from the formalisation, for these improvements. We also describe a possibly sub-optimal solution in Matita 1/2, which is exploitable in other similar systems. We briefly discuss a better solution available in Matita 1.0.
36
Askofaré, S., J. L. Gaspard, P. Macary-Garipuy, and M. J. Sauret. "Une physique du sens? Le problème de la formalization en psychanalyse." Revista Latinoamericana de Psicopatologia Fundamental 11, no. 4 (December 2008): 573–87. http://dx.doi.org/10.1590/s1415-47142008000400005.
Full textAbstract:
L'enseignement de Lacan reposait au départ sur un axiome - "l'inconscient est structuré comme un langage" - et un programme: la formalisation de la psychanalyse. Cette entreprise le conduit dans un premier temps à une formalisation des lois du langage. En un second temps, Lacan définira la psychanalyse comme une praxis, un lien social fondé sur le langage, un discours. Même envisagée sous cet angle, sa formalisation reste nécessaire parce que solidaire de la "doctrine du mathème", dans une visée de transmission intégrale.
37
Takeuti, Izumi. "Formalisation of Bayesian concealment." Japan Journal of Industrial and Applied Mathematics 38, no. 2 (February 11, 2021): 677–92. http://dx.doi.org/10.1007/s13160-021-00458-y.
Full textAbstract:
AbstractIn order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealment in probability theory. One of them is Bayesian concealment. This study proposes a formal logical system to prove the Bayesian concealment of a secret sharing scheme.
38
Raychenko, A. V. "Organisation management tasks formalisation." Vestnik Universiteta, no. 6 (July 27, 2022): 48–55. http://dx.doi.org/10.26425/1816-4277-2022-6-48-55.
Full textAbstract:
The publication presents the materials and results of the research and construction of the methodology and the methodology for formalising the tasks, procedures, functions of managing a socio-economic organisation as its main goal. Its formulation and achievement are ensured by the definition and resolution of the range of tasks for formalising the management of the formation, functioning and development of an organisation, the methods and results of solving which are considered in relation to digitalisation procedures. Their selection, description, adaptation to the requirements, conditions and possibilities of formalisation are identified, analysed and positioned in the process of substantiating the methodology, developing and testing the methodology for constructing a spectrum of the most constructive functional positions for digitalisation. The examples of their selection, definition and positioning given in the publication methodically substantiate and adaptively demonstrate the relevance of the research being conducted, the constructiveness and relevance of the results obtained.
39
Holikova, Olena. "Formalisation of agricultural research." Linguistics and Culture Review 5, S4 (November 13, 2021): 1137–53. http://dx.doi.org/10.21744/lingcure.v5ns4.1751.
Full textAbstract:
As an independent component of modern research in natural sciences, branch research developed as a result of the accumulation of knowledge from three spheres of public activity – agriculture, branch-specific education, and agricultural research – under the influence of a complex interaction of many external factors. The purpose of this study is to investigate the initial stage of formalization of agricultural research as a branch of natural sciences with the development of corresponding sign-symbolic systems and terminology. Based on the study of printed and archival research of the Imperial Free Economic Society (IFES), adjustments were made to the scientific periodization of the history of research as a branch of knowledge, considering the personalized contribution of its luminaries. Forgotten or little-known studies of pioneers of Ukrainian research – the IFES members: Swiss mathematician L. Euler; Russian scientist of Swedish origin, botanist and chemist E.G. Laxman; a native of Chernihiv Region, Professor of agriculture V. P. Prokopovich, and others were introduced into scientific discourse. The present paper analyses the areas of diverse research activities in agriculture, which were conducted by IFES figures at the early stages of the first scientific and economic association in the Russian Empire.
40
van Gastel, Bernard, and Julien Schmaltz. "A formalisation of XMAS." Electronic Proceedings in Theoretical Computer Science 114 (April 26, 2013): 111–26. http://dx.doi.org/10.4204/eptcs.114.9.
Full text
41
Badiou, Alain. "Beyond formalisation an interview." Angelaki 8, no. 2 (August 2003): 111–36. http://dx.doi.org/10.1080/0969725032000162611.
Full text
42
McCaig, Brian, and Jordan Nanowski. "Business Formalisation in Vietnam." Journal of Development Studies 55, no. 5 (June 11, 2018): 805–21. http://dx.doi.org/10.1080/00220388.2018.1475646.
Full text
43
Popielski, Jean-François. "Formalisation, coopération et validation." Soins Cadres 21, no. 81 (February 2012): 10–36. http://dx.doi.org/10.1016/j.scad.2011.12.014.
Full text
44
Marty, Robert. "Description et formalisation mathématique." Études littéraires 21, no. 3 (April 12, 2005): 21–27. http://dx.doi.org/10.7202/500867ar.
Full textAbstract:
Exposé des rapports qu'entretiennent les sciences humaines, dont la sémiotique fait partie, avec les sciences exactes auxquelles appartient la mathématique. La production actuelle rangée sous les vocables «sémiotique » ou « sémiologie» relèverait de la théorie de l'informe. Par le recours à la mathématisation, l'auteur entend jeter les bases d'une sémiotique scientifique.
45
Takeuti, Izumi, and Tomoko Adachi. "Formalisation of probabilistic concealment." Japan Journal of Industrial and Applied Mathematics 36, no. 2 (April 3, 2019): 473–95. http://dx.doi.org/10.1007/s13160-019-00350-w.
Full text
46
Øhrstrøm, Peter, and David Jakobsen. "William of Ockham on Future Contingency." KronoScope 18, no. 2 (September 18, 2018): 138–53. http://dx.doi.org/10.1163/15685241-12341413.
Full textAbstract:
AbstractIn his philosophy, William of Ockham (1285-1347) offered an important and detailed response to the classical argument from the truth of a statement regarding the future to the necessity (unpreventability) of the statement. In this paper, Ockham’s solution and the possible formalisation of it are discussed in terms of modern tense and modal logic. In particular, the famous branching time formalisation suggested by A. N. Prior (1914-19) is discussed. Weaknesses and problems with this suggestion are pointed out, and an alternative formalisation of Ockham’s solution without the use of branching time is presented.
47
Masson, Jacques. "Connaissance / méconnaissance." La Gazette des archives 188, no. 1 (2000): 147–50. http://dx.doi.org/10.3406/gazar.2000.3636.
Full text
48
Lhérété, Héloïse. "Faisons connaissance." Sciences Humaines 374, no. 10 (December 6, 2024): 3. https://doi.org/10.3917/sh.374.0003.
Full text
49
Jost, Clémence. "Connaissance vivante." Archimag N°360, no. 10 (December 1, 2022): 1. http://dx.doi.org/10.3917/arma.360.0001.
Full text
50
Perriault, Jacques. "Ingénierie de la connaissance, industrie de la connaissance." Hermès 59, no. 1 (2011): 163. http://dx.doi.org/10.3917/herm.059.0163.
Full text