Relevant bibliographies by topics / Relational calculi / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Relational calculi.

Dissertations / Theses on the topic 'Relational calculi'

Author: Grafiati
Published: 4 June 2021
Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Relational calculi.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Zhou, Y. "A graphical calculus : extension, implication and application." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365370.

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

Roocks, Patrick [Verfasser], and Bernhard [Akademischer Betreuer] Möller. "Relational and Algebraic Calculi for Database Preferences / Patrick Roocks. Betreuer: Bernhard Möller." Augsburg : Universität Augsburg, 2016. http://d-nb.info/1112465863/34.

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

Yang, Liqun. "Logical relation categories and lambda calculi." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9876.

Full text
Abstract:
An aspect of programming languages is the study of the operational semantics, which, in the case of a lambda calculus, is based on a directed form of equational reasoning called reduction. In computer science terminology, reduction may be regarded as a form of symbolic evaluation. It models a sequential computation process step by step. The crucial properties for a rewriting system are confluence, also called the Church-Rosser property and termination, the (Strong) normalization property, respectively. These are studied in depth in Chapter 2 and 6. The problem whether all $\lambda$-terms satis
APA, Harvard, Vancouver, ISO, and other styles
4

Inants, Armen. "Qualitative calculi with heterogeneous universes." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAMO10/document.

Full text
Abstract:
Représentation et raisonnement qualitatifs fonctionnent avec des relations non-numériques entre les objets d'un univers. Les formalismes généraux développés dans ce domaine sont basés sur différents types d'algèbres de relations, comme les algèbres de Tarski. Tous ces formalismes, qui sont appelés des calculs qualitatifs, partagent l'hypothèse implicite que l'univers est homogène, c'est-à-dire qu'il se compose d'objets de même nature. Toutefois, les objets de différents types peuvent aussi entretenir des relations. L'état de l'art du raisonnement qualitatif ne permet pas de combiner les calcul
APA, Harvard, Vancouver, ISO, and other styles
5

Diepenveen, Emily. "Relational models of the lambda calculus." Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/27679.

Full text
Abstract:
In [7], Ehrhard et al. present a model of the untyped lambda calculus built from an object without enough points in a cartesian closed category MRel. This thesis presents the background needed to construct and understand this model. In particular we describe what it means for models to have enough points and exhibit connections between MRel with various categorical models of lambda calculus in the literature. In particular, we are able to relate the graph model to MRel. We also describe connections with various kinds of Kleisli categories arising from comonads and their associated theory.
APA, Harvard, Vancouver, ISO, and other styles
6

Legrand, Rémi. "Calcul relationnel et programmation en logique." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37607205b.

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

Legrand, Rémi. "Calcul relationnel et programmation en logique." Paris 6, 1987. http://www.theses.fr/1987PA066481.

Full text
Abstract:
Presentation d'un systeme de programmation en logique base sur le calcul relationnel: description du langage sans variable graal et son extension relationnelle grel; definition des relations; introduction des indeterminees, decomposees en inconnues et gelees dans la programmation fonctionnelle; presentation de prolog et de ses contraintes; construction du langage logique relog a partir de grel, a l'aide d'un orienteur
APA, Harvard, Vancouver, ISO, and other styles
8

Yemane, Kidane. "Relations in Models of Calculi and Logics with Names." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6245.

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

Ruoppolo, Domenico. "Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus". Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCD069/document.

Full text
Abstract:
La thèse contribue à l’étude du λ-calcul non-typé de Church, un système de réécriture dont la règle principale est la β-réduction (formalisant l’exécution d’un programme). Nous nous concentrons sur la sémantique dénotationnelle, l’étude de modèles du λ-calcul interprétant de la même façon les λ-termes β-convertibles. On examine la sémantique relationnelle, une sémantique sensible aux ressources qui interprète les λ-termes comme des relations avec les entrées regroupées en multi-ensembles. Nous définissons une classe de modèles relationnels, les modèles de graphe relationnels (rgm’s), que nous
APA, Harvard, Vancouver, ISO, and other styles
10

Jason, Ludovic. "Relation endommagement perméabilité pour les bétons : application aux calculs de structures." Nantes, 2004. http://www.theses.fr/2004NANT2078.

Full text
Abstract:
Connaître la relation entre la dégradation du béton et sa perméabilité est un objectif central pour évaluer les conséquences d'un chargement mécanique sur l'étanchéité de structures sensibles comme les enceintes de confinement de centrales nucléaires. Une loi de comportement mécanique prenant en compte l'endommagement et la plasticité du matériau et s'appuyant sur la théorie des milieux continus est tout d'abord développée. Le modèle, validé sur des tests élémentaires, structurels et préindustriel s'appuie sur des outils numériquement robustes (opérateur tangent cohérent). Une loi reliant le d
APA, Harvard, Vancouver, ISO, and other styles
11

LUSTOSA, CECILIA REIS ENGLANDER. "ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2014. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24302@1.

Full text
Abstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>Segerberg apresentou uma prova geral da completude para lógicas proposicionais. Para tal, um sistema de dedução foi definido de forma que suas regras sejam regras para um operador booleano arbitrário para uma dada lógica proposicional. Cada regra desse sistema corresponde a uma linha na tabela de verdade desse operador. Na primeira parte desse trabalho, mostramos uma extensão da ideia de Segerberg para lógicas proposicionais finito-valoradas e para lógicas não-determinísticas.
APA, Harvard, Vancouver, ISO, and other styles
12

Lacroix, Zoé. "Bases de données : des relations implicites aux relations contraintes." Paris 11, 1996. http://www.theses.fr/1996PA112264.

Full text
Abstract:
Le modele relationnel presente des limites dues, d'une part, au pouvoir d'expression du calcul relationnel, et, d'autre part, a la representation des donnees. Nous proposons des generalisations du modele relationnel dans ces deux directions. Nous definissons de nouveaux langages de requetes (logiques implicites, etc. ) permettant, notamment, de definir des requetes non-deterministes. Nous analysons la complexite de ces requetes et etudions les differents niveaux de non-determinisme, tant pour les definitions que pour les calculs. En particulier, nous montrons que les requetes deterministes def
APA, Harvard, Vancouver, ISO, and other styles
13

Dogui, Ayman. "Modélisation explicite de l'adaptation sémantique entre modèles de calcul." Thesis, Supélec, 2013. http://www.theses.fr/2013SUPL0030/document.

Full text
Abstract:
Ce travail traite de la modélisation de systèmes complexes constitués de plusieurs composants impliquant des domaines techniques différents. Il se place dans le contexte de la modélisation hétérogène hiérarchique, selon l’approche à base de modèles de calcul. Chaque composant faisant appel à un domaine technique particulier, son comportement peut être modélisé selon un paradigme de modélisation approprié, avec une sémantique différente de celle des autres composants. La modélisation du système global, qui intègre les modèles hétérogènes de ces composants, nécessite donc une adaptation sémantiq
APA, Harvard, Vancouver, ISO, and other styles
14

Hu, Yueyun. "Sur le mouvement brownien : calculs de lois ; etudes asymptotiques ; filtrations ; relations avec certaines equations paraboliques." Paris 6, 1996. http://www.theses.fr/1996PA066201.

Full text
Abstract:
Cette these est composee de quatre chapitres. Le premier chapitre consiste en l'etude de certaines fonctionnelles du mouvement brownien et du processus de bessel, a savoir: l'extension de la formule de l'aire de levy a quelques fonctionnelles de processus de bessel recurrents ; le temps d'occupation et l'infimum futur d'un mouvement brownien plan ; les longueurs des excursions du mouvement brownien et de processus de bessel recurrent. Dans le deuxieme chapitre, nous etudions quelques filtrations telles que: la filtration de goswami-rao ; la filtration engendree par la partie negative d'un mouv
APA, Harvard, Vancouver, ISO, and other styles
15

Cretin, Dominique. "Relations structure-propriété : calcul de pressions de vapeur et de seuils olfactifs de composés odorants." Lyon 1, 1996. http://www.theses.fr/1996LYO10060.

Full text
Abstract:
Le premier chapitre decrit les etapes necessaires pour etablir des relations structure-activite ou structure-propriete. Dans le deuxieme chapitre, la methode #0#,#5mam basee sur le vecteur d'autocorrelation surface s (calcule a partir des surfaces de bondi) a ete utilisee pour estimer les pressions de vapeur pv a 25c. Elle a ete appliquee avec de bons resultats a cinq echantillons de composes aliphatiques (142 alcanes, 114 alcenes, 44 alcools, 21 cetones, 12 ethers et 33 esters regroupes ensuite en un seul echantillon) et deux echantillons de composes aromatiques (34 alkybenzenes et 36 compose
APA, Harvard, Vancouver, ISO, and other styles
16

Mansouri, Baya. "Normes internationales élargies et dépassement du calcul de la valeur." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0101/document.

Full text
Abstract:
Dans le processus de la mondialisation, les États ont libéré les échanges et créé les marchés tantcommerciaux que financiers. Les entreprises désormais exposées à une concurrence au niveau dela planète excellent dans des innovations technologiques de production et de commercialisation,d’information et de communication. L’État, le marché-Échange et l’Entreprise cristallisent chacundans ce nouveau monde, une institution. L’existence de chacune implique l’existence des deuxautres. Cette triple implication forme une structure originale appelée ‘‘tiercéïté’’, dite les ‘‘3 E’’.La redéfinition de l’e
APA, Harvard, Vancouver, ISO, and other styles
17

Moussa, Béchir. "Etude de stabilité et relation fréquence." Montpellier 2, 1999. http://www.theses.fr/1999MON20064.

Full text
Abstract:
Le travail presente dans ce memoire concerne l'etude de la stabilite des systemes de tensegrite multicellulaires ainsi que la relation entre le niveau d'autocontrainte dans les elements et la premiere frequence du systeme. Un algorithme de calcul a ete concu afin de permettre d'associer les geometries stabilisees (recherche de forme) a l'etude de comportement sous chargements statique et dynamique. Dans ce programme la resolution de l'equation de mouvement est obtenue par utilisation de la methode d'integration implicite de newmark, associee a la methode de newton-raphson pour la resolution de
APA, Harvard, Vancouver, ISO, and other styles
18

Gerard, Ulysse. "Computing with relations, functions, and bindings." Thesis, Institut polytechnique de Paris, 2019. http://www.theses.fr/2019IPPAX005.

Full text
Abstract:
Cette thèse s'inscrit dans la longue tradition de l'étude des relations entre logique mathématique et calcul et plus spécifiquement de la programmation déclarative. Le document est divisé en deux contributions principales. Chacune d'entre-elles utilise des résultats récents de la théorie de la démonstration pour développer de techniques novatrices utilisant déduction logique et fonctions pour effectuer des calculs. La première contribution de ce travail consiste en la description et la formalisation d'une nouvelle technique utilisant le mécanisme de la focalisation (un moyen de guider la reche
APA, Harvard, Vancouver, ISO, and other styles
19

Dogui, Ayman, and Ayman Dogui. "Modélisation explicite de l'adaptation sémantique entre modèles de calcul." Phd thesis, Supélec, 2013. http://tel.archives-ouvertes.fr/tel-00995072.

Full text
Abstract:
Ce travail traite de la modélisation de systèmes complexes constitués de plusieurs composants impliquant des domaines techniques différents. Il se place dans le contexte de la modélisation hétérogène hiérarchique, selon l'approche à base de modèles de calcul. Chaque composant faisant appel à un domaine technique particulier, son comportement peut être modélisé selon un paradigme de modélisation approprié, avec une sémantique différente de celle des autres composants. La modélisation du système global, qui intègre les modèles hétérogènes de ces composants, nécessite donc une adaptation sémantiq
APA, Harvard, Vancouver, ISO, and other styles
20

Parret-Fréaud, Augustin. "Estimation d'erreur de discrétisation dans les calculs par décomposition de domaine." Thesis, Cachan, Ecole normale supérieure, 2011. http://www.theses.fr/2011DENS0022/document.

Full text
Abstract:
Le contrôle de la qualité des calculs de structure suscite un intérêt croissant dans les processus de conception et de certification. Il repose sur l'utilisation d'estimateurs d'erreur, dont la mise en pratique entraîne un sur-coût numérique souvent prohibitif sur des calculs de grande taille. Le présent travail propose une nouvelle procédure permettant l'obtention d'une estimation garantie de l'erreur de discrétisation dans le cadre de problèmes linéaires élastiques résolus au moyen d'approches par décomposition de domaine. La méthode repose sur l'extension du concept d'erreur en relation de
APA, Harvard, Vancouver, ISO, and other styles
21

Latu, Guillaume. "Algorithmique parallèle et calcul haute performance dédiés à la simulation d'un système hôte-macroparasite." Bordeaux 1, 2002. http://www.theses.fr/2002BOR12632.

Full text
Abstract:
Ce travail contribue à un modèle déterministe discret d'un système hôte-macroparasite et propose un modèle stochastique équivalent. Une application du modèle consiste en l'étude quantitative du système Bar-Diplectanum Aequans à l'aide de deux simulateurs parallèles. Une étude algorithmique détaillée est donnée pour le simulateur déterministe. L'extensibilité de très bonne qualité est évaluée théoriquement et testée. Une utilisation optimisée des mémoires caches permet d'atteindre 60 % de la puissance crête au coeur des calculs. Les temps d'exécution sont réduits et la précision des calculs amé
APA, Harvard, Vancouver, ISO, and other styles
22

Dorneles, Caroline Lacerda. "Adição, subtração e cálculo relacional : uma intervenção com alunos do PROEJA FIC/ensino fundamental." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/69936.

Full text
Abstract:
O presente trabalho tem como objetivo verificar o papel do ensino na aprendizagem da relação inversa entre adição e subtração e se o cálculo relacional pode ajudar no entendimento dessa relação inversa. Os objetivos específicos são: verificar diferenças na compreensão da relação inversa entre adição e subtração antes e após intervenção; e identificar, após a intervenção, as influências do entendimento do cálculo relacional na compreensão da relação inversa. A proposta caracterizou-se por uma pesquisa-intervenção com abordagem qualiquantitativa, realizada com alunos do PROEJA FIC do Instituto F
APA, Harvard, Vancouver, ISO, and other styles
23

Cuissart, Bertrand. "Plus grande structure commune à deux graphes : méthode de calcul et intérêt dans un contexte SAR." Caen, 2004. http://www.theses.fr/2004CAEN2043.

Full text
Abstract:
Notre travail est une contribution à la résolution de problèmes de classification supervisée dans le domaine de l'informatique chimique, les problèmes SAR. Ces problèmes, destinés à construire des modèles reliant les structures chimiques avec une activité physico-chimique ou biologique, portent sur des objets, les molécules, modélisés par des graphes. Dans ce cadre, nous étudions le plus grand sous-graphe commun à deux graphes comme moyen de description des molécules. Nous commençons par présenter un algorithme permettant de déterminer un plus grand sous-graphe commun à deux graphes, les sous-
APA, Harvard, Vancouver, ISO, and other styles
24

Laloum, Eric. "Classification de calculs biliaires et urinaires à partir de spectres vibrationnels et de critères morphologiques : relation avec des données cliniques." Châtenay-Malabry, Ecole centrale de Paris, 1998. http://www.theses.fr/1998ECAP0591.

Full text
Abstract:
La lithiase est une complication fréquente de la cristallisation au sein des liquides sursaturés de l'organisme que sont la bile et l'urine. La prévention de la maladie repose sur une meilleure connaissance de la lithogenèse ; et l'analyse des calculs y joue un rôle majeur à double titre : au niveau thérapeutique, pour orienter me traitement médical de la lithiase et ainsi éviter la récidive, et au niveau épidémiologique, pour identifier les facteurs de risque associes aux divers types de calculs. Plusieurs centaines de calculs biliaires et urinaires de porteurs de diverses ethnies (France, Ma
APA, Harvard, Vancouver, ISO, and other styles
25

Terwait, Abdallah. "Le calcul des Rd (Relations de discours) : approche sémantico-pragmatique et cognitive de la causalité en rapport avec la temporalité." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUL176.

Full text
Abstract:
Cette thèse se propose d’aborder la question de la causalité dans une perspective formelle inspirée du cadre de la SDRT (Segmented Discourse Representation Theory). Elle prête en particulier attention aux expressions paratactiques de la relation de causalité. Cette approche nous paraît intéressante et féconde par l’approche formaliste qu’elle met en œuvre, son objet étant particulièrement labile. L’analyse, dans ce travail, est notamment centrée sur l’expression linguistique des relations causales. L’approche adoptée, pour mener à bien les traitements, est dans une large mesure de nature séman
APA, Harvard, Vancouver, ISO, and other styles
26

Parret-fréaud, Augustin. "Estimation d'erreur de discrétisation dans les calculs par décomposition de domaine." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2011. http://tel.archives-ouvertes.fr/tel-00846069.

Full text
Abstract:
Le contrôle de la qualité des calculs de structure suscite un intérêt croissant dans les processus de conception et de certification. Il repose sur l'utilisation d'estimateurs d'erreur, dont la mise en pratique entraîne un sur-coût numérique souvent prohibitif sur des calculs de grande taille. Le présent travail propose une nouvelle procédure permettant l'obtention d'une estimation garantie de l'erreur de discrétisation dans le cadre de problèmes linéaires élastiques résolus au moyen d'approches par décomposition de domaine. La méthode repose sur l'extension du concept d'erreur en relation de
APA, Harvard, Vancouver, ISO, and other styles
27

Lasson, Marc. "Réalisabilité et paramétricité dans les systèmes de types purs." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00770669.

Full text
Abstract:
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 de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de
APA, Harvard, Vancouver, ISO, and other styles
28

Waeytens, Julien. "Contrôle des calculs en dynamique : bornes strictes et pertinentes sur une quantité d'intérêt." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00561476.

Full text
Abstract:
Dans l'industrie, l'objectif est de remplacer certains essais expérimentaux très coûteux par des simulations numériques. Cependant, peut-on faire confiance à la simulation numérique? C'est l'objet de la thématique de recherche appelée "vérification". Elle a pour but d'estimer l'erreur commise entre la solution du modèle mathématique et celle fournie par un modèle numérique. De plus, pour le dimensionnement de structures, l'ingénieur requiert que cet estimateur d'erreur soit garanti, c'est à dire qu'il majore l'erreur réelle, et qu'il soit pertinent, c'est à dire qu'il soit proche de l'erreur r
APA, Harvard, Vancouver, ISO, and other styles
29

Rabahi, Tahar. "Étude des relations entre stimuli cognitifs et la motricité relative à un geste complexe." Thesis, Lyon 1, 2014. http://www.theses.fr/2014LYO10023/document.

Full text
Abstract:
Plusieurs travaux ont montré que les aires cortico-motrices, localisées dans le cortex frontal et responsables des mouvements volontaires, pouvaient être impliquées dans le processus de compréhension de mots d'action. De ce point de vue, il a été rapporté que la performance d'un acte moteur simple (e.g.: attraper un objet) pouvait être améliorée par la prononciation, la lecture ou l'écoute de mots évoquant une action. Nous avons approché la relation entre parole et action à travers l'étude de l'effet de verbes d'action ainsi que d'autres stimuli cognitifs, l'imagerie kinesthésique (IK) et la s
APA, Harvard, Vancouver, ISO, and other styles
30

Augier, Sébastien. "Apprentissage Supervisé Relationnel par Algorithmes d'Évolution." Phd thesis, Université Paris Sud - Paris XI, 2000. http://tel.archives-ouvertes.fr/tel-00947322.

Full text
Abstract:
Cette thèse concerne l'apprentissage de règles relationnelles à partir d'exemples et de contre-exemples, à l'aide d'algorithmes évolutionnaires. Nous étudions tout d'abord un biais de langage offrant une expressivité suffisamment riche pour permettre de couvrir à la fois le cadre de l'apprentissage relationnel par interprétations et les formalismes propositionnels classiques. Bien que le coût de l'induction soit caractérisé par la complexité NP-difficile du test de subsomption pour cette classe de langages, une solution capable de traiter en pratique les problèmes réels complexes est proposée.
APA, Harvard, Vancouver, ISO, and other styles
31

Jaber, Ghaleb. "Le langage pascal/relationnel : un langage de programmation de bases de donnees." Toulouse 3, 1987. http://www.theses.fr/1987TOU30222.

Full text
Abstract:
Presentation du langage pascal/relationnel construit a partir de pascal par adjonction de constructions venant du domaine des bases de donnees ainsi que la conception et l'implantation du traducteur du langage. Les instructions relationnelles sont inspirees du calcul des predicats et permettent les operations classiques offertes par les systemes de gestion de bases de donnees relationnelles
APA, Harvard, Vancouver, ISO, and other styles
32

Rmou, Abdelaziz. "Calcul numérique des coefficients d'ionisation par impact dans Ga1-xAlxSb (0<- x <- 0,08) : Relation avec la structure de bandes." Montpellier 2, 1994. http://www.theses.fr/1994MON20089.

Full text
Abstract:
Ce travail presente le calcul numerique des probabilites d'ionisation par impact dans ga#1#-#xal#xsb(0x,,08) et donne une estimation des coefficients d'ionisation. Ce travail a permis: de calculer la variation des coefficients d'ionisation des trous et des electrons en fonction du champ electrique et de la composition en aluminium dans ga#1#-#xal#xsb. De mettre en evidence l'existence d'un maximum du coefficient d'ionisation de trous pour une composition x non nulle. Ce maximum a pour origine la decroissance de la densite d'etats permis pour l'ionisation avec la composition, d'une part, et l'a
APA, Harvard, Vancouver, ISO, and other styles
33

Steinhaus, Sebastian. "Constructing quantum spacetime : relation to classical gravity." Phd thesis, Universität Potsdam, 2014. http://opus.kobv.de/ubp/volltexte/2015/7255/.

Full text
Abstract:
Despite remarkable progress made in the past century, which has revolutionized our understanding of the universe, there are numerous open questions left in theoretical physics. Particularly important is the fact that the theories describing the fundamental interactions of nature are incompatible. Einstein's theory of general relative describes gravity as a dynamical spacetime, which is curved by matter and whose curvature determines the motion of matter. On the other hand we have quantum field theory, in form of the standard model of particle physics, where particles interact via the remaining
APA, Harvard, Vancouver, ISO, and other styles
34

Latourte, Felix. "IDENTIFICATION DES PARAMETRES D'UNE LOI ELASTOPLASTIQUE DE PRAGER ET CALCUL DE CHAMPS DE CONTRAINTE DANS DES MATERIAUX HETEROGENES." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2007. http://tel.archives-ouvertes.fr/tel-00214302.

Full text
Abstract:
Cette Thèse porte sur l'identification de comportements élastoplastiques ou élastiques hétérogènes à partir de mesures de champs cinématiques au moyen de fonctionnelles de type erreur en relation de comportement (ERC). Ce travail fait suite aux travaux de G. Geymonat, S. Pagano et F. Hild sur l'identification de propriétés élastiques par approche variationnelle. La méthode d'identification est exposée puis appliquée à diverses situations mécaniques, pour des données simulées ou issues d'expérimentations.<br />Les applications présentées concernent l'identification de propriétés élastiques hété
APA, Harvard, Vancouver, ISO, and other styles
35

Orange, Sébastien. "Calcul de corps de décomposition : utilisations fines d' ensembles de permutations en théorie de Galois effective." Paris 6, 2006. http://www.theses.fr/2006PA066307.

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

Bellec, Jérémie. "Prise en compte de la variabilité dans le calcul de structures avec contact." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2008. http://tel.archives-ouvertes.fr/tel-00472143.

Full text
Abstract:
aL'objectif de ce travail est la représentation et la propagation de variabilités dues aux incertitudes dans lescalculs d'assemblages complexes. Nous avons donc commencé par distinguer les différents types de paramètresvariables à modéliser et par répertorier un certain nombre de moyens permettant d'obtenir des informationsstatistiques sur ceux-ci. Nous avons ensuite fait une étude bibliographique des différentes méthodes de calculpermettant de traiter ces incertitudes avec une attention particulière pour les méthodes probabilistes dites nonintrusives que nous avons testé sur un exemple simple
APA, Harvard, Vancouver, ISO, and other styles
37

Rasi, Gislaine Carvalho. "Estruturas multiplicativas: concepções de alunos de ensino fundamental." Pontifícia Universidade Católica de São Paulo, 2009. https://tede2.pucsp.br/handle/handle/11386.

Full text
Abstract:
Made available in DSpace on 2016-04-27T16:58:53Z (GMT). No. of bitstreams: 1 Gislaine Carvalho Rasi.pdf: 1747233 bytes, checksum: 4f40765a8bbdc3c1992a7e8627987590 (MD5) Previous issue date: 2009-05-28<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This research comprehends the multiplicative structures and its objective is to investigate the conceptions the seventh grade students put in motion when they establish ternary relations and the relational calculus. We especially search to verify how these students deal with the multiplicative relations which involve notions of t
APA, Harvard, Vancouver, ISO, and other styles
38

Neiger, Vincent. "Bases of relations in one or several variables : fast algorithms and applications." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSEN052.

Full text
Abstract:
Dans cette thèse, nous étudions des algorithmes pour un problème de recherche de relations à une ou plusieurs variables. Il généralise celui de calculer une solution à un système d’équations linéaires modulaires sur un anneau de polynômes, et inclut par exemple le calcul d’approximants de Hermite-Padé ou d’interpolants bivariés. Plutôt qu’une seule solution, nous nous attacherons à calculer un ensemble de générateurs possédant de bonnes propriétés. Précisément, l’entrée de notre problème consiste en un module de dimension finie spécifié par l’action des variables sur ses éléments, et en un cer
APA, Harvard, Vancouver, ISO, and other styles
39

Pled, Florent. "Vers une stratégie robuste et efficace pour le contrôle des calculs par éléments finis en ingénierie mécanique." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2012. http://tel.archives-ouvertes.fr/tel-00776633.

Full text
Abstract:
Ce travail de recherche vise à contribuer au développement de nouveaux outils d'estimation d'erreur globale et locale en ingénierie mécanique. Les estimateurs d'erreur globale étudiés reposent sur le concept d'erreur en relation de comportement à travers des techniques spécifiques de construction de champs admissibles, assurant l'aspect conservatif ou garanti de l'estimation. Une nouvelle méthode de construction de champs admissibles est mise en place et comparée à deux autres méthodes concurrentes, en matière de précision, coût de calcul et facilité d'implémentation dans les codes éléments fi
APA, Harvard, Vancouver, ISO, and other styles
40

Vergu, Cristian. "Twisters, cordes et théories de jauge supersymétriques." Paris 6, 2008. http://www.theses.fr/2008PA066258.

Full text
Abstract:
Cette thèse a pour but l'étude des amplitudes de diffusion dans des théories conformes à quatre dimensions et, plus particulièrement la théorie de jauge {N}=4 supersymétrique. On étudie cette théorie premièrement au niveau des arbres en utilisant des techniques twistorielles et nous rappelons les modèles de cordes twistorielles qui ont été proposées pour la décrire. Dans la deuxième partie on traite les relations d'itération et les ansatze pour la forme des amplitudes à tous les ordres. On rappelle la méthode d'unitarité pour les calculs des amplitudes et on discute la dualité entre amplitudes
APA, Harvard, Vancouver, ISO, and other styles
41

Thai, Hoang phuong. "Sur l'utilisation de l'analyse isogéométrique en mécanique linéaire ou non-linéaire des structures : certification des calculs et couplage avec la réduction de modèle PGD." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLN017/document.

Full text
Abstract:
Le sujet de la thèse porte sur la mise en place d’approches numériques avancées pour la simulation et l’optimisation de structures mécaniques présentant une géométrie complexe. Il se focalise sur l’analyse isogéométrique (IGA) qui a reçu beaucoup d’intérêt cette dernière décennie dû à sa grande flexibilité, précision, et robustesse dans de nombreux contextes industriels comparé à la méthode des éléments finis (FEA) classique. En particulier, la technologie IGA fournit un lien direct avec les logiciels de CAO (les mêmes fonctions sont utilisées pour la représentation de la géométrie et l’analys
APA, Harvard, Vancouver, ISO, and other styles
42

Mégret, Claire. "Détermination par des calculs DFT de la relation entre énergies de liaison H-C et M-C : Vers une évaluation du contrôle thermodynamique de la sélectivité d'activation C-H." Montpellier 2, 2004. http://www.theses.fr/2004MON20061.

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

Morlot, Thomas. "La gestion dynamique des relations hauteur-débit des stations d'hydrométrie et le calcul des incertitudes associées : un indicateur de gestion, de qualité et de suivi des points de mesure." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENU029/document.

Full text
Abstract:
Pour répondre à trois enjeux principaux que sont la sûreté des installations, le respect d'exigences règlementaires et l'optimisation des moyens de production, EDF-DTG a développé un réseau d'observations qui comprend les paramètres climatiques tels que la température de l'air, les précipitations et l'enneigement, mais aussi le débit des rivières. Les données collectées permettent la surveillance en « temps réel » des cours d'eau ainsi que la réalisation d'études hydrologiques quantitatives ou de dimensionnement qui nécessitent de disposer de séries patrimoniales de références. Assurer la qual
APA, Harvard, Vancouver, ISO, and other styles
44

Blasiak, Pawel Piotr. "Combinatorics of boson normal ordering and some applications." Paris 6, 2005. http://www.theses.fr/2005PA066185.

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

Vollery, Luc. "Les relations entre rapports et réunions en droit successoral : l'article 527 chiffre 1 du Code civil et le principe de la comptabilisation des rapports dans la masse de calcul des réserves /." Fribourg, Suisse : Éd. Univ, 1994. http://www.gbv.de/dms/spk/sbb/recht/toc/27195373X.pdf.

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

Maisonneuve, Vivien. "Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants." Thesis, Paris, ENMP, 2015. http://www.theses.fr/2015ENMP0007/document.

Full text
Abstract:
Un logiciel critique est un logiciel dont le mauvais fonctionnement peut avoir un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.L'ingénierie logicielle pour les systèmes critiques est particulièrement difficile et combine différentes méthodes pour garantir la qualité des logiciels produits.Parmi celles-ci, les méthodes formelles peuvent être utilisées pour prouver qu'un logiciel respecte ses spécifications.Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes critiques, et plus particulièrem
APA, Harvard, Vancouver, ISO, and other styles
47

Moalla, Borhane. "Approximants de Padé, polynômes orthogonaux (cas matriciel)." Rouen, 1995. http://www.theses.fr/1995ROUES052.

Full text
Abstract:
Ce travail est consacré aux approximants de Padé. On commence par une amélioration du calcul des coefficients des polynômes orthogonaux par rapport à une fonctionnelle linéaire quelconque en utilisant la méthode Cestac de J. Vignes. On étend les notions d'approximants de Padé en deux points des séries formelles aux séries de fonctions. On étend également la méthode de C. Brezinski, pour l'estimation de l'erreur des approximants de Padé en un point dans le cas normal, au cas non normal et au cas des approximants de Padé en deux points. On étudie la stabilité et la convergence des formules de qu
APA, Harvard, Vancouver, ISO, and other styles
48

Leperchey, Benjamin. "Sur la notion d'observation en sémantique." Phd thesis, Université Paris-Diderot - Paris VII, 2005. http://tel.archives-ouvertes.fr/tel-00102637.

Full text
Abstract:
Cette thèse présente différentes notions d'observation en sémantique, et quelques résultats sur leurs relations. Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle. Dans une première partie, nous présentons les liens entre cette notion et la définissabilité relative, en prenant les exemples de PCF unaire, de PCF finitaire et du modèle fortement stable de PCF, en étendant des travaux de Bucciarelli, Malacaria et Longley.<br />La partie suivante est consacrée à l'étude de la notion d'observation da
APA, Harvard, Vancouver, ISO, and other styles
49

Touré, Ibrahima. "Calculs d'épaisseurs optiques : Évaluation des flux de diverses composantes au sol du rayonnement solaire, application capteur plan classique et capteur à renforcement de flux incident." Nancy 1, 1987. http://www.theses.fr/1987NAN10320.

Full text
Abstract:
Étude de l'estimation des flux du rayonnement solaire à partir de paramètres météorologiques et géophysiques faciles à évaluer, dans les conditions de la zone sahélienne de l'Afrique de l'ouest. Un nouveau capteur dénommé "bac solaire muni de réflecteurs" est proposé pour surmonter le handicap du faible échauffement du capteur plan classique en début de matinée, et permettant d'obtenir une température de 100**(O)C avant 10 heures
APA, Harvard, Vancouver, ISO, and other styles
50

Delarue, Patrice. "Évolution structurale en fonction de la température de monocristaux de solutions solides K XRB 1 XTIOPO 4, 0 X 1 ; corrélation avec leurs susceptibilités électriques du second et du troisième ordre." Nancy 1, 1999. http://www.theses.fr/1999NAN10177.

Full text
Abstract:
L'étude structurale de ktiopo 4 (ktp), rbtiopo 4, k 0. 8 8rb 0. 1 2tiopo 4 et k 0. 4 6 5rb 0. 5 3 5tiopo 4 en fonction de la température (293 - 973 k) est obtenue par diffraction de rayon x à haute résolution sur monocristal. L'utilisation et la discussion de deux modèles structuraux différents permettent de décrire précisément l'évolution des sites alcalins et ainsi de visualiser le chemin ionique dans les propriétés de conduction de ces composes. De plus, dans les solutions solides, la répartition préférentielle de l'ion rubidium sur les deux sites cristallographiques indépendants (phénomène
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Relational calculi' for other source types:
Journal articles Books
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