Bibliografie tematiche / Interopérabilité des systèmes de preuve

Indice

  1. Articoli di riviste
  2. Tesi
  3. Capitoli di libri
  4. Atti di convegni

Letteratura scientifica selezionata sul tema "Interopérabilité des systèmes de preuve"

Autore: Grafiati
Pubblicato: 26 ottobre 2024
Ultima modifica: 31 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Interopérabilité des systèmes de preuve".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Abstract (sommario):
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)
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Interopérabilité des systèmes de preuve":
Articoli di riviste Tesi
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia