Relevant bibliographies by topics / Interopérabilité des systèmes de preuve

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Interopérabilité des systèmes de preuve'

Author: Grafiati
Published: 26 October 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 'Interopérabilité des systèmes de preuve.'

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 "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

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

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

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

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

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

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

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

Dissertations / Theses on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

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

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

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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

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

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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

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

Book chapters on the topic "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.

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

Full text
Abstract:
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, and other styles
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.

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

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Interopérabilité des systèmes de preuve' for particular source types:
Journal articles Dissertations / Theses
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