Log in

Relevant bibliographies by topics / Calcul de points de fuite / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Calcul de points de fuite.

Dissertations / Theses on the topic 'Calcul de points de fuite'

Author: Grafiati

Published: 12 October 2024

Last updated: 31 July 2025

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

Select a source type:

Consult the top 48 dissertations / theses for your research on the topic 'Calcul de points de fuite.'

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

Elassam, Abdelkarim. "Learning-based vanishing point detection and its application to large-baseline image registration." Electronic Thesis or Diss., Université de Lorraine, 2024. http://www.theses.fr/2024LORR0084.

Full text

Abstract:

Cette thèse étudie la détection des points de fuite et de la ligne d'horizon ainsi que leur application à des tâches de localisation visuelle en environnement urbain. La localisation visuelle est un problème fondamental de vision par ordinateur qui vise à déterminer la position et l'orientation d'une caméra dans un environnement en se basant uniquement sur des informations visuelles. En environnements urbains et manufacturés, les points de fuite sont des repères visuels qui apportent des informations importantes sur la structure de la scène et leur détection est donc importante pour les tâches

APA, Harvard, Vancouver, ISO, and other styles

2

Riffaut, Antonin. "Calcul effectif de points spéciaux." Thesis, Bordeaux, 2018. http://www.theses.fr/2018BORD0100/document.

Full text

Abstract:

À partir du théorème d’André en 1998, qui est la première contribution non triviale à la conjecture de André-Oort sur les sous-variétés spéciales des variétés de Shimura, la principale problématique de cette thèse est d’étudier les propriétés diophantiennes des modules singuliers, en caractérisant les points de multiplication complexe (x; y) satisfaisant un type d’équation donné de la forme F(x; y) = 0, pour un polynôme irréductible F(X; Y ) à coefficients complexes. Plus spécifiquement, nous traitons deux équations impliquant des puissances de modules singuliers. D’une part, nous montrons que

APA, Harvard, Vancouver, ISO, and other styles

3

Audebaud, Christian-Philippe. "Extension du calcul des constructions par points fixes." Bordeaux 1, 1992. http://www.theses.fr/1992BOR10506.

Full text

Abstract:

S'appuyant sur la these definition recursive=construction par point fixe, constable et smith ont propose une extension de nuprl permettant de typer des termes construits par point fixe. Une analyse critique nous a conduit a en reprendre l'etude dans le calcul des constructions (cc), systeme mathematiquement plus elegant et syntaxiquement plus simple. L'introduction d'un constructeur de point fixe dans cc conduit a une extension, notee cc#+, conservative au-dessus de cc. La construction de schemas par point fixe doit respecter le predicat usuel de positivite. Aucune restriction au niveau des pr

APA, Harvard, Vancouver, ISO, and other styles

4

Lezama, José. "On grouping theory in dot patterns, with applications to perception theory and 3D inverse geometry." Thesis, Cachan, Ecole normale supérieure, 2015. http://www.theses.fr/2015DENS0009/document.

Full text

Abstract:

Cette thèse porte sur l'étude de deux modèles mathématiques pour une tâchevisuelle élémentaire: le regroupement perceptuel de points 2D. Le premier modèletraite la détection d'alignements de point perceptuellement relevant. Ledeuxième modèle étend ce cadre au cas plus général de la bonne continuation depoints. Dans les deux cas, les modèles proposés sont invariants au changementd'échelle, et non supervisés. Ils sont conçus pour être robustes au bruit,jusqu'au point où les structures à détecter deviennent mathématiquementimpossibles de distinguer du bruit. Les expériences presentées montrent un

APA, Harvard, Vancouver, ISO, and other styles

5

OKASSA, EUGENE. "Geometrie des points proches et applications." Toulouse 3, 1989. http://www.theses.fr/1989TOU30003.

Full text

Abstract:

On donne une caracterisation du prolongement des champs de vecteurs sur une variete des points proches. On determine le type d'algebres locales pour lesquel certaines relevees de formes symplectiques (respectivement pseudo-riemanniennes) sont symplectiques (respectivement pseudo-riemanniennes). On definit les prolongements d'algebres locales: ce qui permet de definir le complexe differentiel de lagrange sur une variete de points proches

APA, Harvard, Vancouver, ISO, and other styles

6

Dewaghe, Laurent. "Calcul du nombre de points sur une courbe elliptique dans un corps fini." Lille 1, 1996. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1996/50376-1996-354.pdf.

Full text

Abstract:

Ma thèse apporte des résultats théoriques et pratiques concernant le meilleur algorithme connu - algorithme de schoof-elkies-atkin (sea) - pour le calcul du nombre de points sur une courbe elliptique dans un corps fini de très grande caractéristique. Cela a permis de déterminer le nombre de points d'une courbe sur un corps de caractéristique étant un nombre record. Plus précisément, je décris, tout d'abord, quelques propriétés des polynômes intervenants dans sea (et plus généralement associes à la courbe elliptique e : polynômes de division, polynômes de division exacte, polynômes de semi-divi

APA, Harvard, Vancouver, ISO, and other styles

7

Lemarinier, Pierre. "Fiabilité et traitement de la volatilité dans les systèmes de calcul global." Paris 11, 2006. http://www.theses.fr/2006PA112258.

Full text

Abstract:

Les systèmes de calcul agrègent de plus en plus de processeurs et sont par conséquent plus fréquemment affectés par des pannes franches. Les applications de calcul à passage de messages sont en grande partie développées selon la norme MPI. De nombreux travaux sur la tolérance aux pannes automatique et transparente pour les applications ont été menés au sein des librairies MPI. Tous ces travaux sont basés sur des techniques de points de reprise, coordonnés ou non coordonnés. Néanmoins aucune comparaison entre les différents protocoles n'a été réalisée en terme de coût et d'impact sur les perfor

APA, Harvard, Vancouver, ISO, and other styles

8

Bataille, Camille. "Topographie multi-échelle et fuite évolutive d'un contact coulissant : approche expérimentale et simulation." Thesis, Valenciennes, Université Polytechnique Hauts-de-France, 2020. http://www.theses.fr/2020UPHF0008.

Full text

Abstract:

Les pompes permettent le transfert d’un produit (colle, lubrifiant, essence, etc.) jusqu’au système de pulvérisation sous pression. Etant présentes dans une multitude de secteur d’activité, leur fiabilité a une importance majeure pour la protection de l’environnement et de la santé. Nous étudions l’impact de l’état de surface sur la fonctionnalité (étanchéité, usure) de différents systèmes, au sein des pompes et systèmes de pulvérisation. Une méthode de caractérisation multi-échelle est ainsi mise en place afin de comprendre l’impact de l’état de surface des pièces sur la fonctionnalité de ces

APA, Harvard, Vancouver, ISO, and other styles

9

Dormoy, Jérôme. "Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales." Bordeaux 1, 1997. http://www.theses.fr/1997BOR10628.

Full text

Abstract:

Actuellement, le domaine de la verification est confronte au probleme de l'explosion combinatoire des systemes modelises. Les axes de recherche pour lutter contre ce probleme se portent a la fois sur la realisation d'algorithmes rapides, et sur la mise au point de techniques visant a contourner le delicat probleme de la taille de tels systemes. En ce qui concerne, les algorithmes rapides, nous presentons un algorithme de calcul de points fixes dont la complexite est lineaire. D'autre part, plusieurs approches comme par exemple la verification a la volee, ou les representations plus compactes a

APA, Harvard, Vancouver, ISO, and other styles

10

Wallet, Alexandre. "Le problème de décompositions de points dans les variétés Jacobiennes." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066438/document.

Full text

Abstract:

Le problème du logarithme discret est une brique fondamentale de nombreux protocoles de communication sécurisée. Son instantiation sur les courbes elliptiques a permis, grâce à la petite taille des opérandes considérées, le déploiement de primitives asymétriques efficaces sur des systèmes embarqués. De nos jours, les cryptosystèmes utilisant des courbes elliptiques, aussi appelées courbes de genre 1, sont déjà intensément utilisés: il est donc impératif de savoir estimer précisément la robustesse de ces systèmes. L'existence d'attaques mathématiques permettant de transférer un problème de loga

APA, Harvard, Vancouver, ISO, and other styles

11

Elloumi, Wael. "Contributions à la localisation de personnes par vision monoculaire embarquée." Phd thesis, Université d'Orléans, 2012. http://tel.archives-ouvertes.fr/tel-00843634.

Full text

Abstract:

Une des techniques alternatives au GPS pour le développement d'un système d'assistance à la navigationpédestre en milieux urbains est la vision embarquée. La localisation du porteur de la caméra s'appuie alorssur l'estimation de la pose à partir des images acquises au cours du cheminement. En s'inspirant destravaux antérieurs sur la navigation autonome de robots, cette thèse explore deux approches dans le cadrespécifique de la localisation pédestre. La première méthode de localisation s'appuie sur des appariementsde primitives images avec une cartographie 3D pré-estimée de l'environnement. Ell

APA, Harvard, Vancouver, ISO, and other styles

12

Marcaillou, Sophie. "Intégration de la notion de points de vue dans la modélisation par objets : le langage VBOOL." Toulouse 3, 1995. http://www.theses.fr/1995TOU30016.

Full text

Abstract:

L'etude des besoins de la modelisation des systemes complexes, en particulier des systemes spatiaux, nous a amene a definir nos objectifs en termes de modelisation par objets unique et coherente, supportant des points de vue multiples et evolutifs. Diverses approches tentent d'introduire ces concepts, dans plusieurs domaines informatique (intelligence artificielle, bases de donnees, genie logiciel), mais aucune ne satisfait entierement nos objectifs. Notre demarche consiste a integrer les concepts de vue et de point de vue dans la modelisation par objets. Apres avoir defini et formalises ces c

APA, Harvard, Vancouver, ISO, and other styles

13

Wallet, Alexandre. "Le problème de décompositions de points dans les variétés Jacobiennes." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066438.

Full text

Abstract:

Le problème du logarithme discret est une brique fondamentale de nombreux protocoles de communication sécurisée. Son instantiation sur les courbes elliptiques a permis, grâce à la petite taille des opérandes considérées, le déploiement de primitives asymétriques efficaces sur des systèmes embarqués. De nos jours, les cryptosystèmes utilisant des courbes elliptiques, aussi appelées courbes de genre 1, sont déjà intensément utilisés: il est donc impératif de savoir estimer précisément la robustesse de ces systèmes. L'existence d'attaques mathématiques permettant de transférer un problème de loga

APA, Harvard, Vancouver, ISO, and other styles

14

Facchini, Alessandro. "A study on the expressive power of some fragments of the modal µ-calculus." Thesis, Bordeaux 1, 2010. http://www.theses.fr/2010BOR14210/document.

Full text

Abstract:

Dans ce travail nous étudions la complexité de certains fragments du mu-calcul selon deux points de vue: l’un syntaxique et l’autre topologique. Dans la première partie nous adoptons le point de vue syntaxique afin d'étudier le comportement du mu-calcul sur des classes restreintes de modèles. Parmi d'autres résultats, nous montrons en particulier que sur les modèles transitifs toute propriété définissable par une formule du mu-calcul est définissable par une formule sans alternance de points fixes. Pour ce qui concerne la perspective topologique, nous montrons d'abord que sur les modèles trans

APA, Harvard, Vancouver, ISO, and other styles

15

Laizet, Sylvain. "Développement d'un code de calcul combinant des schémas de haute précision avec une méthode de frontières immergées pour la simulation des mouvements tourbillonnaires en aval d'un bord de fuite." Poitiers, 2005. http://www.theses.fr/2005POIT2339.

Full text

Abstract:

La réalisation de simulations des mouvements tourbillonnaires en aval d'un bord de fuite reste une tâche difficile en mécanique des fluides. Des développements numériques ont été réalisés à partir d'un code de calcul résolvant les équations de Navier-Stokes incompressibles à l'aide de schémas aux différences finies de haute précision. L'originalité de l'approche numérique réside dans l'utilisation d'une méthode spectrale pour la résolution de l'équation de Poisson qui combinée à une méthode de frontières immergées permet de simuler des écoulements en présence de parois. Un effort particulier a

APA, Harvard, Vancouver, ISO, and other styles

16

THIEULLEN, BONANSEA MICHELE. "Points multiples des procesus de levy. Critere de non explosion de solutions d'equations differentielles stochastiques. Calcul stochastique non adapte a deux parametres." Paris 6, 1990. http://www.theses.fr/1990PA066337.

Full text

Abstract:

Nous montrons que n copies independantes d'un processus de levy x issues de points appartenant a un voisinage de 0, ont des points communs avec probabilite strictement positive si le noyau resolvant de x est fortement fellerien de densite de puissance nieme integrable au voisinge de 0. Nous donnons un resultat sur la 1-capacite d'une boule de rayon a et de centre 0 relativement ax. Nous etudions le cas particulier ou x est un processus stable. Ensuite nous donnons un critere pour que la solution d'une equation differentielle stochastique de dole ans-dade n'explose pas. Pour toute condition ini

APA, Harvard, Vancouver, ISO, and other styles

17

Tournier, Évelyne. "Solutions formelles d'équations différentielles : le logiciel de calcul formel DESIR : étude théorique et réalisation." Grenoble 1, 1987. http://tel.archives-ouvertes.fr/tel-00323706.

Full text

Abstract:

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux dif

APA, Harvard, Vancouver, ISO, and other styles

18

Abelard, Simon. "Comptage de points de courbes hyperelliptiques en grande caractéristique : algorithmes et complexité." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0104.

Full text

Abstract:

Le comptage de points de courbes algébriques est une primitive essentielle en théorie des nombres, avec des applications en cryptographie, en géométrie arithmétique et pour les codes correcteurs. Dans cette thèse, nous nous intéressons plus particulièrement au cas de courbes hyperelliptiques définies sur des corps finis de grande caractéristique p. Dans ce cas de figure, les algorithmes dérivés de ceux de Schoof et Pila sont actuellement les plus adaptés car leur complexité est polynomiale en \log p. En revanche, la dépendance en le genre g de la courbe est exponentielle et se fait cruellement

APA, Harvard, Vancouver, ISO, and other styles

19

Guermouche, Amina. "Nouveaux Protocoles de Tolérances aux Fautes pour les Applications MPI du Calcul Haute Performance." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00666063.

Full text

Abstract:

Avec l'évolution des machines parallèles, le besoin en protocole de tolérance aux fautes devient de plus en plus important. Les protocoles de tolérance aux fautes existants ne sont pas adaptés à ces architectures car soit ils forcent un redémarrage global (protocoles de sauvegarde de points de reprise coordonnés) soit ils forcent l'enregistrement de tous les messages (protocoles à enregistrement de messages). Nous avons étudié les caractéristiques des protocoles existants. Dans un premier temps, nous avons étudié le déterminisme des applications, étant donné que les protocoles existants suppos

APA, Harvard, Vancouver, ISO, and other styles

20

Emmanuel, Aurélien. "Courbes d'accumulations des machines à signaux." Electronic Thesis or Diss., Orléans, 2023. http://www.theses.fr/2023ORLE1079.

Full text

Abstract:

Cette thèse s'inscrit dans l'étude d'un modèle de calcul géométrique : les machines à signaux. Nous y montrons comment tracer des graphes de fonctions à l'aide d'arbres unaire-binaires. Dans le monde des automates cellulaires, il est souvent question de particules ou signaux : des structures périodiques dans le temps et l'espace, autrement dit des structures qui se déplacent à vitesse constante. Lorsque plusieurs signaux se rencontrent, une collision a lieu, et les signaux entrant peuvent continuer, disparaître ou laisser place à d'autres signaux, en fonctions des règles de l'automate cellulai

APA, Harvard, Vancouver, ISO, and other styles

21

Roynard, Xavier. "Sémantisation à la volée de nuages de points 3D acquis par systèmes embarqués." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEM078.

Full text

Abstract:

Cette thèse se trouve à la confluence de deux mondes en pleine explosion : la voiture autonome et l’intelligence artificielle (particulièrement l’apprentissage profond). Le premier tirant profit du deuxième, les véhicules autonomes utilisent de plus en plus de méthodes d’apprentissage profond pour analyser les données produites par ses différents capteurs (dont les LiDARs) et pour prendre des décisions. Alors que les méthodes d’apprentissage profond ont révolutionné l’analyse des images (en classification et segmentation par exemple), elles ne produisent pas des résultats aussi spectaculaires

APA, Harvard, Vancouver, ISO, and other styles

22

Doumane, Amina. "On the infinitary proof theory of logics with fixed points." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC123/document.

Full text

Abstract:

Cette thèse traite de la theorie de la preuve pour les logiques a points fixes, telles que le μ-calcul, lalogique lineaire a points fixes, etc. ces logiques sont souvent munies de systèmes de preuves finitairesavec des règles d’induction à la Park. Il existe néanmoins d’autres sytèmes de preuves pour leslogiques à points fixes, qui reposent sur la notion de preuve infinitaire, mais qui sont beaucoupmoins developpés dans la litterature. L’objectif de cette thèse est de pallier à cette lacune dansl’état de l’art, en developpant la théorie de la preuve infnitaire pour les logiques a points fixes,

APA, Harvard, Vancouver, ISO, and other styles

23

Abelard, Simon. "Comptage de points de courbes hyperelliptiques en grande caractéristique : algorithmes et complexité." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0104/document.

Full text

Abstract:

Le comptage de points de courbes algébriques est une primitive essentielle en théorie des nombres, avec des applications en cryptographie, en géométrie arithmétique et pour les codes correcteurs. Dans cette thèse, nous nous intéressons plus particulièrement au cas de courbes hyperelliptiques définies sur des corps finis de grande caractéristique $p$. Dans ce cas de figure, les algorithmes dérivés de ceux de Schoof et Pila sont actuellement les plus adaptés car leur complexité est polynomiale en $\log p$. En revanche, la dépendance en le genre $g$ de la courbe est exponentielle et se fait cruel

APA, Harvard, Vancouver, ISO, and other styles

24

Costermans, Christian. "Calcul symbolique non commutatif : analyse des constantes d'arbre de fouille." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2008. http://tel.archives-ouvertes.fr/tel-00338482.

Full text

Abstract:

L'étude de certaines variables aléatoires, comme les paramètres additifs sur les arbres hyperquaternaires de points, ou encore le nombre de maxima au sein d'un ensemble de n points indépendants, et uniformément distribués dans [0,1]^d font apparaître des suites particulières, les sommes harmoniques multiples (SHM), extensions des nombres harmoniques classiques à des multi-indices.<br /><br />Nos travaux visant à appliquer des méthodes symboliques pour l'étude de ces variables aléatoires, nous remplaçons l'utilisation de multi-indices par des codages sur des alphabets distincts, et nous appuyon

APA, Harvard, Vancouver, ISO, and other styles

25

Grusea, Simona. "Applications du calcul des probabilités à la recherche de régions génomiques conservées." Phd thesis, Université de Provence - Aix-Marseille I, 2008. http://tel.archives-ouvertes.fr/tel-00377445.

Full text

Abstract:

Cette thèse se concentre sur quelques sujets de probabilités et statistique liés à la génomique comparative. Dans la première partie nous présentons une approximation de Poisson composée pour calculer des probabilités impliquées dans des tests statistiques pour la significativité des régions génomiques conservées trouvées par une approche de type région de référence.<br>Un aspect important de notre démarche est le fait de prendre en compte l'existence des familles multigéniques. Dans la deuxième partie nous proposons trois mesures, basées sur la distance de transposition dans le groupe symétri

APA, Harvard, Vancouver, ISO, and other styles

26

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

27

Mezzarobba, Marc. "Autour de l'évaluation numérique des fonctions D-finies." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00663017.

Full text

Abstract:

Les fonctions D-finies (ou holonomes) à une variable sont les solutions d'équations différentielles linéaires à coefficients polynomiaux. En calcul formel, il s'est avéré fructueux depuis une vingtaine d'années d'en développer un traitement algorithmique unifié. Cette thèse s'inscrit dans cette optique, et s'intéresse à l'évaluation numérique des fonctions D-finies ainsi qu'à quelques problèmes apparentés. Elle explore trois grandes directions. La première concerne la majoration des coefficients des développements en série de fonctions D-finies. On aboutit à un algorithme de calcul automatique

APA, Harvard, Vancouver, ISO, and other styles

28

Maddah, Sumayya Suzy. "Formal reduction of differential systems : Singularly-perturbed linear differential systems and completely integrable Pfaffian systems with normal crossings." Thesis, Limoges, 2015. http://www.theses.fr/2015LIMO0065/document.

Full text

Abstract:

Dans cette thèse, nous nous sommes intéressés à l'analyse locale de systèmes différentiels linéaires singulièrement perturbés et de systèmes de Pfaff complètement intégrables et multivariés à croisements normaux. De tels systèmes ont une vaste littérature et se retrouvent dans de nombreuses applications. Cependant, leur résolution symbolique est toujours à l'étude. Nos approches reposent sur l'état de l'art de la réduction formelle des systèmes linéaires singuliers d'équations différentielles ordinaires univariées (ODS). Dans le cas des systèmes différentiels linéaires singulièrement perturbés

APA, Harvard, Vancouver, ISO, and other styles

29

García, Fontán Jorge. "Singularity and Stability Analysis of vision-based controllers." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS015.

Full text

Abstract:

L’objectif de cette thèse doctoral est d’explorer les cas d’échec de l’asservissement visuel, d’un point de vue mathématique rigoureux et à l’aide d’outils de calcul exact issus de la géométrie algébrique et du calcul formel. Les cas d’échec possibles proviennent de deux sources : les singularités des équations cinématiques, et l’existence de multiples points d’équilibre, ce qui affecte la stabilité asymptotique globale des lois de contrôle. Dans cette thèse, nous avons atteint deux objectifs principaux. Le premier est de calculer les conditions de singularité pour le modèle d’interaction lié

APA, Harvard, Vancouver, ISO, and other styles

30

Le, Huu Phuoc. "On solving parametric polynomial systems and quantifier elimination over the reals : algorithms, complexity and implementations." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS554.

Full text

Abstract:

La résolution de systèmes polynomiaux est un domaine de recherche actif situé entre informatique et mathématiques. Il trouve de nombreuses applications dans divers domaines des sciences de l'ingénieur (robotique, biologie) et du numérique (cryptographie, imagerie, contrôle optimal). Le calcul formel fournit des algorithmes qui permettent de calculer des solutions exactes à ces applications, ce qui pourraient être très délicat pour des algorithmes numériques en raison de la non-linéarité. La plupart des applications en ingénierie s'intéressent aux solutions réelles. Le développement d'algorithm

APA, Harvard, Vancouver, ISO, and other styles

31

Fond, Antoine. "Localisation par l'image en milieu urbain : application à la réalité augmentée." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0028/document.

Full text

Abstract:

Dans cette thèse on aborde le problème de la localisation en milieux urbains. Inférer un positionnement précis en ville est important dans nombre d’applications comme la réalité augmentée ou la robotique mobile. Or les systèmes basés sur des capteurs inertiels (IMU) sont sujets à des dérives importantes et les données GPS peuvent souffrir d’un effet de vallée qui limite leur précision. Une solution naturelle est de s’appuyer le calcul de pose de caméra en vision par ordinateur. On remarque que les bâtiments sont les repères visuels principaux de l’humain mais aussi des objets d’intérêt pour le

APA, Harvard, Vancouver, ISO, and other styles

32

Barkatou, My Abdelfattah. "Contribution à l'étude des équations différentielles et aux différences dans le champ complexe." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00332857.

Full text

Abstract:

Un logiciel pour les solutions formelles d'équations différentielles linéaires d'ordre 2 au voisinage de points singuliers est présenté. Pour les équations d'ordre quelconque on donne une version modifiée de l'algorithme de newton. Un algorithme permettant d'obtenir une base de solutions asymptotiques d'une équation récurrente linéaire à coefficients polynomiaux est ensuite présenté. Ceci mène à l'étude des systèmes linéaires aux différences à coefficients séries de factorielles

APA, Harvard, Vancouver, ISO, and other styles

33

Kalantari, Mahzad. "APPROCHE DIRECTE DE L'ESTIMATION AUTOMATIQUE DE L'ORIENTATION 3D D'IMAGES." Phd thesis, Université de Nantes, 2009. http://tel.archives-ouvertes.fr/tel-00433525.

Full text

Abstract:

Récemment, la géomatique grand public s'est emparée de la représentation 3D des bâtiments. Le besoin d'acquérir des images et de les restituer en 3D, sous forme de maquettes parfaitement fidèles à la réalité, est ainsi devenu immense. On a donc vu depuis une décennie, se construire des véhicules capables de photographier en stéréoscopie des villes entières, et il a fallu concevoir les algorithmes capables de traiter ces énormes quantités d'images. Très naturellement, les industriels en charge de ces problèmes se sont tournés vers les outils de vision par ordinateur et de robotique, très bien a

APA, Harvard, Vancouver, ISO, and other styles

34

Fond, Antoine. "Localisation par l'image en milieu urbain : application à la réalité augmentée." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0028.

Full text

Abstract:

Dans cette thèse on aborde le problème de la localisation en milieux urbains. Inférer un positionnement précis en ville est important dans nombre d’applications comme la réalité augmentée ou la robotique mobile. Or les systèmes basés sur des capteurs inertiels (IMU) sont sujets à des dérives importantes et les données GPS peuvent souffrir d’un effet de vallée qui limite leur précision. Une solution naturelle est de s’appuyer le calcul de pose de caméra en vision par ordinateur. On remarque que les bâtiments sont les repères visuels principaux de l’humain mais aussi des objets d’intérêt pour le

APA, Harvard, Vancouver, ISO, and other styles

35

Santoso, Mas Simon. "Simulation d'écoulements fluides à partir de données réelles." Thesis, Ecole centrale de Nantes, 2018. http://www.theses.fr/2018ECDN0011.

Full text

Abstract:

Les nuages de points sont des objets mathématiques permettant de décrire de manière discrète des fonctions à plusieurs variables. Ils sont principalement utilisés dans le domaine statistique mais on les retrouve également en géométrie afin de représenter des variétés géométriques complexes. Il est aujourd'hui difficile d'intégrer les objets représentés par ces nuages de points dans des calculs éléments finis car l'intégration de ces nuages de points requiert la reconstruction de la variété ainsi que la génération d'un maillage surfacique qu'il faut intégrer dans un maillage volumique. Ces opér

APA, Harvard, Vancouver, ISO, and other styles

36

Thiam, C. O. "Dosimétrie en radiothérapie et curiethérapie par simulation Monte-Carlo GATE sur grille informatique." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2007. http://tel.archives-ouvertes.fr/tel-00196405.

Full text

Abstract:

Les traitements de radiothérapie nécessitent la délivrance d'une dose précise au niveau de la tumeur et une bonne connaissance de la dose dans les zones avoisinantes. Ce calcul, habituellement réalisé par les TPS, exige des outils précis et rapides. La plate-forme de simulation Monte-Carlo GATE, basée sur le code GEANT4, offre un outil performant pour les applications de la médecine nucléaire mais aussi des fonctionnalités permettant de faire des calculs dosimétriques de façon fiable et rapide. Dans cette thèse, deux études ont été menées en parallèle: la validation de la plate-forme GATE pour

APA, Harvard, Vancouver, ISO, and other styles

37

Vitu, Stéphane. "Développement d'une méthode de contributions de groupes pour le calcul du coefficient d'interaction binaire de l'équation d'état de Peng-Robinson et mesures d'équilibres liquide-vapeur de systèmes contenant du CO2." Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL080N/document.

Full text

Abstract:

Nous avons développé une méthode de contributions de groupes permettant d'estimer, en fonction de la température, le coefficient d'interaction binaire (kij) de l'équation d'état de Peng Robinson. Notre approche rend cette équation d'état prédictive. Douze groupes sont définis et il est possible d'estimer les kij pour n'importe quel mélange renfermant des alcanes, des aromatiques, des naphtènes et du CO2. Les diagrammes de phase et lieux des points critiques des systèmes binaires sont bien prédits par le modèle baptisé PPR78 (Predictive 1978, Peng Robinson equation of state). Ce modèle permet é

APA, Harvard, Vancouver, ISO, and other styles

38

Jafar, Samir. "Programmation des systèmes parallèles distribués : tolérance aux pannes, résilience et adaptabilité." Phd thesis, Grenoble INPG, 2006. http://tel.archives-ouvertes.fr/tel-00085169.

Full text

Abstract:

Les grilles et les grappes sont des architectures de plus en plus utilisées dans le domaine du calcul scientifique distribué. Le nombre important de constituants hétérogènes (processeurs, mémoire, interconnexion) dans ces architectures dynamiques font que le risque de défaillance est très important. Compte tenu de la durée considérable de l'exécution d'une application parallèle distribuée, ce risque de défaillance doit être contrôlé par l'utilisation de technique de tolérance aux pannes. <br />Dans ce travail, la représentation de l'état de l'exécution d'un programme parallèle est un graphe, d

APA, Harvard, Vancouver, ISO, and other styles

39

Angladon, Vincent. "Room layout estimation on mobile devices." Phd thesis, Toulouse, INPT, 2018. http://oatao.univ-toulouse.fr/20745/1/ANGLADON_Vincent.pdf.

Full text

Abstract:

Room layout generation is the problem of generating a drawing or a digital model of an existing room from a set of measurements such as laser data or images. The generation of floor plans can find application in the building industry to assess the quality and the correctness of an ongoing construction w.r.t. the initial model, or to quickly sketch the renovation of an apartment. Real estate industry can rely on automatic generation of floor plans to ease the process of checking the livable surface and to propose virtual visits to prospective customers. As for the general public, the room layou

APA, Harvard, Vancouver, ISO, and other styles

40

Akhbari, Mahsa. "Analyse des intervalles ECG inter- et intra-battement sur des modèles d'espace d'état et de Markov cachés." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAT026.

Full text

Abstract:

Les maladies cardiovasculaires sont l'une des principales causes de mortalité chez l'homme. Une façon de diagnostiquer des maladies cardiaques et des anomalies est le traitement de signaux cardiaques tels que le ECG. Dans beaucoup de ces traitements, des caractéristiques inter-battements et intra-battements de signaux ECG doivent être extraites. Ces caractéristiques comprennent les points de repère des ondes de l’ECG (leur début, leur fin et leur point de pic), les intervalles significatifs et les segments qui peuvent être définis pour le signal ECG. L'extraction des points de référence de l'E

APA, Harvard, Vancouver, ISO, and other styles

41

Duraffourg, Simon. "Analyse de la tenue en endurance de caisses automobiles soumises à des profils de mission sévérisés." Thesis, Paris Est, 2015. http://www.theses.fr/2015PESC1142.

Full text

Abstract:

Une caisse automobile est un ensemble complexe formé de plusieurs éléments qui sont souvent constitués de matériaux différents et assemblés principalement par points soudés, généralement à plus de 80%. Au stade de la conception, plusieurs critères doivent être vérifiés numériquement et confirmés expérimentalement par le prototype de la caisse, dont sa tenue en endurance. Dans le contexte économique actuel, la politique de réduction des dépenses énergétiques ou autres a conduit les constructeurs automobiles à optimiser les performances des véhicules actuels, en particulier en réduisant de façon

APA, Harvard, Vancouver, ISO, and other styles

42

Boufama, Boubakeur. "Reconstruction tridimensionnelle en vision par ordinateur : cas des caméras non étalonnées." Grenoble INPG, 1994. http://tel.archives-ouvertes.fr/tel-00005080.

Full text

Abstract:

"la 4e de couverture indique : Cette thèse concerne principalement la reconstruction tridimensionnelle à partir d'images issues de caméras non étalonnées. Deux autres sujets liés à la reconstruction ont été traités: le calcul de la géométrie épipolaire et la mise en correspondance des points dans les images<br>Nous nous plaçons dans le cas général d'une séquence d'images obtenues avec une ou plusieurs caméras inconnues. Quand seuls les points observés dans les images sont utilisés la seule reconstruction possible est de type projective. Nous proposons d'abord une méthode pour calculer la recon

APA, Harvard, Vancouver, ISO, and other styles

43

Almansa, Andrés. "Echantillonnage, interpolation et détection : applications en imagerie satellitaire." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2002. http://tel.archives-ouvertes.fr/tel-00665725.

Full text

Abstract:

Cette thèse aborde quelques-uns des problèmes qui surviennent dans la conception d'un système complet de vision par ordinateur : de l'échantillonnage à la détection de structures et leur interprétation. La motivation principale pour traiter ces problèmes a été fournie par le CNES et la conception des satellites d'observation terrestre, ainsi que par les applications de photogrammétrie et vidéo-surveillance chez Cognitech, Inc. pendant les étapes finales de ce travail, mais les techniques développées sont d'une généralité suffisante pour présenter un intérêt dans d'autres systèmes de vision par

APA, Harvard, Vancouver, ISO, and other styles

44

Digne, Julie. "Inverse geometry : from the raw point cloud to the 3d surface : theory and algorithms." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2010. http://tel.archives-ouvertes.fr/tel-00610432.

Full text

Abstract:

Many laser devices acquire directly 3D objects and reconstruct their surface. Nevertheless, the final reconstructed surface is usually smoothed out as a result of the scanner internal de-noising process and the offsets between different scans. This thesis, working on results from high precision scans, adopts the somewhat extreme conservative position, not to loose or alter any raw sample throughout the whole processing pipeline, and to attempt to visualize them. Indeed, it is the only way to discover all surface imperfections (holes, offsets). Furthermore, since high precision data can capture

APA, Harvard, Vancouver, ISO, and other styles

45

Le, Garrec Thomas. "Simulation directe du bruit de bord de fuite d'un profil par une méthode multi domaines." Phd thesis, 2008. http://pastel.archives-ouvertes.fr/pastel-00004430.

Full text

Abstract:

L'analyse des mécanismes de génération de bruit pour des tronçons d'aile placés dans des écoulements à grand nombre de Reynolds s'inscrit dans le cadre de la réduction du bruit de cellule des avions. Afin d'améliorer la compréhension des phénomènes mis en jeu, nous proposons de développer un code aéroacoustique permettant d'obtenir directement le bruit d'un profil. Nous détaillons en particulier le développement de méthodes numériques minimisant les erreurs de dispersion et de dissipation afin de préserver la nature des ondes acoustiques. Une stratégie de calcul multi échelles multi pas de tem

APA, Harvard, Vancouver, ISO, and other styles

46

Mokhtari, Djamila. "Détection des chutes par calcul homographique." Thèse, 2012. http://hdl.handle.net/1866/8869.

Full text

Abstract:

La vidéosurveillance a pour objectif principal de protéger les personnes et les biens en détectant tout comportement anormal. Ceci ne serait possible sans la détection de mouvement dans l’image. Ce processus complexe se base le plus souvent sur une opération de soustraction de l’arrière-plan statique d’une scène sur l’image. Mais il se trouve qu’en vidéosurveillance, des caméras sont souvent en mouvement, engendrant ainsi, un changement significatif de l’arrière-plan; la soustraction de l’arrière-plan devient alors problématique. Nous proposons dans ce travail, une méthode de détection de mouv

APA, Harvard, Vancouver, ISO, and other styles

47

Tournier, Evelyne. "Solutions formelles d'équations différentielles‎ : le logiciel de calcul formel DESIR‎ : étude théorique et réalisation." Habilitation à diriger des recherches, 1987. http://tel.archives-ouvertes.fr/tel-00323706.

Full text

Abstract:

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux dif

APA, Harvard, Vancouver, ISO, and other styles

48

Boufama, Boubakeur. "Reconstruction tridimensionnelle en vision par ordinateur : cas des cameras non etalonnees." Phd thesis, 1994. http://tel.archives-ouvertes.fr/tel-00005080.

Full text

Abstract:

Cette these concerne principalement la reconstruction tridimensionnelle a partir d'images issues de cameras non etalonnees. Deux autres sujets lies a la reconstruction ont ete traites : le calcul de la geometrie epipolaire et la mise en correspondance des points dans les images. Nous nous placons dans le cas general d'une sequence d'images obtenues avec une ou plusieurs cameras de carateristiques inconnues. Quand seuls les points observes dans les images sont utilisees la seule reconstruction possible est de type projective. Nous proposons d'abord une methode pour calculer la reconstruction pr

APA, Harvard, Vancouver, ISO, and other styles

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!