How to evaluate if a spatial model is well ajusted to a problem? How to know if it is the best model between the class of conditional autoregressive (CAR) and simultaneous autoregressive (SAR) models, including homoscedasticity and heteroscedasticity cases? To answer these questions inside Bayesian framework, we propose new ways to apply Bregman divergence, as well as recent information criteria as widely applicable information criterion (WAIC) and leave-one-out cross-validation (LOO). The functional Bregman divergence is a generalized form of the well known Kullback-Leiber (KL) divergence. There is many special cases of it which might be used to identify influential points. All the posterior distributions displayed in this text were estimate by Hamiltonian Monte Carlo (HMC), a optimized version of Metropolis-Hasting algorithm. All ideas showed here were evaluate by both: simulation and real data. / Como avaliar se um modelo espacial está bem ajustado? Como escolher o melhor modelo entre muitos da classe autorregressivo condicional (CAR) e autorregressivo simultâneo (SAR), homoscedásticos e heteroscedásticos? Para responder essas perguntas dentro do paradigma bayesiano, propomos novas formas de aplicar a divergência de Bregman, assim como critérios de informação bastante recentes na literatura, são eles o widely applicable information criterion (WAIC) e validação cruzada leave-one-out (LOO). O funcional de Bregman é uma generalização da famosa divergência de Kullback-Leiber (KL). Há diversos casos particulares dela que podem ser usados para identificar pontos influentes. Todas as distribuições a posteriori apresentadas nesta dissertação foram estimadas usando Monte Carlo Hamiltoniano (HMC), uma versão otimizada do algoritmo Metropolis-Hastings. Todas as ideias apresentadas neste texto foram submetidas a simulações e aplicadas em dados reais.

La présente recherche se propose de caractériser l'équilibre dynamique à mésoéchelle, c'est-à-dire l'équilibre entre les forçages dynamiques et physiques et ce, pour des phénomènes météorologiques ayant une échelle horizontale de l'ordre de 15 à 150 km. Elle combine des simulations numériques et la théorie de la balance non-linéaire autant dans un contexte de simulations idéalisées que dans celui d'une simulation d'un cas réel. Elle s'inscrit dans un objectif à plus long terme d'améliorer les prévisions à court terme des quantités de précipitations, en développant une méthode permettant de contraindre l'état initial de la dynamique du modèle à un état de balance dynamique dans un contexte où les données de précipitations sont inclues au temps initial. <br>Dans un premier temps, l'étude porte sur l'identification précise de la suite des processus physiques impliqués dans l'ajustement vers un état balancé dans les modèles numériques en lien avec la théorie classique d'ajustement linéaire et ce, autant à petite qu'à grande échelle (phénomènes météorologiques d'un diamètre de 15 à 1500 km). Les analyses démontrent que, lorsque la taille du réchauffement est à petite échelle : (a) la latitude (force de Coriolis) n'a qu'une influence très limitée sur les mécanismes et sur l'état balancé ; (b) le temps d'ajustement vers l'état balancé est très réduit par rapport aux simulations à plus grande échelle ; (c) la stabilité statique de l'atmosphère a une influence significative sur le temps d'ajustement ainsi que sur l'état balancé lui-même ; (d) ces résultats sont en accord avec la théorie classique d'ajustement linéaire ; (e) il est possible d'utiliser l'équation de balance non-linéaire en combinaison avec une équation complète décrivant le mouvement vertical pour déterminer le vent divergent balancé à petite échelle. <br>Dans un deuxième temps, la méthodologie est appliquée à un cas réel tel que simulé par le modèle Global Environnemental Multi-Échelle (GEM) en mode aire limitée à une résolution horizontale de 2.5 km. Ce cas réel est caractérisé par de la convection profonde d'été en absence de baroclinicité et de dynamique en altitude significatives. Parmi les conclusions dégagées de l'analyse, il a été montré que : (a) le type de balance à cette échelle est principalement relié à la divergence horizontale ; (b) l'information apportée par les vents divergents dans la prévision à court terme du mouvement vertical (et donc de la précipitation) est très importante ; (c) il est possible de calculer les vents divergents balancés, à cette échelle, en utilisant une équation du mouvement vertical complète en combinaison avec l'équation de balance non-linéaire et en utilisant les tendances de température, causées par la convection, directement issues du modèle numérique ; (d) en imposant que les vents divergents soient balancés au temps initial, les prévisions de précipitations (évaluées par l'intermédiaire du mouvement vertical) sont remarquablement similaires par rapport à une simulation de contrôle. <br>En conclusion, le travail réalisé a permis principalement de développer une méthodologie appropriée pour caractériser l'état balancé dans les modèles numériques de prévision à méso-échelle pour des phénomènes météorologiques ayant un diamètre aussi petit que de l'ordre de 15 km, et utiliser des relations de balance dynamique dans les modèles numériques à une résolution horizontale de 2.5 km. Les contributions les plus importantes sont : (a) l'identification précise de la suite des processus physiques impliqués dans l'ajustement vers un état balancé dans les modèles numériques en lien avec la théorie classique d'ajustement linéaire ; (b) la caractérisation de l'état balancé à mésoéchelle dans des simulation numériques idéalisées ; (c) la caractérisation de l'état balancé à méso-échelle dans un contexte de simulation réaliste d'un cas de convection profonde d'été ; (d) l'importance de l'information apportée par les vents divergents pour les prévisions de précipitations à méso-échelle ; (e) la démonstration qu'il est possible d'utiliser les tendances de température issues de la convection dans le modèle en combinaison avec l'équation de balance non-linéaire et une équation complète décrivant le mouvement vertical, afin de déterminer des vents divergents balancés ayant une bonne précision. Ainsi, le présent projet est innovateur pour l'utilisation des relations impliquant une balance non-linéaire à petite échelle, ainsi que pour l'utilisation des tendances de température issues directement de la convection du modèle dans des équations représentant un type de balance dynamique à cette échelle. <br>Les limites de la recherche portent principalement à la fois sur certains aspects des simulations idéalisées, de la méthode d'évaluation des vents divergents balancés et sur le type de situation réelle présentée ici. Des études complémentaires permettraient d'approfondir quelques-unes des limites identifiées.

Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée

Dans cette these, produit de techniques issues de la theorie des $C^*$-algebres et de la theorie spectrale, nous etablissons de nouveaux resultats concernant les proprietes spectrales d'operateurs agissant sur les arbres et divers criteres concernant la stabilite du spectre essentiel d'operateurs non-bornes.<br />Elle se compose de trois articles.<br /><br />Les deux premiers traitent de la theorie spectrale et de la diffusion des operateurs de Schroedinger sur un arbre et de sa generalisation naturelle aux espaces de Fock. Les problemes abordes sont : la validite de l'estimation de Mourre et la caracterisation du spectre essentiel d'operateurs anisotropes par des methodes $C^*$-algebriques.<br /><br />Dans le troisieme article, nous nous proposons une recherche de criteres de stabilite du spectre essentiel pour des operateurs agissant sur des modules de Banach. Les applications couvrent les operateurs de Dirac, les perturbations de metriques riemanniennes, les operateurs sous forme divergence et bien d'autres. Outre son formalisme algebrique, ce travail est caracterise par l'absence de conditions de regularite dans les hypotheses.

<p>This thesis concerns different aspects of dating divergence times in phylogenetic trees, using molecular data and multiple fossil age constraints.</p><p>Datings of phylogenetically basal eudicots, monocots and modern birds (Neoaves) are presented. Large phylograms and multiple fossil constraints were used in all these studies. Eudicots and monocots are suggested to be part of a rapid divergence of angiosperms in the Early Cretaceous, with most families present at the Cretaceous/Tertiary boundary. Stem lineages of Neoaves were present in the Late Cretaceous, but the main divergence of extant families took place around the Cre-taceous/Tertiary boundary.</p><p>A novel method and computer software for dating large phylogenetic trees, PATHd8, is presented. PATHd8 is a nonparametric smoothing method that smoothes one pair of sister groups at a time, by taking the mean of the added branch lengths from a terminal taxon to a node. Because of the local smoothing, the algorithm is simple, hence providing stable and very fast analyses, allowing for thousands of taxa and an arbitrary number of age constraints.</p><p>The importance of fossil constraints and their placement are discussed, and concluded to be the most important factor for obtaining reasonable age estimates.</p><p>Different dating methods are compared, and it is concluded that differences in age estimates are obtained from penalized likelihood, PATHd8, and the Bayesian autocorrelation method implemented in the multidivtime program. In the Bayesian method, prior assumptions about evolutionary rate at the root, rate variance and the level of rate smoothing between internal edges, are suggested to influence the results.</p>

This thesis concerns different aspects of dating divergence times in phylogenetic trees, using molecular data and multiple fossil age constraints. Datings of phylogenetically basal eudicots, monocots and modern birds (Neoaves) are presented. Large phylograms and multiple fossil constraints were used in all these studies. Eudicots and monocots are suggested to be part of a rapid divergence of angiosperms in the Early Cretaceous, with most families present at the Cretaceous/Tertiary boundary. Stem lineages of Neoaves were present in the Late Cretaceous, but the main divergence of extant families took place around the Cre-taceous/Tertiary boundary. A novel method and computer software for dating large phylogenetic trees, PATHd8, is presented. PATHd8 is a nonparametric smoothing method that smoothes one pair of sister groups at a time, by taking the mean of the added branch lengths from a terminal taxon to a node. Because of the local smoothing, the algorithm is simple, hence providing stable and very fast analyses, allowing for thousands of taxa and an arbitrary number of age constraints. The importance of fossil constraints and their placement are discussed, and concluded to be the most important factor for obtaining reasonable age estimates. Different dating methods are compared, and it is concluded that differences in age estimates are obtained from penalized likelihood, PATHd8, and the Bayesian autocorrelation method implemented in the multidivtime program. In the Bayesian method, prior assumptions about evolutionary rate at the root, rate variance and the level of rate smoothing between internal edges, are suggested to influence the results.

The effects of feature frequency and similarity on object recognition have been examined through behavioral experiments, and a model of the formation of visual object representations and old/new recognition has been proposed. A number of experiments were conducted to test the hypothesis that frequency and similarity of object features affect the old/new responses to test stimuli in a later recognition task. In the first experiment, when the feature frequencies are controlled, there was a significant increase in the percentage of &ldquo / old&rdquo / responses for unstudied objects as the number of frequently repeated features (FRFs) on the object increased. In the second experiment, where all features had equal frequency, similarity of test objects did not affect old/new responses. An evaluation of the models on object recognition and categorization with respect to the experimental results showed that these models can only partially explain experimental results. A comprehensive model for the formation of visual object representations and old/new recognition, called CDZ-VIS, developed on the Convergence-Divergence Zone framework by Damasio (1989), has been proposed. According to this framework, co-occurring object features converge to upper layer units in the hierarchical representation which act as binding units. As more objects are displayed, frequent object features cause grouping of these binding units which converge to upper binding units. The performance of the CDZ-VIS model on the feature frequency and similarity experiments of the present study was shown to be closer to the performance of the human participants, compared to the performance of two models from the categorization literature.

With the high complexity of modern day microprocessors and the slow speed of cycle-accurate simulations, architects are often unable to adequately evaluate their designs during the architectural exploration phases of chip design. This thesis presents the design and implementation of the timing partition of the cycle-accurate, microarchitecture-level SFFSim-Bear simulator. SFFSim-Bear is an implementation of the speculative functional-first (SFF) methodology, and utilizes a hybrid software-FPGA platform to accelerate simulation throughput. The timing partition, implemented in FPGA, features throughput-oriented, latency-tolerant designs to cope with the challenges of the hybrid platform. Furthermore, a fault injection framework is added to this implementation that allows designers to study the reliability aspects of their processors. The result is a simulator that is fast, accurate, flexible, and extensible. / text

With the abundance of literature focusing on parental influence in sport, it is important to identify family dynamics that extend beyond parents to include siblings. In this study, sibling influence was explored though interviews with previously identified elite youth female athletes (N=4) and their sibling (N=4) of the same sex who participated in the same sport. The purpose was to discover how siblings influence sport participation and how parents influence sibling relationships, retrospectively. Three categories emerged from the data: positive experiences participating in the same sport, negative experiences participating in the same sport, and perception of the parental role. The participants’ descriptions coincide with observational learning and both deidentification and divergence processes. The data adds to the probable sibling and parent experiences proposed in the Developmental Model of Sport Participation and provides insight for athletes, parents, and coaches on how to manage sibling relations in sport. / October 2015

Mean-field approaches successfully reproduce nuclear bulk properties like masses and radii within the Energy Density Functional (EDF) framework. However, complex correlations are missing in mean-field models and several observables related to single-particle and collective nuclear properties cannot be predicted accurately. The necessity to provide a precise description of the available data as well as reliable predictions in the exotic regions of the nuclear chart motivates the use of more sophisticated beyond-mean-field models. Correlations and higher-order corrections (beyond the leading mean-field order) are introduced. A crucial aspect in these calculations is the choice of the effective interaction to be used when one goes beyond the leading order (available effective interactions are commonly adjusted at the mean-field level). In the first part, we deal with the equation of state of nuclear matter evaluated up to the second order with the phenomenological Skyrme force. We analyze the ultraviolet divergence that is related to the zero range of the interaction and we introduce Skyrme-type regularized interactions that can be used at second order for matter. Cutoff regularization and dimen- sional regularization techniques are explored and applied. In the latter case, connections are naturally established between the EDF framework and some techniques employed in Effective Field Theories. In the second part, we check whether the regularized interactions introduced for nuclear matter can be employed also for finite nuclei. As an illustration, this analysis is performed within the particle- vibration model that represents an example of beyond mean-field models where an ultraviolet divergence appears if zero-range forces are used. These first applications suggest several directions to be explored to finally provide regularized interactions that are specially tailored for beyond- mean-field calculations for finite nuclei. Conclusions and perspectives are finally illustrated.