Relevant bibliographies by topics / Formalisation de la connaissance

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Formalisation de la connaissance'

Author: Grafiati
Published: 17 May 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Formalisation de la connaissance"

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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formalisation de la connaissance"

1

Chabot, Robert. "La nécessité d'une analyse sociologique des situations de travail préalablement au recueil des connaissances et à leur formalisation dans la base de connaissance d'un système expert." Aix-Marseille 1, 1994. http://www.theses.fr/1994AIX10008.

Full text
Abstract:
Lorsqu'une entreprise veut développer un système expert, des problèmes méthodologiques se posent : ils concernent l'explicitation des connaissances, en amont de leur formalisation. A ces difficultés d'acquisition des connaissances, s'ajoute le problème de l'insertion organisationnelle des systèmes experts. Quelles sont les conséquences sur l'organisation du travail, sur le contenu des taches ? En fait, l'expertise recherchée en intelligence artificielle correspond à ce que nous appelons le savoir, c'est à dire le produit de l'interaction entre un acteur, des dispositifs techniques et son environnement. Alors que la connaissance, en tant qu'information, est la condition de développement de ce savoir. Dans le cadre d'une recherche en collaboration avec une entreprise développant un systeme expert, nous avons tente de montrer en quoi la sociologie, de par sa pratique concernant l'analyse des situations de travail et des pratiques techniques, était en mesure de fournir des outils d'inventaire, de localisation et de description des savoirs, utiles au cogniticien
When a company wants to develop an expert system, several problems of methodology occur concerning the clarification of knowledge prior to its formalization. To these knowledge-acquisition difficulties is added the problem of the expert system's organizational integration. What are the consequences on work organisation and on the contents of the tasks ? As a metter of fact, in artificial intelligence, the expertise corresponds to what we call "knows", i. E. The product of an interaction between the actor, the technical plan of action and his environment, whereas knowledge as information is the condition of "knows" development. Within the context of research in collaboration with a company developping an expert system, we tried to show in what way sociology, through its methods concerning analysing work situations and technnical practices, was fully capable of providing the knowledge-engineer with useful tools for assessment, localization and description of knows
APA, Harvard, Vancouver, ISO, and other styles
2

Grosz, Georges. "Formalisation des connaissances reutilisables pour la conception des systemes d'information." Paris 6, 1991. http://www.theses.fr/1991PA066510.

Full text
Abstract:
La these explore une nouvelle voie pour la conception des systemes d'information (si) fondee sur la reutilisation. L'etude porte sur l'etape la plus en amont du cycle de conception d'un si. Le resultat de cette etape est le schema conceptuel, exprime par une collection de specifications de classes d'objets. La reutilisation proposee est celle de structures generiques de modelisation. La genericite des structures tient au fait que de nombreux phenomenes de la realite, en apparence differents, sont modelises de maniere similaire par des classes d'objets. Ce type de reutilisation se differencie de la reutilisation directe de specifications puisqu'il s'agit de reutiliser le processus d'elaboration des specifications et non les specifications elles-memes. Le processus de conception, fonde sur l'existence d'une bibliotheque de telles structures, consiste a reconnaitre et a appliquer la structure generique pour trouver la representation conceptuelle adequate. L'utilisation de ces structures permet d'accelerer de maniere significative la construction d'un schema conceptuel puisqu'elle evite au concepteur de refaire l'effort de modelisation. La these presente une collection de structures generiques classees en deux categories: les structures liees au domaine (pour la modelisation de classes de phenomenes reels facilement identifiables) et les structures dependantes du modele conceptuel (pour prendre en compte les particularites du modele conceptuel choisi). La formalisation des structures generiques a necessite la definition d'un modele de processus. Base sur la structure de triplet , ce modele permet de decrire la conception de si a un niveau microscopique de detail. On montre par ailleurs comment une technique d'apprentissage par l'exemple peut aider a la decouverte de structures generiques ou, pour le moins, a construire un ensemble coherent de structures generiques. Enfin, le processus de conception preconise est illustre sur un exemple de gestion de prets de livres dans une bibliotheque
APA, Harvard, Vancouver, ISO, and other styles
3

Arioua, Abdallah. "Formalisation et étude des explications dialectiques dans les bases de connaissances incohérentes." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT261/document.

Full text
Abstract:
Les bases de connaissances sont des bases de données déductives où la logique est utilisée pour représenter des connaissances de domaine sur des données existantes. Dans le cadre des règles existentielles, une base de connaissances est composée de deux couches : la couche de données qui représentent les connaissances factuelle et la couche ontologique qui incorpore des règles de déduction et des contraintes négatives. L’interrogation de données à l’aide des ontologies est la fonction de raisonnement principale dans ce contexte. Comme dans la logique classique, les contradictions posent un problème à l’interrogation car « d'une contradiction, on peut déduire ce qu'on veut (ex falso quodlibet) ».Récemment, des approches d’interrogation tolérantes aux incohérences ont été proposées pour faire face à ce problème dans le cadre des règles existentielles. Elles déploient des stratégies dites de réparation pour restaurer la cohérence. Cependant, ces approches sont parfois inintelligibles et peu intuitives pour l'utilisateur car elles mettent souvent en œuvre des stratégies de réparation complexes. Ce manque de compréhension peut réduire l’utilisabilité de ces approches car elles réduisent la confiance entre l'utilisateur et les systèmes qui les utilisent. Par conséquent, la problématique de recherche que nous considérons est comment rendre intelligible à l’utilisateur l’interrogation tolérantes aux incohérences. Pour répondre à cette question de recherche, nous proposons d’utiliser deux formes d’explication pour faciliter la compréhension des réponses retournées par une interrogation tolérante aux incohérences. La première est dite de niveau méta et la seconde de niveau objet. Ces deux types d’explication prennent la forme d'un dialogue entre l'utilisateur et le raisonneur au sujet des déductions retournées comme réponses à une requête donnée. Nous étudions ces explications dans le double cadre de l'argumentation fondée sur la logique et de la dialectique formelle, comme nous étudions leurs propriétés et leurs impacts sur les utilisateurs en termes de compréhension des résultats
Knowledge bases are deductive databases where the machinery of logic is used to represent domain-specific and general-purpose knowledge over existing data. In the existential rules framework a knowledge base is composed of two layers: the data layer which represents the factual knowledge, and the ontological layer that incorporates rules of deduction and negative constraints. The main reasoning service in such framework is answering queries over the data layer by means of the ontological layer. As in classical logic, contradictions trivialize query answering since everything follows from a contradiction (ex falso quodlibet). Recently, inconsistency-tolerant approaches have been proposed to cope with such problem in the existential rules framework. They deploy repairing strategies on the knowledge base to restore consistency and overcome the problem of trivialization. However, these approaches are sometimes unintelligible and not straightforward for the end-user as they implement complex repairing strategies. This would jeopardize the trust relation between the user and the knowledge-based system. In this thesis we answer the research question: ``How do we make query answering intelligible to the end-user in presence of inconsistency?''. The answer that the thesis is built around is ``We use explanations to facilitate the understanding of query answering''. We propose meta-level and object-level dialectical explanations that take the form of a dialogue between the user and the reasoner about the entailment of a given query. We study these explanations in the framework of logic-based argumentation and dialectics and we study their properties and their impact on users
APA, Harvard, Vancouver, ISO, and other styles
4

Schneider, Jean-Jacques. "Un système d'apprentissage numérique et symbolique pour la formalisation de connaissances prosodiques." Avignon, 1995. http://www.theses.fr/1995AVIG0113.

Full text
Abstract:
Le sujet de cette these est l'etude et la realisation d'un systeme d'apprentissage manipulant des informations numeriques et symboliques pour la formalisation de connaissances prosodiques sous la forme de regles explicites. Les modeles prosodiques employes sont bases sur deux principes fondamentaux (1) le continuum melodique rythmique et d'intensite peut etre segmente en unites discretes (2) il existe une tres forte congruence entre l'organisation de l'enonce et la structuration prosodique du message. Dans le chapitre 1, nous presentons un ensemble de stylisation des parametres prosodiques et des parametres de l'organisation de l'enonce. Nous definissons dans le chapitre 2 un langage de representation des exemples base sur une description elementaire de la forme attribut/valeur. Dans le chapitre 3 nous proposons un environnement base sur des techniques de classification automatique des donnees permettant de degager les structures sous-jacentes d'un sous-ensemble d'exemples. Nous employons pour cela la classification hierarchique ascendante et une version simplifiee de la methode des nuees dynamiques. Afin d'obtenir une base de regles caracterisant les connaissances prosodiques nous utilisons dans le chapitre 4 des techniques d'apprentissage symbolique automatique. Nous employons pour cela les arbres de decision avec une version de l'algorithme id3 et la structure de treillis de galois. Dans le chapitre 5 nous proposons un corpus de travail puis un etiquetage prosodique des enonces approprie. Nous presentons dans le chapitre 6 une utilisation des outils realises afin de produire une base de regles a partir du corpus precedent
APA, Harvard, Vancouver, ISO, and other styles
5

Derras, Cédric. "Formalisation de l'imprécision informationnelle et des incertitudes décisionnelles des connaissances expertes pour la génération de processus de fabrication." Nancy 1, 1998. http://www.theses.fr/1998NAN10284.

Full text
Abstract:
Un des problèmes rencontrés par le producticien, lors de la modélisation des connaissances pour la génération du processus de fabrication dans un contexte de conception intégrée, réside dans le fait que certaines de ces connaissances sont imprécisément verbalisées par les experts. Il résulte de cette imprécision informationnelle des connaissances une incertitude associée aux différentes alternatives décisionnelles durant le processus de raisonnement expert. Les outils de formalisation actuels de ces connaissances ne permettent pas de modéliser les différentes imperfections qui y sont naturellement attachées. Ainsi, les décisions prises par les systèmes implémentant ces techniques sont restrictives en comparaison de celles prises par les experts. C'est pourquoi nos travaux de recherche visent à formaliser la sémantique (imprécision des connaissances, incertitude des décisions) des savoir-faire verbalisés par les experts, lors du processus de raisonnement pour la génération de gammes de fabrication. Face à cette problématique, nous proposons de modéliser les savoir-faire définissant le contexte de l'activité de génération de gammes d'usinage, en utilisant un modèle de raisonnement en logique floue, basé sur l'utilisation de règles conjonctives. A partir d'un problème donné, ce modèle permet de produire les différentes alternatives de décision possibles, en terme de gammes d'usinage, et de leur associer un degré de possibilité. Dans l'objectif de construire différentes solutions de processus de fabrication possibles, relativement à un même problème, nous utilisons un modèle de logique temporelle et l'étendons afin qu'il puisse supporter et manipuler les résultats produits par le modèle de raisonnement flou. L'implémentation de la méthode proposée, sur une plate-forme génératrice de systèmes à base de connaissances, constitue ainsi un prototype original d'assistance à la génération de processus de fabrication.
APA, Harvard, Vancouver, ISO, and other styles
6

Iphar, Clément. "Formalisation d'un environnement d'analyse des données basé sur la détection d'anomalies pour l'évaluation de risques : Application à la connaissance de la situation maritime." Thesis, Paris Sciences et Lettres (ComUE), 2017. http://www.theses.fr/2017PSLEM041/document.

Full text
Abstract:
Il existe différents systèmes de localisation de navires en mer qui favorisent une aide à la navigation et une sécurisation du trafic maritime. Ces systèmes sont également utilisés en tant qu’outils de surveillance et d’aide à la décision par les centres de surveillance basés à terre. Le Système d’Identification Automatique (AIS) déployé par l’Organisation Maritime Internationale, bien qu’étant le système de localisation de navires le plus utilisé de nos jours, est faiblement sécurisé. Cette vulnérabilité est illustrée par des cas réels et détectés tels que des usurpations d’identité ou des disparitions volontaires de navires qui sont sources de risques pour les navires, les infrastructures offshores et côtières et l’environnement.Nous proposons dans cette thèse une démarche méthodologique d’analyse et d’évaluation des messages AIS fondée sur les dimensions de la qualité de la donnée, dont l’intégrité considérée comme la plus importante de ces dimensions. Du fait de la structure complexe de l’AIS, une liste d'indicateurs a été établie, afin d’évaluer l'intégrité de la donnée, sa conformité avec les spécifications techniques du système et la cohérence des champs des messages entre eux et au sein d’un seul ou plusieurs messages. Notre démarche repose également sur l’usage d’informations additionnelles telles que des données géographiques ou des registres de navires afin d’évaluer la véracité et l’authenticité d’un message AIS et de son expéditeur.Enfin, une évaluation des risques associés est proposée, permettant une meilleurecompréhension de la situation maritime ainsi que l’établissement de liens de causalité entre les vulnérabilités du système et les risques relevant de la sécurité et sûreté de la navigation maritime
At sea, various systems enable vessels to be aware of their environment and on the coast, those systems, such as radar, provide a picture of the maritime traffic to the coastal states. One of those systems, the Automatic Identification System (AIS) is used for security purposes (anti-collision) and as a tool for on-shore bodies as a control and surveillance and decision-support tool.An assessment of AIS based on data quality dimensions is proposed, in which integrity is highlighted as the most important of data quality dimensions. As the structure of AIS data is complex, a list of integrity items have been established, their purpose being to assess the consistency of the data within the data fields with the technical specifications of the system and the consistency of the data fields within themselves in a message and between the different messages. In addition, the use of additional data (such as fleet registers) provides additional information to assess the truthfulness and the genuineness of an AIS message and its sender.The system is weekly secured and bad quality data have been demonstrated, such as errors in the messages, data falsification or data spoofing, exemplified in concrete cases such as identity theft or vessel voluntary disappearances. In addition to message assessment, a set of threats have been identified, and an assessment of the associated risks is proposed, allowing a better comprehension of the maritime situation and the establishment of links between the vulnerabilities caused by the weaknesses of the system and the maritime risks related to the safety and security of maritime navigation
APA, Harvard, Vancouver, ISO, and other styles
7

Paskevych, Andriy Verchinine Konstantin. "Méthodes de formalisation des connaissances et des raisonnements mathématiques aspects appliqués et théoriques /." [S.l.] : [s.n.], 2008. http://doxa.scd.univ-paris12.fr:80/theses/th0405882.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Paskevych, Andriy. "Méthodes de formalisation des connaissances et des raisonnements mathématiques : aspects appliqués et théoriques." Paris 12, 2007. http://www.theses.fr/2007PA120071.

Full text
Abstract:
Nous étudions les moyens de présentation des connaissances et des schémas du raisonnement mathématiques. Notre recherche est destinée à un système de vérification de textes mathématiques formalisés. Dans ce système, la texte à vérifier est écrit dans un langage formel proche de la langue naturelle et le style des publications mathématiques. Notre intention est d'exploiter les indices que la forme "humaine" du problème nous donne : les définitions, les schémas de preuve, les substantifs qui désignent des classes d'objets. Un tel langage, appelé ForTheL, est décrit. La vérification consiste en la démonstration que le texte est "sens" et "fondé", c'est-à-dire que les fonctions et les relations sont employées dans leurs domaines, conformément aux définitions, et les assertions se déduisent des prémisses. La définition formelle d'un texte correct repose sur un calcul séquentiel cohérent ainsi que sur la notion de validité locale (par rapport à une occurrence à l'intérieur d'un formule). La recherche de preuve est effectuée à deux niveaux. Le niveau bas est un démonstrateur automatique basé sur une procédure combinatoire. Nous introduisons une variante des tableaux de connexions cohérente et complète en logique du premier ordre avec égalité. Le niveau haut est un "raisonneur" qui emploie des techniques naturelles de démonstration pour filtrer, simplifier, décomposer une tâche de preuve avant de la passer au démonstrateur. Les algorithmes du raisonneur se basent sur les transformations qui préservent les propositions localement valides. Les méthodes proposées sont implantées dans l'assistant de preuve SAD
We study the means of presentation of mathematical knowledge and reasoning schemes. Our research aims at an automated system for verification of formalized mathematical texts. In this system, a text to verify is written in a formal language which is close to the natural language and style of mathematical publications. Our intention is to exploit the hint which are given to us by the "human" form of the problem : definitions, proof scemes, nouns denoting classes of objects, etc. We describe such a language, called ForTheL. Verification consists in showing that the text is "sensible" and "grounded", that functions and relations are applied within the domain, according to the definitions, and assertions follow from their respective premises. A formal definition of a correct text relies on a sound sequent calculus and on the notion of local validity (local with respect to some occurrence inside a formula). Proof search is carried out on two levels. The lower level is an automated theorem prover based on a combinatorial procedure. We introduce a variant of connection tableaux which is sound and complete in the first-order logic with equality. The higher level is a "reasoner" which employs natural proving techniques in order to filter, simplify, decompose a proof task before passing it to the prover. The algorithms of the rasoner are based on transformations that preserve the locally valid propositions. The proposed methods are implemented in the proof assistant SAD
APA, Harvard, Vancouver, ISO, and other styles
9

Léger, Bertrand. "Recueil et Formalisation de procédés experts pour conduire une protection intégrée du vignoble." Phd thesis, Ecole nationale superieure agronomique de montpellier - AGRO M, 2008. http://tel.archives-ouvertes.fr/tel-00372383.

Full text
Abstract:
La viticulture française est un gros consommateur de produits phytosanitaires. Deux maladies fongiques, l'oïdium et le mildiou de la vigne, représentent à elles seules 70% des dépenses annuelles de pesticides pour cette culture. Ces maladies pouvant causer la destruction complète des récoltes, sont ressenties comme des fléaux. Face à de tels risques, seule la protection chimique est aujourd'hui efficace. Une équipe de phytopathologiste (Santé Végétale à Bordeaux) a entrepris en 2001 de résoudre le problème dicile de la conception et de la mise au point de systèmes décisionnels de gestion des maladies de la vigne. Ces systèmes innovants doivent faire la preuve qu'il est possible de produire du raisin de qualité en diminuant fortement le nombre de traitements fongiques, conformément aux principes de la Protection Intégrée des Cultures (PIC). L'équipe y parvient en utilisant des observations à la parcelle et une connaissance structurée qui prend la forme de ce que j'ai nommé un Processus Opérationnel de Décision (POD). Ces pathologistes ont mis en oeuvre une approche itérative de la conception, mêlant phases de conception et phases d'expérimentation de plein champ. A l'issue de trois itérations (2001, 2003,2005) ils exprimaient le besoin de formaliser leur démarche. Il s'agissait donc d'identifier et, si nécessaire, de créer les outils formels et les méthodes qui permettraient aux experts pathologistes d'améliorer le résultat de leur conception en répondant à trois besoins : Pouvoir communiquer le POD à d'autres chercheurs, en tester les aspects opérationnels, et rendre le POD fiable. Le concept de POD correspond à une approche prescriptive et opérationnelle de la décision, où la protection des cultures est envisagée comme un processus intégré sur l'ensemble de la saison. Les connaissances permettant de formaliser ce processus ont été recueillies dans le langage Statechart qui est un formalisme à évènements discrets. Les diagrammes Statecharts ont été utilisés comme média entre les experts concepteurs et le cogniticien. La méthode de recueil est originale et constitue un résultat de recherche au même titre que le modèle du « POD Mildium » qui en est le produit. Deux méthodes de validation ont été élaborées pour estimer la qualité du modèle et pointer les défauts de concordance entre les simulations du modèle recueilli et les comportements décisionnels observés. Ce modèle a été validé à partir des données de deux campagnes expérimentales (2005, 2006). On a montré que 85% des décisions étaient similaires. L'ensemble du travail illustre l'intérêt de l'ingénierie des processus métiers abordée via les statecharts pour raisonner et concevoir des systèmes de protection des cultures.
APA, Harvard, Vancouver, ISO, and other styles
10

Napoli, Aldo. "Formalisation et gestion des connaissances dans la modélisation du comportement des incendies de forêt." Phd thesis, Université de Nice Sophia-Antipolis, 2001. http://tel.archives-ouvertes.fr/tel-00532631.

Full text
Abstract:
Nous proposons de traiter dans cette thèse, une partie du vaste domaine de la recherche dans le domaine des incendies de forêt. Nous nous intéressons plus particulièrement à la formalisation des connaissances (structuration des connaissances et de leurs interrelations) pour l'analyse du comportement des feux de forêt et plus précisément pour la modélisation de la vitesse de propagation d'un front de flammes. Le système incendie de forêt, de par sa complexité, doit être appréhendé par une démarche modélisatrice du phénomène (expérimentation, modélisation et validation). Nous proposons dans cette thèse, par la formalisation du corpus de connaissances issues d'expérimentations en milieu naturel, d'apporter une aide à la modélisation du comportement des incendies de forêt. Un prototype de système de gestion des connaissances est élaboré afin d'assister les scientifiques chargés de conduire des expérimentations en milieu naturel. Ce système de gestion des connaissances étant partie intégrante des outils informatiques à mettre en œuvre dans une zone atelier, nous nous permettrons d'imaginer ce que pourrait être une zone atelier pour la modélisation du comportement des incendies de forêt en France. La première partie de la thèse a pour objet de présenter le système incendie de forêt, la démarche de modélisation pour l'analyser ainsi que le recours à la démarche de formalisation de connaissance pour assister le modélisateur. La deuxième partie présente l'acquisition des connaissances dans le domaine de l'expérimentation en milieu naturel pour l'étude du comportement d'un incendie de forêt et leur formalisation à l'aide du langage de modélisation UML. La troisième partie présente, un prototype d'un système de gestion des connaissances issues d'expérimentations en milieu naturel : MODELLIS (MODELLed-Information System). Nous voyons comment celui-ci pourrait être intégré à ce que pourrait être une zone atelier pour l'étude du comportement des incendies de forêt dans le Sud de la France.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formalisation de la connaissance"

1

Chabot, Robert. La nécessité d'une analyse sociologique des situations de travail préalablement au recueil des connaissances et à leur formalisation dans la base de connaissances d'un système expert. Lille: A.N.R.T, Université de Lille III, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Löh, Clara. Exploring Formalisation. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-14649-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Blanco, Xavier, Pierre-André Buvet, and Zoé Gavriilidou, eds. Détermination et Formalisation. Amsterdam: John Benjamins Publishing Company, 2001. http://dx.doi.org/10.1075/lis.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Richter, Jonas. Formalisation Through Taxation. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29282-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brinkkemper, Sjaak. Formalisation of information systems modeling. Amersterdam: Thesis Publishers, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

S. J. L. van Eijndhoven. A mathematical introduction to Dirac's formalisation. Amsterdam: North-Holland, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Assayag, Gérard. Nouvelles techniques instrumentales: Composition et formalisation. Paris: IRCAM, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Toms, Eric. Holistic logic: A formalisation of metaphysics. 2nd ed. Edinburgh: The Author, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Toms, Eric. Holistic logic: A formalisation of metaphysics. Edinburgh: E. Toms, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

editor, Bälz Moritz, ed. Formalisation and flexibilisation in dispute resolution. Leiden: Brill, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formalisation de la connaissance"

1

Miyata, Rei. "Document formalisation." In Controlled Document Authoring in a Machine Translation Age, 59–67. London; New York: Routledge, 2020. |: Routledge, 2020. http://dx.doi.org/10.4324/9781003048527-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mensch, James. "Formalisation and Responsibility." In Contributions To Phenomenology, 187–96. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-09828-9_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Thompson, Declan. "Formalisation vs. Understanding." In Unconventional Computation and Natural Computation, 290–300. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21819-9_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Eide, Øyvind. "Critical Stepwise Formalisation." In Media Boundaries and Conceptual Modelling, 41–74. London: Palgrave Macmillan UK, 2015. http://dx.doi.org/10.1057/9781137544582_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bežovan, Gojko. "Croatia: Towards Formalisation." In Private Rental Housing in Transition Countries, 149–66. London: Palgrave Macmillan UK, 2017. http://dx.doi.org/10.1057/978-1-137-50710-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Richter, Jonas. "Introduction." In Formalisation Through Taxation, 1–7. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29282-9_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Richter, Jonas. "Literature Review." In Formalisation Through Taxation, 9–30. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29282-9_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Richter, Jonas. "Research Methodology." In Formalisation Through Taxation, 31–43. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29282-9_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Richter, Jonas. "The Evolution of the Paraguayan Tax System." In Formalisation Through Taxation, 45–62. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29282-9_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Richter, Jonas. "A Formalising Economy." In Formalisation Through Taxation, 63–89. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29282-9_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formalisation de la connaissance"

1

Sinha, Subhrajit, Sai Pushpak Nandanoori, Bowen Huang, Thiagarajan Ramachandran, and Craig Bakker. "On Formalisation of Martin Distance for Linear Dynamical Systems." In 2024 American Control Conference (ACC), 1243–48. IEEE, 2024. http://dx.doi.org/10.23919/acc60939.2024.10644730.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

FOBOSI, SIYABULELA CHRISTOPHER. "CONTRADICTIONS AROUND THE FORMALISATION OF SOUTH AFRICA’S MINIBUS TAXI INDUSTRY." In SDP 2024, 319–26. Southampton UK: WIT Press, 2024. http://dx.doi.org/10.2495/sdp240261.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jäkel, Jan-Iwo, Eva Heinlein, and Katharina Klemt-Albert. "Formalisation of Knowledge About Non-Destructive Testing Methods For Bridge Structures Based on The Development of The Sodia Ontology." In Creative Construction Conference 2024, null. Online: Budapest University of Technology and Economics, 2024. http://dx.doi.org/10.3311/ccc2024-119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lippe, Rattiya S., Stephen Maina Kiama, Veronica Alonso, Thomas Buchholz, Paul Jacovelli, and Jörg Schweinle. "Enterprise formalisation." In IUFRO 4.05.00 & 9.05.03 International Conference. University of Ljubljana, Biotechnical Faculty, 2023. http://dx.doi.org/10.20315/silvaslovenica.0022.09.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Marsack, Robyn. "Faire connaissance avec Monsieur Bouvier." In Nicolas Bouvier dans le monde : réceptions et traductions. Fabula, 2025. https://doi.org/10.58282/colloques.12869.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Castro, Jaelson F. B., Christian J. Gautreau, and Marco A. Toranzo. "Tool support for requirements formalisation." In Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96). New York, New York, USA: ACM Press, 1996. http://dx.doi.org/10.1145/243327.243660.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Formalisation of Contested Collective Intelligence." In 8th International Conference on Latest Trends in Engineering and Technology. International Institute of Engineers, 2016. http://dx.doi.org/10.15242/iie.e0516025.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Loukanova, Roussanka. "Formalisation of intensionality as algorithms." In the Eighth International Conference. Morristown, NJ, USA: Association for Computational Linguistics, 2009. http://dx.doi.org/10.3115/1693756.1693791.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Castro, Jaelson F. B., Marcos A. Toranzo, Christian J. Gautreau, and Marcio A. S. Bueno. "Multiview: Requirements Modeling and Formalisation." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1997. http://dx.doi.org/10.5753/sbes.1997.24068.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zaki-Ismail, Aya, Mohamed Osama, Mohamed Abdelrazek, John Grundy, and Amani Ibrahim. "ARF: Automatic Requirements Formalisation Tool." In 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 2021. http://dx.doi.org/10.1109/re51729.2021.00060.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formalisation de la connaissance"

1

Gallien, Max, and Vanessa van den Boogaard. Rethinking Formalisation: A Conceptual Critique and Research Agenda. Institute of Development Studies, August 2023. http://dx.doi.org/10.19088/ictd.2023.038.

Full text
Abstract:
The concept of ‘formalisation’ has been ubiquitous in development discourse and policymaking. It has underpinned policy interventions and proposals from tax registration to property titling, and a range of measures intended to connect informal entities with state institutions or formally structured markets. Despite the policy enthusiasm, however, the outcomes of formalisation policies have frequently been disappointing. Summary of Working Paper 127.
APA, Harvard, Vancouver, ISO, and other styles
2

Arènes, Cécile, Cécile Sebban, Thomas Jouneau, Joanna Janik, David Chopard-Lallier, Nadine Couedel, Camille Espiau, et al. Pour une politique des données de la recherche : guide stratégique à l'usage des établissements. Ministère de l'enseignement supérieur et de la recherche, December 2019. http://dx.doi.org/10.52949/9.

Full text
Abstract:
Le Collège Données de la recherche du Comité pour la science ouverte émet sept recommandations pour aider à la formalisation et à la mise en œuvre d'une politique des données de la recherche au sein des établissements de la recherche et de l'enseignement supérieur.
APA, Harvard, Vancouver, ISO, and other styles
3

Barrow, Edmund. Les pasteurs—La solution à la gestion durable des paysages secs, mais marginalisés et affaiblis, considérés comme le « problème ». Rights and Resources Initiative, October 2022. http://dx.doi.org/10.53892/scyb7987.

Full text
Abstract:
Les pasteurs sont bien adaptés aux environnements difficiles et ont une connaissance approfondie de leurs ressources naturelles. Ils ont également souffert de la sécheresse, de la famine, de l’ingérence politique, de l’insécurité physique, des agressions armées, de l’appauvrissement croissant et de la marginalisation. Malgré ces obstacles, les pasteurs gèrent depuis longtemps leurs terres à des fins diverses, notamment la mobilité du bétail, qui dépend de vastes paysages en propriété commune, de la connaissance de la productivité des écosystèmes et de la capacité à négocier l’accès aux ressources. Même si leurs institutions traditionnelles et leur cohésion sociale s’érodent, ils continuent à jouer un rôle important dans l’utilisation des ressources naturelles.
APA, Harvard, Vancouver, ISO, and other styles
4

Quak, Evert-jan, and Iana Barenboim. Female Entrepreneurship and Informality in Low- and Middle-Income Countries: What Have We Learned So Far? Institute of Development Studies, April 2022. http://dx.doi.org/10.19088/muva.2022.001.

Full text
Abstract:
This paper is part of the MUVA Paper Series on female entrepreneurship. Its purpose is to understand female entrepreneurship in the context of informality and the value of formalisation to improve their livelihoods and income in the context of LMICs. Mozambique-based female economic empowerment social incubator MUVA is used as a case study to show how experiences and knowledge from development projects contribute to debates on female entrepreneurship and informality.
APA, Harvard, Vancouver, ISO, and other styles
5

Beaurain, Christophe, Julien Bernard, Iratxe Calvo-Mendieta, Hervé Flanquart, Séverine Frère, Frédéric Gonthier, Anne-Peggy Hellequin, and Antoine Le Blanc. Les risques et pollutions industriels sur le territoire dunkerquois: des perceptions à la «concertation». Fondation pour une culture de sécurité industrielle, July 2010. http://dx.doi.org/10.57071/255dkr.

Full text
Abstract:
Ce document présente les résultats d’une étude de la perception des risques et nuisances industrielles dans l’agglomération dunkerquoise, ainsi qu’une analyse de la perception et du fonctionnement de différentes structures de concertation consacrées à ces questions. Les auteurs analysent la façon dont les tensions entre risques et bénéfices socio-économiques liés à l’activité industrielle sont ressenties et gérées sur ce territoire fortement industrialisé, où différents acteurs sont engagés dans le projet commun d’articulation du développement industriel et d’amélioration de la qualité environnementale. Les chercheurs ont interrogé les Dunkerquois sur leur environnement, leur cadre de vie, leur perception des risques industriels, leur connaissance des consignes à appliquer en cas d’accident industriel, et la confiance qu’ils accordent à différents acteurs chargés de la gestion des risques. Ce travail s’appuie sur une enquête par questionnaire qui visait, en produisant de la connaissance sociologique sur ces thématiques, à intégrer l’analyse des perceptions et des opinions des habitants dans la réflexion sur la gestion des risques à l’échelle de leur territoire.
APA, Harvard, Vancouver, ISO, and other styles
6

Dostie, Jade, Maurice Doyon, and Laure Saulais. Création d’un outil de mesure de la littératie concernant la gestion de l’offre et d’évaluation de son impact. CIRANO, June 2023. http://dx.doi.org/10.54932/tygi8452.

Full text
Abstract:
La présente étude s’inscrit dans un processus de développement d’un outil de mesure des connaissances en agroéconomie, plus précisément au sujet de la gestion de l’offre, et ce, au niveau pancanadien. La gestion de l’offre est une politique agricole unique au Canada et dont les effets ne font pas l’unanimité parmi les experts. Puisque les divergences d’opinion concernant la gestion de l’offre ont été portées jusque dans les médias destinés au grand public (éditoriaux, articles d’opinion, etc.), il semble intéressant de mesurer le niveau de connaissance de la population canadienne sur ces principaux éléments. En outre, les consommateurs canadiens manifestent un intérêt croissant vis-à-vis de certains attributs sociaux de leur consommation alimentaire sur lesquels la gestion de l’offre peut avoir un impact indirect – en particulier l’équité, le bien-être animal et l’impact environnemental. Cependant, très peu d’études explorent la connaissance et la compréhension de ces aspects par les consommateurs Nous avons recensé peu de littérature sur le développement d’indicateurs de littératie en agriculture et encore moins en agroéconomie. Cette étude développe dans un premier temps un outil de mesure de la littératie concernant la gestion de l’offre, puis dans un deuxième temps un outil d’évaluation de la perception de la gestion de l’offre par les Canadiens. Les étapes de création des deux outils sont décrites et l’analyse des résultats du prétest de l’outil de mesure de la littératie est présentée et discutée. Le prétest a été complété par 119 répondants, dont 62 évoluant dans le milieu agricole. Les répondants ont en moyenne un score de littératie de 56,4%. L’échantillon étant surreprésenté en ce qui concerne la connaissance du milieu agricole, on estime que ce niveau de littératie relativement faible est plus élevé que celui de la population générale.
APA, Harvard, Vancouver, ISO, and other styles
7

Gallien, Max, Christopher Hoy, Hitomi Komatsu, Ceren Ozer, Michael Rogan, and Vanessa van den Boogaard. Simplified Taxation in Africa: What We Know – and Need to Know. Institute of Development Studies, February 2025. https://doi.org/10.19088/ictd.2025.012.

Full text
Abstract:
Most economic operators in Africa are small and informal firms that fall under the purview of presumptive or simplified tax regimes (STRs). These taxes are expected to fulfil a range of functions, from raising revenue to facilitating formalisation and improving revenue authorities' data, and yet their effectiveness and impact are surprisingly under-researched. Meanwhile, emerging evidence suggests that STRs often raise little revenue, disproportionately impact low-income earners, and are inconsistently applied. This policy brief summarises what we know about simplified taxes in Africa, who pays them, and why they matter, while highlighting gaps in existing knowledge. It makes the argument that there is a need for a new policy conversation on simplified taxation, and one that is data-driven and evidence-based.
APA, Harvard, Vancouver, ISO, and other styles
8

Scarpini, Celeste, Fabrizio Santoro, Mary Abounabhan, and Awa Diouf. The E-levy and Merchant Payment Exemption in Ghana. Institute of Development Studies, May 2024. http://dx.doi.org/10.19088/ictd.2024.036.

Full text
Abstract:
Mobile money-enabled digital merchant payments have significant promise for enhancing tax compliance in lowincome countries, and addressing persistent challenges. First, digital merchant payments offered by mobile money providers guarantee greater accessibility to safer and faster formal payment. Second, they help businesses to keep comprehensive records of their activities, expenses, and receipts – enhancing accuracy of tax filing, and perceptions of the tax administration’s monitoring and enforcement capabilities. Third, they improve businesses’ perceptions of the transparency and predictability of the tax system, by using more precise digital information for tax calculations. In addition, governments can use digital merchant payments to encourage business formalisation, by exempting them from new taxes on mobile money transactions. Many African governments use this strategy, while taxing other transaction types – such as mobile money withdrawals and person-to-person transfers.
APA, Harvard, Vancouver, ISO, and other styles
9

Bouchard, Aline, and Christophe Boudry. Utilisation et usages des identifiants numériques chercheurs en France. Synthèse de l’enquête nationale 2023. Ministère de l’enseignement supérieur et de la recherche, 2024. http://dx.doi.org/10.52949/57.

Full text
Abstract:
L’enquête présentée dans ce rapport s’insère dans un projet de recherche composé de quatre phases qualitatives et quantitatives, dont les résultats seront publiés au fur et à mesure de l’avancement du projet. Le présent rapport en constitue la première partie et présente les résultats d’un questionnaire national, conduit entre novembre 2022 et février 2023. Son objectif principal était de faire un état des lieux des usages des identifiants numériques chercheurs (INC), et plus particulièrement d’ORCID, dans la communauté de recherche française, en étudiant leur contexte, leur connaissance et leurs pratiques associées, les moteurs et freins à leur adoption, et les besoins de formation à ces outils. 6 125 personnes ont complété intégralement ce questionnaire national, ce qui correspond à environ 3,2 % de la population nationale des chercheurs. La première partie de ce rapport questionne les répondants sur leur familiarité et leurs connaissances des réseaux sociaux académiques (RSA), outils de visibilité et identifiants numériques chercheurs. Cette partie met en évidence le rôle essentiel de la discipline dans l’appropriation de ces différents outils, de grandes catégories d’usages et différents degrés d’acculturation à ces outils. La deuxième partie de ce rapport concerne spécifiquement l’INC ORCID, et montre globalement une connaissance et une utilisation avant tout concrète et pragmatique de cet identifiant par les chercheurs. Concernant les besoins en formation ou initiation à ces outils, selon les chercheurs interrogés, ils s’avèrent être encore importants, que ce soit en présentiel ou en distanciel.
APA, Harvard, Vancouver, ISO, and other styles
10

Warren, F. J., and D. S. Lemmen. Vivre avec les changements climatiques au Canada : perspectives des secteurs relatives aux impacts et à l'adaptation. Natural Resources Canada/CMSS/Information Management, 2014. http://dx.doi.org/10.4095/g156221.

Full text
Abstract:
Le rapport Vivre avec les changements climatiques au Canada : perspectives des secteurs relatives aux impacts et à l'adaptation est une mise à jour de 2014 du rapport d'évaluation scientifique intitulé Vivre avec les changements climatiques au Canada : édition 2008. Aucours de cette période, notre connaissance des impacts et de l'adaptation aux changements climatiques au Canada s'est approfondie grâce à de nouvelles recherches et par l'intermédiaire d'une expérience pratique. La préparation du rapport a été dirigée par Ressources naturelles Canada et a nécessitéla participation de plus de 90 auteurs et de 115 examinateurs experts. Le rapport constitue une synthèse de plus de 1 500 publications récentes.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formalisation de la connaissance' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography