Výsledky vyhledávání - "développement de Taylor"

Contribution aux méthodes SPH pour simuler l'amortissement d'un train de vagues dans une structure poreuse

Autor: Ramos Ortega, Melissa

Publikováno v: Mécanique des fluides [physics.class-ph]. Université de Poitiers, 2021. Français. ⟨NNT : 2021POIT2276⟩

The passage of ships in waterways generate shipwaves which modify the flow regime of the canal. They affect the riverbanks, suspend material and modify the morphology of the bed. The energy transmitted by the shipwaves into the riverbanks is dissipat

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

Zobrazit plný text záznamu

Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul

Autor: Olimpieri, Federico

Publikováno v: Mathematics [math]. Aix-Marseille Université, 2020. English. ⟨NNT : ⟩

This thesis studies the notion of approximation in lambda-calculus from differentperspectives.Ehrhard and Regnier introduced the Taylor expansion of lambda-terms: onecan see a lambda-term as an infinite formal sum of its linear approximants. Another

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6aa433e836f993b884fc227c4e247e65
https://theses.hal.science/tel-03123485

Zobrazit plný text záznamu

Intersection Types and Resource Calculi in the Denotational Semantics of Lambda-Calculus

Autor: Olimpieri, Federico

Publikováno v: Mathematics [math]. Aix-Marseille Université, 2020. English

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14fe7553e74ca1d4d89ef3115fdbadd0
https://theses.hal.science/tel-03123485

Zobrazit plný text záznamu

A geometry of calculus

Autor: Chouquet, Jules

Publikováno v: Logique en informatique [cs.LO]. Université de Paris, 2019. Français

This Phd thesis presents a quantitative study of various computation modelsof fundamental computer science and proof theory, in two principad directions :the first consists in the examination of mecanismis of multilinear approximationsin systems rela

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1398::d1b04444da10013416880d9f91f48732
https://hal.archives-ouvertes.fr/tel-02404100v2/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Modèles réduits pour des analyses paramètriques du flambement de structures : application à la fabrication additive

Autor: Doan, Van Tu

Le développement de la fabrication additive permet d'élaborer des pièces de forme extrêmement complexes, en particulier des structures alvéolaires ou "lattices", où l'allégement est recherché. Toutefois, cette technologie, en très forte croi

Externí odkaz: http://www.theses.fr/2018VALE0017/document

Zobrazit plný text záznamu

Reduced order models for multiparametric analyses of buckling problems : application to additive manufacturing

Autor: Doan, van Tu

Publikováno v: Structural mechanics [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambresis, 2018. English. ⟨NNT : 2018VALE0017⟩

The development of additive manufacturing allows structures with highly complex shapes to be produced. Complex lattice shapes are particularly interesting in the context of lightweight structures. However, although the use of this technology is growi

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

Zobrazit plný text záznamu

Dissertation/ Thesis

Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets

Autor: Solieri, Marco

Des sémantiques élégantes et des implémentations eﬃcaces des langages de programmation fonctionnels peuvent être décrits par les mêmes structures mathématiques, notamment dans la correspondance Curry-Howard, où le programmes, les types et

Externí odkaz: http://www.theses.fr/2016USPCD015/document

Zobrazit plný text záznamu

Partage, superposition et développement : Etudes géométriques sur la sémantique et l'implémentation de lambda-calculs et de réseaux de preuves

Autor: Solieri, Marco

Elegant semantics and eﬃcient implementations of functional programming languages can both be described by the very same mathematical structures, most prominently with in the Curry-Howard correspondence, where programs, types and execution respecti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::ec62d4ac39f2b1f5f0221bb01ebbc13c
https://theses.hal.science/tel-01771499

Zobrazit plný text záznamu

STAP à rang réduit, récursif en distance et utilisant un développement de Taylor

Autor: Sophie Beau, Sylvie Marcos

Publikováno v: Traitement du Signal
Traitement du Signal, Lavoisier, 2011, 28 (1-2), pp.171-201. ⟨10.3166/TS.28.171-201⟩

Dans cet article, on teste et on compare, sur des signaux fournis par la Direction Générale de l'Armement Maîtrise de l'Information (DGA/MI), des algorithmes de traitement adaptatif spatio-temporel (STAP) récemment développés par les auteurs po

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1a7ddf65f74f228c4bca4911914b0e0
https://doi.org/10.3166/ts.28.171-201

Zobrazit plný text záznamu

Dissertation/ Thesis

Une étude combinatoire du lambda-calcul avec ressources uniforme

Autor: Midez, Jean baptiste

Le lambda-calcul avec ressources est une variante du lambda-calcul fondée sur la linéarité : les lambda-termes avec ressources sont aux lambda-termes ce que sont les polynômes aux fonctions réelles, c'est à dire des approximations multi-linéai

Externí odkaz: http://www.theses.fr/2014AIXM4093/document

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání