To see the other types of publications on this topic, follow the link: Méthodes pour la jeunesse.
Dissertations / Theses on the topic 'Méthodes pour la jeunesse'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Méthodes pour la jeunesse.'
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
Payraud-Barat, Marie-Françoise. "Paul Faucher : "le Père Castor" : réflexion pédagogique et albums pour enfants." Rennes 2, 2001. http://www.theses.fr/2001REN20019.
Full textAbstract:
Paul Faucher (1898-1967), éditeur sous le nom de "Père Castor", fut un précurseur de la littérature enfantine contemporaine. Libraire introduit dans les milieux intellectuels européens, pacifiste, éditeur engagé des tenants de la pédagogie nouvelle, son oeuvre s'infléchit vers 1930 de la théorie vers la pratique, notamment sous l'influence de deux éducateurs tchèques, Bakulé et Havranek. Il dressa alors des projets éditoriaux foisonnants, sans cesse remaniés, qui formèrent a posteriori le "catalogue anticipé" et commença à éditer des albums d'activité et des histoires auxquels participèrent des artistes d'avant-garde comme Nathalie Parain. Partisan d'une éducation globale, Paul Faucher publia chez Flammarion des albums destinés à développer chez l'enfant l'habileté manuelle, la sensibilité musicale et artistique, le mouvement et la coordination, le graphisme, la logique et le goût de la lecture, tout cela en respectant les étapes d'un développement homogène, de son plus jeune âge à sa pré-adolescence. Convaincu qu'un univers rassurant était seul capable de respecter l'équilibre et le psychisme des enfants, attaché à l'utilisation d'une langue riche et précise, il établit des normes rigoureuses de rédaction et d'illustration, testées auprès des élèves de son école, et qu'il fit respecter par les collaborateurs de son Atelier, les artistes, les scientifiques et les pédagogues dont il sut s'entourer. Innovateur reconnu dans le domaine de l'apprentissage du langage et de la lecture, il fut le premier, en France,à éditer des livres adaptés aux très jeunes enfants, auxquels la plus grande partie de sa production est en fait destinée. Dominé par un souci constant d'éducation, son oeuvre est aussi empreinte de valeurs morales et humanistes. Le présent travail retrace la carrière et la réalisation de Paul Faucher, en s'appuyant notamment sur ses archives privées, pour leur plus grande part jamais utilisées<br>Paul Faucher (1898-1967), publisher under the name of " Père Castor ", was a forerunner in contemporary children's literature. He was a book seller who was well introduced in European intellectual circles, a pacifist, a supporter of a new educational approach and, in the thirties under the influence of two Czech educators, Bakulé and Havranek, he put his theory into practice. He set up many editorial projects, constantly amended -which would afterwards become the " anticipated catalogue "- and started publishing activity books and stories ; several avant-garde artists such as Nathalie Parain took part in the venture. Paul Faucher, who was for global education, had published, by Flammarion, books intended to develop manual skills, artistic and musical talents, movement coordination, design, logic and reading tastes in children, whilst all the time respectful of different stages of their development, from infancy to pre-adolescence. He was convinced that only a secure environment was able to ensure their harmonious development, both in health and mind, with an accurate and rich use of langage ; therefore, he established strict rules to write and illustrate his books, which he tested on his pupils, and made the colleagues with whom he collaborated in his workshop -illustrators, scientists and educational instructors - abide by them. He was a recognized innovator in the field of reading and language learning and was the first, in France, to publish books intended for very young children ; they comprised the largest part of his work. As he was constantly preoccupied by tghe educational impact of his work, his books transmitted moral and human values. This present study recollects the career and work of Paul Faucher, based namely on his private archives, most of which have never been used before
2
Brouzes, Chloé. "Quelles stratégies pour améliorer le régime alimentaire de jeunes femmes égyptiennes en milieu urbain ? Analyse des déséquilibres et identification de stratégies nutritionnelles par méthodes mixtes." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASB002.
Full textAbstract:
Les femmes égyptiennes constituent un exemple caractéristique mais peu étudié de population confrontée à une transition nutritionnelle, caractérisée par une forte prévalence de surpoids (88% en milieu urbain) et de déficience en fer (50%). Cette situation suggère que leurs apports alimentaires, bien que peu évalués et donc méconnus, devraient être rééquilibrés. La modélisation de l’alimentation est une approche mathématique qui permet d’identifier les changements de régimes alimentaires susceptibles d’améliorer les apports nutritionnels en prenant en compte différents paramètres du contexte alimentaire local. Cependant, l’acceptabilité des stratégies nutritionnelles modélisées est difficilement prédictible. Ces travaux de thèse ont permis de quantifier les apports alimentaires et nutritionnels d’une population de femmes égyptiennes résidant en milieu urbain, puis de modéliser des stratégies d’amélioration nutritionnelle. L’acceptabilité des solutions « théoriquement optimales » a ensuite été évaluée par la population d’étude par des enquêtes qualitatives. L’utilisation de méthodes mixtes (approches quantitatives puis qualitatives) a permis une analyse fine de la situation ainsi que l’identification de changements envisageables au niveau des pratiques alimentaires et de l’offre de produits enrichis. Cette approche semble prometteuse pour identifier des solutions réalistes et acceptables afin de contribuer à résoudre des problématiques nutritionnelles locales<br>Egyptian women are a typical yet rarely studied example of population undergoing a nutrition transition, touched by a high prevalence of overweight (88% in urban areas) and iron deficiency (50%). This situation suggests that their dietary intakes, which are so far poorly assessed and not well known, should be rebalanced. Diet modeling is a mathematical tool which helps to identify dietary changes improving nutritional intakes, taking into consideration several parameters of the local food environment. Yet, the acceptability of the nutritional strategies modeled is hardly predictable. This research thesis enabled to quantify the dietary intakes of young Egyptian women living in urban areas and to model strategies to improve nutritional intakes. The acceptability of the “theoretically optimal” solutions was then discussed with the population studied using qualitative surveys. The use of mixed methodologies (quantitative and then qualitative approaches) enabled to analyze in detail the local situation and to identify changes in dietary practices and in the fortified food offer. This approach seems promising to identify realistic and acceptable solutions to contribute solving local nutritional issues
3
Sohawon, Farzanah. "Les éditions françaises (1837-2005) du recueil de contes Tales from Shakespeare de Charles (1775-1834) et Mary (1764-1847) Lamb : l'apport des méthodes de publication à l'image de cette oeuvre en france." Paris 7, 2009. http://www.theses.fr/2009PA070037.
Full textAbstract:
Les éditions françaises (1837-2005) de Tales from Shakespeare (1807) de Charles (1775-1834) et Mary (1764-1847) Lamb, leur nombre important et leur haute qualité, prouvent que cette œuvre a réussi son intégration dans le paysage bibliographique et éditorial français. Bien qu'elle soit très connotée culturellement - cette adaptation, sous forme de contes, de vingt pièces de William Shakespeare, sert aux jeunes Anglais d'introduction à l'étude du dramaturge et fait partie des classiques de la littérature anglaise -, les éditeurs français ont su se l'approprier et la présenter comme propre à intéresser le public français. Ce transfert culturel a été aidé par la publication du recueil sous forme d'ouvrages scolaires (fin du dix-neuvième siècle), et, dans le cas des éditions de loisir pour la jeunesse, par la renommée de Shakespeare et le caractère didactique et divertissant des contes. Cette thèse s'emploie à comprendre le fort intérêt des éditeurs français pour le recueil, dans quel but ils l'ont publié, comment ils l'ont adapté au public français. On examine les éditions françaises dans le contexte de l'histoire de l'édition scolaire et de l'édition pour la jeunesse, leurs concepteurs (éditeurs, professeurs, préfaciers, traducteurs, illustrateurs) et les collections les incluant. On étudie l'objet-livre et son paratexte (couvertures, pages de titre, préfaces, introductions, notices, notes et illustrations), le choix de restituer tout ou partie du recueil et le rendu de certaines traductions. Cela permet de définir l'image que l'édition française dresse de Tales from Shakespeare, image positive devant beaucoup à la nature des contes qui simplifie l'œuvre de Shakespeare<br>The French editions (1837-2005) of Charles (1775-1834) and Mary (1764-1847) Lamb's Tales from Shakespeare (1807), their great number and their high quality, prove that this work's integration in the French bibliographical and publishing scène has been a success. Although it has a strong cultural connotation - this classic of English literature, taking the form of an adaptation which turns into tales twenty plays by William Shakespeare, is to be « submitted to the young reader as an introduction to the study of Shakespeare » , French publishers have managed to fit it to their purposes and to present it as a book likely to interest French readers. This cultural transfer has been helped by the publishing of the Tales into school books (from the 1880s) and, concerning general editions for children, by Shakespeare's celebrity and the tales' educational and entertaining nature. This thesis attempts to understand why this work has attracted so many French publishers, to what purpose they have published it, how they have adapted it for French readers. We examine the French editions in the context of school books and children's books publishing history, their makers (publishers, teachers, preface writers, translators, illustrators), and the collections they belong to. We study the books as objects, their « paratext » 1 (covers, title pages, prefaces, introductions, notes, footnotes, illustrations), the choice of publishing all the taies or just a selection, and the exploitation of some translations. This helps defîne the image of Taies from Shakespeare established by the French publishing world, a positive image owing a lot to the tales' nature which simplifies Shakespeare's work
4
Bedoin, Evelyne. "Lire le texte, lire le monde : du jeu interprétatif en littérature et en sciences." Rennes 2, 2008. http://www.theses.fr/2008REN20043.
Full textAbstract:
Sciences de la nature et sciences de la culture ont été marquées, au cours des dernières décennies, par une montée en puissance du paradigme interprétatif. Aussi les épistémologies disciplinaires ont-elles réinterrogé leurs frontières autour du thème de l‟interprétation. Dans la perspective d‟une didactique comparée, la recherche se propose à son tour de croiser les regards sur l‟acte d‟interpréter, comme pratique de lecture, en littérature et en sciences. L‟analyse, ciblée sur le premier degré de l‟école primaire (cycle 3), porte principalement sur deux objets d‟étude : un album de littérature de jeunesse et le phénomène scientifique de l‟éruption volcanique. Elle envisage le débat d‟interprétation comme dispositif heuristique de lecture en commun. Elle s‟attache ainsi à délimiter les points de convergence et de divergence qui se dessinent entre débat littéraire et débat scientifique : comment s‟y orchestre le jeu des possibles, s‟y problématisent les images du monde et se constituent des communautés interprétatives scolaires. Elle tente de mesurer l‟impact du jeu interprétatif sur la construction de postures disciplinaires comme rapport au monde et modes d‟entrée dans ces communautés. Pour cela, elle s‟intéresse à la manière dont les interprétations s‟ancrent dans des systèmes d‟intelligibilité, ou cadres de référence, et fait de ces grilles de lecture des points d‟ancrage dans les postures disciplinaires<br>In recent decades, both natural and cultural sciences have been marked by the increasing importance of the interpretative paradigm. This has led to disciplinary epistemologies calling into question their boundaries around the subject of interpretation. In turn, this study, placed within the framework of comparative didactics, brings together views of the act of interpretation as reading practice in both literature and science. The study focuses upon the final three years of primary education in France concentrating primarily on two objects: firstly, an illustrated children‟s book, and, secondly, the scientific phenomenon of a volcanic eruption. The analysis considers the interpretative debate as a heuristic apparatus for collective reading. Thus, it sets out to trace the points of convergence and divergence between literary and scientific debates asking how the interplay of possibilities is orchestrated, how images of the world are called into question and how scholarly interpretative communities are constituted. The study seeks to measure the impact of interpretative play upon the construction of disciplinary postures, both as ways of relating to the world and as modes of integrating these interpretative communities. To this end, it looks at the way in which interpretations are grounded in systems of intelligibility, or frames of reference, and regards these interpretative frameworks as grounding points for disciplinary postures
5
Lévêque, Mathilde Nières Isabelle. "Le renouveau du roman et du récit pour la jeunesse en France et en Allemagne pendant l'entre-deux guerres modernité et écriture narrative /." Rennes : Université Rennes 2, 2007. http://tel.archives-ouvertes.fr/tel-00204455/fr.
Full text
6
Ezzine, Abdelhak. "Méthodes d'ondelettes pour l'analyse d'opérateurs." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1997. http://pastel.archives-ouvertes.fr/pastel-00569070.
Full textAbstract:
L'idée d'utiliser des bases d'ondelettes dans l'analyse numérique (résolution des équations elliptiques, aux dérivées partielles, intégrales) s'est imposée depuis que ces bases ont fait preuve de leur efficacité dans le traitement du signal. Deux problèmes se posent quant au calcul de la solution dans une base d'ondelettes : - problème 1 : l'étude de la structure de la matrice associée à un noyau K d'un opérateur intégral T dans une base d'ondelettes ; - problème 2 : l'adaptation des techniques de discrétisation de Galerkin aux bases d'ondelettes. Cette thèse contribue à l'étude de ces problèmes par l'introduction d'une nouvelle classe d'opérateurs définis par leur matrice représentative dans une base d'ondelettes et caractérisés par les dérivées fractionnaires de leurs noyaux.
7
Rochefort, Yohan. "Méthodes pour le guidage coopératif." Phd thesis, Supélec, 2013. http://tel.archives-ouvertes.fr/tel-00934428.
Full textAbstract:
L'objectif de cette thèse est de définir puis d'étudier les performances de méthodes de guidage coopératif de véhicules aériens autonomes. L'intérêt du guidage coopératif est de confier une mission complexe à une flotte, plutôt qu'à un véhicule unique, afin de distribuer la charge de travail et d'améliorer les performances et la fiabilité. Les lois de guidage étudiées sont distribuées sur l'ensemble des véhicules afin d'une part, de répartir la charge de calcul et d'autre part, d'augmenter la fiabilité en éliminant la possibilité de perte de l'organe central de calcul de la commande.La première partie de la thèse porte sur les possibilités offertes par la règle des plus proches voisins. La loi de guidage développée consiste à ce que la commande de chaque véhicule soit élaborée en combinant les états des véhicules voisins. Afin de transmettre des consignes au groupe de véhicules, des objets dénommés agents virtuels sont introduits. Ceux-ci permettent de représenter des obstacles, d'indiquer une direction ou une cible au groupe de véhicules en utilisant des mécanismes déjà présent dans la loi de guidage.La seconde partie de la thèse porte sur les possibilités offertes par la commande prédictive. Ce type de commande consiste à employer un modèle du comportement du système afin de prédire les effets de la commande, et ainsi de déterminer celle qui minimise un critère de coût en respectant les contraintes du système. La loi de guidage développée emploi un critère de coût tenant compte et arbitrant entre les différents aspects de la mission (sécurité, progression de la mission, modération de la commande), et une procédure de recherche de la commande utilisant jeu prédéfinis de commandes candidates afin d'explorer l'espace de commande de manière efficace. Cette procédure, distincte des algorithmes d'optimisation habituels, génère une charge de calcul faible et constante, ne nécessite pas d'étape d'initialisation et est très peu sensible aux minima locaux.
8
EZZINE, ABDELHAK. "Méthodes d'ondelettes pour l'analyse d'opérateurs." Marne-la-vallée, ENPC, 1997. http://www.theses.fr/1997ENPC9735.
Full textAbstract:
L’idée d'utiliser des bases d'ondelettes dans l'analyse numérique (résolution des équations elliptiques, aux dérivées partielles, intégrales) s'est imposée depuis que ces bases ont fait preuve de leur efficacité dans le traitement du signal. Deux problèmes se posent quant au calcul de la solution dans une base d'ondelettes : - problème 1 : l'étude de la structure de la matrice associée a un noyau k d'un opérateur d'intégral t dans une base d'ondelettes ; - problème 2 : l'adaptation des techniques de discrétisation de galérien aux bases d'ondelettes. Cette thèse contribue à l'étude de ces problèmes par l'introduction d'une nouvelle classe d'opérateurs définis par leur matrice représentative dans une base d'ondelettes et caractérises par les dérivées fractionnaires de leur noyaux.
9
Vekemans, Denis. "Algorithmes pour méthodes de prédiction." Lille 1, 1995. http://www.theses.fr/1995LIL10176.
Full textAbstract:
Supposant connaître quelques termes d'une suite, nous définissons une méthode de prédiction comme étant un procédé capable de fournir une approximation des termes suivants. Nous utilisons des méthodes d'extrapolation, qui servent généralement à accélérer la convergence des suites, pour construire des méthodes de prédiction. Souvent, les méthodes de prédiction nécessitent la résolution d'un système linéaire (ou non linéaire). Mais, grâce aux algorithmes relatifs aux méthodes d'extrapolation, dans ce travail, nous les évitons. De plus, nous pouvons donner des résultats de consistance pour ces méthodes.
10
Bazot, Cécile. "Méthodes bayésiennes pour l'analyse génétique." Phd thesis, Toulouse, INPT, 2013. http://oatao.univ-toulouse.fr/10573/1/bazot.pdf.
Full textAbstract:
Ces dernières années, la génomique a connu un intérêt scientifique grandissant, notamment depuis la publication complète des cartes du génome humain au début des années 2000. A présent, les équipes médicales sont confrontées à un nouvel enjeu : l'exploitation des signaux délivrés par les puces ADN. Ces signaux, souvent de grande taille, permettent de connaître à un instant donné quel est le niveau d'expression des gênes dans un tissu considéré, sous des conditions particulières (phénotype, traitement, ...), pour un individu. Le but de cette recherche est d'identifier des séquences temporelles caractéristiques d'une pathologie, afin de détecter, voire de prévenir, une maladie chez un groupe de patients observés. Les solutions développées dans cette thèse consistent en la décomposition de ces signaux en facteurs élémentaires (ou signatures génétiques) selon un modèle bayésien de mélange linéaire, permettant une estimation conjointe de ces facteurs et de leur proportion dans chaque échantillon. L’utilisation de méthodes de Monte Carlo par chaînes de Markov sera tout particulièrement appropriée aux modèles bayésiens hiérarchiques proposés puisqu'elle permettra de surmonter les difficultés liées à leur complexité calculatoire.
11
Duclos, Thierry. "Jeunesse en difficulté et éducation pour la santé." Montpellier 1, 1990. http://www.theses.fr/1990MON11162.
Full text
12
Beillaud, Nadine. "Le français de la littérature de jeunesse contemporaine (étude linguistique) : analyse contrastive d'ouvrages pour la jeunesse." Tours, 1995. http://www.theses.fr/1995TOUR2013.
Full textAbstract:
Cette recherche est une étude linguistique des formes et des structures du français de la littérature pour la jeunesse contemporaine. À partir de l'analyse contrastive de "Vendredi ou les limbes du pacifique" et de "Vendredi ou la vie sauvage" de Michel Tournier, le travail de comparaison s'articule selon deux axes : celui des composantes textuelles (narrative, descriptive, poétique, référentielle, intertextuelle et argumentative) et celui des niveaux syntaxique, lexical et rhétorique. Cette analyse tente de montrer à partir de critères linguistiques s'il existe ou non une spécificité de la langue de la littérature pour la jeunesse<br>This research is a linguistic study of the french language in contemporary literature for young readers. The comparative works, based upon the contrastive analysis of "Vendredi ou les limbes du pacifique" and "Vendredi ou la vie sauvage" of Michel Tournier, is structured on rand two mains lines: 1. Textual components (narrative, descriptive, poetic, referential, intertextual and argumentative). 2. Syntactic, lexical and rhetorical levels. The aim of this analysis is to show, by the means of linguistic criterions, if does exist or not a specificity of the language of the literature for young readers
13
Depecker, Marine. "Méthodes d'apprentissage statistique pour le scoring." Phd thesis, Télécom ParisTech, 2010. http://pastel.archives-ouvertes.fr/pastel-00572421.
Full textAbstract:
Cette thèse porte sur le développement d'une méthode non-paramétrique pour l'apprentissage supervisé de règles d'ordonnancement à partir de données étiquetées de façon binaire. Cette méthode repose sur le partitionnement récursif de l'espace des observations et généralise la notion d'arbre de décision au problème de l'ordonnancement, les règles de score produites pouvant être représentées graphiquement par des arbres binaires et orientés. Afin de proposer une méthode d'apprentissage flexible, nous introduisons une procédure permettant, à chaque itération de l'algorithme, de scinder l'espace des observations selon diverses règles, adaptatives et complexes, choisies en fonction du problème considéré. De plus, pour lutter contre le phénomène de sur-apprentissage, nous proposons deux procédures de sélection de modèle, fondées sur la maximisation de l'ASC empirique pénalisée par une mesure de la complexité du modèle. Enfin, dans le but de réduire l'instabilité des arbres d'ordonnancement, inhérente à leur mode de construction, nous adaptons deux procédures d'agrégation de règles de prédiction ré-échantillonnées : le bagging (Breiman, 1996) et les forêts aléatoires (Random Forests, Breiman, 2001). Une étude empirique comparative entre différentes configurations de l'algorithme et quelques méthodes de l'état de l'art est présentée, ainsi que l'application à la problématique industrielle de l'objectivation des prestations d'un véhicule automobile. De plus, nous exploitons cette méthode de scoring pour introduire une heuristique de test d'homogénéité entre deux populations, permettant de généraliser les tests de rangs au cas multi-dimensionnel.
14
Pasca, Ioana. "Vérification formelle pour les méthodes numériques." Phd thesis, Université de Nice Sophia-Antipolis, 2010. http://tel.archives-ouvertes.fr/tel-00555158.
Full textAbstract:
Cette thèse s'articule autour de la formalisation de mathématiques dans l'assistant à la preuve Coq dans le but de vérifier des méthodes numériques. Plus précisément, elle se concentre sur la formalisation de concepts qui apparaissent dans la résolution des systèmes d'équations linéaires et non-linéaires. <p> Dans ce cadre, on a analysé la méthode de Newton, couramment utilisée pour approcher les solutions d'une équation ou d'un système d'équations. Le but a été de formaliser le théorème de Kantorovitch qui montre la convergence de la méthode de Newton vers une solution, l'unicité de la solution dans un voisinage, la vitesse de convergence et la stabilité locale de la méthode. L'étude de ce théorème a nécessité la formalisation de concepts d'analyse multivariée. En se basant sur ces résultats classiques sur la méthode de Newton, on a montré qu'arrondir à chaque étape préserve la convergence de la méthode, avec une corrélation bien déterminée entre la précision des données d'entrée et celle du résultat. Dans un travail commun avec Nicolas Julien nous avons aussi formellement étudié les calculs avec la méthode de Newton effectués dans le cadre d'une bibliothèque d'arithmétique réelle exacte. <p> Pour les systèmes linéaires d'équations, on s'est intéressé aux systèmes qui ont une matrice associée à coefficients intervalles. Pour résoudre de tels systèmes, un problème important qui se pose est de savoir si la matrice associée est régulière. On a fourni la vérification formelle d'une collection de critères de régularité pour les matrices d'intervalles.
15
Hermosillo, Valadez Gerardo. "Méthodes Variationnelles pour le Recalage Multimodal." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00457459.
Full textAbstract:
Depuis quelques années, l'utilisation des équations aux dérivées partielles a pourvu la recherche en traitement d'images d'une approche formelle solide, et a abouti à des algorithmes dont on peut montrer le caractère bien posé, étant donné un ensemble d'hypothèses clairement définies. Ces algorithmes forment l'état de l'art dans beaucoup de domaines d'application tels que le débruitage, la segmentation et la mise en correspondance. En parallèle à ceci, des approches combinant des principes variationnels et stochastiques ont amené à de puissants algorithmes qui peuvent aussi être décrits en termes d'équations aux dérivées partielles. C'est l'approche suivi dans ce travail, où est étudié le problème de mise en correspondance dense entre deux images, en utilisant des critères statistiques de dissemblance. Deux classes d'algorithmes sont considérées, selon que ces critères soient calculés globalement pour toute l'image, ou localement entre des régions correspondantes. Dans chaque cas, trois critères de dissemblance sont étudiés, définis comme l'opposé des critères de ressemblance suivants: information mutuelle (bien adaptée à une dépendance statistique très générale entre les niveaux de gris), rapport de corrélation (adapté à une dépendance fonctionnelle), et corrélation croisée (adaptée à une dépendance affine). La minimisation de la somme du terme de dissemblance et un terme de régularisation définit, à travers les équations d'Euler-Lagrange, un système d'équations fonctionnelles d'évolution. Nous étudions les conditions sous lesquelles ces équations d'évolution sont bien posées, c'est-à-dire ont une solution unique et montrons que les algorithmes proposés satisfont ces conditions pour deux classes d'opérateurs linéaires régularisants, dont une est connue pour encourager des variations rapides de la solution le long des contours de l'image de référence. La performance de ces algorithmes est illustrée à travers plusieurs exemples synthétiques et réels, aussi bien sur des images 2D que 3D. Comme le montrent ces exemples, les algorithmes décrits sont applicables à des problèmes qui ne font pas nécessairement intervenir des capteurs de modalités différentes. Ils sont aussi spécialement intéressants pour la communauté de l'imagerie médicale, où le problème de fusionner des données provenant de différentes modalités d'imagerie nécessite souvent de corriger des distorsions non-linéaires.
16
Touya, Thierry. "Méthodes d'optimisation pour l'espace et l'environnement." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00366141.
Full textAbstract:
Ce travail se compose de deux parties relevant d'applications industrielles différentes. <br />La première traite d'une antenne spatiale réseau active. <br />Il faut d'abord calculer les lois d'alimentation pour satisfaire les contraintes de rayonnement. Nous transformons un problème avec de nombreux minima locaux en un problème d'optimisation convexe, dont l'optimum est le minimum global du problème initial, en utilisant le principe de conservation de l'énergie. <br />Nous résolvons ensuite un problème d'optimisation topologique: il faut réduire le nombre d'éléments rayonnants (ER). Nous appliquons une décomposition en valeurs singulières à l'ensemble des modules optimaux relaxés, puis un algorithme de type gradient topologique décide les regroupements entre ER élémentaires. <br /><br />La deuxième partie porte sur une simulation type boîte noire d'un accident chimique. <br />Nous effectuons une étude de fiabilité et de sensibilité suivant un grand nombre de paramètres (probabilités de défaillance, point de conception, et paramètres influents). Sans disposer du gradient, nous utilisons un modèle réduit. <br />Dans un premier cas test nous avons comparé les réseaux neuronaux et la méthode d'interpolation sur grille éparse Sparse Grid (SG). Les SG sont une technique émergente: grâce à leur caractère hiérarchique et un algorithme adaptatif, elles deviennent particulièrement efficaces pour les problèmes réels (peu de variables influentes). <br />Elles sont appliquées à un cas test en plus grande dimension avec des améliorations spécifiques (approximations successives et seuillage des données). <br />Dans les deux cas, les algorithmes ont donné lieu à des logiciels opérationnels.
17
Wintz, Julien. "Méthodes algébriques pour la modélisation géometrique." Phd thesis, Université de Nice Sophia-Antipolis, 2008. http://tel.archives-ouvertes.fr/tel-00347162.
Full textAbstract:
Les domaines de géométrie algébrique et de géométrie algorithmique, bien qu'étroitement liés, sont traditionnellement représentés par des communautés de recherche disjointes. Chacune d'entre elles utilisent des courbes et surfaces, mais représentent les objets de différentes manières. Alors que la géométrie algébrique définit les objets par le biais d'équations polynomiales, la géométrie algorithmique a pour habitude de manipuler des modèles linéaires. La tendance actuelle est d'appliquer les algorithmes traditionnels de géométrie algorithmique sur des modèles non linéaires tels que ceux trouvés en géométrie algébrique. De tels algorithmes jouent un rôle important dans de nombreux champs d'application tels que la Conception Assistée par Ordinateur. Leur utilisation soulève d'importantes questions en matière de développement logiciel. Tout d'abord, la manipulation de leur représentation implique l'utilisation de calculs symboliques numériques qui représentent toujours un domaine de recherche majeur. Deuxièmement, leur visualisation et leur manipulation n'est pas évidente, en raison de leur caractère abstrait.<br /><br />La première partie de cette thèse porte sur l'utilisation de méthodes algébriques en modélisation géométrique, l'accent étant mis sur la topologie, l'intersection et l'auto-intersection dans le cadre du calcul d'arrangement d'ensembles semi-algébriques comme les courbes et surfaces à représentation implicite ou paramétrique. Une attention particulière est portée à la généricité des algorithmes qui peuvent être spécifiés quel que soit le contexte, puis spécialisés pour répondre aux exigences d'une certaine représentation.<br /><br />La seconde partie de cette thèse présente le prototypage d'un environnement de modélisation géométrique dont le but est de fournir un moyen générique et efficace pour modéliser des solides à partir d'objets géométriques à re\-pré\-sen\-ta\-tion algébrique tels que les courbes et surfaces implicites ou paramétriques, à la fois d'un point de vue utilisateur et d'un point de vue de développeur, par l'utilisation de librairies de calcul symbolique numérique pour la<br />manipulation des polynômes définissant les objets géométriques.
18
Criscuolo, Alexis. "Méthodes de distance pour l'inférence phylogénomique." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2006. http://tel.archives-ouvertes.fr/tel-00142222.
Full textAbstract:
L'inférence phylogénomique cherche à combiner le signal évolutif induit par un ensemble de gènes dans le but de construire un unique arbre phylogénétique.<br />Elle peut être décomposée en trois grandes familles méthodologiques: la combinaison basse, qui s'appuie sur la concaténation des différents gènes, la combinaison haute, qui considère l'ensemble des arbres inférés à partir de chaque gène, et la combinaison moyenne, qui encode les différents signaux phylogénétiques puis combine ces différents encodages.<br />Une méthode d'inférence d'arbre est ensuite appliquée sur le résultat de la combinaison.<br /><br />Cette thèse développe de nouveaux scénarios d'inférence phylogénomique, principalement basés sur l'estimation de distances évolutives entre chaque paire de taxons.<br />Elle propose une nouvelle méthode de combinaison moyenne, nommée SDM, qui considère les matrices de distance estimées à partir de chaque gène et qui les combine en une unique supermatrice de distance.<br />Cette dernière pouvant parfois contenir des distances manquantes, cette thèse décrit également de nouveaux algorithmes, nommés NJ*, UNJ*, BioNJ* et MVR*, permettant d'inférer très rapidement un arbre à partir d'une matrice de distance complète ou incomplète.<br />De nombreuses simulations ont permis d'observer les bonnes performances de ces nouvelles méthodes de distance.<br />Initialement développées pour la combinaison moyenne, elles permettent toutefois d'améliorer significativement les résultats de certaines approches standards en combinaison basse, et représentent une alternative efficace à MRP, la plus utilisée des techniques de combinaison haute, en termes de fiabilité et de rapidité.<br />La taille des jeux de données phylogénomiques étant de plus en plus importante, les méthodes développées dans cette thèse constituent ainsi des outils de choix pour construire l'Arbre de la Vie.
19
Aussenac-Gilles, Nathalie. "Méthodes ascendantes pour l'ingénierie des connaissances." Habilitation à diriger des recherches, Université Paul Sabatier - Toulouse III, 2005. http://tel.archives-ouvertes.fr/tel-00089165.
Full textAbstract:
Les travaux présentés dans ce mémoire relèvent de l'ingénierie des connaissances et contribuent à mieux en cerner et définir le champ scientifique. Ce domaine vise la définition de solutions techniques, méthodologiques et organisationnelles pour identifier des connaissances, les modéliser et les restituer au sein d'applications informatiques. La modélisation est ici considérée comme une étape indépendante de l'opérationnalisation faite dans le système final.<br />L'approche retenue ici met l'accent sur les connaissances liées aux usages et pratiques des personnes concernées par le système à concevoir. L'objectif est de réaliser des aides à la modélisation, et précisément aux processus d'abstraction et de caractérisation des connaissances. <br />Les recherches développées s'appuient systématiquement sur une démarche expérimentale, grâce à des applications en entreprises et des études de cas, et sur des collaborations interdisciplinaires. Les contributions présentées comprennent des techniques et des logiciels de recueil et d'analyse de connaissances, des méthodes et des représentations des connaissances pour la modélisation conceptuelle ainsi que des plates-formes intégrant ces différents supports. <br />Ces méthodes et outils répondent successivement à trois problématiques différentes sur la modélisation, en phase avec les évolutions historiques du domaine. Le premier problème traité, assez large, est celui de la modélisation conceptuelle à partir de connaissances d'experts et d'activités humaines, faisant appel à des techniques et problématiques de psychologie et d'ergonomie. Une deuxième manière d'étudier la modélisation a consisté à s'intéresser à l'analyse des textes et aux approches linguistiques pour construire des modèles de domaines spécialisés, comme les bases de connaissances terminologiques et les ontologies. De l'ensemble des expériences menées pour ces évaluer ces propositions, il ressort que l'utilisation des modèles au sein des applications doit être prise en compte dès leur construction. Une troisième problématique porte donc sur l'étude de l'utilisation de modèles conceptuels, et plus particulièrement d'ontologies, dans des cadres applicatifs ciblés, pour ajuster les méthodes et logiciels requis pour leur construction. Les applications étudiées relèvent de la recherche d'information et de l'accès au contenu de documents. Cette problématique soulève des questions fondamentales sur la complémentarité des modèles et des documents en tant que vecteurs de connaissances.<br />Les perspectives de ce travail se situent selon deux axes liés aux documents. D'une part, si les modèles facilitent l'accès au contenu, comment définir les modalités de l'indexation sémantique de documents (à l'aide d'ontologies) ? D'autre part, les documents et les besoins étant sans cesse renouvelés, comment intégrer la question de la maintenance d'ontologies et de terminologies dans le processus de construction ? L'originalité de l'approche retenue est de traiter ces deux questions conjointement, et d'en chercher des solutions cohérentes s'appuyant sur les outils et méthodes de construction d'ontologies à partir de textes.
20
Scornavacca, Celine. "Méthodes de superarbres pour la phylogénomique." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2009. http://tel.archives-ouvertes.fr/tel-00842893.
Full textAbstract:
La phylogénétique est un champ de recherche de la biologie qui étudie les relations évolutives entre les espèces grâce à des données moléculaires et morphologiques. Ces relations peuvent être résumées dans un arbre communément appelé "arbre des espèces". Ces arbres sont principalement estimés en analysant des "arbres de gènes", i.e., des arbres évolutifs construits par l'analyse d'une famille de gènes. Toutefois, pour des raisons à la fois méthodologiques et biologiques, un arbre de gènes peut différer par endroits de l'arbre des espèces. Pour estimer ce dernier, les biologistes analysent donc simultanément plusieurs jeux de données correspondant à différentes familles de gènes, laissant le poids de l'évidence décider. Ce travail de thèse s'est focalisé sur l'approche "super-arbre" pour combiner les jeux de données. Cette approche consiste premièrement à construire des arbres (appelés communément arbres sources) à partir de données primaires, puis à les assembler en un arbre plus grand et plus complet, appelé super-arbre. Si elles sont utilisées au sein d'une approche "diviser pour régner" dans le but de reconstituer des grandes parties de l'arbre de vie, il est préférable d'utiliser une méthode de super-arbres conservative afin d'obtenir des arbres très fiables. Dans ce contexte, une méthode de super-arbre doit afficher seulement des informations fiables qui sont présentes ou induites par les arbres sources (propriété d'induction - PI), et qui n'entrent pas en conflit avec ces derniers ou avec une de leurs combinaisons (propriété de non contradiction - PC). Nous avons défini de manière formelle ces deux propriétés. De plus, comme aucune des méthodes de super-arbres existantes ne garantissait l'obtention d'un super-arbre satisfaisant PI et PC, nous avons développé un algorithme permettant de modifier un super-arbre afin qu'il les satisfasse. Nous avons également conçu deux méthodes, PhySIC et PhySIC_IST, qui construisent directement des super-arbres satisfaisant ces deux propriétés. L'application de PhySIC_IST au problème complexe de la phylogénie des Triticeae a permis de mieux comprendre l'histoire évolutive de ce groupe. Les événements de duplication aboutissent presque toujours à la présence de plusieurs copies du même gène dans les génomes. Les arbres de gènes sont donc généralement multi-étiquetés, i.e., une seule espèce étiquette plusieurs feuilles. Comme aucune méthode n'existe actuellement pour combiner ce type d'arbres, ils sont le plus souvent complètement ignorés dans les approches phylogénomiques classiques. Pourtant, ils représentent 60% à 80% des arbres de gènes disponibles dans les banques de données moléculaires. Dans cette thèse, nous proposons plusieurs algorithmes permettant d'obtenir, à partir d'un arbre multi-étiqueté, un arbre classique (i.e., où chaque espèce n'apparaît qu'une seule fois) contenant un maximum d'informations de spéciation présentes dans l'arbre initial. Cet arbre peut ensuite être utilisé par n'importe quelle méthode de super-arbres. Une application à la base de données hogenom est présentée
21
Truong, Quang Huy. "Méthodes d'asservissement visuel pour l'appontage d'hélicoptères." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0008/document.
Full textAbstract:
Cette thèse s’inscrit dans le domaine de l’automatique, et a pour but de fournir des outils utiles à l’atterrissage en mer d’hélicoptères (sur navire ou plateforme) et employés dans le cadre d’un potentiel pilotage automatique. L’objectif a donc été de développer une série de lois de commande pilotées manuellement, puis commandées de façon autonome à l’aide d’informations caméra. Les lois ainsi développées à l’aide de modèles dynamiques d’hélicoptères, limitations mécaniques incluses, se basent sur les critères de Qualité de Vol issus de la norme ADS-33. L’ensemble a fait appel à une approche anti-windup pour améliorer la robustesse face aux situations d’actionneurs en saturation. Enfin les lois issues de ces travaux ont été testées en temps-réel sur le banc de pilotage d’hélicoptères de l’ONERA Salon-de-Provence<br>This thesis is related to the automatic & control engineering field, and itsmain goal is to provide useful tools for ship landing missions, tools that can be used fora potential autopilot. The objective has been to develop a series of control laws manuallypiloted, then automatically controlled by visual servoing using identified image features. Thelaws developped thanks to helicopter models with mechanical limitations were based on flyingqualities criteria from the ADS-33 standard. The process also defines an anti-windup approachto cope with actuator saturations. Finally the main results were assessed in real time withthe ONERA rotorcraft flight test bench at ONERA Salon-de-Provence
22
Zeydina, Olga. "Méthodes probabilistes pour la sûreté nucléaire." Lorient, 2011. http://www.theses.fr/2011LORIS246.
Full text
23
Plihon, Véronique. "Un environnement pour l'ingénierie des méthodes." Paris 1, 1996. http://www.theses.fr/1996PA010073.
Full text
24
Benhadid, Yacine. "Méthodes numériques pour l'équation de Vlasov." Orléans, 2001. http://www.theses.fr/2001ORLE2006.
Full textAbstract:
Cette these traite de solutions d'equations aux derivees partielles issues de la physique de plasmas. Plus precisement, elle est consacre a la resolution numerique des systemes de vlasov-poisson et de vlasov-maxwell qui decrivent le comportement d'un plasma. Dans une premiere partie, on expose la problematique de la recherche de resultats numeriques pour le systeme de vlasov-poisson unidimensionnel. On propose une methode basee sur la decomposition en ondelettes de l'operateur de derivation. De telles methodes ont ete utilise avec succes dans le cadre d'autres equations issues de la physique mathematique (en particulier celles de la mecanique des fluides incompressibles). Apres une presentation generale des ondelettes, on se fonde sur la representation d'un operateur en bases d'ondelettes a support compact pour la resolution et montre des resultats numeriques de calculs de la solution du systeme de vlasov-poisson (1d en espace et 1d en vitesse). La deuxieme partie est consacree a la resolution numerique du systeme de vlasov-poisson bidimensionnel (2d en espace et 2d en vitesse). Il s'agit d'essayer d'adapter les schemas essentiellement non oscillatoires (eno et weno), initialement conÇus pour traiter les problemes de systeme hyperboliques non-lineaires, a l'equation de vlasov. Apres une presentation de ses schemas, on donne une methode permettant de reduire le nombre d'etapes et on expose des resultats numeriques sous forme de figures. La derniere partie de la these est consacree a la resolution numerique des equations de maxwell, pour leur couplage avec l'equation de vlasov, specialement dans des systemes non periodiques et ouverts. Dans ce cas la decomposition en ondes circulaires permet d'obtenir des solutions stables sans l'introduction de termes artificiels d'amortissement.
25
Guilbaud, Thérèse. "Méthodes numériques pour la commande optimale." Paris 6, 2002. http://www.theses.fr/2002PA066167.
Full text
26
Idoumghar, Lhassane. "Méthodes algorithmiques pour l'allocation de fréquences." Nancy 1, 2002. http://www.theses.fr/2002NAN10235.
Full textAbstract:
La génération d'un plan de fréquences est une tâche difficile dans le processus de planification, qui peut conduire à des plans de fréquences peu adéquats d'un point de vue métier. En effet, le processus de génération s'appuie d'une part sur une modélisation des contraintes existant entre les points de service du réseau étudié, et d'autre part sur une optimisation combinatoire qui vise à satisfaire ces contraintes. Cette optimisation combinatoire fournit une solution optimale d'un point de vue mathématique, mais selon la finesse de modélisation des contraintes, la solution générée peut être inutilisable dans la réalité. Dans cette thèse, nous présentons de nouvelles méthodes algorithmiques permettant de résoudre efficacement le problème d'allocation de fréquences dans le cadre de la radiodiffusion. L'utilisation de ces nouvelles approches a montré que la qualité des solutions obtenues est nettement meilleure que les meilleures solutions opérationnelles existant dans ce domaine<br>Generating a frequency plan is a difficult task in the radionetwork planning process, that may lead to obtain frequency plans with poor efficiency under real propagation conditions. In fact, the generation process uses a modelling of existing constraints between transmitters of the radionetwork under study, and a combinatorial optimization that tries to satisfy those constraints. This combinatorial optimization provides an optimal solution from a mathematical viewpoint, but according to the refinement of constraints modelling, the generated solution can be unusable under real propagation conditions. In this thesis, we intoduce new algorithmic approaches to solve the Frequency Assignment Problem in the field of radiobroadcasting. The experiments performed on real radionetworks show that the results obtained by these approaches are better than the best operational solutions that are existing in this domain
27
Paşca, Ioana. "Vérification formelle pour les méthodes numériques." Nice, 2010. http://www.theses.fr/2010NICE4104.
Full textAbstract:
Cette thèse s'articule autour de la formalisation de mathématiques dans l'assistant à la preuve Coq dans le but de vérifier des méthodes numériques. Plus précisément, elle se concentre sur la formalisation de concepts qui apparaissent dans la résolution des systèmes d'équations linéaires et non-linéaires. Dans ce cadre, on a analysé la méthode de Newton, couramment utilisée pour approcher les solutions d'une équation ou d'un système d'équations. Le but a été de formaliser le théorème de Kantorovitch qui montre la convergence de la méthode de Newton vers une solution, l'unicité de la solution dans un voisinage, la vitesse de convergence et la stabilité locale de la méthode. L'étude de ce théorème a nécessité la formalisation de concepts d'analyse multivariée. En se basant sur ces résultats classiques sur la méthode de Newton, on a montré qu'arrondir à chaque étape préserve la convergence de la méthode, avec une corrélation bien déterminée entre la précision des données d'entrée et celle du résultat. Dans un travail commun avec Nicolas Julien nous avons aussi formellement étudié les calculs avec la méthode de Newton effectués dans le cadre d'une bibliothèque d'arithmétique réelle exacte. Pour les systèmes linéaires d'équations, on s'est intéressé aux systèmes qui ont une matrice associée à coefficients intervalles. Pour résoudre de tels systèmes, un problème important qui se pose est de savoir si la matrice associée est régulière. On a fourni la vérification formelle d'une collection de critères de régularité pour les matrices d'intervalles<br>This thesis deals with the formalization of mathematics in the proof assistant Coq with the purpose of verifying numerical methods. We focus in particular on formalizing concepts involved in solving systems of equations, both linear and non-linear. We analyzed Newton's method which is a numerical method widely used for approximating solutions of equations or systems of equations. The goal was to formalize Kantorovitch's theorem which gives the convergence of Newton’s method to a solution, the speed of the convergence and the local stability of the method. The formal study of this theorem also demanded a formalization of concepts of multivariate analysis. Based on these classic results on Newton's method, we showed that rounding at each step in Newton's method still yields a convergent process with an accurate correlation between the precision of the input ant that of the result. In a joint work with Nicolas Julien, we studied formally computations with Newton's method in a library of exact real arithmetic. For linear systems of equations, we analyzed the case where the associated matrix has interval coefficients. For solving such systems, an important issue is to establish whether the associated matrix is regular. We provide a collection of formally verified criteria for regularity of interval matrices
28
Reyes, Riffo Sebastián. "Méthodes mathématiques pour l'extraction d'énergie marine." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLED068.
Full textAbstract:
La présente thèse vise à contribuer à l’élaboration d’un cadre théorique pour trois problèmes dans le contexte des énergies marines renouvelables. Dans sa première partie, nous proposons une procédure pour coupler des méthodes d’assimilation de données temporelles non limitées avec des algorithmes parallèles en temps. La combinaison entre l’observateur de Luenberger et l’algorithme Pararéel est étudiée, ce qui permet d’estimer le nombre d’itérations pararéelles nécessaires pour préserver le taux de convergence de l’observateur et d’obtenir une estimation de l’efficacité théorique de l’ensemble de la procédure. Nous discutons ensuite la détermination d’une bathymétrie dans une perspective d’optimisation. En imposant que la propagation des vagues optimise un certain critère associé à une fonctionnelle de coût, nous considérons un problème d’optimisation sous contrainte d’EDP où la bathymétrie joue le rôle de contrôle et la propagation des vagues est décrite par une équation de type Helmholtz. Nous sommes en mesure de prouver, sur la base d’hypothèses appropriées, la continuité de la fonction contrôle-état et l’existence d’une solution optimale, incluant aussi quelques résultats sur les solutions au problème de Helmholtz et la convergence dans un cadre discret. Ce travail est complété par des expériences numériques.La dernière partie de ce travail est consacrée à l’analyse de la méthode de l’élément de pale (BEM), une méthode classique utilisée pour déterminer les performances d’une hélice ainsi que des paramètres de design. Nous proposons une reformulation de la méthode qui permet d’obtenir des conditions d’existence des solutions et d’établir la convergence de certains algorithmes de résolution. Nous étudions également le problème d’optimisation associé dans certains contextes<br>The present thesis aims to contribute to the development of a theoretical framework for three problems in the context of renewable marine energy. In the first part, we propose a procedure to couple unbounded in time data assimilation methods with time-parallel algorithms. The combination between the Luenberger observer and Parareal algorithm is studied, providing a way to estimate the number of parareal iterations required to preserve the observer rate of convergence, as well as an estimation of the theoretical efficiency of the entire procedure.We then discuss the determination of a bathymetry from an optimization perspective. Imposing that wave propagation must fulfill a certain criterion associated with a cost functional, we consider a PDE-constrained optimization problem where the bathymetry plays the role of control and wave propagation is described by the Helmholtz equation. We are able to prove, under suitable assumptions, the continuity of the control-to-state mapping and the existence of an optimal solution, including also some results about solutions to Helmholtz problem and convergence in a discrete framework.This work is complemented by numerical experiments.The last part of this work is devoted to analyze the convergence of the Blade element momentum (BEM) theory, a classical method used to determine the propeller efficiency as well as its design parameters. We propose a reformulation of the method that allows to obtain conditions for existence of solutions and establish the convergence of some solving algorithms. We also study the associated optimization problem in certain contexts
29
Page, Aurel regis. "Méthodes explicites pour les groupes arithmétiques." Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0117/document.
Full textAbstract:
Les algèbres centrales simples ont de nombreuses applications en théorie des nombres, mais leur algorithmique est encore peu développée. Dans cette thèse, j’apporte une contribution dans deux directions. Premièrement, je présente des algorithmes de complexité prouvée, ce qui est nouveau dans la plupart des cas. D’autre part, je développe des algorithmes heuristiques mais très efficaces dans la pratique pour les exemples qui nous intéressent le plus, comme en témoignent mes implantations. Les algorithmes sont à la fois plus rapides et plus généraux que les algorithmes existants. Plus spécifiquement, je m’intéresse aux problèmes suivants : calcul du groupe des unités d’un ordre et problème de l’idéal principal. Je commence par étudier le diamètre du domaine fondamental de certains groupes d’unités grâce à la théorie des représentations. Je décris ensuite un algorithme prouvé pour calculer des générateurs et une présentation du groupe des unités d’un ordre maximal dans une algèbre à division, puis un algorithme efficace qui calcule également un domaine fondamental dans le cas où le groupe des unités est un groupe kleinéen. Je donne en outre un algorithme de complexité prouvée qui détermine si un idéal d’un tel ordre est principal, et qui en calcule un générateur le cas échéant, puis je décris un algorithme heuristiquement sous-exponentiel pour résoudre le même problème dans le cas d’une algèbre de quaternions indéfinie<br>Central simple algebras have many applications in number theory, but their algorithmic theory is not yet fully developed. I present algorithms to compute effectively with central simple algebras that are both faster and more general than existing ones. Some of these algorithms have proven complexity estimates, a new contribution in this area; others rely on heuristic assumptions but perform very efficiently in practice.Precisely, I consider the following problems: computation of the unit group of an order and principal ideal problem. I start by studying the diameter of fundamental domains of some unit groups using representation theory. Then I describe an algorithm with proved complexity for computing generators and a presentation of the unit group of a maximal order in a division algebra, and then an efficient algorithm that also computes a fundamental domain in the case where the unit group is a Kleinian group. Similarly, I present an algorithm with proved complexity that decides whether an ideal of such an order is principal and that computes a generator when it is. Then I describe a heuristically subexponential algorithm that solves the same problem in indefinite quaternion algebras
30
Kopinski, Thomas. "Méthodes d'apprentissage pour l'interaction homme-machine." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLY002/document.
Full textAbstract:
Cette thèse a pour but d'améliorer la tâche de reconnaître des gestes de main en utilisant des techniques d'apprentissage par ordinateur et de traitement du signal. Les principales contributions de la thèse sont dédiés à la théorie de l'apprentissage par ordinateur et à l'interaction homme-machine. L'objectif étant d'implanter toutes méthodes en temps réel, toute méthode employé au cours de cette thèse était un compromis entre puissance et temps de calcul nécessaire.Plusieurs pistes ont été poursuivi : au début, la fusion des informations fournies par plusieurs capteurs tu type « time-of-flight » a été étudiée, dans le but d'améliorer le taux de reconnaissances correctes par rapport au cas avec un seul capteur. En particulier, l'impact des différentes caractéristiques calculés à partir d'une nuage de points, et de ses paramètres, a été évalué. Egalement, la performance des réseaux multi-couches (MLP) à été comparé avec celle d'un séparateur à vaste marge (SVM).En s'appuyant sur ces résultats, l'implantation du système dans une voiture a eté effectuée. Tout d'abord, nous avons montré que le système n'est pas du tout gêné par le fait d'être exposé aux conditions d'éclairage « outdoor ». L'extension de la base d'entraînement et une modification des caractéristiques calculé de la nuage des points a pu augmenter le taux de bonnes reconnaissances de façon très significative, ainsi que le rajout des mesures de confiance à la classification.Afin d'améliorer la performance des classifieurs à la base des réseaux multi-couche (MLP), une nouvelle méthode assez simple a été mise au point ensuite. Cette méthode met au profit des informations déjà présentes dans la dernière couche du réseau. En combinant cette nouvelle approche avec une technique de fusion, le taux de bonnes reconnaissances est amélioré, et surtout pour le cas des échantillons « difficiles ». Ces résultats ont été analysés et comparés de façon approfondie en comparant des différentes possibilités de fusion dans un tel contexte. L'exploitation du fait que les données traitées dont des séquences, et qu'il y a par conséquent une cohérence temporelle dans des échantillons successifs, a également été abordée un utilisant les mêmes techniques de fusion. Un système de « infotainment » implanté sur un smartphone, qui utilise les techniques décrites ici, a également été réalisé.Dans un dernier temps, un modèle simplifié de la reconnaissance des gestes dynamiques a été proposé et validé dans un contexte applicatif. Il a été montré que un geste peut être défini de façon assez robuste par une pose initiale et une pose finale, qui sont classé par le système décrit ci-dessus<br>This thesis aims at improving the complex task of hand gesture recognition by utilizing machine learning techniques to learn from features calculated from 3D point cloud data. The main contributions of this work are embedded in the domains of machine learning and in the human-machine interaction. Since the goal is to demonstrate that a robust real-time capable system can be set up which provides a supportive means of interaction, the methods researched have to be light-weight in the sense that descriptivity balances itself with the calculation overhead needed to, in fact, remain real-time capable. To this end several approaches were tested:Initially the fusion of multiple ToF-sensors to improve the overall recognition rate was researched. It is examined, how employing more than one sensor can significantly boost recognition results in especially difficult cases and get a first grasp on the influence of the descriptors for this task as well as the influence of the choice of parameters on the calculation of the descriptor. The performance of MLPs with standard parameters is compared with the performance of SVMs for which the parameters have been obtained via grid search.Building on these results, the integration of the system into the car interior is shown. It is demonstrated how such a system can easily be integrated into an outdoor environment subject to strongly varying lighting conditions without the need for tedious calibration procedures. Furthermore the introduction of a modified light-weight version of the descriptor coupled with an extended database significantly boosts the frame rate for the whole recognition pipeline. Lastly the introduction of confidence measures for the output of the MLPs allows for more stable classification results and gives an insight on the innate challenges of this multiclass problem in general.In order to improve the classification performance of the MLPs without the need for sophisticated algorithm design or extensive parameter search a simple method is proposed which makes use of the existing recognition routines by exploiting information already present in the output neurons of the MLPs. A simple fusion technique is proposed which combines descriptor features with neuron confidences coming from a previously trained net and proves that augmented results can be achieved in nearly all cases for problem classes and individuals respectively.These findings are analyzed in-depth on a more theoretical scale by comparing the effectiveness of learning solely on neural activities in the output layer with the previously introduced fusion approach. In order to take into account temporal information, the thesis describes a possible approach on how to exploit the fact that we are dealing with a problem within which data is processed in a sequential manner and therefore problem-specific information can be taken into account. This approach classifies a hand pose by fusing descriptor features with neural activities coming from previous time steps and lays the ground work for the following section of making the transition towards dynamic hand gestures. Furthermore an infotainment system realized on a mobile device is introduced and coupled with the preprocessing and recognition module which in turn is integrated into an automotive setting demonstrating a possible testing environment for a gesture recognition system.In order to extend the developed system to allow for dynamic hand gesture interaction a simplified approach is proposed. This approach demonstrates that recognition of dynamic hand gesture sequences can be achieved with the simple definition of a starting and an ending pose based on a recognition module working with sufficient accuracy and even allowing for relaxed restrictions in terms of defining the parameters for such a sequence
31
Contal, Emile. "Méthodes d’apprentissage statistique pour l’optimisation globale." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLN038/document.
Full textAbstract:
Cette thèse se consacre à une analyse rigoureuse des algorithmes d'optimisation globale équentielle. On se place dans un modèle de bandits stochastiques où un agent vise à déterminer l'entrée d'un système optimisant un critère. Cette fonction cible n'est pas connue et l'agent effectue séquentiellement des requêtes pour évaluer sa valeur aux entrées qu'il choisit. Cette fonction peut ne pas être convexe et contenir un grand nombre d'optima locaux. Nous abordons le cas difficile où les évaluations sont coûteuses, ce qui exige de concevoir une sélection rigoureuse des requêtes. Nous considérons deux objectifs, d'une part l'optimisation de la somme des valeurs reçues à chaque itération, d'autre part l'optimisation de la meilleure valeur trouvée jusqu'à présent. Cette thèse s'inscrit dans le cadre de l'optimisation bayésienne lorsque la fonction est une réalisation d'un processus stochastique connu, et introduit également une nouvelle approche d'optimisation par ordonnancement où l'on effectue seulement des comparaisons des valeurs de la fonction. Nous proposons des algorithmes nouveaux et apportons des concepts théoriques pour obtenir des garanties de performance. Nous donnons une stratégie d'optimisation qui s'adapte à des observations reçues par batch et non individuellement. Une étude générique des supremums locaux de processus stochastiques nous permet d'analyser l'optimisation bayésienne sur des espaces de recherche nonparamétriques. Nous montrons également que notre approche s'étend à des processus naturels non gaussiens. Nous établissons des liens entre l'apprentissage actif et l'apprentissage statistique d'ordonnancements et déduisons un algorithme d'optimisation de fonctions potentiellement discontinue<br>This dissertation is dedicated to a rigorous analysis of sequential global optimization algorithms. We consider the stochastic bandit model where an agent aim at finding the input of a given system optimizing the output. The function which links the input to the output is not explicit, the agent requests sequentially an oracle to evaluate the output for any input. This function is not supposed to be convex and may display many local optima. In this work we tackle the challenging case where the evaluations are expensive, which requires to design a careful selection of the input to evaluate. We study two different goals, either to maximize the sum of the rewards received at each iteration, or to maximize the best reward found so far. The present thesis comprises the field of global optimization where the function is a realization from a known stochastic process, and the novel field of optimization by ranking where we only perform function value comparisons. We propose novel algorithms and provide theoretical concepts leading to performance guarantees. We first introduce an optimization strategy for observations received by batch instead of individually. A generic study of local supremum of stochastic processes allows to analyze Bayesian optimization on nonparametric search spaces. In addition, we show that our approach extends to natural non-Gaussian processes. We build connections between active learning and ranking and deduce an optimization algorithm of potentially discontinuous functions
32
Camus, Thomas. "Méthodes algorithmiques pour les réseaux algébriques." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM033/document.
Full textAbstract:
Les travaux présentés dans ce mémoire concernent les réseaux, qui sont des objets mathématiques fondamentaux pour de nombreux domaines tel que théorie des nombres et la cryptographie.Nous proposons dans un premier temps une généralisation et une implantation de l'algorithme de réduction de Lenstra, Lenstra et Lov'asz (algorithme LLL) dans le cadre algébrique simple des réseaux sur les anneaux d'entiers quadratiques, imaginaires et euclidiens.Nous nous attachons ensuite à présenter les notions de réseaux algébriques et de formes de Humbert, qui sont des généralisations dans un cadre algébrique aussi large que possible des notions classiques de réseaux euclidiens et de formes quadratiques. L'introduction de ces objets nous permet de présenter une adaptation et une implantation de l'algorithme de Plesken et Souvignier permettant de traiter efficacement les problèmes de l'isométrie et de la détermination des automorphismes pour les réseaux algébriques.Nous proposons finalement une étude détaillée de la complexité de ces deux problèmes. Nous montrons notamment qu'ils sont intiment reliés à des problèmes similaires sur les graphes. Cette réduction nous permet d'exhiber des bornes de complexité inédites<br>This thesis deals with lattices, which are fundamental objects in many fields, such as number theory and cryptography.As a first step, we propose a generalization and an implantation of the Lenstra, Lenstra and Lov'asz algorithm (LLL algorithm) in the simple algebraic setting of lattices over quadratic imaginary and euclidean ring of integers.Then, we present the notions of algebraic lattices and Humbert forms, which are extensions of euclidean lattices and quadratic forms in a large algebraic setting. Introducing these objects leads us to develop and implant modifications of the Plesken and Souvignier algorithm. This algorithm efficiently solves the isometric lattices problem and the automorphism group computation problem for algebraic lattices.Eventually, we analyze in depth the complexity of this two algorithmic problems. We show that they are intimately related to similar problems on graphs. This reduction leads us to express unprecedented complexity bounds
33
Corriveau, David. "Méthodes topologiques pour l'étude des formes." Mémoire, Université de Sherbrooke, 2004. http://savoirs.usherbrooke.ca/handle/11143/4585.
Full textAbstract:
Ce mémoire propose une nouvelle approche topologique pour la caractérisation des formes, soit le descripteur de Morse pour la forme. Ce descripteur est adapté pour tout ensemble de données multi-dimensionnel pouvant se modéliser comme une variété de Morse. La caractérisation est obtenue pour toutes les paires ([Mu, phi]), où [Mu] est une variété lisse, fermée et [phi] est une fonction de Morse définie sur [Mu]. Plus précisément, ce descripteur caractérise la topologie de toutes les paires de niveaux ([Mu][indice supérieur y], [Mu] [indice supérieur x]) de [phi] , où [Mu][indice supérieur z] = [phi][indice supérieur -1] ((-[infini], z]), [pour tout]z [appartient à] [partie réelle]. La théorie de Morse classique est utilisée pour établir un lien entre la topologie d'une paire de niveaux de [Mu] et les points critiques de [phi] situés entre ces deux niveaux. Finalement, des résultats expérimentaux sont présentés pour démontrer la validité de ce descripteur.
34
Elchawa, Abdudlayem. "La littérature pour la jeunesse dans le monde arabe." Paris 7, 1991. http://www.theses.fr/1991PA070077.
Full textAbstract:
La defaite militaire arabe de 1967 a ete a l'origine d'un nouveau type de litterature enfantine dans les pays arabes. La nouveaute s'exprime dans une problematique plus proche de l'actualite, des sources plus variees, des themes interessants, une forme plus moderne, un contenu plus riche faisant l'objet de critiques litteraires. . . Toutes ces raisons nous ont amene a analyser la specificite de cette litterature enfantine. Cette etude nous a conduit a mettre en relief les conditions sociales, les aspects psycho-pedagogiques et esthetiques qui tissent la relation : discours, enfant, auteur et societe. L'etude des sources et des themes nous a amene a cerner les influences historiques : l'impact de l'islam, celui des ideologies nationalistes et des valeurs qu'elles mettent en relief, ainsi que les imperatifs qui commandent l'evolution de la societe. Notre recherche conforte la these selon laquelle la litterature enfantine est une litterature "adaptee" et met a jour le decalage qui existe entre le projet de l'auteur adulte et le resultat escompte au niveau du recepteur. Pour contourner la censure, l'auteur use du merveilleux, recourt aux animaux symboles ou a des elements de la nanature anthropomorphyses jouant le role d'actants ideologiques. En conclusion, on pourrait se demander si cette litterature enfantine arabe, en plus de ses multiples objectifs, n'a pas ete produite avec comme premiere mission, celle d'offrir un alibi commode a des auteurs adultes qui proposent aux enfants des taches qu'eux-memes ne peuvent accomplir : construire une grande patrie et une nouvelle societe arabe, moderne et democratique ou les citoyens seraient libres et egaux<br>The arab military defeat of 1967 resulted in the emergence of a new type of children's literature in the arab world. The subject-matter of this literature is more topical, the sources more diversified, the themes more appealing, the form more modern, the substance richer. Hense the need for us to analyse its specific features. This investigation has made us aware of the necessity of throwing into relief the social conditions, the psycho-educational and aesthetic aspects which contribute to weaving a relation between discourse and society, author and child. The study of sources and themes has led us to identify the historical influences: the impact of islam, that of the nationalist ideologies and the values they propound as well as the social imperatives. Our research confirms the following hypothesis: children's literature is a literature made-to-measure. It further shows a discrepancy, a "lopsidedness" between the author's intention and the child's response. In order to circumvent censorship, the writer resorts to fantasy, to a symbolic bestiary or to an antropomorphic presentation of nature. As a conclusion we can venture the following exploration: besides its more overt and numerous objectives, arabic children's literature has been produced essentially for the purpose of giving a convenient alibi to authors. They entrust their readers with a mission which they, adults, have been unable to fulfil : i. E. Building up a great motherland and a new modern democratic arab society
35
Acerra, Eleonora. "Les applications littéraires pour la jeunesse : œuvres et lecteurs." Thesis, Montpellier 3, 2019. http://www.theses.fr/2019MON30106.
Full textAbstract:
Combinant une perspective théorique e-littéraire et une dimension éducative, cette étude s’attache à décrire un objet très récent et encore peu connu, malgré l’intérêt vif de la communauté académique et du monde éditorial : l’application littéraire pour la jeunesse. Afin de contribuer à sa caractérisation et à la connaissance de ses enjeux pour la formation multilittéracique des jeunes contemporain·e·s, deux objectifs sont poursuivis : décrire et analyser les œuvres actuellement à disposition, en les interrogeant en tant que « techno-textes » [Hayles, 2002] littéraires à destination d’un public bien précis, constitué d’enfants en formation ; analyser des aspects de la réception, en se focalisant sur les processus de compréhension et d’interprétation, tels qu’ils se manifestent dans l’actualisation d’un parcours de navigation sur écran et dans la restitution a posteriori du parcours effectué. Le premier volet de la thèse se propose ainsi, d’une part, de cerner l’objet en dressant un portrait de l’offre éditoriale contemporaine, d’autre part, de décrire plus finement les caractéristiques des œuvres et les différentes manières par lesquelles elles construisent leur message. Le deuxième volet est dédié à l’observation de divers échantillons de lecteur·rice·s empiriques et se propose de vérifier comment il·elle·s abordent l’œuvre littéraire numérique, se l’approprient et répondent à ses requêtes d’interaction par des « interprétations actualisées » [Jeanneret, 2000], qui découlent d’une réception subjective du texte<br>This dissertation focuses on a very recent and still unestablished digital artifact: children’s literary applications. From a perspective that combines literary education and digital literary theory, we develop two research lines, aimed at defining both the structures of the apps and their potential role in promoting young readers’ multiliteracy competencies. Two main objectives are thus pursued: describing and analyzing the apps, by questioning them as literary “technotexts” [Hayles, 2002] intended for a specific audience; analyzing their actual reception and, more particularly, their comprehension and interpretation among children, observing both their actuals manipulations on the screen and their retrospective recalls of the stories. Therefore, the first part of this study offers, on the one hand, a broad view on the editorial offer and, on the other hand, a close reading of its main features and literary “figures”. The second part is dedicated to the observation of five groups of empirical readers and is aimed at verifying how they approach and understand digital literary works, thereby responding to their interaction requests with an “actualized interpretation” [Jeanneret, 2000] that results from a subjective reception of the text
36
Gourmelen, Marcel. "Actions partenariales et développement local de l'emploi pour les jeunes." Paris 1, 1988. http://www.theses.fr/1988PA010031.
Full textAbstract:
Les pouvoirs publics ont mis en oeuvre des politiques d'emploi juveniles progressivement developpees et diversifiees la creation des paio et missions locales en 1982 traduit la volonte politique de miser sur les actions partenariales de type interinstitutionnel au plan local pour favoriser l'insertion ou reinsertion professionnelle des jeunes comment fonctionne ou dysfonctionne le partenariat dans 3 zones d'emploi contrastees perpignang est lyonnais et charleville en particulier au niveau et a partir des paio et missions locales. La pratique partenariale constituante des institutions jeunes decloisonne les acteurs et les institutions elle induit une logique de cooperation interinstitutionnelle fonctionnements et dysfonctionnements s'entremelent. Les resistances tiennent au comportement de cert tains partenaires institutionnels ou socioprofessionnels. La reussite du partenariat repose sur une definition claire des roles mais plus encore sur la mise en oeuvre des ressources humaines des acteurs. Analyser le developpement local de l'emploi pour les jeunes renvoie a l'exploration d'autres champs pouvoir central et pouvoir local roles et fonctions des travailleurs sociaux economie sociale. Economies non officielles. Interaction entre l'offre politique et demande ou reponse des jeunes. Insertion ou reinsertion professionnelle vont de pair avec une meilleure employabilite des jeunes. A cet egard quatre acteurs interviennent les entreprises la qualification les institutions jeunes le dynamisme des jeunes eux-memes. Mais l'essentiel est de developper globalement et loc
37
Lacroix, Anna. "Le pessimisme en littérature pour la jeunesse : le cas des dystopies pour adolescents." Master's thesis, Université Laval, 2018. http://hdl.handle.net/20.500.11794/33431.
Full textAbstract:
Ce mémoire se propose d’analyser le pessimisme en littérature pour la jeunesse, en s’intéressant particulièrement à sa manifestation dans les dystopies pour adolescents. La littérature pour la jeunesse est issue d'une tradition qui la définit comme optimiste, ce que démontrent les processus de censure auxquels elle est souvent soumise, entre autres par le milieu éditorial. Dans un tel contexte, il paraît difficile d’expliquer la vague de popularité qu’ont connue les romans dystopiques adressés aux adolescents publiés au début du XXIe siècle. Ce genre, montrant une société fictive la plupart du temps futuriste dans laquelle évolue un protagoniste qui y souffre et qui désire se révolter contre elle, est en effet caractérisé par un pessimisme assez prononcé. Le présent mémoire s’interroge sur la façon dont les auteurs de dystopies pour adolescents parviennent à faire s’harmoniser l’optimisme de la littérature pour la jeunesse et le pessimisme du genre dystopique et pose l’hypothèse que ce pessimisme est présenté de manière édulcorée au jeune public visé. Une comparaison entre un corpus d’œuvres pour adolescents et un autre destiné à un public adulte nous a servi à mettre cette hypothèse à l’épreuve en considérant deux aspects principaux, le personnage et la société, ainsi que d’autres facteurs d’atténuation qui se voient au fil de la lecture. Ces divers éléments contribuent selon nous à édulcorer le pessimisme des dystopies pour adolescents en créant un effet de familiarité pour les lecteurs et en allégeant le poids mis sur leurs épaules et sur celles des protagonistes.<br>This master’s thesis aims to analyse the pessimism in children’s literature, focussing particularly on its manifestation within dystopias for young adults. Children’s literature is traditionally regarded by many as an inherent optimist genre, as shown by the censorship to which it is regularly subjected, principally by the editorial process. In this context, it seems hard to explain the massive popularity wave that the dystopian novels for young adults experienced in the wake of the XXI century. This genre, displaying an usually futuristic fictional society in which evolves a character who suffers and who desires to revolt against it, is indeed characterized by a pronounced pessimism. This master’s thesis questions the way authors of dystopias for young adults harmonise the inherent optimism of children’s literature and the pessimism of the dystopian genre, while posing the hypothesis that the said pessimism is presented to the young target audience in a much attenuated state. A comparison between a corpus of novels intended to teenagers and another one that has an adult target audience was used in order to study our hypothesis within two main aspects, the character and the society, as well as other mitigating factors that can be seen throughout the book. We think these various elements all contribute to reduce the pessimism in dystopias for young adults by creating a familiar feeling for the readers and by lightening the burden that is resting on their shoulders and on those of the protagonists.
38
Arkiliç-Songören, Sevgi. "Familienleben in Deutschland und in der Türkei im Spiegel der Kinder- und Jugendliteratur : vergleichende Analyse ausgewählter deutschsprachiger und türkischer Kinder- und Jugendromane der Gegenwart /." Frankfurt am Main : P. Lang, 2006. http://catalogue.bnf.fr/ark:/12148/cb41147770d.
Full text
39
Eggeling, Wolfram. "Die Prosa sowjetischer Kinderzeitschriften, 1919-1925 : eine Themen- und Motivanalyse in Bezug auf das Bild des Jungen Protagonisten /." München : O. Sagner, 1986. http://catalogue.bnf.fr/ark:/12148/cb34983931m.
Full text
40
Briel, Petra-Gabriele. "" Lumpenkind und Traumprinzessin" : zur Sozialgestalt der Zigeuner in der Kinder- und Jugendliteratur seit dem 19. Jahrhundert /." Giessen : Focus-Berl, 1989. http://catalogue.bnf.fr/ark:/12148/cb35561920h.
Full text
41
Madore, Édith. "Constitution de la littérature québécoise pour la jeunesse, 1920-1995." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1996. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq26077.pdf.
Full text
42
Turcotte, Julie. "La collection "Contes pour tous" publiée chez Québec/Amérique Jeunesse." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0019/MQ47247.pdf.
Full text
43
Poulin, Manon. "Eugene Achard, éditeur : L'émergence d'une édition pour la jeunesse canadienne." Thèse, Université de Sherbrooke, 1994. http://hdl.handle.net/11143/10367.
Full textAbstract:
Au départ, l'objectif de cette thèse était de tracer le parcours éditorial d'un homme qui a consacré sa vie et son oeuvre à la jeunesse canadienne. Réalisée dans l'esprit des travaux menés par le GRELQ', cette étude visait à rédiger une monographie sur Eugène Achard et sa maison d'édition pour la jeunesse, la Librairie générale canadienne. Mais très tôt nous nous sommes rendu compte que le personnage d'Achard était complexe et qu'il allait être impossible d'étudier sa maison d'édition pour la jeunesse sans tenir compte des autres activités de l'homme, activités nombreuses et variées et qui pourtant sont toutes liées.
44
Legardeur, Jérémy. "Méthodes et outils pour l'innovation produit/process." Phd thesis, Grenoble INPG, 2001. http://tel.archives-ouvertes.fr/tel-00662411.
Full textAbstract:
L'innovation constitue un enjeu majeur dans les processus de conception de systèmes mécaniques. Par conséquent, le champ de questionnement de ces travaux de recherche porte sur les dispositifs permettant aux acteurs d'une organisation industrielle de concevoir des produits répondant au mieux au triptyque coût, qualité, et délai de mise sur le marché du produit mais répondant, de plus en plus à des objectifs d'innovation. La question des méthodes et des outils d'aide à l'innovation est ici plus particulièrement abordée avec une approche socio-technique de plusieurs cas industriels d'intégration produit/process d'une nouvelle technologie. Nos observations et nos analyses montrent que l'innovation en phase amont de conception nécessite parfois de remettre en cause certains dispositifs traditionnels et conduit parfois les acteurs à travailler de manière informelle dans des phases particulières appelées " phases préparatoires ". Ces travaux montrent que l'innovation produit/process s'inscrit dans une dynamique complexe au niveau des réseaux d'acteurs et de l'organisation, et au niveau des connaissances mobilisées et des apprentissages. Cette thèse vise donc à montrer que l'instrumentation de l'action de conception dans un contexte d'innovation, nécessite d'être pensée au plus près de ces différents niveaux afin de permettre l'émergence de nouveaux outils. Dans cette optique, un outil informatique est proposé suite aux résultats précédents et illustre cette nouvelle approche tournée vers l'expression et l'interaction des différents points de vue d'acteurs pour favoriser la diffusion et la consolidation d'idées de concepts innovants aux interfaces des métiers. L'ensemble des informations d'un projet sont structurées autour de la mise au débat des critères de conception progressivement mobilisés par chaque acteur. Ainsi, cet outil est dédié au pilotage de solutions innovantes tout en permettant la réutilisation des informations et des compétences pour les projets futurs.
45
Mantzaflaris, Angelos. "Méthodes algébriques robustes pour le calcul géométrique." Phd thesis, Université de Nice Sophia-Antipolis, 2011. http://tel.archives-ouvertes.fr/tel-00651672.
Full textAbstract:
Le calcul géométrique en modélisation et en CAO nécessite la résolution approchée, et néanmoins certifiée, de systèmes polynomiaux. Nous introduisons de nouveaux algorithmes de sous-division afin de résoudre ce problème fondamental, calculant des développements en fractions continues des coordonnées des solutions. Au delà des exemples concrets, nous fournissons des estimations de la complexité en bits et des bornes dans le modèle de RAM réelle. La difficulté principale de toute méthode de résolution consiste en les points singuliers isolés. Nous utilisons les systèmes locaux inverses et des calculs numériques certifiés afin d'obtenir un critère de certification pour traiter les solutions singulières. Ce faisant, nous sommes en mesure de vérifier l'existence et l'unicité des singularités d'une structure de multiplicité donnée. Nous traitons deux principales applications géométriques. La première: l'approximation des ensembles semi-algébriques plans, apparaît fréquemment dans la résolution de contraintes géométriques. Nous présentons un algorithme efficace pour identifier les composants connexes et pour calculer des approximations polygonales et isotopiques à l'ensemble exact. Dans un deuxième temps, nous présentons un cadre algébrique afin de calculer des diagrammes de Voronoi. Celui-ci sera applicable à tout type de diagramme dans lequel la distance à partir d'un site peut être exprimé par une fonction polynomiale à deux variables (anisotrope, diagramme de puissance etc). Si cela n'est pas possible (par exemple diagramme de Apollonius, VD des ellipses etc), nous étendons la théorie aux distances implicitement données.
46
Urso, Pascal. "Généralisations et méthodes correctes pour l'induction mathématique." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00505928.
Full textAbstract:
Il existe de nombreux systèmes de preuves par induction visant à automatiser la preuve de théorèmes mathématiques. Cependant, un système de preuve ne peut pas être réellement automatique si plusieurs interactions humaines -- telles que l'apport de lemmes, de généralisations, ou de schémas d'induction -- sont nécessaires pour prouver des théorèmes qui semblent triviaux pour un être humain. Par exemple, la preuve de la commutativité de la multiplication (y * x = x * y) doit notamment recourir à des lemmes exprimant la distributivité de la multiplication ainsi que la distributivité et la commutativité de l'addition. Dans cette thèse, nous proposons des apports aux méthodes de preuve par induction dans le sens d'une plus grande automatisation. Ces apports sont constitués de deux heuristiques efficaces et surtout de deux algorithmes corrects. Le premier algorithme calcule des généralisations correctes pour des théories non-conditionnelles. Le second est une méthode d'induction originale -- la "partition de termes"-- permettant la preuve automatique de théorèmes inductifs.
47
Prolhac, Sylvain. "Méthodes exactes pour le modèle d'exclusion asymétrique." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2009. http://tel.archives-ouvertes.fr/tel-00423952.
Full textAbstract:
Cette thèse est consacrée à l'étude de quelques propriétés du modèle d'exclusion asymétrique unidimensionnel, un modèle exactement soluble de particules en interaction présentant un état stationnaire hors d'équilibre.<br />Dans une première partie, nous expliquons les liens que le modèle d'exclusion asymétrique entretient avec d'autres modèles de la physique statistique, en particulier des modèles de croissance, de polymère dirigé en milieu aléatoire, ou encore des modèles de vertex. Après avoir récapitulé quelques résultats connus, nous expliquons comment le modèle d'exclusion peut être étudié en utilisant l'Ansatz de Bethe.<br />La deuxième partie est consacrée au calcul par Ansatz de Bethe des fluctuations du courant dans le modèle d'exclusion partiellement asymétrique avec des conditions aux bords périodiques. Utilisant une formulation fonctionnelle des équations de Bethe, nous obtenons des expressions exactes pour les trois premiers cumulants du courant. À partir de ces expressions exactes et de calculs effectués pour de petits systèmes, nous conjecturons ensuite une expression combinatoire explicite pour tous les cumulants du courant.<br />Dans la troisième partie, nous présentons le modèle d'exclusion à plusieurs classes de particules, qui généralise le modèle étudié dans les deux premières parties. Nous montrons que ses probabilités stationnaire peuvent s'écrire sous la forme de traces de produits de matrices. Nous expliquons ensuite la formulation algébrique de l'Ansatz de Bethe pour ce modèle.
48
Mahey, Philippe. "Méthodes de décomposition pour la programmation mathématique." Habilitation à diriger des recherches, Grenoble INPG, 1990. http://tel.archives-ouvertes.fr/tel-00337842.
Full text
49
Novytskyi, Dimitri. "Méthodes géométriques pour la mémoire et l'apprentissage." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00285602.
Full textAbstract:
Cette these est consacree aux methodes geometriques dans l'optimisation, l'apprentissage et les reseaux neuronaux. Dans beaucoup de problemes de l'apprentissage (supervises et non supervises), de la reconnaissance des formes, et du groupage, il y a un besoin de tenir en compte de la structure interne (intrinseque) de l'espace fondamental, qui n'est pas toujours euclidien. Pour les varietes Riemanniennes nous construisons des algorithmes pour la methode de Newton, les methodes de gradients conjugues, et certaines methodes non-lisses d'optimisation comme r-algorithme. A cette fin nous developpons des methodes pour le calcul des geodesiques dans les sous-varietes bases sur des equations de Hamilton et l'integration symplectique. Apres nous construisons un nouveau type avec de la memoire associative neuronale capable de l'apprentissage non supervise et du groupage (clustering). Son apprentissage est base sur moyennage generalise dans les varietes de Grassmann. Future extension de cette memoire implique les machines a noyaux et transformations de l'espace implicites. Aussi nous considerons des algorithmes geometriques pour le traitement des signaux et le filtrage adaptatif. Les methodes proposees sont testees avec des exemples standard et avec des problemes reels de reconnaissance des images et du traitement des signaux. L'application des reseaux neurologiques proposes est demontree pour un projet reel complet de la reconnaissance des images chimiques (nez electronique).
50
Prieur, Christophe. "Diverses méthodes pour des problèmes de stabilisation." Phd thesis, Université Paris Sud - Paris XI, 2001. http://tel.archives-ouvertes.fr/tel-00001928.
Full textAbstract:
On étudie dans cette thèse des probèlmes de stabilisation en théorie du controle pour trois types de systèmes différents. Tout d'abord, on introduit, pour les systèmes non linéaires de dimension finie perturbés par des erreurs, une classe de controles dits hybrides, car dépendant d'un état mixte discret-continu. Etant donné un système dont l'équilibre est asymptotiquement controlable, on montre qu'il existe un controle tel que l'équilibre du système bouclé soit globalement asymptotiquement stable avec une robustesse par rapport aux petits bruits. On explicite pour les systèmes chainés un tel controle robuste avec une seule dynamique discrète. On donne également un controle hybride et un controle par retour d'état continu et périodique en temps qui recollent robustement deux controles données tout en conservant une propriéetée de stabilitée asymptotique. Ensuite, on étudie le problème de stabilisation d'un bac de fluide par le controle du déplacement longitudinal. C'est un problème de théorie du controle en dimension infinie car on modélise le problème en utilisant les équations de Saint-Venant qui sont des équations aux dérivées partielles hyperboliques. On utilise une approche Lyapunov pour proposer des feedbacks qui, numériquement, stabilisent localement et asymptotiquement l'origine du système bouclé. Enfin, on étudie le problème de stabilisation de l'origine d'un système linéaire en dimension finie lorsqu'on a une incertitude sur les donnes du système. On applique les méthodes de résolutions numériques des inégalités linéaires matricielles avec incertitudes à un problème industriel.