Les synesthètes ont la particularité d’associer une expérience supplémentaire (e.g. une couleur) lors de la présence de certains stimuli (e.g. une lettre). L’objectif de cette thèse était de mieux comprendre le développement de la synesthésie à travers trois types : Graphème-Couleur, Graphème-Personnalité et représentation des nombres dans l'espace (« Forme des nombres »). Si la synesthésie Graphème-Couleur a déjà été étudiée chez l’enfant, les deux autres n’ont jamais fait l’objet d’étude développementale auparavant.Les productions graphiques de 797 enfants de dernière année de maternelle et des deux premières années de primaire (CP et CE1) ont été recueillies (2 sessions, 2 à 3 semaines d’écart). Pour tester l’hypothèse d’un continuum entre les synesthètes et la population générale, nous avons aussi étudié les associations d’enfants non synesthètes.Nous avons mis en avant les difficultés méthodologiques de l’étude de la synesthésie chez les enfants entre 5 et 8 ans. Nos résultats ne nous permettent pas d’attester de façon certaine l’existence de la synesthésie dans cette tranche d’âge. Mais nous avons observé une augmentation du nombre de synesthètes potentiels par niveau scolaire, et un niveau de constance bas de leurs associations par rapport à ce qui est observé chez l’adulte. Comme les enfants connaissent bien les lettres et les nombres, du moins en CE1, on peut penser que ces synesthésies ne sont pas seulement liées à l’apprentissage de l’inducteur en tant que tel. Mais elles pourraient se développe en parallèle d’apprentissages complexes (e.g. calcul ou la rédaction), ou en suivant le développement de la mémoire et de l’imagerie mentale. / Synaesthetes have the peculiarity of associating a supplementary experience (e.g. the colour green) when certain stimuli are presented (e.g. the letter F). The aim of this thesis was to better understand the development of synaesthesia through three types: Grapheme–Colour, Grapheme–Personality and the representation of numbers in space.We collected the graphical representations of 797 children from Kindergarten, 1st Grade, and 2nd Grade twice, at 2-3 weeks interval. To test the hypothesis of a continuum between synaesthetes and the general population, we also studied the associations of non-synaesthete children. We reported the methodological problems specific to the study of synaesthesia in 5 to 8 years old children. We could not definitely attest the existence of synaesthesia in this age group. But we observed a growing number of potential synaesthetes in each grade, as well as a low consistency level of their associations in comparison with adults. Since children know well letters and numbers, at least in the 2nd grade, we can consider that these types of synaesthesia are not only linked to the acquisition of their inducers themselves. But they could develop during harder acquisitions (numeracy or literacy) or with the development of mental imagery and associative memory.

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent / In computer science, formal logics are central for studying the representation and the treatment of knowledge. Indeed, they are widely used for modeling and verifying computer systems and their properties and also for formalizing different kinds of reasoning. In this context there exist many non-classical logics and among them modal logics play a key role. As classical modal logics have been deeply studied, we focus in this thesis on the intuitionistic modal logics and also on fuzzy hybrid logics by studying some important questions mainly from the viewpoint of proof theory . We define for these logics new proof systems, following natural deduction and sequent calculus formalisms, that are based on new multi-contextual structures generalizing the standard sequent structure

Cette these contribue a l'etude des semantiques pour la specification et la verification des systemes reactifs. Plus precisement, nous comparons des semantiques comportementales, basees sur la bisimulation avec celles induites par des logiques modales du temps arborescent. Dans la premiere partie, nous considerons les modeles d'entrelacement pour les systemes sequentiels non-deterministes. Plusieurs travaux recents ont montre que dans le cadre des systemes a branchement infini (c-a-d. non-determinisme infini), l'equivalence de bisimulation (forte), reconnue comme l'equivalence semantique de base pour le temps arborescent, est strictement plus fine que celles induites par les logiques du temps arborescent (nous savons depuis longtemps qu'elles coincident sous l'hypothese de branchement fini). Nous utilisons les Processus Ordinaux de Klop, et, en derivant une notion de pouvoir de distinction d'une equivalence semantique, nous montrons dans un cadre parfaitement unifie que la bisimulation est plus fine que les logiques du temps arborescent, mais aussi que pour une large classe de combinateurs, les congruences engendrees par les logiques restent strictement plus faibles que la bisimulation. Dans la deuxieme partie de la these, nous considerons les modeles d'ordre partiel pour les systemes paralleles, dans lesquels on dispose d'une definition satisfaisante de l'operation de raffinement de programme (cette notion est liee a la methode classique de conception hierarchique des programmes). Parmi les equivalences semantiques de la litterature, la history preserving bisimulation est particulierement interessante car c'est une congruence pour l'operation de raffinement quand les systemes n'ont pas d'action invisible. En utilisant une caracterisation de cette equivalence en termes d'une bisimulation avant-arriere, nous exhibons deux caracterisations logiques, ainsi qu'un algorithme de traduction entre ces deux logiques. Nous etudions aussi plusieurs variantes de cette bisimulation avant-arriere. Enfin, nous elargissons le champ de travail en considerant les modeles d'ordre partiel avec actions invisibles. Nous montrons que la bisimulation avant-arriere susmentionnee, adaptee a ce cadre, coincide avec la branching bisimulation sur les arbres causaux, mais aussi avec deux nouvelles equivalences~: l'equivalence de mixed-ordering branching et la history preserving branching bisimulation, que nous etudions.

.

Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sans comptage déjà considérés comme des constructions fondamentales dans les langages de programmation et les systèmes de type pour XML. Un des défis majeurs en programmation XML consiste à développer des techniques automatisées permettant d'assurer statiquement un typage correct et des optimisations de programmes manipulant les données XML. À cette fin, il est nécessaire de résoudre certaines tâches de raisonnement qui impliquent des constructions telles que les types et les expressions XPath avec des contraintes de comptage. Dans un futur proche, les compilateurs de programmes XML devront résoudre des problèmes de base tels que le sous-typage afin de s'assurer au moment de la compilation qu'un programme ne pourra jamais générer de documents non valides à l'exécution. Cette thèse étudie les logiques capables d'exprimer des contraintes de comptage sur les structures d'arbres. Il a été montré récemment que le mu-calcul sur les graphes, lorsqu'il est étendu à des contraintes de comptage portant exclusivement sur les nœuds successeurs immédiats est indécidable. Dans cette thèse, nous montrons que, sur les arbres finis, la logique avec contraintes de comptage est décidable en temps exponentiel. En outre, cette logique fournit des opérateurs de comptage selon des chemins plus généraux. En effet, la logique peut exprimer des contraintes numériques sur le nombre de nœuds descendants ou même ascendants. Nous présentons également des traductions linéaires d'expressions XPath et de types XML comportant des contraintes de comptage dans la logique.

Les eaux modales Subantarctiques (SAMW) sont formées dans la profonde couche de mélange au nord du front Subantarctique (SAF) dans l'Océan Austral. Elles influencent le climat à des échelles décennales et inter-annuelles et jouent un rôle fondamental dans la ventilation de la thermocline de l'Océan Austral. Nous étudions la formation des SAMW en nous fondant sur les récents flotteurs profilants ARGO et sur les dériveurs de surface GDP. Ces jeux de données fournissent une très bonne couverture spatio-temporelle des processus à l'oeuvre dans les couches supérieures de l'Océan Austral. Depuis le lancement du programme international ARGO, le nombre de profils hydrographiques a augmenté de façon considérable dans l'Océan Austral. Une analyse de ces données a montré que les flux air-mer et les flux d'Ekman sont les forçages dominants dans la formation des SAMW. Nous avons trouvé une transition rapide, autour de 70°E, des couches de mélange peu profondes en amont vers des couches de mélange très profondes en aval. Cette transition est associée à un changement de signe de la diffusion tourbillonnaire horizontale dans les couches de surface, et à l'extension méridionale de l'ACC lorsqu'il passe autour du plateau de Kerguelen. Ces effets sont directement liés à la bathymétrie et laissent place à une région de formation des SAMW au Sud-Ouest de l'Australie.<br /><br />La formation des SAMW est intimement liée à la dynamique océanique Australe et à la position des principaux fronts polaires. Une deuxième étude concerne la circulation de l'ACC et la variabilité frontale. Dans cette étude, nous avons tiré parti de la complémentarité des données in situ et altimétriques afin de suivre l'évolution des deux principaux fronts de l'ACC pendant la période 1993-2005. Nous avons comparé leurs mouvements avec les deux principaux modes de variabilité atmosphérique de l'Hémisphère Sud, le mode annulaire Austral (SAM) et l'Oscillation Australe El-Niño (ENSO). La position moyenne des fronts est déterminée avant tout par les fonds océaniques. Cependant, nous avons trouvé que dans les régions à fond plat, les fronts forment de grands méandres dus à l'activité tourbillonnaire et aux forçages atmosphériques.<br /><br />En parallèle, nous avons développé une nouvelle estimation de la distribution circumpolaire de la diffusion dans l'Océan Austral. La diffusion n'a presque jamais été étudiée à partir de données in situ dans cet océan. Nous avons calculé une estimation du coefficient de diffusion tourbillonnaire à partir d'une analyse statistique de dix années de trajectoires de dériveurs de surface. Nous avons cartographié ce coefficient dans l'Océan Austral, puis nous l'avons paramétré à partir de données altimétriques pour pouvoir en étudier l'évolution inter-annuelle et en faciliter l'utilisation dans le futur. Cette étude montre que l'Océan Austral est fortement diffusif au nord de l'ACC, et particulièrement près des courants de bord Ouest, c'est à dire dans la Rétroflexion des Aiguilles, dans la région du plateau de Campbell, et dans le courant de Brésil-Malouines. <br /><br />Ces résultats nous ont menés à une analyse circumpolaire de la formation des SAMW, et à une meilleure conception du lien entre la dynamique océanique Australe et la formation des SAMW. La croissance constante des données hydrologiques du programme ARGO dans l'Océan Austral nous a également permis de mieux représenter la répartition des régions de formation des SAMW. Nous avons trouvé que la diffusion tourbillonnaire joue un rôle majeur dans les budgets de chaleur locaux. Au Sud des courants de bord Ouest, et au nord du SAF, la diffusion tourbillonnaire apporte de la chaleur, équilibrant et même dominant les refroidissements hivernaux dus aux flux d'Ekman et aux flux air-mer. Elle réduit en particulier la déstabilisation de la couche de mélange au nord du SAF dans l'Ouest du bassin Indien, en aval de la Rétroflexion des Aiguilles, et dans l'Ouest du bassin Pacifique, en aval du Plateau de Campbell.

Parmi les méthodes appliquées dans le cadre de la maintenance des installations industrielles, l'analyse vibratoire constitue une des plus répandues. En effet, les signatures vibratoires apparaissant sur une installation en cours de fonctionnement sont étroitement liées à leur comportement dynamique et à leur état fonctionnel. Ce travail a pour objectif de développer et expérimenter des techniques et outils de calculs numériques pour l'interprétation d'indicateurs d'état issus de mesures vibratoires sur une machine tournante. La validation est faite sur un ensemble motoréducteur à engrenages. Pour cela, nous avons développé deux outils d'analyse numérique : un premier permettant de déterminer les caractéristiques modales d'une structure complexe puis un second, développé sur la base des ondelettes, pour détecter les défauts naissants sur un motoréducteur. Les performances relatives des différents outils sont comparées au regard de ce qui se fait dans la littérature. Enfin, une étude expérimentale sur banc d'essais a été menée dans le but de tester la sensibilité et les limites de la méthode. Le mémoire est articulé comme suit : une première partie développe les principales techniques vibratoires actuelles avec leurs performances et limites. De la deuxième partie traitant les théories et méthodes d'analyse modale découle une troisième présentant des méthodes améliorées. Dans la quatrième partie, une étude expérimentale sur banc d'essais a été menée dans le but de tester la sensibilité de la méthode. Une approche par la décomposition en ondelettes des signaux a été notamment utilisée. Il est démontré que cette méthode a une application intéressante dans le domaine des analyses vibratoires de structures complexes

Temporary contracts: exposition and criticThe contract of term or fixed term or determined period constitutes one of the most frequent modalities of so-called atypical contracting. EfrénCórdova, in his famous presentation at XI World Congress of the International Society for Labor Law and Social Security (Caracas 1985), noted that, being typical the contract celebrated between an employer and a worker, to be executed to full time at the center of work and for an indefinite atypicalperiod, comes to be one that lacks any of these attributes, this is: (i) in which involves more than one employer, or (ii) the journey is partial or doesn’t fit to traditional parameters of eight hours per day and forty-eight a week at most, or (iii) performs out the usual local, or (iv) is for adefined time. It is about these lasts that is dedicated the present article. / El contrato a término o plazo fijo o de duración determinada constituye una de las modalidades más frecuentes de la llamada contratación atípica.Efrén Córdova, en su célebre ponencia en el XI Congreso Mundial de la Sociedad Internacional de Derecho del Trabajo y de la Seguridad Social (Caracas 1985), señaló que, siendo típico el contrato celebrado entre un empleador y un trabajador, para ser ejecutado a jornada completa en el centro de trabajo de aquel y por tiempo indefinido, atípico viene a ser aquél quecarece de alguno de esos atributos, esto es: (i) en el que participa más de un empleador, o (ii) la jornada es parcial o no se ajusta a los parámetros clásicos de ocho horas por día y cuarenta y ocho a la semana como máximo, o (iii) se desempeña fuera del local habitual, o (iv) es por tiempo definido.Es a estosúltimos que está dedicado el presente artículo.

El objetivo de esta tesis se centra en extender el tratamiento circuital característico de los problemas cerrados al análisis de problemas abiertos. Las ventajas que se derivan de tal extensión son las mismas que encontramos en un problema cerrado: la sistematicidad en el tratamiento de los problemas, la facilidad para combinar distintas técnicas y el poder disponer de una caracterización unitaria de cada estructura e independiente de la excitación aplicada. Para ello se emplea la matriz de admitancias generalizadas como vehículo de conexión entre problemas que han sido analizados con diversas técnicas / Valero Nogueira, A. (1997). Resolución de problemas electromagnéticos complejos mediante análisis circuital generalizado [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/5949 / Palancia

Les travaux de cette thèse ont porté sur les photodétecteurs quantiques pour le proche infrarouge. Pour améliorer les performances de ces détecteurs (propriétés spectrales et sensibilité au bruit thermique), nous avons étudié des concepts originaux intégrant des nanorésonateurs 2D et 3D. Dans un premier temps, afin de faciliter l'analyse numérique de ces structures, nous avons développé un nouveau code de simulation spécifique aux résonateurs 3D, basé sur la technique d'intégration finie. Les matrices associées aux équations sont creuses, ce qui permet d'avoir recours à des algorithmes spécifiques pour accélérer les calculs. Dans un deuxième temps, nous avons proposé deux concepts de photodétecteurs : 1. Nous avons étudié un concept de photodétecteur non refroidi, basé sur la détection à 2 photons dans de l'arséniure de gallium. Ce matériau semiconducteur n'absorbe pas de photons individuels de longueur d'onde supérieure à 900 nm ; en revanche des effets non linéaires permettent l'absorption des photons par paire, avec toutefois une probabilité très faible. L'intégration de cavités résonantes nanostructurées dans ces détecteurs permet un gain sur cette absorption de plusieurs ordres de grandeur, en confinant le rayonnement dans un faible volume de semiconducteur. Cela a pu être démontré numériquement et expérimentalement, avec la fabrication et la caractérisation d'un démonstrateur. 2. En parallèle, nous avons travaillé sur la réduction du bruit dans des photodétecteurs à base d'arséniure d'indium gallium. Dans ces détecteurs, le bruit est lié essentiellement au courant d'obscurité du détecteur, et peut être réduit en diminuant le volume de semiconducteur. Là encore, nous avons cherché à compenser l'absorption plus faible du rayonnement à l'aide de cavités résonantes nanostructurées. Celles-ci induisent notamment une localisation importante de la génération des photoporteurs dans le semiconducteur. Ce concept a fait l'objet d'un dépôt de brevet.