Gotowe bibliografie tematyczne / Interopérabilité des systèmes de preuve

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Części książek
  4. Streszczenia konferencji

Gotowa bibliografia na temat „Interopérabilité des systèmes de preuve”

Autor: Grafiati
Data publikacji: 26 października 2024
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Interopérabilité des systèmes de preuve”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Interopérabilité des systèmes de preuve"

1

Maroye, Laurence. "Interopérabilité des systèmes de management et automatisation." I2D - Information, données & documents 53, no. 4 (2016): 52. http://dx.doi.org/10.3917/i2d.164.0052.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Baïna, Salah, Hervé Panetto, and Khalid Benali. "Apport de l'approche MDA pour une interopérabilité sémantique Interopérabilité des systèmes d'information d'entreprise." Ingénierie des systèmes d'information 11, no. 3 (2006): 11–29. http://dx.doi.org/10.3166/isi.11.3.11-29.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Hudon, Michèle. "ISO 25964 : pour le développement, la gestion et l’interopérabilité des langages documentaires." Documentation et bibliothèques 58, no. 3 (2015): 130–40. http://dx.doi.org/10.7202/1028903ar.

Pełny tekst źródła
Streszczenie:
Description du contexte au sein duquel la norme ISO 25964 Thésaurus et interopérabilité avec les autres vocabulaires a été conçue et élaborée. Présentation de la structure de la norme. Évocation de l’impact potentiel de cette norme sur l’interopérabilité sémantique des systèmes et sur la recherche d’information.
Style APA, Harvard, Vancouver, ISO itp.
4

Jost, Clémence. "Open data, open source et interopérabilité : les « éco » systèmes." Archimag N° 76, Hors série (2024): 22–23. http://dx.doi.org/10.3917/arma.hs76.0022.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Mônaco, Gustavo Ferraz de Campos. "LE PRINCIPE DE LA TOLÉRANCE COMME CONTOUR DE L’ORDRE PUBLIC: LA CIRCULATION DES MODÈLES FAMILIAUX AU BRÉSIL." PANORAMA OF BRAZILIAN LAW 4, no. 5-6 (2018): 36–55. http://dx.doi.org/10.17768/pbl.v4i5-6.34426.

Pełny tekst źródła
Streszczenie:
L'applicabilité d'une loi étrangère dans les relations familiales - dans laquelle les différences entre les normes de deux systèmes juridiques sont en preuve en raison des aspects culturels et sociologiques - génère place pour la discussion sur les limites et les valeurs de l’ordre publique comme une exception. Dans ce contexte, la tolérance apparaît comme un outil pertinent pour une compréhension plus profonde du principe de l’ordre publique.
Style APA, Harvard, Vancouver, ISO itp.
6

Mônaco, Gustavo Ferraz de Campos. "LE PRINCIPE DE LA TOLÉRANCE COMME CONTOUR DE L’ORDRE PUBLIC: LA CIRCULATION DES MODÈLES FAMILIAUX AU BRÉSIL." PANORAMA OF BRAZILIAN LAW 4, no. 5-6 (2018): 36–55. http://dx.doi.org/10.17768/pbl.v4i5-6.p36-55.

Pełny tekst źródła
Streszczenie:
L'applicabilité d'une loi étrangère dans les relations familiales - dans laquelle les différences entre les normes de deux systèmes juridiques sont en preuve en raison des aspects culturels et sociologiques - génère place pour la discussion sur les limites et les valeurs de l’ordre publique comme une exception. Dans ce contexte, la tolérance apparaît comme un outil pertinent pour une compréhension plus profonde du principe de l’ordre publique.
Style APA, Harvard, Vancouver, ISO itp.
7

Mônaco, Gustavo Ferraz de Campos. "LE PRINCIPE DE LA TOLÉRANCE COMME CONTOUR DE L’ORDRE PUBLIC: LA CIRCULATION DES MODÈLES FAMILIAUX AU BRÉSIL." PANORAMA OF BRAZILIAN LAW 4, no. 5-6 (2017): 36–55. http://dx.doi.org/10.17768/pbl.y4.n5-6.p36-55.

Pełny tekst źródła
Streszczenie:
L'applicabilité d'une loi étrangère dans les relations familiales - dans laquelle les différences entre les normes de deux systèmes juridiques sont en preuve en raison des aspects culturels et sociologiques - génère place pour la discussion sur les limites et les valeurs de l’ordre publique comme une exception. Dans ce contexte, la tolérance apparaît comme un outil pertinent pour une compréhension plus profonde du principe de l’ordre publique.
Style APA, Harvard, Vancouver, ISO itp.
8

Mônaco, Gustavo Ferraz de Campos. "LE PRINCIPE DE LA TOLÉRANCE COMME CONTOUR DE L’ORDRE PUBLIC: LA CIRCULATION DES MODÈLES FAMILIAUX AU BRÉSIL." PANORAMA OF BRAZILIAN LAW 4, no. 5-6 (2018): 36–55. http://dx.doi.org/10.17768/pbl.y4n5-6.p36-55.

Pełny tekst źródła
Streszczenie:
L'applicabilité d'une loi étrangère dans les relations familiales - dans laquelle les différences entre les normes de deux systèmes juridiques sont en preuve en raison des aspects culturels et sociologiques - génère place pour la discussion sur les limites et les valeurs de l’ordre publique comme une exception. Dans ce contexte, la tolérance apparaît comme un outil pertinent pour une compréhension plus profonde du principe de l’ordre publique.
Style APA, Harvard, Vancouver, ISO itp.
9

Gauthier, Y. "Sur la théorie des démonstrations." Articles 8, no. 2 (2007): 273–85. http://dx.doi.org/10.7202/203170ar.

Pełny tekst źródła
Streszczenie:
Résumé Le texte est consacré aux aspects essentiels de la théorie des démonstrations en logique mathématique et à ses ramifications contemporaines. La distinction établie par Kreisel entre théorie générale des démonstrations et théorie reductive des démonstrations est reprise et l'accent est mis sur la théorie reductive ou les sous-systèmes de l'analyse classique, en particulier l'induction transfinie. Le texte comporte une critique de la justification de l'induction transfinie de Takeuti et se termine par une liste des développements contemporains les plus significatifs en théorie de la preuv
Style APA, Harvard, Vancouver, ISO itp.
10

Marbach, Sophie. "S’inspirer du rein pour filtrer l’eau, ou comment réinventer la passoire." Reflets de la physique, no. 58 (June 2018): 20–24. http://dx.doi.org/10.1051/refdp/201858020.

Pełny tekst źródła
Streszczenie:
Fournir de l’eau potable à tous et à moindre prix est un défiauquel fait face l’humanité. Les techniques actuelles pour dessaler l’eau de mer reposent sur le principe de la « passoire » pour séparer le sel et les déchets de l’eau, mais cette approche connaît plusieurs limites. Nous nous sommes alors inspirés du rein humain, qui filtre l’urée de l’eau d’une façon radicalement différente : le secret réside dans sa géométrie en U qui sert d’échangeur salin. Après une preuve de concept, nous développons actuellement des systèmes inspirés du rein humain pour filtrer l’eau.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Interopérabilité des systèmes de preuve"

1

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065/document.

Pełny tekst źródła
Streszczenie:
Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i
Style APA, Harvard, Vancouver, ISO itp.
2

Grienenberger, Emilie. "Combining computational theories." Electronic Thesis or Diss., université Paris-Saclay, 2025. http://www.theses.fr/2025UPASG011.

Pełny tekst źródła
Streszczenie:
Les vérificateurs et assistants de preuve sont utilisés pour formaliser des théorèmes mathématiques et la vérification logicielle, notamment de systèmes critiques tels que des sytèmes médicaux, industriels ou de transport. La diversité des systèmes de preuves soulève la question de leur interopérabilité : comment revérifier ou réutiliser des preuves d'un système dans un autre ? Des cadres logiques tels que le lambdaPi-calcul modulo théorie procurent un formalisme commun dans lequel peuvent être exprimées divers systèmes logiques et théories mathématiques. Des outils de transformation de preuve
Style APA, Harvard, Vancouver, ISO itp.
3

Cauderlier, Raphaël. "Object-Oriented Mechanisms for Interoperability Between Proof Systems." Electronic Thesis or Diss., Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1065.

Pełny tekst źródła
Streszczenie:
Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'i
Style APA, Harvard, Vancouver, ISO itp.
4

Hondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.

Pełny tekst źródła
Streszczenie:
Le typage permet d'apporter de la sûreté dans la programmation, et il est utilisé au coeur de la majorité des systèmes de preuve. Plus un système de types est expressif, plus il est aisé d'y encoder des invariantsqui seront vérifiés mécaniquement lors du typage. Les types dépendants sont une extension des types simples dans laquelle les types peuvent dépendre de valeurs. Ils permettent par exemple de définir les vecteurs paramétrés par leur longueur. Le sous-typage par prédicat est une autre extension des types simples, dans laquelle les types peuvent être définis par des prédicats. Un sous-ty
Style APA, Harvard, Vancouver, ISO itp.
5

Felicissimo, Thiago. "Generic bidirectional typing in a logical framework for dependent type theories." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG049.

Pełny tekst źródła
Streszczenie:
Les théories des types dépendants sont des systèmes formels qui peuvent être utilisés à la fois comme langages de programmation et pour la formalisation des mathématiques, et constituent la base de plusieurs assistants de preuve tels que Coq et Agda. Afin d'unifier leur étude, les Logical Frameworks (LFs) fournissent un méta-langage unifié permettant de définir ces théories, dans lequel diverses notions universelles sont intégrées par défaut et où des méta-théorèmes génériques peuvent être prouvés. Cette thèse se concentre sur les LFs conçus pour être implémentés, avec pour objectif de fournir
Style APA, Harvard, Vancouver, ISO itp.
6

Besançon, Léo. "Interopérabilité des Systèmes Blockchains." Thesis, Lyon, 2021. https://tel.archives-ouvertes.fr/tel-03789639.

Pełny tekst źródła
Streszczenie:
La Blockchain est une technologie disruptive. Elle s'intègre dans un écosystème décentralisé d’applications aux propriétés intéressantes : la transparence des transactions, l’auditabilité des applications, ou encore la résistance à la censure. Les domaines d'application sont variés, de la finance à la santé ou au jeu vidéo. La technologie a évolué depuis sa création en 2008 et possède de nombreuses perspectives. Néanmoins, le domaine rencontre de nombreux défis. Chaque Blockchain utilisant ses propres standards et modèles économiques, il subit notamment un manque d’interopérabilité à différent
Style APA, Harvard, Vancouver, ISO itp.
7

Kirchner, Florent. "Systèmes de preuve interopérables." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00003192.

Pełny tekst źródła
Streszczenie:
Les developpements de specifications et des preuves formelles ont pris de l'ampleur durant les dernieres decennies, elabores au sein d'une diversite de canevas, de systemes et de communautes. Cependant l'heterogeneite de ces environnements gene quelques-unes des etapes fondamentales du processus de reflexion scientifique : le partage et la reutilisation des resultats. Cette dissertation propose une methode de distribution du meme developpement formel entre de divers systemes de preuve, augmentant ainsi eur interoperabilite. es chapitres 1 et 2 presentent le cadre logique qui est employe pour cent
Style APA, Harvard, Vancouver, ISO itp.
8

Seyrat, Claude. "L' interopérabilité dans les systèmes d'indexation multimédia." Paris 6, 2003. http://www.theses.fr/2003PA066307.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Nowak, David. "Spécification et preuve de systèmes réactifs." Rennes 1, 1999. http://www.theses.fr/1999REN10094.

Pełny tekst źródła
Streszczenie:
Ces dernieres annees, la verification des systemes informatiques critiques est devenue un sujet de recherche important en raison du developpement croissant de logiciels pour la medecine, les moyens de transports ou les centrales nucleaires. Dans ces domaines, une erreur de programmation peut couter tres cher financierement ou en vies humaines. Dans ce cadre, les informaticiens ont ete amenes a developper des langages dits synchrones dedies a la programmation des systemes reactifs. Un systeme reactif est un systeme qui reagit continument avec son environnement a un vitesse imposee par son envir
Style APA, Harvard, Vancouver, ISO itp.
10

Cuggia, Marc. "Interopérabilité des systèmes d'information en santé et aspects sémantiques." Rennes 1, 2008. http://www.theses.fr/2008REN1B116.

Pełny tekst źródła
Streszczenie:
L'interopérabilité des systèmes d'information en santé est un enjeu majeur, puisque ces systèmes sont hétérogènes tant sur leurs domaines de couvertures, leurs structures et leurs contenus. L'objectif de ce travail est d'explorer certains aspects de l'interopérabilité, en particulier sémantique. La thèse contient trois parties. (i) Un état des lieux des systèmes d'information en santé, ainsi que sur la place des normes et standards d'interopérabilité en santé. (ii) Une modélisation et mise en œuvre expérimentale d'un système d'information en santé pour un réseau de soins ville hôpitaux. (iii)
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Interopérabilité des systèmes de preuve"

1

LALANDE, Steffen, Abdelkrim BELOUED, and Odile FARGE. "La plateforme Okapi pour l’analyse et la publication de corpus de données audiovisuelles." In Corpus audiovisuels. Editions des archives contemporaines, 2022. http://dx.doi.org/10.17184/eac.5702.

Pełny tekst źródła
Streszczenie:
Résumé : Nous présentons dans cet article la plateforme web Okapi, un outil destiné aux communautés de chercheurs en SHS qui se positionne à la croisée des systèmes de gestion de contenus multimédias et des bases de connaissances. Okapi se distingue d’autres outils par sa très grande généricité, sa richesse fonctionnelle et son interopérabilité avec les détenteurs institutionnels d’archives multimédia et les bases de connaissances du Linked Open Data. Les différentes fonctionnalités de l’outil sont détaillées et illustrées à travers leurs usages au sein de différents projets de recherche et pl
Style APA, Harvard, Vancouver, ISO itp.
2

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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
3

BARBIER, Marc. "Erosion et sol-vivant en pays de caux." In Pratiques et savoirs agricoles dans la transition agroécologique. Editions des archives contemporaines, 2022. http://dx.doi.org/10.17184/eac.3056.

Pełny tekst źródła
Streszczenie:
Dans le cadre de l’appel à projet du CASDAR MCAE, les agriculteurs initiateurs de l’association Sol en Caux créée pour l’occasion ont construit un projet avec un ingénieur d’un service de Cerfrance Normandie Maine, l’ARAD2 (Atelier Régional d’Agronomie et de Développement Durable) pour travailler à l’adaptation des principes de l’agriculture de conservation sur les systèmes de production de leur propre exploitation, des systèmes exigeants car liés à des filières gouvernées par des normes de qualité et une maîtrise de rotations culturales incluant du lin et de la pomme de terre. Ce projet voula
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Interopérabilité des systèmes de preuve"

1

Mussat, L., and D. Sabatier. "Modélisation et preuve de sécurité des systèmes du transport ferroviaire." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56145.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Ait-Ameur, Yamine, Idir Ait-Sadoune, Jean-Marc Mota, and Mickael Baron. "Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve." In the 18th international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1132736.1132752.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Interopérabilité des systèmes de preuve” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii