Log in

Relevant bibliographies by topics / Prouveur interactif

Contents

Journal articles
Dissertations / Theses

Academic literature on the topic 'Prouveur interactif'

Author: Grafiati

Published: 8 June 2024

Last updated: 31 July 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 'Prouveur interactif.'

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 "Prouveur interactif"

1

Laubin, Jean-Marc, François-Xavier Coudoux, Michel Pommeray, and Renan Mouren. "Pédagogie en Mode Projet Réel (PMPR)." J3eA 22 (2023): 1036. http://dx.doi.org/10.1051/j3ea/20231036.

Full text

Abstract:

Depuis 11 ans l’INSA Hauts-de-France (Valenciennes – France) a introduit dans ses enseignements de son Master AMINJ (Audiovisuel, Médias Interactifs Numériques et Jeux) une pédagogie innovante qui consiste à faire l’apprentissage de la gestion de projet audiovisuel et multimédia en situation réelle. Après deux années de tâtonnement dans le cadre universitaire classique dans lesquelles les étudiants restaient dans une posture consistant à résoudre des exercices, de nouvelles modalités ont été mises en place en 2012, puis améliorées au fil des ans. Cette approche pédagogique intitulée Pédagogie

APA, Harvard, Vancouver, ISO, and other styles

2

TRAORE, Adama O., and Breïma TRAORE. "Dépenses publiques, Gouvernance et Croissance économique des Pays d’Afrique subsaharienne (ASS)." Revue d’Economie Théorique et Appliquée 9, no. 1 (2019): 53–70. https://doi.org/10.62519/reta.v9n1a4.

Full text

Abstract:

Résumé : Cet article analyse l’effet de l’interaction entre les dépenses publiques de consommation, d’investissement et la gouvernance sur la croissance du produit intérieur brut par tête des pays de l’ASS à partir des données de panel dynamique sur la période 1996-2015. Les résultats de l’estimation économétrique montrent globalement que l’interaction entre les indicateurs de gouvernance et les dépenses publiques de consommation et d’investissement a un effet significatif sur le taux de croissance du PIB par tête. Ces résultats attestent que les indicateurs de gouvernance peuvent améliorer si

APA, Harvard, Vancouver, ISO, and other styles

3

Ibrahim, ABDILLAH. "Les effets des remittances sur la croissance économique aux Comores et le rôle du crédit bancaire." International Journal of Accounting, Finance, Auditing, Management and Economics 3, no. 4-3 (2022): 98–115. https://doi.org/10.5281/zenodo.6944450.

Full text

Abstract:

Cet article étudie les effets des remittances sur la croissance économique aux Comores sur une période de 35 ans allant de 1985 à 2019. Dans ce pays, ces fonds personnels reçus prédominent les autres sources financières d’origine étrangère. Leur niveau actuel avoisine celui des crédits intérieurs fournis par les banques au secteur privé. Cependant, malgré ces tendances, l’étude de leurs effets sur la croissance de l’économie est moins explorée. D’autant plus,

APA, Harvard, Vancouver, ISO, and other styles

4

MOUNAIM, L'Houssaine, and Safaa TIGHAZRI. "Transformation digitale et révolution expérientielle, Vers une expérience de consommation digitale: Une réflexion théorique." May 15, 2020. https://doi.org/10.5281/zenodo.3829869.

Full text

Abstract:

Quoique les recherches sur le comportement du consommateur et l´expérience de consommation soient multiples, les travaux sur la combinaison de cette dernière avec la transformation digitale sont récents, et s´intéressent plus à l´introduction des nouvelles technologies aux commerces traditionnels et l´interaction des clients avec ces dispositifs,  laissant le terrain de l´immersion hédonique dans ce nouvel ère peu explorée dans la littérature. La présente recherche propose non seulement une

APA, Harvard, Vancouver, ISO, and other styles

5

JUIHER, El Mahdi, Hmad OUADDI, and Omar BENCHAREF. "Intelligence Artificielle à Petit Budget : Identifier et Classer les Micro-Influenceurs Sans Outils Payants." June 2, 2025. https://doi.org/10.5281/zenodo.15579632.

Full text

Abstract:

La présente étude examine l'intersection de l'intelligence artificielle (IA) et du marketing d'influence, en se concentrant sur des mesures clés telles que le taux d'engagement, le taux de viralité et l'analyse des sentiments. En évaluant les performances des micro-influenceurs, nous montrons comment les outils alimentés par l'IA peuvent optimiser le processus de sélection et d'évaluation, en fournissant des informations plus approfondies sur les interactions avec le public et l'efficacité du contenu. Les résultats prouvent

APA, Harvard, Vancouver, ISO, and other styles

6

Stanić, Lana. "Semiotic Perspectives on Cultural Appropriation in the Music Industry." Motifs, no. 8 (December 1, 2024). https://doi.org/10.56078/motifs.1083.

Full text

Abstract:

Le but de ces recherches est d'examiner le phénomène de l'appropriation culturelle dans l'industrie musicale dans le contexte de la sémiotique culturelle (J. Lotman, 2019; R. Barthes, 1967). Le présent travail examinera les significations symboliques associées à l'image projetée par les artistes musicaux. Compte tenu de la complexité du problème, on utilisera une approche sémiotique multidisciplinaire. On analysera des symboles, des aspects vestimentaires et des gestes reconnus comme étant des expressions culturellement appropriées de l'image que s’en fait l'artiste en question. Étant donné la

APA, Harvard, Vancouver, ISO, and other styles

7

EL, KADIRI Kenza, and Fadwa JERMOUNI. "Technological innovation and human capital a necessary process for the competitiveness of the Moroccan agri-food SMEs." African Scientific Journal Vol 03, N°24 (2024). https://doi.org/10.5281/zenodo.12634907.

Full text

Abstract:

<strong>Résumé :</strong> L’innovation technologique et le capital humain deviennent de plus en plus une clé de réussite pour accroitre le degré de la compétitivité des PME dans un contexte caractérisé par une forte concurrence à l’échelle nationale et internationale. L’importance de l’innovation pour les entreprises en général et les PME en particulier n’est plus à prouver[1]. Dans un contexte concurrentiel et incertain, l’innovation technologique est deve

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Prouveur interactif"

1

Schurr, Hans-Jörg. "Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0135.

Full text

Abstract:

Cette thèse présente trois contributions qui ont pour objectif d'améliorer l'utilité des solveurs SMT comme backends pour les assistants de preuve. Les solveurs SMT sont des outils de démonstration automatique de théorèmes qui intègrent le raisonnement propositionnel avec des théories. Un assistant de preuve est un logiciel qui permet aux utilisateurs d'écrire des preuves vérifiées formellement. Pour aider l'utilisateur, les assistants de preuve proposent certaines automatisations utilisant des outils de démonstration automatiques. Les assistants de preuve n'acceptent généralement que les preu

APA, Harvard, Vancouver, ISO, and other styles

2

Payette, Tommy. "Multi-Prover and parallel repetition in non-classical interactive games." Thèse, 2009. http://hdl.handle.net/1866/3547.

Full text

Abstract:

Depuis l’introduction de la mécanique quantique, plusieurs mystères de la nature ont trouvé leurs explications. De plus en plus, les concepts de la mécanique quantique se sont entremêlés avec d’autres de la théorie de la complexité du calcul. De nouvelles idées et solutions ont été découvertes et élaborées dans le but de résoudre ces problèmes informatiques. En particulier, la mécanique quantique a secoué plusieurs preuves de sécurité de protocoles classiques. Dans ce m´emoire, nous faisons un étalage de résultats récents de l’implication de la mécanique quantique sur la complexité du calcul,

APA, Harvard, Vancouver, ISO, and other styles

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!