L'arithmétique par intervalles permet de calculer et simultanément vérifier des résultats. Cependant, une application naïve de cette arithmétique conduit à un encadrement grossier des résultats. De plus, de tels calculs peuvent être lents.Nous proposons des algorithmes précis et des implémentations efficaces, utilisant l'arithmétique par intervalles, dans le domaine de l'algèbre linéaire. Deux problèmes sont abordés : la multiplication de matrices à coefficients intervalles et la résolution vérifiée de systèmes linéaires. Pour le premier problème, nous proposons deux algorithmes qui offrent de bons compromis entre vitesse et précision. Pour le second problème, nos principales contributions sont d'une part une technique de relaxation, qui réduit substantiellement le temps d'exécution de l'algorithme, et d'autre part l'utilisation d'une précision étendue en quelques portions bien choisies de l'algorithme, afin d'obtenir rapidement une grande précision. / Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results. Moreover, interval arithmetic computations can be time-consuming. We propose several accurate algorithms and efficient implementations in verified linear algebra using interval arithmetic. Two fundamental problems are addressed, namely the multiplication of interval matrices and the verification of a floating-point solution of a linear system. For the first problem, we propose two algorithms which offer new tradeoffs between speed and accuracy. For the second problem, which is the verification of the solution of a linear system, our main contributions are twofold. First, we introduce a relaxation technique, which reduces drastically the execution time of the algorithm. Second, we propose to use extended precision for few, well-chosen parts of the computations, to gain accuracy without losing much in term of execution time.

Le travail présenté dans ce mémoire traite de la problématique de recherche de structures innovantes de génératrices pour les turbines de l’éolien offshore atteignant la dizaine de mégawatts et du dimensionnement de ces structures. À cet effet, les machines synchrones à aimants permanents, à flux axial, à entraînement direct sont celles qui ont plus de potentiel énergétique pour répondre aux besoins de ces futures turbines éoliennes offshore de grande puissance. L’étude de ces structures a rendu nécessaire le développement d’un outil de dimensionnement analytique multiphysique « léger » et suffisamment précis servant à l’analyse et l’exploration de l’espace de solutions. Une nouvelle approche de modélisation analytique magnétique quasi-3D qui prend compte des effets 3D (variations des formes d’aimants permanents au rotor et les effets de bords aux extrémités radiales), est développée à cet effet pour ces structures tridimensionnelles et confirmée par une modélisation tridimensionnelle par éléments finis. La modélisation magnétique est basée sur l’approche mathématique permettant la résolution formelle des équations de Maxwell par la méthode de séparation des variables dans les différentes régions à faible perméabilité de la machine. Couplé à une modélisation thermique nodale ainsi qu’une modélisation des pertes, ce travail aboutit à un modèle dimensionnant multiphysique des machines à flux axial avec un excellent rapport « temps de calcul/précision » servant pendant les phases préliminaires du dimensionnement. / This work deals with the search for innovative structures of generators for the offshore wind turbines reaching about ten megawatts and their design. The direct drive, axial flux, permanent magnet synchronous machines are the ones which have more energy potential for these future high power offshore wind turbines. The study of these axial flux machines required the development of a fast analytical design help tool with a good accuracy for their analysis and their design. To do so, a new approach of quasi-3D magnetic analytical modeling, which takes into account 3D effects (end effects and variations of magnets forms in the rotor) is then developed and confirmed by a 3D finite elements method. Its mathematical approach is based on the formal solution of Maxwell’s equations, in low permeability regions of the machine, by the separation of variables method. Coupled with a nodal thermal modelling and the evaluation of losses, this work succeeds in a multi-physical design tool for axial flux machines with an excellent computation time to accuracy ratio.

Cette thèse porte sur le codage prédictif comme principe général pour la perception et vise à en étayer les mécanismes computationnels et neurophysiologiques dans la modalité auditive. Ce codage repose sur des erreurs de prédictions se propageant dans une hiérarchie, et qui pourraient se refléter dans des réponses cérébrales au changement (ou déviance) telles que la Négativité de discordance (mismatch negativity, MMN). Nous avons manipulé la prédictibilité de sons déviants et utilisé des approches de modélisation computationnelle et dynamique causale (DCM) appliquées à des enregistrements électrophysiologiques (EEG, MEG) simultanés.Une modulation des réponses à la déviance par la prédictibilité a été observée, permettant d'établir un lien avec les erreurs de prédictions. Cet effet implique un apprentissage implicite des régularités acoustiques, dont l'influence sur le traitement auditif a pu être caractérisée par notre approche de modélisation. Sur le plan computationnel, un apprentissage a été mis en évidence au cours de ce traitement auditif, reposant sur une fenêtre d'intégration temporelle dont la taille varie avec la prédictibilité des déviants. Cet effet pourrait également moduler la connectivité synaptique sous-tendant le traitement auditif, comme le suggère l'analyse DCM.Nos résultats mettent en évidence la mise en œuvre d'un apprentissage perceptif au sein d'une hiérarchie auditive soumis à une modulation par la prédictibilité du contexte acoustique, conformément aux prédictions du codage prédictif. Ils soulignent également l'intérêt de ce cadre théorique pour émettre et tester expérimentalement des hypothèses mécanistiques précises / This thesis aims at testing the predictive coding account of auditory perception. This framework rests on precision-weighted prediction errors elicited by unexpected sounds that propagate along a hierarchical organization in order to maintain the brain adapted to a varying acoustic environment. Using the mismatch negativity (MMN), a brain response to unexpected stimuli (deviants) that could reflect such errors, we could address the computational and neurophysiological underpinnings of predictive coding. Precisely, we manipulated the predictability of deviants and applied computational learning models and dynamic causal models (DCM) to electrophysiological responses (EEG, MEG) measured simultaneously. Deviant predictability was found to modulate deviance responses, a result supporting their interpretation as prediction errors. Such effect might involve the (high-level) implicit learning of sound sequence regularities that would in turn influence auditory processing in lower hierarchical levels. Computational modeling revealed the perceptual learning of sounds, resting on temporal integration exhibiting differences induced by our predictability manipulation. In addition, DCM analysis indicated predictability changes in the synaptic connectivity established by deviance processing. These results conform predictive coding predictions regarding both deviance processing and its modulation by deviant predictability and strongly support perceptual learning of auditory regularities achieved within an auditory hierarchy. Our findings also highlight the power of this mechanistic framework to elaborate and test new hypothesis enabling to improve our understanding of auditory processing

Le développement urbain durable est aujourd’hui une notion centrale des discours sur la ville et des politiques publiques en la matière. Sans être une simple déclinaison du développement durable appliqué à l’urbain, il en reprend quelques grands principes, qui pour certains s’inscrivent dans la longue histoire de l’urbanisme. En tout état de cause, ces principes irriguent aujourd’hui le droit de l’urbanisme. Mais de la norme juridique à l’action concrète, il y a parfois loin, afin, par exemple, de limiter effectivement l’étalement urbain ou encore de réduire les pollutions urbaines. En quelques années,le droit français de l’urbanisme a pourtant été transformé en profondeur pour aider à résoudre ces problèmes et d’autres, et favoriser en ce sens le développement urbain durable. Grâce à quels outils ? Et malgré quels obstacles ? Ces derniers ne sont pas négligeables, et interrogent la capacité réelle du droit français, en l’état, à promouvoir le développement urbain durable à l’échelle des espaces urbains pertinents, voire à ne pas l’entraver. / The urban sustainable development is nowadays a main notion in the discourses about the city and in the concerning public policies. If it isn’t a simple variation of the sustainable development applied to the urban matter, it resumes many of its main principles, which are for some of them keeping with the long story of town planning. In any case, those principles are irrigating the urban law today. But from the legal rule to the concrete action is the way sometimes long, in order to limitefficaciously the urban sprawl or to reduce the urban pollutions for example. For a few year the frenchurban law is however being deeply transformed in order to contribute to resolve these problems and others, and to encourage the urban sustainable development. Thanks to which tools ? And despite of which obstacles ? These obstacles are not insignificant, and the even sound the real capacity of the French law, as it stands, to promote the urban sustainable development on the scale of the pertinent urban spaces, and not to block it.

Le pouce opposable de la main joue un rôle essentiel dans le comportement humain, permettant une prise bien plus précise que celle des singes avec les pouces opposables. Comment le cerveau contrôle t-il les mains aussi précisément? Dans le cadre de cette thèse, nous avons étudié comment différentes régions du cerveau dédiées au contrôle moteur, en particulier le cortex moteur (M1) et l’aire motrice supplémentaire (AMS), contribuent à une pince pouce-index précise. Les résultats de nos études révèlent que des neurones dans l’AMS, en complément de ceux dans M1, communiquent directement avec les motoneurones de la moelle épinière contrôlant les muscles de la main. De plus, SMA communique aussi efficacement que M1 avec les muscles de la main, alors que chez le singe, celle avec M1 est plus efficace. Cette différence fonctionnelle dans la voie AMS-muscles entre le singe et l’Homme pourrait expliquer la plus grande capacité de ce dernier à contrôler finement la force produite par les doigts. / The human hand's opposable thumb plays a large role in human behavior, allowing for a grip far more precise than that of monkeys with opposable thumbs. However, it isn't well understood how the brain controls the hands in such a precise way. In these studies, we investigate how different parts of the brain dedicated to motor tasks, in particular the motor cortex (M1) and the supplementary motor area (SMA), contribute to a precise thumb-index finger grip. Our experiments suggest that some neurons in the SMA, in addition to those well-described in M1, may connect directly to the motoneurons in the spinal cord controlling the hand muscles. Moreover, we found that SMA communicates with the hand muscles as efficiently as M1, while in monkeys, SMA communicates less efficiently than M1. This functional difference in the SMA-muscles pathway between monkey and human may account for the higher capacity of the latter to precisely control the force produced by digits.

No description available.

Aligner des macromolécules telles que des protéines, des ADN et des ARN afin de révéler ou exploiter, leur homologie fonctionnelle est un défi classique en bioinformatique, qui offre de nombreuses applications, notamment dans la modélisation de structures et l'annotation des génomes. Un certain nombre d'algorithmes et d'outils ont été proposés pour le problème d'alignement structure-séquence d'ARN. Cependant, en ce qui concerne les ARN complexes, comportant des pseudo-noeuds, des interactions multiples et des paires de bases non canoniques, de tels outils sont rarement utilisés dans la pratique, en partie à cause de leurs grandes exigences de calcul, et de leur incapacité à supporter des types généraux de structures. Récemment, Rinaudo et al. ont donné un algorithme paramétré général pour la comparaison structure-séquence d'ARN, qui est capable de prendre en entrée n'importe quel type de structures comportant des pseudo-noeuds. L'algorithme paramétré est un algorithme de programmation dynamique basée sur la décomposition arborescente. Nous avons développé plusieurs variantes et extensions de cet algorithme. Afin de l'accélérer sans perte sensible de précision, nous avons introduit une approche de programmation dynamique par bandes. De plus, trois algorithmes ont été développés pour obtenir des alignements sous-optimaux. De plus, nous introduisons dans ce contexte la notion de MEA (Maximum-expected Structure-Alignment) pour calculer un alignement avec la précision maximale attendue sur un ensemble d'alignements. Tous ces algorithmes ont été implémentés dans un logiciel nommé LiCoRNA (aLignment of Complex RNAs). Les performances de LiCoRNA ont été évaluées d'abord sur l'alignement des graines des familles de de la base de données RFAM qui comportent des pseudo-noeuds. Comparé aux autres algorithmes de l'état de l'art, LiCoRNA obtient généralement des résultats équivalents ou meilleurs que ses concurrents. Grâce à la grande précision démontrée par LiCoRNA, nous montrons que cet outil peut être utilisé pour améliorer les alignements de certaines familles de RFAM qui comportent des pseudo-noeuds. / Aligning macromolecules such as proteins, DNAs and RNAs in order to reveal, or conversely exploit, their functional homology is a classic challenge in bioinformatics, with far-reaching applications in structure modelling and genome annotation. In the specific context of complex RNAs, featuring pseudoknots, multiple interactions and non-canonical base pairs, multiple algorithmic solutions and tools have been proposed for the structure sequence alignment problem. However, such tools are seldom used in practice, due in part to their extreme computational demands, and because of their inability to support general types of structures. Recently, Rinaudo et al. gave a fully general parameterised algorithm for structure-sequence comparison, which is able to take as input any type of pseudoknotted structures. The parameterised algorithm is a tree decomposition based dynamic programming. To accelerate the dynamic programming algorithm without losing two much accuracy, we introduced a banded dynamic programming. Then three algorithms are introduced to get the suboptimal structure-sequence alignments. Furthermore, we introduce the notation Maximum Expected structure-sequence Alignment (MEA) to compute an alignment with maximum expected accuracy over a set of alignments. The Boltzmann match probability are computed based on the inside-outside algorithm. The algorithms are implemented in a software named LiCoRNA (aLignment of Complex RNAs). We first evaluate the performance of LiCoRNA on the seed alignment in the pseudoknotted RFAM families. Compared to the state-of-the-art algorithms, LiCoRNA shows generally equivalent or better results than its competitors. With the high accuracy showed by LiCoRNA, we further curate RFAM full pseudoknotted alignment. The reason why we realign full alignments is that covariance model does not support pseudoknot which may lead to misalign when building the full alignment.

Chaque année, des millions de personnes meurent et beaucoup d'autres subissent des séquelles graves à la suite d'accidents de la route. Malgré une multitude d’initiatives, le nombre de cas mortels et d'accidents graves augmente chaque année en engendrant des problèmes préoccupants à la fois sociaux, économiques et sanitaires. En raison de leur nombre élevé et de l'absence de protection personnelle, plus de la moitié de ces décès concerne les usagers vulnérables (en anglais, vulnerable road users - VRU) regroupant les piétons, cyclistes et motocyclistes. Les appareils mobiles, combinés à la technologie de Fog Computing (ou informatique géodistribuée, ou même informatique en brouillard), représentent une solution réaliste à court terme pour les protéger en les avertissant de l’imminence d'un accident de circulation. L’omniprésence des appareils mobiles et leurs capacités de calcul élevées font de ces appareils un élément important à considérer dans les solutions de sécurité routière. Le Fog Computing offre des fonctionnalités adaptées aux applications de sécurité routière, puisqu’il s’agit d’une extension du Cloud Computing permettant de rapprocher les services informatiques, le stockage et le réseau au plus près des utilisateurs finaux. Par conséquent, dans cette thèse, nous proposons une architecture réseau sans infrastructure supplémentaire (PV-Alert) pour des fins de sécurité routière et reposant uniquement sur les appareils mobiles des VRU et des conducteurs sur la route avec l’aide du concept de Fog Computing. Les données géographiques et cinématiques de ces appareils sont collectées et envoyées périodiquement au serveur fog situé à proximité. Le serveur fog traite ces données en exécutant un algorithme de calcul de risque d’accident de circulation et renvoie des notifications en cas d'accident imminent. L’évaluation de cette architecture montre qu’elle est capable de générer des alertes en temps réel et qu’elle est plus performante que d’autres architectures en termes de fiabilité, d’évolutivité et de latence. / Annually, millions of people die and many more sustain non-fatal injuries because of road traffic crashes. Despite multitude of countermeasures, the number of causalities and disabilities owing to traffic accidents are increasing each year causing grinding social, economic, and health problems. Due to their high volume and lack of protective-shells, more than half of road traffic deaths are imputed to vulnerable road users (VRUs): pedestrians, cyclists and motorcyclists. Mobile devices combined with fog computing can provide feasible solutions to protect VRUs by predicting collusions and warning users of an imminent traffic accident. Mobile devices’ ubiquity and high computational capabilities make the devices an important components of traffic safety solutions. Fog computing has features that suits to traffic safety applications as it is an extension of cloud computing that brings down computing, storage, and network services to the proximity of end user. Therefore, in this thesis, we have proposed an infrastructure-less traffic safety architecture that depends on fog computing and mobile devices possessed by VRUs and drivers. The main duties of mobile devices are extracting their positions and other related data and sending cooperative awareness message to a nearby fog server using wireless connection. The fog server estimates collision using a collision prediction algorithm and sends an alert message, if an about-to-occur collision is predicted. Evaluation results shows that the proposed architecture is able to render alerts in real time. Moreover, analytical and performance evaluations depict that the architecture outperforms other related road safety architectures in terms of reliability, scalability and latency. However, before deploying the architecture, challenges pertaining to weaknesses of important ingredients of the architecture should be treated prudently. Position read by mobile devices are not accurate and do not meet maximum position sampling rates traffic safety applications demand. Moreover, continuous and high rate position sampling drains mobile devices battery quickly. From fog computing’s point of view, it confronts new privacy and security challenges in addition to those assumed from cloud computing. For aforementioned challenges, we have proposed new solutions: (i) In order to improve GPS accuracy, we have proposed an efficient and effective two-stage map matching algorithm. In the first stage, GPS readings obtained from smartphones are passed through Kalman filter to smooth outlier readings. In the second stage, the smoothed positions are mapped to road segments using online time warping algorithm. (ii) position sampling frequency requirement is fulfilled by an energy efficient location prediction system that fuses GPS and inertial sensors’ data. (iii) For energy efficiency, we proposed an energy efficient fuzzy logic-based adaptive beaconing rate management that ensures safety of VRUs. (iv) finally, privacy and security issues are addressed indirectly using trust management system. The two-way subjective logic-based trust management system enables fog clients to evaluate the trust level of fog servers before awarding the service and allows the servers to check out the trustworthiness of the service demanders. Engaging omnipresent mobile device and QoS-aware fog computing paradigm in active traffic safety applications has the potential to reduce overwhelming number of traffic accidents on VRUs.

Les intervenants seraient parmi les professionnels les plus à risque d'épuisement professionnel. Il est attendu des professionnels en relation d'aide qu'ils montrent de l'empathie envers leurs clients, qui sont souvent en difficultés. Cette empathie pourrait dans certains cas constituer un facteur de risque d'épuisement. Un individu ayant de bonnes capacités d'empathie serait plus enclin à être contaminé par le stress des autres. Cette contagion émotionnelle peut être bénéfique si celui qui la reçoit sait comment gérer cette émotion. Lorsqu’un intervenant perd le contrôle de la contagion émotionnelle, il en résulte une détresse empathique. Le développement de la précision interpersonnelle émotionnelle (PIÉ), c'est-à-dire la capacité à identifier les émotions des autres avec exactitude à partir de leur non verbal, pourrait être un moyen de freiner la détresse empathique. Le but de ce projet est la création et l'évaluation, avec un devis expérimental, d'un programme d'amélioration de la PIÉ auprès d'une cinquantaine d'étudiantes et étudiants en psychoéducation à l'Université de Montréal. Les objectifs de l’étude étaient d’évaluer si le programme permettait une amélioration de la PIÉ, tout en augmentant l’empathie et en diminuant le stress. Les participants ont été répartis dans l’un des trois groupes expérimentaux, l’un passant le programme AVATAR, l’autre le programme TERA et le troisième étant un groupe contrôle. Les résultats indiquent que seul le programme TERA montre une amélioration de la PIÉ, uniquement pour un des instruments utilisés. Il n’y a pas eu d’effets significatifs pour les autres variables à l’étude, soit l’empathie et le stress. Les résultats doivent cependant être pris avec prudence considérant le faible nombre de participants et la nature des programmes d’entraînement. / Social workers are among the professionals who are the most at risk of burnout. They are expected to show empathy towards their clients, who are in need. But empathy could, in some cases, be a risk factor for emotional exhaustion. Indeed, persons with high levels of empathy are more likely to be contaminated by the stress of others. Emotional contagion can be beneficial if the one who receives the emotion knows how to handle it. When social workers lose control of emotional contagion, it can cause empathic distress. Training people to be interpersonally accurate, the ability to judge emotions based on the person’s nonverbal behaviour, could be a way to reduce empathic distress. The purpose of this study was to create and evaluate a new emotions recognition training program. Fifty-two students in psychoeducation from the University of Montreal participated to the study. Aims were to assess whether the program could improve interpersonal accuracy but also empathy and the regulation of stress. Two programs (TERA and AVATAR) were tested in comparison with a control group. Results showed that only the TERA program showed improvement in a specific measure of interpersonal accuracy. No other improvement was observed neither in the two other complementary measures of interpersonal accuracy nor in the other constructs such as empathy or stress management. These results should be put in perspective with the low number of participants and the nature of the training programs.

No description available.