Thematische Bibliographien / Synthèse de preuves / Dissertationen
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Synthèse de preuves.

Dissertationen 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 Top-18 Dissertationen für die Forschung 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.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

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
2

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
3

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:
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
4

Özgün, Aybü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
5

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
6

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
7

Özgün, Aybü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:
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
8

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
9

Potet, Marie-Laure. "Preuves et stratégies pour la synthèse dé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
10

Potet, Marie-Laure Jacquet Paul. "Preuves et stratégies pour la synthèse déductive de programmes." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00329935.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Parent, Catherine. "Synthese de preuves de programmes dans le calcul des constructions inductives." Lyon, École normale supérieure (sciences), 1995. http://www.theses.fr/1995ENSL0002.

Der volle Inhalt der Quelle
Annotation:
Cette these s'interesse au probleme de la certification de programmes fonctionnels. Nous etudions une approche tres particuliere. Il est bien connu qu'une preuve mathematique constructive d'une formule affirmant l'existence d'un objet satisfaisant une certaine propriete peut s'interpreter comme une methode effective de construction de l'objet. Dans cette approche, la specification du programme est representee par une formule logique et developper le programme correspond a prouver cette formule. Il existe differentes methodes pour extraire de la preuve mathematique la partie calculatoire qui re
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Bsaïes, Khaled. "Construction de programmes logiques par synthèse de propriétés." Nancy 1, 1993. http://www.theses.fr/1993NAN10295.

Der volle Inhalt der Quelle
Annotation:
Ce travail a pour propos la synthèse de propriétés de programmes logiques pour la transformation par pliage et dépliage. L'objectif général est l'amélioration de l'efficacité des programmes logiques par application des transformations. Le domaine de notre étude est celui des méthodes de développement formel de programmes. L'expérience et l'étude rigoureuse d'exemples montrent que les transformations par pliage et dépliage ne suffisent pas pour obtenir de manière systématique des programmes plus efficaces: il est utile de disposer et d'appliquer des propriétés qui sont des formules logiques par
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Al, Yaman Khaled. "Nouvelle génération de bolaamphiphiles pour la libération prolongée de principes actifs : conception, synthèse et validation de preuve de concept." Electronic Thesis or Diss., Bordeaux, 2025. http://www.theses.fr/2025BORD0057.

Der volle Inhalt der Quelle
Annotation:
L'efficacité des liposomes en tant que nanovecteurs est grandement compromise par leurs problèmes de stabilité. L'objectif de ce travail est de développer des liposomes à libération prolongée de nouvelle génération pour une diffusion passive des principes actif. L'utilisation de bolaamphiphiles en tant qu'éléments de formulation peut offrir des perspectives intéressantes pour la conception de liposomes stables: les bolasomes. Cependant, l'une des principales limitations des molécules de type bola est leur propension à former des membranes planes non adaptées à la délivrance de principes actifs
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Sicard, Pascal. "Nouvelles méthodes de synthèse logique." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00327269.

Der volle Inhalt der Quelle
Annotation:
Recherche de nouvelles méthodes de synthèse logique sur différentes cibles technologiques: PLA détaillé libre et PLD de type PAL. Une méthode originale de minimisation deux couches d'un ensemble de fonctions booléennes sur une cible de type PLA libre est étudiée. Une méthode de synthèse sur les réseaux programmables de type PAL, dont les dimensions et les structures sont figées, est aussi proposée
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Kessaci, Kamel. "Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0007.

Der volle Inhalt der Quelle
Annotation:
Avec la complexité croissante des circuits VLSI, la recherche de méthodes formelles de conception de circuits devient nécessaire pour atteindre l'objectif de circuits zéro-défaut dans les délais escomptés. Dans le cadre des circuits digitaux synchrones, nous proposons une méthodologie de conception de circuits descendante par transformations de programmes. La transformation de programmes consiste à dériver une réalisation à partir de sa spécification comportementale de haut niveau. La synthèse de circuits par transformations de programmes qualifie ce processus de réalisation. Pour cela, nous a
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

CORNES, CRISTINA. "Conception d'un langage de haut niveau de representation de preuves : recurrence par filtrage de motifs unification en presence de types inductifs primitifs synthese de lemmes d'inversion." Paris 7, 1997. http://www.theses.fr/1997PA077193.

Der volle Inhalt der Quelle
Annotation:
Les systemes de preuves bases sur les theories des types offrent un cadre uniforme qui permet de programmer, specifier et prouver. L'utilisateur dispose d'un langage de programmation, d'un langage de specification et d'outils qui l'aident a raisonner formellement sur son programme. Dans le but de rapprocher dans ces systemes la syntaxe des definitions de fonctions de celle des mathematiques et des langages de programmation a la ml, nous etudions les preuves de terminaison de fonctions recursives definies equationnellement. A partir de la methode de synthese de preuves proposee par gilles dowek
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Créquit, Perrine. "Méta-analyse en réseau cumulative et dynamique." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCB085.

Der volle Inhalt der Quelle
Annotation:
Les revues systématiques sont des outils indispensables à la synthèse des connaissances en évaluation thérapeutique. Il est désormais fréquent que plusieurs traitements soient disponibles pour une même indication. L’objectif des patients et des cliniciens est alors de savoir quels sont, parmi l’ensemble des traitements disponibles, le(s) meilleur(s). Compte tenu de la nécessité de synthétiser les données disponibles pour tous les traitements et de maintenir cette synthèse à jour, notre objectif était d’évaluer les limites du système actuel de synthèse et de développer une méthodologie alternat
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Preuße, Friedrich-Alexander [Verfasser]. "Mutationen im PTS-Gen und mögliche Auswirkungen auf Funktion und Struktur der 6-Pyruvoyl-Tetrahydropterin-Synthase / vorgelegt von Friedrich-Alexander Preuße." 2001. http://d-nb.info/972779612/34.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Synthèse de preuves" für andere Quellenarten können Sie auch interessieren:
Zeitschriftenartikel
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!

Zur Bibliographie