Готові списки джерел за темами / Interopérabilité des systèmes de preuve

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Частини книг
  4. Тези доповідей конференцій

Добірка наукової літератури з теми "Interopérabilité des systèmes de preuve"

Автор: Grafiati
Опубліковано: 26 жовтня 2024
Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Interopérabilité des systèmes de preuve".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
9

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
Більше джерел

Дисертації з теми "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.

Повний текст джерела
Анотація:
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 та ін.
2

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

Повний текст джерела
Анотація:
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 та ін.
3

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

Повний текст джерела
Анотація:
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 та ін.
4

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
6

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

Повний текст джерела
Анотація:
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 та ін.
7

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

Повний текст джерела
Анотація:
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 та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Анотація:
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 та ін.
10

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

Повний текст джерела
Анотація:
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 та ін.
Більше джерел

Частини книг з теми "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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.

Тези доповідей конференцій з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Interopérabilité des systèmes de preuve" для конкретних типів джерел:
Статті в журналах Дисертації
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії