No description available.

OBJECTIFS : À deux ans, 15 % des enfants présentent un retard de vocabulaire expressif dans le contexte d’un développement global harmonieux. Chez certains de ces enfants, on observe aussi un retard sur le plan du développement socio-affectif et des attributs défavorables à la stimulation parentale. De plus, la moitié de ces enfants auront un trouble langagier persistant. Une recension des écrits soulignant l’importance de se pencher sur l’hétérogénéité développementale observée chez ces enfants ainsi que sur une explication multifactorielle du développement de l’enfant sous-tend les principaux objectifs de cette recherche. Le premier vise à identifier des sous-groupes chez ces enfants et à décrire les habiletés langagières propres à chacun tandis que le deuxième constitue une analyse de facteurs personnels et sociofamiliaux associés à deux profils de retard langagier. MÉTHODES : Soixante-huit enfants de 18 à 35 mois ayant un retard langagier participent à l’étude. Une variété d’instruments permet de mesurer les habiletés langagières de ces enfants ainsi que des caractéristiques relatives aux enfants, aux parents, à la relation parent-enfant et à des aspects sociofamiliaux. RÉSULTATS: L’analyse de « clusters » utilisant les variables de compréhension et d’expression permet d’identifier trois sous-groupes d’enfants situés sur un continuum de sévérité puis des variables langagières supplémentaires servent à les caractériser. Dans un deuxième volet, les enfants ayant uniquement un retard de vocabulaire expressif (n = 52) sont comparés à ceux qui ont un retard de langage plus large (n = 16). Les résultats indiquent une forte association entre la performance langagière et le développement cognitif. De plus, le cumul de facteurs de risque est associé à l’appartenance au groupe présentant un retard de langage qui va au-delà du retard de vocabulaire expressif. CONCLUSION: Les résultats confirment l’importance de tenir compte d’habiletés langagières qui vont au-delà du retard de vocabulaire à deux ans et permettent d’identifier des sous-groupes au sein de cette population. L’association entre un retard de langage et un cumul de facteurs de risque suggère une intervention qui, en plus des aspects langagiers, doit cibler les caractéristiques familiales et environnementales de ces enfants. / OBJECTIVES: 15 % of two year old children present with a delay in expressive vocabulary in the context of otherwise normal development. It is associated with delays in socio affective development as well as negative features of parental language stimulation. Moreover, half of these children will have a persistent language problem. A review of the literature on late-talkers underscores the heterogeneity found within that population. It also points to the relevance of studying language delay at two within a multifactorial perspective. These two conclusions support the aims pursued in this study: (1) to identify sub-groups in these children and (2) to compare these sub-groups with regards to factors known to be adversely associated with the development of language as well as to examine the effect of the accumulation of risk factors. METHODS: 68 children aged 18 to 35 months who present with a language delay and one their parents take part in the study. A variety of instruments measure the linguistic skills as well as other characteristics of the children, parents, families and of their environment. RESULTS: The cluster analysis uses the variables of language comprehension and expression. Three sub-groups found along a continuum of severity of language delay are identified and described. In a second analysis, the children who present exclusively with a vocabulary delay (n=52) are compared to those who have a wider reaching language delay (n=16). Results reveal a strong association between the level of linguistic skills and the cognitive development of the more impaired children. Moreover, the accumulation of risk factors is associated to belonging to the group presenting with a more pronounced language delay. CONCLUSION: With an aim of better characterizing this sub-group of the population, the results confirm the importance of taking into account language skills which go beyond the expressive vocabulary delay in two year old children. Association between a wider reaching delay of language and an the accumulation of risk factors further suggests an intervention which, in addition to stressing the linguistic aspects, must target the family and environmental characteristics of these children.

Depuis le début du 21ème siècle, la nature de la réponse motrice lors de la compréhension de langage d’action fait l’objet d’un débat théorique animé. Le rôle que cette réponse motrice pourrait jouer dans le traitement sémantique du langage d’action divise la communauté neuroscientifique. Tandis que certains modèles théoriques soutiennent une incarnation forte du langage, traduite par une implication primordiale du système moteur dans les processus sémantiques, d’autres s’y opposent fermement et défendent une approche computationnelle d’un système sémantique abstrait et désincarné. D’autres modèles sont plus nuancés et certains reconnaissent l’importance de l’influence de différents contextes sur la réponse motrice lors du traitement du langage. En effet, certains facteurs linguistiques et moteurs modulent la réponse motrice lors de la compréhension de langage d’action. L’objectif principal de la présente thèse est de caractériser certains facteurs modulateurs de la réponse : la polarité sémantique, les habiletés individuelles en imagerie motrice et en exécution motrice, et la structure corticale. Le facteur modulateur linguistique le plus étudié à ce jour est la polarité sémantique (c.-à-d. la valence affirmative/négative). Or de nombreux aspects relatifs à l’influence de ce facteur sur la réponse motrice doivent encore être investigués. À l’aide de l’électromyographie (EMG), l’Étude 1 mesure l’influence sur la réponse motrice, de polarités en interaction au sein d’une même phrase d’action. Bien que les liens entre traitement du langage d’action et imagerie motrice d’une part, et exécution motrice d’autre part aient été abordés dans la littérature, l’influence des différences interindividuelles dans ces habiletés sur l’implication du système moteur reste méconnue. Cette question fait l’objet de l’Étude 2, qui mesure l’implication de l’aire motrice supplémentaire (SMA) et de l’aire motrice supplémentaire antérieure (pré-SMA) dans le traitement du langage d’action en fonction des habiletés en imagerie et exécution motrices via un protocole de stimulation magnétique transcrânienne (TMS). Enfin, des comportements peuvent être associés à des caractéristiques structurelles d’aires corticales telles que le volume cortical, la surface corticale, l’épaisseur corticale et la gyrification. L’Étude 3 porte sur le lien entre l’implication du SMA dans le traitement du langage d’action (observée dans l’Étude 2) et ses caractéristiques structurelles au moyen d’analyses de morphométrie (« surface-based morphometry » ou SBM). / Since the beginning of the 21st century, the nature of the motor response during comprehension of action language has been hotly debated in the neuroscientific community. The role that it might play in the semantic processing of action language is at the heart of the debate. While, some theoretical models defend the view of a strong embodiment of language, which translates in a critical implication of the motor system in semantic processes of action language, others are firmly opposed to this view and defend a computational approach of the semantic system, which is considered to be abstract and disembodied. Other models, which are more moderate in their theoretical views, are interested in characterizing the influence of context on the motor response during action language processing. Linguistic and motor factors have been shown to modulate this motor response. The main objective of this thesis is to characterize some of these modulatory factors: semantic polarity, individual abilities in motor imagery and motor execution, and cortical structure. The linguistic modulatory factor that has been studied the most is semantic polarity (i.e. the affirmative/negative valence), but many aspects of this factor have not been uncovered yet. Using electromyography (EMG), Study 1 measures the influence of interacting semantic polarities within an action sentence on the motor response. Although the relation between action language processing and motor imagery on the one hand, and motor execution on the other, have been studied in the past, the influence of interindividual differences in motor imagery and execution on the involvement of the motor system in action language processing remains unknown. This question is the focus of Study 2, which measures the involvement of the supplementary motor area (SMA) and the pre-supplementary motor area (pre-SMA) in action language processing as a function of motor imagery and motor execution abilities, via a transcranial magnetic stimulation (TMS) protocol. Finally, behaviors can be associated with structural characteristics of cortical areas such as cortical volume, cortical surface, cortical thickness and gyrification, Study 3 investigates the relation between the involvement of the SMA in action language processing (observed in Study 2) and its structural characteristics using surface-based morphometry (SBM).

L'orchestration des services Web décrite par le Web Service-Business Process Execution Language (WS-BPEL), fait désormais partie intégrante du Web moderne, comme le cloud computing, le Big Data, l'Internet des objets (IoT) et les réseaux sociaux. En effet, elle est au centre de nombreux systèmes d'information liés à une variété de domaines tels que le commerce électronique, les institutions financières et les systèmes de santé, etc. où des données sensibles sont partagées, ce qui pose d'importants problèmes de sécurité. WS- BPEL appelé aussi BPEL, est le langage standard pour construire des services Web complexes d'une manière pratique. Cependant, BPEL n'est pas rigoureusement défini comme un langage formel entrainant ainsi des problèmes d'ambiguïté et de confusion lors de sa compréhension. Par ailleurs, sans fondement formel, il ne serait pas possible de fournir des preuves garantissant le bon fonctionnement de services. Cette thèse adresse la formalisation de BPEL et présente une approche formelle basée sur la réécriture de programmes permettant d'appliquer des politiques de sécurité au niveau de ce langage. Plus précisément, étant donné une composition de services Web spécifiée en BPEL et une politique de sécurité décrite dans une logique temporelle comme LTL, notre approche vise à générer une nouvelle version de service Web qui respecte cette politique de sécurité. La nouvelle version du service se comporte exactement comme l'originale excepté quand la politique est sur le point d'être violée. Dans ce cas le processus pourrait accomplir d'autres actions ou tout simplement être arrêté. La formalisation de BPEL a été aussi traduite dans l'environnement K-Framework, ce qui ouvre la porte à l'utilisation de ses nombreux outils formels incluant un évaluateur de modèles pour l'analyse de services Web. / The Web services orchestration approach described by the Web Service-Business Process Execution Language (WS-BPEL), is now an integral part of the modern Web, such as cloud computing, Big Data, the Internet of Things (IoT) and social networks. Indeed, it is at the center of many information systems related to a variety of domains such as e-commerce, financial institutions and healthcare systems, etc. where sensitive data is shared, which creates significant security issues. WS-BPEL, also called BPEL, is the standard language for building complex Web services in a practical way. However, BPEL is not rigorously defined as a formal language thus leading to problems of ambiguity and confusion when understanding it. Moreover, without a formal basis, it would not be possible to provide any proof guaranteeing the proper functioning of services. This thesis addresses the formalization of BPEL and presents a formal approach based on the rewriting of programs allowing the enforcement of security policies on this language. More precisely, given a composition of Web services specified in BPEL and a security policy described in a temporal logic like LTL, our approach aims to generate a new version of the Web service which respects the given security policy. The new version of the service behaves exactly like the original one except when the policy is about to be violated. In this case the process could take other actions or simply be stopped. The formalization of BPEL has also been translated into the K-Framework environment, which opens the door to the use of its many formal tools including a model checker for the analysis of Web services.

L'essor du Python comme language scientifique et la popularité grandissante du calcul GPGPU constitue un environnement fertile pour le développement de PyTissueOptics, un simulateur de propagation de la lumière dans les tissus, qui est un module entièrement programmé en Python, qui se concentre sur la mise en œuvre simple et compréhensible des mécanismes de propagation de la lumière, afin de catalyser la démocratisation de cette technique. Dans ce mémoire, nous explorons la théorie derrière le modèle de Monte Carlo, visitons les aspects techniques de la réalisation du projet, expliquons les différentes possibilités d'utilisation et comparons avec des modules connus, tel que MCML et MCX. / The rise of Python as a scientific language and the growing popularity of GPGPU computing creates a fertile environment for the development of PyTissueOptics, a light propagation simulator in tissues, which is a module entirely programmed in Python. It focuses on the simple and comprehensible implementation of light propagation mechanisms, aiming to catalyze the democratization of this technique. In this thesis, we explore the theory behind the Monte Carlo model, examine the technical aspects of the project's realization, explain the various usage possibilities, and compare it with known modules, such as MCML and MCX.

La transition de la garderie à la maternelle constitue un défi pour les enfants entre quatre et six ans et ceux s’y adaptant difficilement sont à risque de difficultés à plus ou moins long terme (Conseil supérieur de l’éducation, 2001 ; Duncan, Dowsett, Claessens, Magnuson, Huston, Klebanov et al., 2007). Il s’avère primordial de mieux comprendre l’adaptation sociale à la maternelle et les variables étant susceptibles de la prédire. Les objectifs de cette étude sont, d’une part, de vérifier si le langage réceptif et expressif des enfants d’âge préscolaire sélectionnés prédit les aspects de l’adaptation sociale à la maternelle et d’autre part, de vérifier si ce lien diffère selon le genre. Les résultats montrent que les enfants qui ont de faibles habiletés de langage expressif présentent davantage de comportements extériorisés à la maternelle et ceux qui ont de faibles habiletés de langage réceptif présentent plus de difficultés dans leurs habiletés sociales, aux mêmes âges. Cependant, la relation est la même pour les garçons et pour les filles. Ces résultats suggèrent de porter attention au langage réceptif et expressif distinctement dans le but de faciliter la prévention des difficultés comportementales avant l’entrée à la maternelle.

La thèse a pour objectif de réfléchir sur la possibilité d’appliquer la conception du langage développée par Wittgenstein dans sa philosophie des jeux de langage au langage esthétique. Cet intérêt pour la philosophie tardive du philosophe ne pouvait aboutir sans une confrontation avec la philosophie du Tractatus, l’auteur lui-même n’envisageant la possibilité de comprendre la seconde partie de sa philosophie qu’à la lumière de la première. En effet, le Tractatus détermine une conception du langage unique, dans laquelle ce dernier a pour rôle de représenter le réel, en en partageant la structure. Par conséquent, tous les jugements normatifs, y compris les jugements esthétiques, seront éjectés du domaine du sens dans celui de l’ineffable et du mystique dans la mesure où toute vraie proposition, c’est-à-dire sensée, par opposition aux pseudo-propositions doit impérativement porter sur des objets.Cette restriction du sens et donc du dicible le conduisant à une aporie, Wittgenstein détermine une autre conception du langage, plutôt, complémentaire de la première et ce, progressivement à partir des années trente, dans laquelle le langage devient pluriel parce que tributaire de plusieurs paramètres extra linguistiques en relation avec le contexte, la culture, la forme de vie… Et c’est justement le concept de jeux de langage qui va en montrer le fonctionnement de la signification comme usages.A partir de quelques exemples de tableaux, nous montrerons de quelle manière la peinture, sa compréhension et son interprétation se plient à cette conception du langage, mais aussi du sens de la philosophie post-Tractatus. / The aim of this thesis is to think about the possibility to apply the conception of language developed by Wittgenstein in the philosophy from language games to esthetic language. The interest for the late philosophy of the philosopher could not ended without a confrontation in the philosophy of the Tractatus. The author himself considers the possibility to understand the second part of his philosophy only at the light of the initial. In fact, the Tractatus establishes a conception of an unique language, in which the latter has the role to represent the real, and in sharing the structure. Consequently, all the normal jugements including esthetic jugements will be ejected from the scope of sense in the one of the unutterable and the mystic insofar all true proposition is sensible by opposition to the pseudo-proposals must imperatively bear on objects.The restriction of the sense and dicible is leading him to a difficulty, Wittgenstein establishes another conception of language, rather complementary from the first one, and this gradually from the thirties in which the language becomes tributor from several parameters extra linguistic in relation with context, culture and shape of life and this is precisely the concept of language games which will show the working of the meaning as use.From a few examples of paintings, we shall demonstrate how the painting its comprehension and its interpretation are submitted to this conception of language but also to the sense of the philosophy post-Tractatus

La plupart des systèmes critiques sont dits «temps-réel durs» puisqu'ils requièrent des garanties temporelle fortes. Ces systèmes sont de plus en plus complexes et les processeurs mono-coeurs traditionnels ne sont plus assez puissants. Les multi-coeurs et les pluri-coeurs sont des alternatives plus puissantes, cependant ils contiennent des ressources partagées. Les accès concurrents à ces ressources provoquent des interférences qui doivent être prises en compte puisqu'elles rendent les délais d'accès non prédictibles. Pour les pluri-coeur, le réseau sur puce (NoC) doit être configuré pour éviter les interblocages et garantir des pires temps de traversée précis. Le MPPA2 de Kalray est un pluri-coeur avec de bonnes propriétés temporelles.Les langages Synchrones flot de données tels que Lustre ou Scade sont largement utilisés dans l'industrie aéronautique. Les programmes sont des réseaux de noeuds de calcul communicants. Nous présentons une méthode pour extraire le parallélisme des programmes Synchrones. Nous générons du code pour déployer les tâches parallèles sur la puce et pour implémenter les communications en mémoire partagée ou à travers le NoC. Notre solution permet la traçabilité du code. Elle est basée sur un modèle d'exécution dirigé par le temps où chaque tâche a une date de début. L'ordonnancement est statique et minimise les interférences grâce à l'utilisation de bancs mémoire. Une borne de pire temps d'exécution (WCET) est calculée. Elle inclut les interférences mémoire et les pires temps de traversée NoC. Nous générons la configuration du processeur qui permet une allocation équitable des bandes passantes sur le NoC, la garantie de temps de traversées bornés et la synchronisation des horloges. Enfin, nous appliquons notre outils sur des exemples de programmes aéronautiques et un exemple synthétique utilisant 64 coeurs. / Most critical systems are subject to hard real-time requirements. These systems are more and more complex and the computational power of the predictable single-core processors is no longer sufficient. Multi- or many-core architectures are good alternatives but interferences on shared resources must be taken into account to avoid unpredictable timing effects. For many-core, the Network-on-Chip (NoC) must be configured such that deadlocks are avoided and a tight Worst Case Traversal Time (WCTT) of the communications can be computed. The Kalray MPPA2 is a many-core architecture with good timing properties.Dataflow Synchronous languages such as Lustre or Scade are widely used for avionics critical software. In these languages, programs are described by networks of computational nodes. We introduce a method to extract parallel tasks from synchronous programs. Then, we generate parallel code to deploy tasks on the chip and implement NoC and shared-memory communications. The generated code enables traceability. It is based on a time-triggered execution model which relies on a static schedule and minimizes the memory interferences thanks to usage of memory banks. The code enables the computation of a worst case execution time bound accounting for the memory interferences and the WCTT of NoC transmissions. We generate a configuration of the platform to enable a fair bandwidth attribution on the NoC, bounded transmissions through the NoC and clock synchronization. Finally, we apply this toolchain on avionic case studies and synthetic benchmarks running on 64 cores.

Les contrats basés sur les notions d'hypothèses/garanties constituent un paradigme expressif pour une conception modulaire et compositionnelle de spécification de programmes. Ils sont devenus un concept fondamental dans les procédés employés par les outils de conception assistée par ordinateur, pour la conception de systèmes informatiques. Dans cette thèse, nous élaborons des fondements pour la mise en oeuvre de systèmes embarqués basée sur la notion de contrats. Nous proposons ainsi une algèbre de contrats basée sur deux concepts simples : les hypothèses et les garanties des composants sont définies par des filtres, les filtres sont caractérisés par une structure d'algèbre booléenne. Les choix effectués pour définir la structure des filtres permettent de définir une algèbre de Heyting sur l'ensemble des contrats. Un cadre de travail est ainsi défini, dans lequel les contrats sont utilisés pour vérifier la correction des hypothèses faites sur le contexte d'utilisation d'un composant, et pour fournir à l'environnement les garanties qui lui sont demandées. Nous utilisons cette algèbre pour définir un système de modules dont le paradigme de typage est basé sur la notion de contrats. Le type d'un module est un contrat caractérisé par les hypothèses faites par l'environnement et les garanties offertes par les comportements du module. Nous illustrons cette présentation avec la spécification d'un moteur à quatre temps.

Donald Davidson cherche à montrer comment le langage est produit et compris. Parti de la conviction que l'on ne peut parler de langage que dans le contexte social d'une « triangulation » qui marque l'interaction mutuelle entre les interlocuteurs et leur interaction avec un environnement qu'ils partagent, il appréhende la signification au sein de la communication. Pour l'expliquer et élaborer une théorie qui en rend compte, il replace le langage dans le contexte global de ce qu'on a pris l'habitude de qualifier de « programme sémantique de Davidson », qui soulève plusieurs questions eu égard essentiellement à la vérité, à l'interprétation et à la nature de la relation qui relie le langage à la pensée et à la réalité. Ce mémoire présente alors le fruit d'un travail tout au long duquel on a retracé élément par élément les composantes de l'environnement philosophique dans lequel Davidson insère son programme sémantique. C'est ainsi qu'on a pu le reconstituer et en donner un aperçu assez complet, à partir duquel l'originalité et l'unité du projet de ce philosophe peuvent être mises en évidence. Ce faisant, on a pu montrer que Davidson offre à la philosophie du langage une nouvelle perspective dans laquelle il conçoit le langage dans l'unité organique qui le rattache, par une relation de survenance mutuelle, autant à la pensée qu'à la réalité, formant ainsi la triade Langage-Pensée-Réalité. Désormais, il est possible de voir comment le fonctionnement du langage, de la signification, de la vérité et de l'interprétation culmine dans et est porté par la structure, le contenu et la dynamique que représente cette Triade. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : langage, signification, vérité, interprétation, interprétation radicale, réalité, pensée, sémantique, triade, ontologie, métaphysique, épistémologie.