Výsledky vyhledávání - "Systèmes de types"

Dissertation/ Thesis

Linear logic, type assignment systems and implicit computational complexity

Autor: De Benedetti, Erika

La complexité implicite (ICC) vise à donner des caractérisations de classes de complexité dans des langages de programmation ou des logiques, sans faire référence à des bornes sur les ressources (temps, espace mémoire). Dans cette thèse, nou

Externí odkaz: http://www.theses.fr/2015ENSL0981/document

Zobrazit plný text záznamu

Logique linéaire, systèmes de types et complexité implicite

Autor: de Benedetti, Erika

Publikováno v: Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Universita degli studi (Turin, Italie), 2015. English. ⟨NNT : 2015ENSL0981⟩
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON; Università degli studi (Torino, Italia), 2015. English. ⟨NNT : 2015ENSL0981⟩

In this thesis we explore the linear logic approach to implicit computational complexity, through the design of type assignment systems based on light linear logic, or heavily inspired by them, with the purpose of giving a characterization of one or

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c3fff6eb119522cbb2a9e830461de263
https://theses.hal.science/tel-01123737/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Réalisabilité et paramétricité dans les systèmes de types purs

Autor: Lasson, Marc

Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d’un langage

Externí odkaz: http://www.theses.fr/2012ENSL0764/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Etude sur le typage de l'égalité dans les systèmes de types

Autor: Siles, Vincent

Le travail présenté dans cette thèse concerne l'étude de la notion de conversion inhérente à tous système de types dépendants. Plusieurs présentations de ces systèmes ont été étudiées pour des usages variés: typage, recherche de preuve

Externí odkaz: http://pastel.archives-ouvertes.fr/pastel-00556578
http://pastel.archives-ouvertes.fr/docs/00/55/65/78/PDF/these.pdf

Zobrazit plný text záznamu

DÉVELOPPEMENT DE NOUVELLES STRUCTURES ET D'ALGORITHMES APPLIQUANT L'ÉCHANTILLONNAGE ALÉATOIRE POUR DES SYSTÈMES DE TYPES RADIO LOGICIELLE ET RADIO COGNITIVE

Autor: Semlali, Hayat

Publikováno v: Sciences de l'ingénieur [physics]. UNIVERSITE DE NANTES, 2015. Français

Ces travaux ont été développés dans le cadre d'une co-tutelle de thèse avec l’Université Cadi Ayyad de Marrakech - Maroc.; In this work we apply random sampling in the context of software radio and cognitive radio. The use of random sampling

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::294bb51f048fed6111640d2e39afd6ca
https://hal.archives-ouvertes.fr/tel-01230573/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Coercions effaçables : une approche unifiée des systèmes de types

Autor: Cretin, Julien

Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau. Bien qu'ils aient des stratégies de réduction et des caractéristiques de système de types différentes, leur preuve de co

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00940511
http://tel.archives-ouvertes.fr/docs/00/94/05/11/PDF/manuscript-final.pdf

Zobrazit plný text záznamu

Multi-représentation d'une ontologie : OWL, bases de données, systèmes de types et d'objets

Autor: Arnoux, Mireille, Despeyroux, Thierry

Publikováno v: Journées Francophones sur les Ontologies
Journées Francophones sur les Ontologies, Dec 2009, Poitiers, France

Due to the emergence of the semantic Web and the increasing need to formalize human knowledge, ontologie engineering is now an important activity. But is this activity very different from other ones like software engineering, for example ? In this pa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=arXiv_dedup_::8d2f5283bb173c1fef26f72be959d7cb
https://inria.hal.science/inria-00586069

Zobrazit plný text záznamu

Dissertation/ Thesis

Etude par la Théorie de la Fonctionnelle de la Densité des propriétés électroniques et magnétiques de complexes de fer. Application aux systèmes de types Catalase et Fer-Soufre

Autor: Orio, Maylis

Ce travail de thèse s'articule selon deux axes principaux et vise à modéliser, au moyen de la Théorie de la Fonctionnelle de la Densité (DFT), des grandeurs spectroscopiques (Mössbauer, RPE et magnétisme) mesurées pour des systèmes bioinorga

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00178652
http://tel.archives-ouvertes.fr/docs/00/17/86/52/PDF/these_pg_finale.pdf

Zobrazit plný text záznamu

Etude par la Théorie de la Fonctionnelle de la Densité des propriétés électroniques et magnétiques de complexes de fer. Application aux systèmes de types Catalase et Fer-Soufre

Autor: Maylis Orio

Publikováno v: HAL
Autre. Université Joseph-Fourier-Grenoble I, 2007. Français
Autre. Université Joseph-Fourier-Grenoble I, 2007. Français. ⟨NNT : ⟩

This PhD work is divided into two parts and aims at modeling some spectroscopic quantities (Mössbauer, EPR and magnetism) measured in iron containing bioinorganic systems with Density Functional Theory (DFT). The first part of this work deals with t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c551ea03cb4db3087d1fe2a15ecf1dbc
https://tel.archives-ouvertes.fr/tel-00178652

Zobrazit plný text záznamu

Semántica dinámica de cálculos de sustituciones explícitas a distancia

Autor: Barenbaum, Pablo

Publikováno v: Logic in Computer Science [cs.LO]. Universidad de Buenos Aires, 2020. English

Explicit substitution calculi are variants of the lambda-calculus in which the operation of substitution is not defined at the metalanguage level, but rather implemented by means of rewriting rules. Our main object of study is a particular explicit s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::370566e8093d4871ab7652509649e4ba
https://hal.archives-ouvertes.fr/tel-03415346

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání