Thematische Bibliographien / Synthèse de preuves

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Synthèse de preuves“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Zuletzt aktualisiert am 31. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Synthèse de preuves" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Synthèse de preuves"

MARQUILLIER, T., C.-A. KHAU, and J. BOUIX. "LA REVUE PARAPLUIE COMME SYNTHESE DES CONNAISSANCES : UNE METHODE RECENTE EN EVOLUTION." EXERCER 31, no. 167 (2020): 417–24. http://dx.doi.org/10.56746/exercer.2020.167.417.

Der volle Inhalt der Quelle

Annotation:

Le nombre croissant de revues systématiques publiées, la divergence de résultats qui oppose certaines études et la nécessité de disposer de preuves rapidement ont fait émerger le besoin d’une nouvelle synthèse d’ensemble des connaissances. La revue parapluie (ou umbrella review) est une forme de revue systématique qui compile les preuves d’autres revues systématiques. L’objectif de l’article était d’expliciter les apports de la revue parapluie en recherche médicale. Si la méthode de la revue parapluie n’est pas encore stabilisée, le Joanna Briggs Institute (JBI) propose des éléments essentiels

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Stevenson, Andrew C., Anne-Sophie Brazeau, Kaberi Dasgupta, and Nancy A. Ross. "Synthèse des données probantes - Accès aux points de vente d’aliments au détail de proximité, alimentation et indice de masse corporelle au Canada : revue systématique." Promotion de la santé et prévention des maladies chroniques au Canada 39, no. 10 (2019): 285–307. http://dx.doi.org/10.24095/hpcdp.39.10.01f.

Der volle Inhalt der Quelle

Annotation:

Introduction On s’intéresse de plus en plus au rôle de l’environnement alimentaire dans l’alimentation sous-optimale, le surpoids et l’obésité. Cette revue analyse les données probantes sur le lien entre l’environnement de la vente alimentaire au détail, la qualité de l’alimentation et l’indice de masse corporelle (IMC) au sein de la population canadienne. Méthodologie Nous avons réalisé une recherche systématique par mot-clé dans deux bases de données bibliométriques. Nous avons calculé les proportions d’associations concluantes pour chaque résultat et exposition d’intérêt. Nous avons comparé

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bezard, Erwan, and Benjamin Dehay. "Maladie de Parkinson." médecine/sciences 38, no. 1 (2022): 45–51. http://dx.doi.org/10.1051/medsci/2021241.

Der volle Inhalt der Quelle

Annotation:

La vaste majorité des maladies neurodégénératives sont associées à une accumulation de protéines non dégradées et agrégées. On appelle ainsi ces maladies, protéinopathies. Les synucléinopathies en sont une des composantes, en particulier la maladie de Parkinson. Les caractéristiques neuropathologiques de la maladie de Parkinson comprennent la perte progressive de neurones dopaminergiques du mésencéphale et la formation d’agrégats protéiques, constitués notamment de la protéine a-synucléine. Des preuves expérimentales suggèrent que dans des conditions pathologiques, cette protéine, normalement

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Morrier, Jean-Jacques. "Leucomes et traitement orthodontique. Prévention, traitement." L'Orthodontie Française 85, no. 3 (2014): 235–44. http://dx.doi.org/10.1051/orthodfr/2014016.

Der volle Inhalt der Quelle

Annotation:

Les lésions opaques blanches (leucomes) ou white spots observés autour des attachements orthodontiques constituent une complication assez fréquente observée au cours des traitements orthodontiques fixes. En effet, les attaches orthodontiques et les résines de collage sont des facteurs de rétention du biofilm dentaire, à l’origine de ces lésions. La prise en charge des leucomes comprend la prévention des phénomènes de déminéralisation, les méthodes de reminéralisation des lésions existantes et les techniques de restauration. Elle commence par le respect d’une hygiène bucco-dentaire rigoureuse e

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Larrieu, P., F. Olivier, and A. Hanrot. "Intérêt de l’adjonction de l’hormone thyroïdienne triiodotyronine (T3) aux antidépresseurs dans le traitement de la dépression : revue de la littérature." European Psychiatry 28, S2 (2013): 100. http://dx.doi.org/10.1016/j.eurpsy.2013.09.266.

Der volle Inhalt der Quelle

Annotation:

Depuis près d’un demi-siècle, un grand nombre d’études scientifiques ont permis d’approfondir les connaissances sur les liens existant entre anomalies de la concentration des hormones thyroïdiennes et les maladies psychiatriques. Aujourd’hui, il est démontré chez l’animal que l’administration de tri-iodothyronine (T3) augmente les taux cérébraux de sérotonine et qu’un état d’hypothyroïdie est associé à une diminution de la synthèse sérotoninergique. Chez l’Homme, il existe des preuves indirectes qu’une hypothyroïdie entraîne une hyposérotoninergie cérébrale, corrigée par traitement hormonal su

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Christopher, Brock, Geier Uwe, Greiner Ramona, Olbrich-Majer Michael, and Fritz Jürgen. "Recherche en agriculture et alimentation biodynamique – une synthèse." Open Agriculture 2019, no. 4 (2019): 743–57. https://doi.org/10.5281/zenodo.5812629.

Der volle Inhalt der Quelle

Annotation:

La recherche sur l'alimentation et l'agriculture biodynamiques a une longue histoire au sein du mouvement biodynamique. Alors que l'objectif fondamental de cette recherche a toujours été de fournir des connaissances permettant de poursuivre le développement de cette approche agricole, l'intérêt s'est récemment accru pour le partage des travaux et des résultats de recherche avec la communauté scientifique mondiale. Après une introduction à l'agriculture biodynamiq

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Daoust, Jean-Philippe É., Lisa M. Najavits, Issack Biyong, Catherine Juéry, and Summer Krause. "Trauma et usage problématique de substances chez les jeunes : synthèse des travaux de recherche sur le programme Seeking Safety et projet pilote." Drogues, santé et société 13, no. 2 (2015): 109–29. http://dx.doi.org/10.7202/1032275ar.

Der volle Inhalt der Quelle

Annotation:

Cet article porte sur le trouble concomitant état de stress post-traumatique (ÉSPT) et trouble lié à l’utilisation d’une substance (TUS) ; une réalité clinique fréquemment retrouvée chez les adultes où les traitements intégrés sont à privilégier comme modalité d’intervention. Parmi ceux-ci, le programme Seeking Safety (SS) est le plus validé empiriquement. Les preuves de son efficacité sont maintenant solides chez l’adulte et il est le seul traitement à surpasser le traitement contrôle pour l’ÉSPT et le TUS. Les travaux sur la version française sont aussi encourageants. Les jeunes, quant à eux

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Allaire, Jean-François, Paul Morin, Chantal Doré, Shelley-Rose Hyppolite, Marie Suzanne Badji, and Hervé Tchala Vignon Zomahou. "Integrated Community Care Delivered by Public Health-Care and Social-Care Systems: Results from a Realist Synthesis." International Journal of Integrated Care 24 (February 16, 2024): 11. http://dx.doi.org/10.5334/ijic.7042.

Der volle Inhalt der Quelle

Annotation:

Introduction: Integrated community care (ICC) is defined as an interweaving of health-care and social-care interventions deployed in spatial and relational proximity using an interdisciplinary and cross-sectoral approach. Consideration of territory scale and time scale are at the center of ICC practices. Its deployment in public health and social care networks (HSCN) can be complex due to their broad mandate, the complexity of their management, and accountability. Therefore, we aimed to describe ICC delivered by public HSCN to determine how, why, for whom, and in what circumstances ICC works a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gotto, Geoffrey T., Kourosh Afshar, Arash Eftekhari, and Andrew E. MacNeily. "Peer-reviewed publications by CUA members: then and now." Canadian Urological Association Journal 4, no. 6 (2013): 385. http://dx.doi.org/10.5489/cuaj.950.

Der volle Inhalt der Quelle

Annotation:

Objective: The objective of this study was to assess the characteristicsof publications by members of the Canadian UrologicalAssociation (CUA) over a 10-year period.Methods: All publications by active CUA members during the periodsJanuary 1993-December 1994 and January 2003-December2004 were reviewed.Results: Of the 487 active members in 1993-1994, 130 (26.7%)were authors a total of 649 times in 641 publications. Externalfunding was acknowledged in 195 (30.4%). There were 131observational studies (20.4%), 127 review articles (19.8%), 58case reports (9.0%), 37 case series (5.8%), and 21 randomi

APA, Harvard, Vancouver, ISO und andere Zitierweisen

HANSEN, ANITA BERIT, and CAROLINE JUILLARD. "La phonologie parisienne à trente ans d'intervalle – Les voyelles à double timbre." Journal of French Language Studies 21, no. 3 (2010): 313–59. http://dx.doi.org/10.1017/s0959269510000347.

Der volle Inhalt der Quelle

Annotation:

En français parisien, on parle depuis quelques décennies déjà d'un changement affectant le système des voyelles dites ‘à double timbre’. Ces voyelles comptent quatre paires (/e/-/ɛ/ comme dans parlé-parlait, /ø/-/œ/ comme dans jeûne-jeune, /o/-/ɔ/ comme dans saute-sotte et /ɑ/-/a/ comme dans mâle-mal). La différence interne dans chaque paire peut s'exprimer comme une distance physique plus ou moins grande sur le lieu d'articulation, les autres traits restant constants (différence d'aperture pour les trois premières, différence en termes de postériorisation de la racine de la langue vers le pha

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Synthèse de preuves"

Potet, Marie-Laure. "Preuves et stratégies pour la synthèse déductive de programmes." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00329935.

Der volle Inhalt der Quelle

Annotation:

Présentation d'une approche déductive basée sur l'instantiation progressive de schémas de programmes fonctionnels. Un système formel de preuve est décrit dans lequel le lien entre schémas de programmes et schémas de propriétés est exhibe. La complétude relative et la correction de ce système sont prouvées notamment pour les fonctions partiellement définies. Des stratégies, guidées par l'utilisateur, sont ensuite proposées qui permettent de caractériser les propriétés nécessaires, propres à chaque schema, en termes de recherche de préconditions

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Vanzetto, Hernán. "Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+." Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0208/document.

Der volle Inhalt der Quelle

Annotation:

Cette thèse présente des techniques efficaces pour déléguer des obligations de preuves TLA+ dans des démonstrateurs automatiques basées sur la logique du premier ordre non-sortée et multi-sortée. TLA+ est un langage formel pour la spécification et vérification des systèmes concurrents et distribués. Sa partie non-temporelle basée sur une variante de la théorie des ensembles Zermelo-Fraenkel permet de définir des structures de données. Le système de preuves TLAPS pour TLA+ est un environnement de preuve interactif dans lequel les utilisateurs peuvent vérifier de manière déductive des propriétés

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Vanzetto, Hernán. "Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+." Electronic Thesis or Diss., Université de Lorraine, 2014. http://www.theses.fr/2014LORR0208.

Der volle Inhalt der Quelle

Annotation:

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Özgün, Aybüke. "Evidence in Epistemic Logic : A Topological Perspective." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0200/document.

Der volle Inhalt der Quelle

Annotation:

Cette thèse de doctorat est une investigation des logiques de la connaissance, de la croyance et de la dynamique d'information, en utilisant des outils de topologie et logique épistémique (dynamique). La partie I concerne les interprétations fondées sur des preuves de croyances justifiées et connaissance. Commencer par une interprétation topologique des connaissances désormais standard en tant qu'opérateur intérieur, nous développons, de manière progressive, un cadre qui (1) peut parler de preuves non seulement sémantiquement, mais aussi le niveau syntaxique, rendant ainsi la notion de preuve

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wilson, Têtê Norbert. "Impact of physical activity on return to work after cancer diagnosis : an evidence-based approach." Electronic Thesis or Diss., Angers, 2023. http://www.theses.fr/2023ANGE0063.

Der volle Inhalt der Quelle

Annotation:

L'activité physique (AP) est l'un des principaux programmes de soins de support recommandés par plusieurs directives pour améliorer les effets secondaires du cancer chez les survivants du cancer, à cause des preuves de son efficacité sur ces issues de santé. Cependant, les preuves de l'efficacité de l'AP sur le retour au travail (RAT) chez les survivants du cancer restent limitées et inconnues. De plus, on ne sait pas si les recommandations d’AP issues des directives existantes sont applicables au RAT après un diagnostic de cancer. L'objectif de cette thèse était d'évaluer les effets des progr

APA, Harvard, Vancouver, ISO und andere Zitierweisen

MULLER, SERGE. "Preuves de theoremes inductifs et synthese de programmes recursifs." Nice, 1996. http://www.theses.fr/1996NICE5014.

Der volle Inhalt der Quelle

Annotation:

Le sujet de cette these concerne l'automatisation des preuves inductives de specifications et de la synthese de programmes recursifs. Plus precisement, nous avons focalise nos travaux sur les preuves de formules de la forme pour tout x, il existe y tel que phi(x,y) dans le modele initial d'un systeme equationnel. Ces formules representent des specifications de problemes. La difficulte d'une telle approche provient du fait que de telles preuves necessitent en general plus qu'un simple raisonnement equationnel et ont recours a des raisonnements inductifs. Elles sont de plus rarement automatiques

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Özgün, Aybüke. "Evidence in Epistemic Logic : A Topological Perspective." Electronic Thesis or Diss., Université de Lorraine, 2017. http://www.theses.fr/2017LORR0200.

Der volle Inhalt der Quelle

Annotation:

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Manoury, Pascal, and Marianne Simonot. "Des preuves de totalite de fonctions comme synthese de programmes." Paris 7, 1992. http://www.theses.fr/1992PA077262.

Der volle Inhalt der Quelle

Annotation:

Les travaux de theorie de la demonstration axes sur le lambda-calcul type nous donnent la possibilite de construire des systemes de synthese de programmes a partir de preuves formelles de specifications. L'interet des systemes developpes dans ce contexte est que les programmes qui y sont obtenus sont corrects. Les auteurs de cette these utilisent un systeme de lambda-calcul type dans lequel, pour obtenir un programme qui calcule une fonction, il suffit de prouver que celle-ci est totale sur son domaine. Apres avoir presente le cadre general dans lequel ils travaillent (la theorie de types recu

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Potet, Marie-Laure. "Preuves et stratégies pour la synthèse déductive de programmes." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb376176703.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Potet, Marie-Laure Jacquet Paul. "Preuves et stratégies pour la synthèse déductive de programmes." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00329935.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Bücher zum Thema "Synthèse de preuves"

MANARAH, S. HAMSAH. Je Suis le Messie Attendu, l'Avatar de Synthèse, voici les Preuves. MANDAROM, 1992.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Synthèse de preuves"

FAGES, François, and Franck MOLINA. "La cellule, un calculateur analogique chimique." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch7.

Der volle Inhalt der Quelle

Annotation:

La thèse de Church-Turing énonce qu’il n’y a qu’une seule notion universelle de calcul mécaniste, qui donc, d’une façon ou d’une autre, doit permettre de réconcilier le traitement de l’information en informatique et en biologie cellulaire. La preuve récente de Turing-complétude des réseaux de réactions chimiques continus sur un nombre fini d’espèces moléculaires, fournit les bases d’une telle réconciliation, sans construction artificielle, avec des capacités à la fois d’analyse des programmes chimiques naturels dans les cellules vivantes, et de synthèse de programmes chimiques artificiels dans

APA, Harvard, Vancouver, ISO und andere Zitierweisen

El Oufir, Saloua. "Le discours de l’altérité ou l’épreuve de l’ailleurs: Le cas des voyageurs marocains en Europe (XIXe–XXe)." In Passages francophones du Maghreb et transfert culturel. Stockholm University Press, 2025. https://doi.org/10.16993/bcs.b.

Der volle Inhalt der Quelle

Annotation:

Le présent chapitre se propose d’aborder la notion de « transfert culturel » dans les récits de trois voyageurs marocains (al-faqîh as-Saffâr, Idrîs al-’Amrâwî, Mohammad al-Hajwî) dépêchés par le pouvoir central en Europe durant le XIXe et l’aube du XXe siècles. Retraçant des missions accomplies par des voyageurs officiels qui n’ont point choisi leur destination, ces « relations sultaniennes » constituent un témoignage inédit sur l’évolution de la perception de l’autre dans l’imaginaire social marocain. Ces récits éclairent également une dynamique de « transfert culturel » dans le sens d’une t

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Synthèse de preuves"

Ponta, Radu Tudor. "Entre les lignes ou de bouche à l'oreille. Le Corbusier en roumain." In LC2015 - Le Corbusier, 50 years later. Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.770.

Der volle Inhalt der Quelle

Annotation:

Résumé: L'article construit l'image de l'auteur de livres Le Corbusier inversée dans le miroir de la culture architecturale roumaine telle que ces éclats permettent de le voir dans une littérature professionnelle qui semble l'avoir obstinément évité. Ainsi la version roumaine de l'auteur Le Corbusier sera le résultat de l'adition de trois images partielles: celle que forme la réflexion des idées corbuséennes dans les œuvres écrites des architectes modernes roumains de l'entre-deux-guerres; celle que propose l'anthologie de textes écrits par Le Corbusier, traduits et édités par Marcel Melicson

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Synthèse de preuves"

Andersson, Göran, and Daniel Meierhans. Synthèse thématique «Réseaux d’énergie» du PNR «Energie». Swiss National Science Foundation (SNSF), 2019. http://dx.doi.org/10.46446/publication_pnr70_pnr71.2019.2.fr.

Der volle Inhalt der Quelle

Annotation:

Les réseaux énergétiques de la Suisse sont fiables et stables, mais ils sont aussi confrontés à des défis inédits. L’un d’entre eux tient au fait que les nouvelles sources d’énergie renouvelables – installations photovoltaïques et éoliennes – produisent de l’électricité de manière irrégulière. Le réseau énergétique doit par conséquent faire preuve de plus de flexibilité : du côté de l’offre avec des solutions de stockage de l’électricité et de la chaleur et du côté de la demande avec une gestion automatisée de la charge. Par ailleurs, le potentiel de synergie entre les différentes sources d’én

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!