Cette thèse porte sur l'anatomie et la morphologie du complexe crânien chez les murinés. Ses objectifs sont de démontrer et de décrire le lien morpho-fonctionnel entre le crâne et la force de morsure, représentant la performance, d'identifier les sources génétiques de la variation de la performance et de la morphologie, et de comprendre comment la variation morpho-fonctionnelle dépend du mode de vie d'une espèce.La première partie décrit l'anatomie de l'appareil masticateur dans le genre Mus. Des différences fonctionnelles et liées au régime alimentaire sont montrées. Puis, on s'intéresse au lien entre morphologie et fonction, et aux proxies morpho-anatomiques permettant d'estimer la force de morsure. Un modèle biomécanique des muscles masticateurs est d'abord utilisé. Les estimations obtenues sontproches des mesures in vivo au niveau interspécifique, mais moins précises au niveau intraspécifique.L'avantage mécanique et la forme de la mandibule sont ensuite utilisés comme proxies. La force de morsure estimée et réelle sont corrélées au niveau interspécifique, mais moins au niveau intraspécifique, avec des différences selon les espèces. Pour expliquer ces imprécisions, la variation ontogénétique de la force de morsure et de la forme de la mandibule sont décrites. Lorsque l'âge est contrôlé, le développement osseux ralentit plus tôt que celui de la force de morsure, ce qui peut expliquer les biais trouvés dans les estimations de la force de morsure.La deuxième partie se concentre sur les sources génétiques des variations morpho-fonctionnelles. Chez Mus minutoides, des changements sur les chromosomes sexuels produisent des différences de taille et de force de morsure. Les mâles féminisés de cette espèces sont plus agressifs que les autres individus, et montrent une force de morsure plus puissante, principalement grâce à unplus gros crâne. Le(s) gène(s) féminisant produis(ent) donc des changements à l'échelle de l'organisme tout entier. La section suivante s'intéresse aux liens entre consanguinité, asymétrie et performance chez la souris domestique. Les souris les plus consanguines ne montrent pas d'augmentation de l'asymétrie de leurs mandibules, et la performance des souris les plus consanguines ou les plus asymétriques n'est pas affectée. Enfin, l'héritabilité de la force de morsure et de la morphologie est estimée. La force de morsure in vivo n'est pas héritable, bien que la morphologie le soit. Etant donné le lien entre morpho-anatomie et force de morsure, ces résultats suggèrent que les changements morphologiques sont des voies de moindre résistance évolutive, et qu'ils peuvent être à l'origine de changements de performance.La dernière partie utilise la morphologie et la performance en tant que caractères liés à l'écologie des espèces. La première section s'intéresse aux différences de performance entre Apodemus sylvaticus et Mus spretus, qui partagent leur habitat et leurs ressources alimentaires, malgré une différence de taille marquée. Nos résultats montrent un recouvrement des distributions des forces de morsures, soutenant l'hypothèse d'un régime alimentaire commun. Cette coexistence pourrait être due à une abondance de ressources là où ces espèces sont syntopiques. Enfin, la variation morphologique est quantifiée chez plusieurs murinés d'Asie du Sud-Est. Les espèces de rats commensaux et généralistes sont moins variables que les autres espèces. Les espèces synanthropiques montrent des réponses morpho-fonctionnelles convergentes entre localités qui suggèrent qu'elles partagent des patrons communs de réponse et donc qu’elles peuvent s'adapter aux variations environnementales régionales induites par l’homme. L'approche utilisée dans cette thèse nous a permis de montrer le lien entre variation génétique,phénotypique et écologique. Ce lien parfois difficile à décrire, est cependant à la base de l'apparition de nouvelles formes et espèces, et constitue un aspect crucial de la biologie de l'évolution. / The theme of this thesis is the anatomy and morphology of the cranio-mandibular complexin various species of murine rodents. The main objectives are to describe the morpho-functional link between the skull and bite force as a measure of performance, to identify the genetic sources of morphological and performance variation, and finally to understand how morpho-functional variation depends on a species diet and lifestyle. The first part describes the anatomy of the masticatory apparatus in the genus Mus. Differences were found, which could be interpreted functionally and linked to variation in diets. The first part also investigates the links between morpho-anatomy and function, and various morphological proxies used for estimating bite force. This is done by building a biomechanical model of masticatory muscles. The bite force estimates obtained match the in vivo measurements at the inter-specific level, but are less precise at the intra-specific level. Then, two osseous mandibular proxies of bite force are compared (lever arms and their mechanical advantage, and its shape data). In vivo and estimated bite force werewell related at the inter-specific level, but less at the intra-specific level, depending on the species. To explain these imprecisions, the ontogenetic variation of bite force and mandibular morphology isdescribed. Under controlled age, the bony development is slowing down earlier than bite force, whichcan partly explain the inconsistencies of estimated bite force.The second part focuses on the genetics of morphological and functional variation. In Musminutoides, changes in the sexual chromosomes entail size and performance changes. The feminized males found in this species are known to be more aggressive than other individuals, and they produce ahigher bite force, mainly due to an increase in skull size. The feminizing gene(s) therefore drive whole-organism-scale changes. Then, the links between inbreeding, asymmetry and performance areinvestigated in the house mouse. The most inbred mice do not experience an increase in the asymmetry of their mandibles. Contrary to expectations, the performance of the most inbred or most asymmetric mice do not decrease and differences in asymmetry levels have no influence on biting performance.The last section estimates the heritabilities of bite force and morphology. In vivo bite force is notheritable, but some morphological characters are. Given the functional link between morpho-anatomyand bite force shown in the first part, these results suggest that morphological changes represente volutionary pathways of least resistance, and drive changes in performance rather than behavioral or related traits.The last part took morphology and performance as linked to a species' niche. The first sectionexplores the differences between Apodemus sylvaticus and Mus spretus. Both share their habitat and food resources, in spite of a marked size difference. Results show great overlap between their bite force distributions supporting the hypothesis of a shared diet. The absence of shift in a trait related toresource use may be due to a large abundance of the food resources where both species are found insyntopy. In the final section the morphological variation in several rodents from Southeast Asia wasquantified. Less morphological variability is found in generalist and commensal rats by comparison toother species. At the community level, synanthropic species show frequent convergent responsesbetween localities in terms of bite force and morphology. These common patterns in response suggestthat synanthropic species tend to be very adaptable to regional environmental differences.The approaches used in this thesis enable us to show the link between genetic, phenotypic andecological variation. This link, sometimes difficult to describe, is nevertheless at the root of theappearance of new forms and species, and constitutes a crucial aspect of evolutionary biology.

La tomographie par émission de positons au 18F-Fluorodésoxyglucose (TEP au 18F-FDG) est une technique d’imagerie permettant de quantifier le métabolisme glycolytique cérébral. L’objectif de nos travaux de thèse était d’essayer de caractériser au mieux les modifications cérébrales liées au vieillissement, y compris la partie possiblement liée à des dysfonctions vasculaires, grâce à une analyse quantitative tridimensionnelle voxel-à-voxel des images de TEP au 18F-FDG. Nos travaux montrent, tout d’abord, qu’il existe un intérêt pratique à utiliser un logiciel de normalisation spatial particulier (BM : Block Matching) pour l’analyse quantitative cérébrale, au moins pour la fabrication de modèles anatomiques (« template ») adaptés à chaque population étudiée. Cet intérêt a été tout d’abord montré pour localiser des foyers épileptiques temporaux, puis pour quantifier l’impact de l’âge sur le métabolisme cérébral (détermination plus précise des aires cérébrales affectées). Avec cette méthode, il est possible d’observer une diminution du métabolisme cérébral tout au long de la vie, en particulier dans certaines aires frontales. Nous avons essayé de déterminer la composante du vieillissement cérébral qui est possiblement liée à une dysfonction vasculaire et qui serait donc susceptible d’être traitée ou prévenue par des thérapeutiques vasculaires appropriées. Dans ce domaine de recherche, nous avons pu montrer que les anomalies micro-vasculaires de la substance blanche, appelées leucoaraïose, étaient associées à une diminution du métabolisme de la substance grise, en particulier au niveau frontal. Cet effet était indépendant de l’effet spécifique de l’âge et du phénomène d’atrophie corticale. Enfin, dans une population de patients âgés et à forte prévalence d’hypertension artérielle, nous avons montré que la pression artérielle était étroitement corrélée au remodelage métabolique cérébral, en particulier lorsque cette pression est mesurée au niveau central et lorsque l’on tient compte de la pression différentielle, avec alors une valeur seuil de 50 mmHg. Le vieillissement cérébral global et l’accélération qui peut être liée à des facteurs vasculaires sont des données qui peuvent être estimées en TEP au 18F-FDG, avec une méthode d’analyse quantitative voxel-à-voxel adaptée. Cette identification pourrait peut-être guider la prescription de traitements vasculaires appropriés et aussi, aider à différencier ces atteintes liées à l’âge ou d’origine vasculaire des autres maladies cérébrales. / 18F-fluorodeoxyglucose positron emission tomography (18F-FDG PET) is a brain-imaging technique allowing brain glycolytic metabolism to be quantified. The aim of this doctoral thesis work was to try to better characterize the aging-related changes in brain metabolism, including the part with a possible vascular origin, thanks to a three-dimensional voxel-based quantitative analysis of 18F-FDG PET images. Our work shows firstly that there is a clear advantage to use a particular spatial normalization software (BM: Block Matching) for the brain quantitative analysis, at least for the providing of templates adapted to each study population. This advantage was shown, initially, for the localization of temporal epileptic foci and thereafter, for quantifying the age-related changes in brain metabolism (enhanced determination of the involved brain areas). With this method, a decrease in brain metabolism could be documented throughout the life especially within certain frontal areas. In addition, we tried to determine the component of cerebral aging, which might be of a vascular origin and thus, susceptible to be treated or prevented by vascular treatments. In this research field, we have shown that microvascular abnormalities, setting within white-matter and called leukoaraiosis, were associated with a decrease in the grey-matter metabolism, in particular within certain frontal areas. This effect was independent of the inherent effect of age and of cortical atrophy. Finally, in a population of older patients with a high prevalence of hypertension, we showed that the blood pressure level was correlated to a brain metabolic remodeling, especially when this pressure was measured at central level and when considering the pulse pressure and a threshold value of 50 mmHg. The global cerebral aging and its acceleration in relation to vascular factors may be assessed by 18F-FDG PET when using an adapted voxel-based quantitative method. This assessment could potentially be useful for the monitoring of vascular treatments and for differentiating the aging- and vascular-related metabolic changes to those corresponding to brain diseases of other origins.

Le potentiel évolutif des populations naturelles à répondre aux changements environnementaux détermine leur capacité à s'adapter et à survivre. Pour achever une évolution adaptative, la fitness doit être héritable, i.e. doit être transmise des parents à leurs descendants par des gènes. Pour pouvoir mesurer le potentiel évolutif d'une population en milieu naturel, il est primordial d'avoir au préalable des informations sur la fitness des individus qui la composent, mais aussi de connaître la fitness de leurs descendants. Les mesures de fitness sont extrêmement rares, en particulier pour les espèces marines, où les relations entre les générations sont rarement connues. Dans cette thèse, je présente le premier pedigree construit pour une population de poissons marins sur la base du suivi génétique mené depuis plus de 10 ans sur les poissons-clowns orange de l'île de Kimbe (Papouasie-Nouvelle Guinée). Le pédigrée comprend 2927 individus et révèle une philopatrie natale sur 5 générations. L'approche en génétique quantitative révèle que la fitness locale a une très faible valeur d'héritabilité (<1%). La variation génétique additive et les effets maternels sont également très faibles (<1%). En revanche, l'habitat est le principal facteur qui explique les différences de fitness locale observées entre les individus (jusqu'à 96,5%). Ensemble, ces résultats suggèrent que, bien que l'environnement impose une forte pression de sélection sur la fitness locale, la population de poissons-clowns orange a un très faible potentiel d'évolution face aux changements environnementaux. / The evolutionary potential of wild populations to respond to environmental change will determine their capacity to adapt and survive. However, in order to achieve evolutionary change, variation in the contribution of an individual to the next generation — its fitness — must have a genetic basis and be heritable. The study of the evolutionary potential of populations requires longitudinal and relatedness data with different environments to partition the contribution of genes, maternal effects and environment on fitness. Estimates of genetic heritability of fitness traits are extremely rare, especially for marine species, where inter-generational relationships are rarely known. Here, we present the first multi-generational pedigree for a marine fish population by repeatedly genotyping all individuals in a population of the orange clownfish (Amphiprion percula) at Kimbe Island (Papua New Guinea) over a 10-year period. Based on 2927 individuals, our pedigree analysis revealed that longitudinal philopatry was recurrent over five generations. We show that local reproductive success has a very low (<1%) but significant heritability. We also show that additive genetic variation and maternal effects on local fitness are both extremely low (<1%). Habitat is the major driver that explain differences in the contribution of individuals to the next generation in the local population (until 96.5%). Together these results suggest that while the environment imposes strong selection pressures on the local fitness, the low heritability indicates the orange clownfish population has little evolutionary potential to adapt to local environmental changes.

La fiabilité du logiciel, c’est-à-dire sa capacité à produire les fonctionnalités attendues, est essentielle au succès des projets de développement logiciel. Afin de garantir cette fiabilité, les développeurs ont pour objectif de réduire le nombre de bogues présents dans le code source du logiciel.Une des techniques ayant pour but d’aider les développeurs dans cette tâche est l’utilisation de métriques logicielles, et notamment de métriques liées au procédé de développement.L’objectif général de cette thèse est de contribuer à la validation de métriques de procédé en étudiant leur relation avec la fiabilité. Ces métriques, une fois validées, pourront être utilisées dans des modèles de prédiction de bogues ayant pour but de mieux orienter les efforts de maintenance des développeurs ou pourront permettre de mettre en place des lignes de conduite relatives au procédé de développement. Devant l’étendue de ce domaine, nous avons centré nos contributions sur un aspect du procédé de développement qui est l’organisation des développeurs et avons observé cette organisation dans des projets open-source.En parallèle de la validation de ces métriques, nous avons contribué à l’amélioration de la méthodologie permettant l’extraction et l’analyse de métriques, grâce aux informations contenues dans les dépôts logiciels. / Reliability of a software, i.e. its capacity to produce the expected behaviour, is essential to the success of software projects. To ensure such reliability, developers need to reduce the amount of bugs in the source code of the software. One of the techniques available to help developers in this task is the use of software metrics, and especially metrics related to the development process.The general objective of this thesis is to contribute to the validation of process metrics, by studying their relationship with software reliability. These metrics, once validated, can be used in bug predictionmodels with the goal to guide maintenance efforts or can be used to create development guidelines. Given the extent of this domain, we chose to focus on one particular aspect of the development process, which is developers organisation, and we studied this organisation in open-source software projects.In parallel to the validation of process metrics, we contributed to the improvement of the methodology used to extract and analyse metrics, thanks to information available in software repositories.

La vérification automatique est aujourd'hui devenue un domaine central de recherche en informatique. Depuis plus de 25 ans, une riche théorie a été développée menant à de nombreux outils, à la fois académiques et industriels, permettant la vérification de propriétés booléennes - celles qui peuvent être soit vraies soit fausses. Les besoins actuels évoluent vers une analyse plus fine, c'est-à-dire plus quantitative. L'extension des techniques de vérification aux domaines quantitatifs a débuté depuis 15 ans avec les systèmes probabilistes. Cependant, de nombreuses autres propriétés quantitatives existent, telles que la durée de vie d'un équipement, la consommation énergétique d'une application, la fiabilité d'un programme, ou le nombre de résultats d'une requête dans une base de données. Exprimer ces propriétés requiert de nouveaux langages de spécification, ainsi que des algorithmes vérifiant ces propriétés sur une structure donnée. Cette thèse a pour objectif l'étude de plusieurs formalismes permettant de spécifier de telles propriétés, qu'ils soient dénotationnels - expressions régulières, logiques monadiques ou logiques temporelles - ou davantage opérationnels, comme des automates pondérés, éventuellement étendus avec des jetons. Un premier objectif de ce manuscript est l'étude de résultats d'expressivité comparant ces formalismes. En particulier, on donne des traductions efficaces des formalismes dénotationnels vers celui opérationnel. Ces objets, ainsi que les résultats associés, sont présentés dans un cadre unifié de structures de graphes. Ils peuvent, entre autres, s'appliquer aux mots et arbres finis, aux mots emboîtés (nested words), aux images ou aux traces de Mazurkiewicz. Par conséquent, la vérification de propriétés quantitatives de traces de programmes (potentiellement récursifs, ou concurrents), les requêtes sur des documents XML (modélisant par exemple des bases de données), ou le traitement des langues naturelles sont des applications possibles. On s'intéresse ensuite aux questions algorithmiques que soulèvent naturellement ces résultats, tels que l'évaluation, la satisfaction et le model checking. En particulier, on étudie la décidabilité et la complexité de certains de ces problèmes, en fonction du semi-anneau sous-jacent et des structures considérées (mots, arbres...). Finalement, on considère des restrictions intéressantes des formalismes précédents. Certaines permettent d'étendre l'ensemble des semi-anneau sur lesquels on peut spécifier des propriétés quantitatives. Une autre est dédiée à l'étude du cas spécial de spécifications probabilistes : on étudie en particulier des fragments syntaxiques de nos formalismes génériques de spécification générant uniquement des comportements probabilistes. / Automatic verification has nowadays become a central domain of investigation in computer science. Over 25 years, a rich theory has been developed leading to numerous tools, both in academics and industry, allowing the verification of Boolean properties - those that can be either true or false. Current needs evolve to a finer analysis, a more quantitative one. Extension of verification techniques to quantitative domains has begun 15 years ago with probabilistic systems. However, many other quantitative properties are of interest, such as the lifespan of an equipment, energy consumption of an application, the reliability of a program, or the number of results matching a database query. Expressing these properties requires new specification languages, as well as algorithms checking these properties over a given structure. This thesis aims at investigating several formalisms, equipped with weights, able to specify such properties: denotational ones - like regular expressions, first-order logic with transitive closure, or temporal logics - or more operational ones, like navigating automata, possibly extended with pebbles. A first objective of this thesis is to study expressiveness results comparing these formalisms. In particular, we give efficient translations from denotational formalisms to the operational one. These objects, and the associated results, are presented in a unified framework of graph structures. This permits to handle finite words and trees, nested words, pictures or Mazurkiewicz traces, as special cases. Therefore, possible applications are the verification of quantitative properties of traces of programs (possibly recursive, or concurrent), querying of XML documents (modeling databases for example), or natural language processing. Second, we tackle some of the algorithmic questions that naturally arise in this context, like evaluation, satisfiability and model checking. In particular, we study some decidability and complexity results of these problems depending on the underlying semiring and the structures under consideration (words, trees...). Finally, we consider some interesting restrictions of the previous formalisms. Some permit to extend the class of semirings on which we may specify quantitative properties. Another is dedicated to the special case of probabilistic specifications: in particular, we study syntactic fragments of our generic specification formalisms generating only probabilistic behaviors.

Business survival requires that decision makers understand the critical knowledge resources that support the business' core competencies, while also facing the challenges of current labor trends. The purpose of this study was to explore the lived experiences of the management staff at a west Tennessee manufacturing facility about industrial technician skill losses. This phenomenological design included semistructured interviews of 20 managers, supervisors, and engineers and was an exploration of the potential losses from skilled worker attrition. The foundations of labor theory; knowledge management; and accounting measurements of intangible assets in advanced technology, communications, and economic systems provided the key elements of the conceptual framework. Interview data were sorted and grouped into 6 principle themes: attrition/succession planning, skills technology support, training requirements, economic benefits, support to lean operations, and skills alternative sources. These findings may enhance positive social change by informing manufacturing business leaders on the benefits of active learning organizations, collaboration with administrators of technical educational programs for improved training, replacement technologies, and utilization of the global economy for replacement workers. For skilled technical employees, the social impact of this study might ensure another generation of craft workers to help promote the prosperity of American industries and provide competitive paying worker jobs to the supportive employers, communities, and institutions.

Job satisfaction results from a workplace meeting individual needs for income, belonging, and professional growth. Accordingly, core factors contributing to satisfaction vary across individuals and groups. Deaf people have traditionally located satisfying employment among enclaves of other deaf people working within the predominantly manufacturing oriented economy of the 20th Century. With the current shift toward more spatially distributed service industries in the 21 stcentury, there is little research on factors that contribute to job satisfaction among deaf people engaged in this new workforce. Operating from a theoretical perspective of worker/environment fit proposed by Alderfer, the exploratory correlational study investigated relationships linking the degree of hearing impairment, use of computer mediated communication (CMC), choice of employment sector, and level of job with job satisfaction. A web survey was used to gather 343 questionnaires from deaf workers; questionnaires included items related to degree of hearing impairment, demographics, use of specific CMC technologies in the workplace, and job satisfaction. The relationships linking individual differences, types of CMC to elements of job satisfaction were analyzed using stepwise multiple regressions. Results were used to document that email and video relay services specific to customers and supervisors were significant predictors of job satisfaction. The implications for social change include informing specific guidelines related to the education, and program needs to prepare deaf people to be competitive in securing satisfying employment in the 21st century.

This study examined the perceptions of White men on whether they should or should not be treated with total equality and be included in affirmative action (AA) planning in the workplace. Previous studies explored the topic of discrimination toward white males and AA. Using Festinger's cognitive-dissonance theory and Adams's theory of equity, this study focused on research questions addressing basic knowledge of AA planning, perceived discrimination, dissonance, and, the perceptions of White men about AA planning. Using phenomenological methodology, data were collected from personal interviews, and analyzed by obtaining a sense of the phenomenon, categorizing the interviews into meaningful and smaller units, transforming the language to emphasize the phenomenon, and synthesizing the meaning into a consistent statement of the phenomenon structure. Results of the study suggested that very few of the White men knew much, if anything, about AA planning in the workplace, and even fewer perceived any type of discrimination associated with it. An overarching theme is that most also believe that AA is still necessary, for protected groups, and sometimes lower income white males, as a check and balance against discrimination that they still see occurring today. The results should assist organizations in understanding the perceptions of why White men do or do not believe they should be accounted for in AA planning, Implications for positive social change include better understanding of the evolving needs as the workforce demographic characteristics undergo changes and this could also potentially help reduce the number of discrimination lawsuits where white males are suing for equal rights in the workplace.

Prejudice research shows that most psychologists focus on moderate prejudice in superficial settings, rather than extreme prejudice in real-life situations. The present study used an interpretive phenomenological analysis guided by social constructivism on 21 biographies to investigate how the authors voluntarily disaffiliated from their groups and altered their prejudice. The narratives were retrieved from popular and academic book and journal memoirs, digital and print interviews and articles, podcasts and video clips of members of closed faith societies who were socialized to resent outsiders, with their resentments turning into violence. The analysis used Willig's 4 stages: immersion in material, identifying core themes, summary of themes, and the amalgamation of the summary into themes. Results of this study indicate that there seems to be a turning point in which participants perceive the outside world in a different way. This change in perception may occur in members of closed groups through conducting critical analyses, reading source texts, and experiencing altruism from a member of the resented outside groups. Recommendations include that communication between outsiders and group members should reflect subtle, fact-based reasoning and manifest a customized approach to reducing prejudice. The study offers an original approach for understanding socialized violence. Governments and relevant entities could use this research to train invited outsiders of a cult or closed faith society regarding how to decrease the prejudice of closed group members.

The Federal Aviation Administration (FAA) has experienced decreased return on investment caused by hiring too many air traffic controller specialists (ATCSs) who performed poorly in field training, thus failing to become certified professional controllers (CPCs). Based on Schmidt and Hunter's theory of job performance and biodata theory, this quantitative, archival study examined whether factors of cognitive ability and biodata could predict job performance status of 2 generations of ATCSs, poststrike (PS) and next generation (NG) controllers. For each generation of controllers, binary logistic regression analysis was conducted to determine if any of the independent variables---transmuted composite (TMC) score for PS controllers, Air Traffic and Selection and Training (AT-SAT) test score for NG controllers, average of high school arithmetic/math letter grade, overall high school average letter grade, self-estimation of time to become fully effective in the ATCS role, self-estimation of percentile ranking in the FAA program relative to the class, size of neighborhood raised, or socioeconomic status---are significant predictors of job performance status for controllers as measured by whether they pass the field OJT (i.e., certified or still in training, or failed certification or left training). The regression results for the PS and NG controllers were found to be statistically significant (chi2 (23) = 68.377, p < .001) and (chi 2 (17) = 99.496, p < .001), respectively. Findings that overall high school grade point average and socioeconomic status significantly predicted ATCS job performance for both PS and NG controllers could influence the FAA's use of revised biodata to better predict ATCS job performance. Further research should include studies of socioeconomic status, gender, and race to address new evidence that the AT-SAT has adverse impact.