WorldCat Identities

École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire)

Overview
Works: 128 works in 140 publications in 2 languages and 140 library holdings
Roles: 996, Degree grantor
Publication Timeline
.
Most widely held works by Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) École doctorale Mathématiques
Construction de solutions pour les équations de contraintes en relativité générale et remarques sur le théorème de la masse positive by The-Cang Nguyen( )

2 editions published in 2015 in English and held by 2 WorldCat member libraries worldwide

The aim of this thesis is the study of two topical issues arising from general relativity: finding initial data for the Cauchy problem with respect to the Einstein equations and the positive mass theorem. For the first issue, in the context of the conformal method introduced by Lichnerowicz [Lichnerowicz, 1944], Y. Choquet-Bruhat-J. York [Choquet-Bruhat et York, 1980] and Y. Choquet-Bruhat-J. Isenberg-D. Pollack [Choquet-Bruhat et al., 2007a], we consider the conformal constraint equations on compact Riemannian manifolds of dimension n > 3. In this thesis, we simplify the proof of [Dahl et al., 2012, Theorem 1.1], extend and sharpen the far-from CMC result proven by Holst- Nagy-Tsogtgerel [Holst et al., 2009], Maxwell [Maxwell, 2009] and give an unifying viewpoint of these results. Besides discussing the solvability of the conformal constraint equations, we will also show nonexistence and nonuniqueness results for solutions to the conformal constraint equations under certain assumptions
Détection robuste de jonctions et points d'intérêt dans les images et indexation rapide de caractéristiques dans un espace de grande dimension by The Anh Pham( Book )

2 editions published in 2013 in English and held by 2 WorldCat member libraries worldwide

Les caractéristiques locales sont essentielles dans de nombreux domaines de l'analyse d'images comme la détection et la reconnaissance d'objets, la recherche d'images, etc. Ces dernières années, plusieurs détecteurs dits locaux ont été proposés pour extraire de telles caractéristiques. Ces détecteurs locaux fonctionnent généralement bien pour certaines applications, mais pas pour toutes. Prenons, par exemple, une application de recherche dans une large base d'images. Dans ce cas, un détecteur à base de caractéristiques binaires pourrait être préféré à un autre exploitant des valeurs réelles. En effet, la précision des résultats de recherche pourrait être moins bonne tout en restant raisonnable, mais probablement avec un temps de réponse beaucoup plus court. En général, les détecteurs locaux sont utilisés en combinaison avec une méthode d'indexation. En effet, une méthode d'indexation devient nécessaire dans le cas où les ensembles de points traités sont composés de milliards de points, où chaque point est représenté par un vecteur de caractéristiques de grande dimension
Le spectre du sous-laplacien sur les variétés CR strictement pseudoconvexes by Amine Aribi( )

2 editions published in 2012 in French and held by 2 WorldCat member libraries worldwide

Le but de cette thèse est d'étudier le spectre du sous-laplacien sur les variétés CR strictement pseudoconvexe. Nous prouvons que le spectre du sous-laplacien $\Delta_b$ est discret sur un domaine borné $\Omega \subset M$ d'une variété CR strictement pseudoconvexe qui satisfait l'inégalité de Poincaré, sous les conditions de Dirichlet au bord. Nous étudions le comportement des valeurs propres du sous-laplacien $\Delta_b$ sur une variété C] strictement pseudoconvexe compacte $M$, en tait que fonctionnelle sur l'espace ${\mathcal P)_+$ de formes de contact positivement orientées sur $M$ en dotant $(\matheal P}_+$ d'une topologie métrique naturelle. Nous établissons des inégalités pour les valeurs propres de $\Delta_b$ sur des variétés CR strictement pseudoconvexes (éventuellement à bord non vide). Nos estimations prolongent les résultats d,tenus par P-C. Niu \& H. Zhang \cite{NiZh) pour les valeurs propres du sous-laplacien avec conditions de Dirichlet au bord sur un domaine borné du groupe de Heisenberg, et sont dans l'esprit des inégalités de Payne-PV(o)lya-Weinberger et Yang. Nous obtenons une nouvelle borne inférieure sur la première valeur propre non nulle $\lambda_l theta )$ du sous-laplacien $\Delta_b$ sur une variété CR strictement pseudoconvexe compacte $M$ munie d'une forme de contact S\theta$ dont la connexion de Tanaka-Webster est à courbure de Ricci minorée
Matheuristic algorithms for minimizing total tardiness in flow shop scheduling problems by Quang-Chieu Ta( Book )

2 editions published in 2015 in English and held by 2 WorldCat member libraries worldwide

We consider in this thesis a permutation flow shop scheduling problem where a set of jobs have to be scheduled on a set of machines. The jobs have to be processed on the machines in the same order. The objective is to minimize the total tardiness. We propose heuristic algorithms and many new matheuristic algorithms for this problem. The matheuristic methods are a new type of approximated algorithms that have been proposed for solving combinatorial optimization problems. These methods embed exact resolution into (meta)heuristic approaches. This type of resolution method has received a great interest because of their very good performances for solving some difficult problems. We present the basic concepts and components of a scheduling problem and the aspects related to these components. We also give a brief introduction to the theory of scheduling and present an overview of resolution methods. Finally, we consider a problem where m-machine permutation flow shop scheduling problem and a vehicle routing problem are integrated and the objective is to minimize the total tardiness. We introduce a direct coding for a complete solution and a Tabu search for finding a sequence and trips. The results show that the TS greatly improves the initial solution given by EDD heuristic where each trip serves only one job at a time
Segmentation supervisée d'images texturées par régularisation de graphes by Cyrille Faucheux( Book )

2 editions published in 2013 in French and held by 2 WorldCat member libraries worldwide

In this thesis, we improve a recent image segmentation algorithm based on a graph regularization process. The goal of this method is to compute an indicator function that satisfies a regularity and a fidelity criteria. Its particularity is to represent images with similarity graphs. This data structure allows relations to be established between similar pixels, leading to non-local processing of the data. In order to improve this approach, combine it with another non-local one: the texture features. Two solutions are developped, both based on Haralick features. In the first one, we propose a new fidelity term which is based on the work of Chan and Vese and is able to evaluate the homogeneity of texture features. In the second method, we propose to replace the fidelity criteria by the output of a supervised classifier. Trained to recognize several textures, the classifier is able to produce a better modelization of the problem by identifying the most relevant texture features. This method is also extended to multiclass segmentation problems. Both are applied to 2D and 3D textured images
Approche algébrique de problèmes d'ordonnancement de type flowshop avec contraintes de délais by Nhat Vinh Vo( Book )

2 editions published in 2015 in French and held by 2 WorldCat member libraries worldwide

Nous abordons dans cette thèse des problèmes de flowshop de permutation soumis des contraintes de délais minimaux et maximaux avec deux types de travaux principaux : 1. Nous avons modélisé, en utilisant l'algèbre MaxPlus, des problèmes de flowshop de permutation m-machines soumis une famille de contraintes : de délais minimaux, de délais maximaux, de sans attente, de délais fixes, de temps de montage indé- pendant de la séquence, de temps de démontage indépendant de la séquence, de blocage, de dates de début au plus tæt ainsi que de durées de latence. Des matrices caractérisant complètement leurs travaux associés ont été élaborées. Nous avons fait apparaître un problème central soumis des contraintes de délais minimaux et maximaux. 2. Nous avons élaboré des bornes inférieures pour le makespan et pour la somme (pondérée ou non) des dates de fin. Ces bornes inférieures ont été incorporées dans des procédures par séparation et évaluation. Nous avons généralisé les bornes inférieures de Lageweg et al. pour des contraintes quelconques et amélioré une borne inférieure de la littérature. L'utilisation de chacune de ces bornes inférieures ainsi que de leurs combinaisons ont été testées. Une famille de bornes inférieures pour la somme (pondérée ou non) des dates de fin a été élaborée basée sur la résolution d'un problème une machine et sur la résolution d'un problème de voyageur de commerce. Une politique de sélection de bornes inférieures a été proposée pour combiner les bornes inférieures. Bien qu'il s'agisse d'un problème de NP-difficile, l'efficacité de ces bornes inférieures a été vérifiée l'aide de tests
Résolution de problèmes multicritères (durée/sécurité) pour la conception de plans d'évacuation de personnes by Ismaïla Abderhamane Ndiaye( Book )

2 editions published in 2016 in French and held by 2 WorldCat member libraries worldwide

Les travaux présentés dans cette thèse visent à proposer des méthodes de routage d'une population de masse à travers un réseau perturbé dont les données varient dans le temps pour l'aide à la conception de plan d'évacuation. Ce problème s'illustre parfaitement en cas de catastrophe d'origine humaine ou naturelle où les populations (potentiellement) impactées par ces sinistres doivent quitter leur lieux de vie pour une période pouvant aller d'un à plusieurs jours. Dans la littérature, ces routages de masse sont souvent modélisés comme des problèmes de flots dynamiques dont l'objectif est de minimiser la durée globale du transfert des individus depuis un certain nombre de points de départs dangereux vers des points d'arrivé sûrs. Toutefois, peu de travaux prennent en compte la notion de sécurité durant ce routage et encore moins le déploiement d'agents (policiers, sapeur-pompiers, ambulanciers,...) pouvant sécuriser et/ou faciliter le déplacement des personnes
Approches anytime et distribuées pour l'appariment de graphes by Zeina Abu-Aisheh( )

2 editions published in 2016 in English and held by 2 WorldCat member libraries worldwide

Due to the inherent genericity of graph-based representations, and thanks to the improvement of computer capacities, structural representations have become more and more popular in the field of Pattern Recognition (PR). In a graph-based representation, vertices and their attributes describe objects (or part of them) while edges represent interrelationships between the objects. Representing objects by graphs turns the problem of object comparison into graph matching (GM) where correspondences between vertices and edges of two graphs have to be found
Etude et résolution de problèmes d'ordonnancement d'opérations d'évacuation by Kaouthar Boukebab( Book )

2 editions published in 2015 in French and held by 2 WorldCat member libraries worldwide

The work presented in this thesis, which is a part of the Franco-German project DSS_Evac_Logistic, aims at proposing methods to calculate macroscopic evacuation plans for mid-size towns after a tremendous disaster. Two evacuation problems have been tackled in this thesis : the bus evacuation problem and bus-and-vehicle evacuation problem. The bus evacuation problem aims at calculating an evacuation plan to relocate evacuees outside the endangered area. In this thesis, we consider three versions of the bus evacuation problem. The first one is a monocriterion problem, where the objective is to minimize the maximum evacuation time. In order to guarantee the safety of evacuees, we have considered a bicriteria problem, which is a generalization of the monocriterion version, in which we take into consideration the risk exposure of the evacuees. Consequently, the bicriteria problem is solved by minimizing the total evacuation time and the risk. The third version is a bicriteria robust version because most of the planning data is subject to uncertainty. The goal is to minimize both the evacuation time and the vulnerability of the schedule that is subject to different evacuation circumstances. To solve all the versions of the bus evacuation problem, we have developed exact solutions based on mathematical formulation to address small instances and heuristic solutions to deal with larger instances
Les relations de q-Dolan-Grady d'ordre supérieur et certains systèmes intégrales quantiques by Thi Thao Vu( )

2 editions published in 2015 in English and held by 2 WorldCat member libraries worldwide

Dans cette thèse, la connexion entre certaines structures algébriques récentes (algèbres tridiagonales, algèbre q-Onsager, algèbres q-Onsager généralisées), la théorie des représentations (paire tridiagonale, paire de Leonard, polynômes orthogonaux), certaines des propriétés de ces algèbres et l'analyse de modèles intégrables quantiques sur le réseau (la chaîne de spin XXZ ouverte aux racines de l'unité) est considérée
Utilisation de méthodes formelles pour garantir des propriétés de logiciels au sein d'une distribution : exemple du noyau Linux. by Alexandre Lissy( Book )

2 editions published in 2014 in French and held by 2 WorldCat member libraries worldwide

Dans cette thèse nous nous intéressons à intégrer dans la distribution Linux produite par Mandriva une assurance qualité permettant de proposer des garanties de propriétés sur le code exécuté. Le processus de création d'une distribution implique l'utilisation de logiciels de provenances diverses pour proposer un assemblage cohérent et présentant une valeur ajoutée pour l'utilisateur. Ceci engendre une moindre maîtrise potentielle sur le code. Un audit manuel permet de s'assurer que celui-Ci présente de bonnes propriétés, par exemple, en matière de sécurité. Le nombre croissant de composants à intégrer, et la croissance de la quantité de code de chacun amènent à avoir besoin d'outils pour permettre une assurance qualité. Après une étude de la distribution nous choisissons de nous concentrer sur un paquet critique, le noyau Linux : nous proposons un état de l'art des méthodes de vérifications appliquées à ce contexte particulier, et identifions le besoin d'améliorer la compréhension de la structure du code source, la question de l'explosion combinatoire et le manque d'intégration des outils d'analyse de l'état de l'art. Pour répondre à ces besoins nous proposons une représentation du code source sous la forme d'un graphe, et l'utilisons pour aider à la documentation et à la compréhension de l'architecture du code. Des méthodes de détection de communautés sont évaluées sur ce cas pour répondre au besoin de l'explosion combinatoire. Enfin nous proposons une architecture intégrée dans le système de construction de la distribution permettant d'intégrer des outils d'analyse et de vérification de code
Théorie non linéaire du potentiel et équations quasilinéaires avec données mesures by Quoc-Hung Nguyen( )

2 editions published in 2014 in English and held by 2 WorldCat member libraries worldwide

Cette thèse concerne l'existence et la régularité de solutions d'équations non-linéaires elliptiques, d'équations paraboliques et d'équations de Hesse avec mesures, et les critères de l'existence de solutions grandes d'équations elliptiques et paraboliques non-linéaires
Modélisation cyclostationnaire et séparation de sources des signaux électromyographiques by Julien Roussel( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

L'objectif de cette thèse est de développer des méthodes de décomposition des signaux électromyographiques (EMG) en signaux élémentaires, les trains de potentiels d'action d'unité motrice (TPAUM). Nous avons proposé deux modèles de génération des signaux et nous avons mis en évidence la propriété de cyclostationnarité et de cyclostationnarité floue de ces deux modèles. Dans l'objectif de la décomposition, nous avons enfin proposé une méthode de décomposition aveugle à partir de signaux EMG multi-capteurs en utilisant cette propriété. Nous présentons les limitations théoriques de la méthode, notamment par un seuil limite de la fréquence de décharge. Nous avons effectué une évaluation des performances de la méthode proposée avec comparaison à une méthode classique de séparation à l'ordre 2.Il a été montré que l'exploitation de la propriété de cyclostationnarité apportait de meilleures performances de séparation dans le cas bruité et non bruité, sur le modèle cyclostationnaire et sur le modèle cyclostationnaire flou. Les performances se trouvent dégradées lorsque la fréquence de décharge dépasse le seuil théorique. Cette évaluation a été réalisée au moyen de simulations de Monte-Carlo construites sur des observations réelles. Enfin, la méthode appliquée sur des données réelles a montré de bons résultats sur des signaux EMG intramusculaires
Acquisition et traitement d'images hyperspectrales pour l'aide à la visualisation peropératoire de tissus vitaux by Dorra Nouri Kridiss( )

1 edition published in 2014 in French and held by 1 WorldCat member library worldwide

Hyperspectral imagery initially applied for remote sensing will become a new medical imaging modality that may assist the diagnosis of several diseases through the detection of tumoral margins of cancers or the measure of the tissue oxygenation. The originality of this work is to provide, during surgery, an improved vision of the operative field with a RGB image displayed on screen, as the result of hyperspectral cubes processing in the visible, near infrared and mid-infrared (400-1700 nm). Our application allows the detection of hard noticeable and vital tissues as the ureter. Two hyperspectral imaging prototype using liquid crystal tunable filters have been developed, calibrated and implemented in many preclinical experiments campaigns. The results presented in this thesis allow to conclude that the methods of band selection are most suitable for interventional application of hyperspectral imaging in operating room since they show a maximal amount of information, a better natural rendering of the resulting RGB image and a maximal improvement of visualization of the surgical scene as the contrast in the resulting image between the tissue of interest and the surrounding tissues was tripled compared to the image viewed by the surgeon's eye. The main drawback of these methods lies in the execution time which was significantly improved by the proposed combined methods. Furthermore, the mid-infrared spectral range is considered more discriminating to explore hyperspectral data associated with the ureter as the separability between tissues is significantly higher compared to the visible spectral range
Recalage automatique de modèles 3D d'arcades dentaires à partir de photographies by Raphaël Destrez( )

1 edition published in 2013 in French and held by 1 WorldCat member library worldwide

In orthodontics, the diagnosis and the planning of a treatment rest on the knowledge of the dental architecture of the patient using, among others, a dental cast in plaster. Today, dedicated software allow to manipulate digital models of the dental arches obtained after digitalization of the casts. To observe the contact of teeth, it is necessary to register both arches scanned separately. This stage is at present manual and the object of this thesis research is to propose a robust chain processing allowing an automatic registration of both arches guided by several photos of the patient mouth. The proposed approach consists in defining three types of singular points and in setting up strong methods of automatic detection at the same time on the 3D models and the color images leaning on the curvature and the texture. Once put in correspondence, these 2D / 3D equivalent points allow to estimate the projection matrices then the rigid transformation (6ddl) to position at best the mandible in relation to the maxillary by minimizing the reprojection errors in several views. To free itself from the noise of detection, the 2D and/or 3D positions of the singular points are improved during the optimization process. Numerous tests on virtual and real data validate the proposed approach. The final occlusion obtained on the real data by automatic registration is close to the reference of the expert. These are encouraging results to supply an automatic alternative to be integrated into a help tool for the diagnosis
Fully linear elliptic equations and semilinear fractionnal elliptic equations by Huyuan Chen( )

1 edition published in 2014 in English and held by 1 WorldCat member library worldwide

Cette thèse est divisée en six parties. La première partie est consacrée à l'étude de propriétés de Hadamard et à l'obtention de théorèmes de Liouville pour des solutions de viscosité d'équations aux dérivées partielles elliptiques complètement non-linéaires avec des termes de gradient,
Early diagnostic of diabetic foot using thermal images by Luis Alberto Vilcahuaman Cajacuri( )

1 edition published in 2013 in English and held by 1 WorldCat member library worldwide

The object of the thesis is to analyze the potential of thermography in the early diagnosis of type 2 diabetic foot. The main advantages of thermography are that it is simple to use, non-invasive, contactless, non-irradiant, and fast. A robust acquisition protocol is proposed, as well as a dedicated image processing algorithm. The algorithm includes a pre-processing step, plus a segmentation and a rigid registration procedures. Various parameters are assessed: the mean and standard deviation of right and left feet plantar surfaces temperaure, as well as the percentage of pixels such that the absolute point to point temperature difference between right and left feet is greater than 2.2°C. A percentage greater than 1% indicates significative hyperthermia regions. A transversal clinical study is conducted on a population of 85 persons of type 2 diabetic foot. They are classified in one of these three groups: Low risk, Medium risk, and High risk. For the Low risk group, the mean temperature is close to 32°C. For the medium one, it goes down to 31°C, and increases for the High risk group to a value of 32°C. In the early stage of diabetic foot, i.e. from the Low risk group to Medium risk group, the plantar foot surface temperature is lowered by 1°C: if this result is confirmed by other clinical tests, this information can be useful for the early diagnosis of diabetic foot. Finally, 9 images out of the 85 show hyperthermia, mainly in the heel or toes regions. This hyperthermia indication may be of a substantial assistance in the early prevention of foot ulcer and can help in avoiding subsequent foot amputation
Imagerie par spectrométrie de masse MALDI et outils chimiométriques pour la cartographie de formes pharmaceutiques solides by Yoann Gut( )

1 edition published in 2016 in French and held by 1 WorldCat member library worldwide

L'agence européenne du médicament (EMA) stipule que les entreprises pharmaceutiques se doivent d'améliorer continuellement le contrôle de leur production afin de garantir la qualité des médicaments et préserver la santé des patients. Les outils analytiques classiques sont, par exemple, capables d'examiner l'intégralité d'un comprimé pharmaceutique pour contrôler la qualité et la quantité des substances actives utilisées et estimer leurs profils de libération dans l'organisme. Ils ne permettent cependant pas de cartographier la distribution des composés chimiques pourtant considérée comme un critère important pour la qualité du médicament. Des techniques d'imagerie chimique comme la MSI MALDI sont donc utilisées afin de déterminer par une analyse unique la répartition spatiale et la structure des composés constituant les médicaments. Toutefois, la MSI MALDI nécessite une préparation des échantillons relativement complexe et génère des données de grande taille difficilement exploitables. Ces caractéristiques, ainsi que l'absence de spectromètre de masse adapté à l'analyse de formes pharmaceutiques solides, complexifient la mise en place de la MSI MALDI au sein de laboratoires industriels. Les travaux réalisés durant cette thèse ont eu pour objectifs d'améliorer le protocole de préparation des échantillons, d'optimiser le système d'acquisition et de mettre en place les outils chimiométriques et informatiques nécessaires à l'analyse des images MALDI au sein de l'entreprise Technologie Servier. Les développements réalisés et les résultats obtenus ont finalement permis la résolution de problématiques inexplicables jusqu'alors par les techniques analytiques classiques
Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description by Cheikh Ahmed Tidiane Niang( )

1 edition published in 2013 in French and held by 1 WorldCat member library worldwide

This thesis is set in a research effort that aims to bring more automation in building mediator-based data integration systems in the semantic Web context. The mediator approach is a conceptual architecture of data integration that involves combining data residing in different sources and providing users with a unified view of these data. The problem of designing effective data integration solutions has been addressed by several researches, and well-known data integration projects have been developed during the 90's. However, the building process of these systems rely heavily on human intervention so that it is difficult to implement them in many situations. Moreover, faced with the diversity and the increase of available information sources, the easiness and fastness of information access are new challenges. Our proposals are based on models and technologies of semantic web. The semantic web is recognized as a generalization of the current web which enables to find, combine and share resources, not only between humans but also between machines. It provides a good track for automating the integration process. Possibilities offered by the semantic web are based, on the one hand, on languages and an infrastructure aiming to enrich the web with "semantic" information and, on the other hand, on collaborative practices that allow the production of relevant and reusable ontological resources
Le problème de la sectorisation multicritère en cartographie by Xin Tang( Book )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

The work presented in this thesis aims to propose methods to solve the multicriteria map sectorization problem in cartography. Firstlly, we have defined the different sectorization problems and we have established the links between these problems with some classical problems which are well studied in the literature : political districting problem, locationallocation problems and constrained graph partitioning problems. Two types of methods have been proposed to solve the sectorization problem. Heuristics have been developed and they compute an optimum Pareto for the different sectorization problems. And for the sectorization problem with predefined centers, we have used a box algorithm and experimented it to find a representation of the Pareto front. The branch and bound method was used to solve optimally the sectorization problem without predefined centers. Before we apply this procedure, we add some valid inequalities in the mathematical formulation for restrict the space of solutions and we develop a preprocessing procedure to reduce the size of the problem
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.89 (from 0.88 for Constructi ... to 0.89 for Approche a ...)

Alternative Names
École doctorale 551 (Centre-Val de Loire)

École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre Val de Loire)

Ecole doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Orléans-Tours)

Ecole doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Tours-Orléans)

École doctorale MIPTIS (Centre-Val de Loire)

ED 551 (Centre-Val de Loire)

ED MIPTIS (Centre-Val de Loire)

ED551 (Centre-Val de Loire)

Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire)

MIPTIS (Centre-Val de Loire)

Languages
French (18)

English (14)