Corrélats neuronaux de la mémoire de travail en magnétoencéphalographie à l’état de repos

Purpose: There are few studies demonstrating the link between neural oscillations in magnetoencephalography (MEG) at rest and cognitive performance. Working memory is one of the most studied cognitive processes and is the ability to manipulate information on items kept in short-term memory. Heister & al. (2013) showed correlation patterns between brain oscillations at rest in MEG and performance in a working memory task (n-back). These authors showed that delta/theta activity in fronto-parietal areas is related to working memory performance. In this study, we use resting state MEG oscillations to validate these correlations with both of verbal (VWM) and spatial (SWM) working memory, and test their specificity in comparison with other cognitive abilities. Methods: We recorded resting state MEG and used clinical neuropsychological tests to assess working memory performance in 18 volunteers (6 males and 12 females). The other neuropsychological tests of the WAIS-IV were used as control tests to assess the specificity of the correlation patterns with working memory. We calculated means of Power Spectrum Density for different frequency bands (delta, 1-4Hz; theta, 4-8Hz; alpha, 8-13Hz; beta, 13-30Hz; gamma1, 30-59Hz; gamma2, 61-90Hz; gamma3, 90-120Hz; large gamma, 30-120Hz) and correlated MEG power normalised for the maximum in each frequency band at the sensor level with working memory performance. We then grouped the sensors showing a significant correlation by using a cluster algorithm. Results: We found positive correlations between both types of working memory performance and clusters in the bilateral posterior and right fronto-temporal regions for the delta band (r2 =0.73), in the fronto-middle line and right temporal regions for the theta band (r2 =0.63) as well as in the parietal regions for the alpha band (r2 =0.78). Verbal working memory and spatial working memory share a common fronto-parietal cluster of sensors but also show specific clusters. These clusters are specific to working memory, as compared to those obtained for other cognitive abilities and right posterior parietal areas, specially in slow frequencies, appear to be specific to working memory process. Conclusions: Slow frequencies (1-13Hz) but more precisely in delta/theta bands (1-8Hz), recorded at rest with magnetoencephalography, predict working memory performance and support the role of a fronto-parietal network in working memory.

Biopacemaker acceleration without increased synchronization by chronic exposure to phorbol myristate acetate

L'activité électrique du coeur est initiée par la génération spontanée de potentiels d'action venant des cellules pacemaker du noeud sinusal (SN). Toute dysfonction au niveau de cette région entraîne une instabilité électrique du coeur. La majorité des patients souffrant d'un noeud sinusal déficient nécessitent l'implantation chirurgicale d'un pacemaker électronique; cependant, les limitations de cette approche incitent à la recherche d'une alternative thérapeutique. La base moléculaire des courants ioniques jouant un rôle crucial dans l'activité du noeud sinusal sont de plus en plus connues. Une composante importante de l'activité des cellules pacemakers semble être le canal HCN, responsable du courant pacemaker If. Le facteur T-box 3 (Tbx3), un facteur de transcription conservé durant le processus de l'évolution, est nécessaire au développement du système de conduction cardiaque. De précédentes études ont démontré que dans différentes lignées cellulaires le Phorbol 12-myristate 13-acetate (PMA) active l'expression du gène codant Tbx3 via des réactions en cascade partant de la protéine kinase C (PKC). L'objectif principal de cette étude est de tester si le PMA peut augmenter la fréquence et la synchronisation de l'activité spontanée du pacemaker biologique en culture. Plus précisément, nous avons étudié les effets de l'exposition chronique au PMA sur l'expression du facteur de transcription Tbx3, sur HCN4 et l'activité spontanée chez des monocouches de culture de myocytes ventriculaires de rats néonataux (MVRN). Nos résultats démontrent que le PMA augmente significativement le facteur transcription de Tbx3 et l'expression ARNm de HCN4, favorisant ainsi l'augmentation du rythme et de la stabilité de l'activité autonome. De plus, une diminution significative de la vitesse de conduction a été relevée et est attribuée à la diminution du couplage intercellulaire. La diminution de la vitesse de conduction pourrait expliquer l'effet négatif du PMA sur la synchronisation de l'activité autonome du pacemaker biologique. Ces résultats ont été confirmés par un modèle mathématique multicellulaire suggérant que des fréquences et résistances intercellulaires plus élevée pourraient induire une activité plus stable et moins synchrone. Cette étude amène de nouvelles connaissances très importantes destinées à la production d'un pacemaker biologique efficient et robuste.

L'implication de la Cycline B dans le processus de cytocinèse

Un dérèglement du cycle cellulaire peut causer le cancer. Lors de la cytocinèse un anneau contractile d’actine et de myosine se forme, se contracte, et donne un anneau du midbody qui mène à l’abscision. Le processus de cytocinèse est sous le contrôle de protéines telles que la GTPase Rho qui active la cytocinèse et les cyclines-Cdks qui l'inhibent. La Drosophile possède 3 cyclines mitotiques CycA/ CycB/ CycB3 qui sont successivement dégradées en fin de mitose et permettent l'initiation de la cytocinèse. La dernière étape d’abscission est un phénomène qui reste encore peu connu. Les protéines Vps4 et CHMP4C liées à ANCHR vont, sous la dépendance de la kinase Aurora B, promouvoir l’abscision mais, suite à quelques études récentes, il semble y avoir une implication de la cycline B. Ici, le but était de tester l’implication de cette cycline dans les processus de cytocinèse et d’abscision, elle a été menée par microscopie à haute résolution en temps réel avec des cellules S2 de l’organisme Drosophila melanogaster par le suivi de protéines recombinantes fluorescentes. L’étude a été divisée en deux axes : gain et perte de fonction par l’intermédiaire respectivement de la protéine Cycline B recombinante stable, non dégradable (CycBstable-GFP) et l’inhibition par l’utilisation d’ARN double brin (ARNdb) sur l’endogène. La CycBstable-GFP a perturbé la cytocinèse en induisant plusieurs anneaux contractiles et midbodies. En revanche la réduction de l’expression de CycB n'a pas eu d’effet observable, et elle ne semble pas avoir d’action sur l’abscission malgré le recrutement de CycB-GFP au midbody tardif. En revanche la protéine Cdk1 semble avoir un rôle dans l'abscision puisque sa réduction d’expression a induit un délai. Elle a donc une implication potentielle sur la cytocinèse.

Émergence des comportements de leadership transformationnel : examen de l’apport d’une approche basée sur les composites de personnalité et d’une perspective interactionniste

Comprendre ce qui amène un leader à émettre des comportements de leadership transformationnel fascine les chercheurs et praticiens depuis plusieurs années (Bommer, Rubin, & Baldwin, 2004; Bono & Judge, 2004; Shamir & Howell, 1999 ; Stogdill, 1948; Yukl, 1999). Or, jusqu’à présent, ces facteurs sont encore bien peu étudiés et compris comparativement aux conséquences de ce style de leadership. Dans cette lignée, la présente thèse répond à différents enjeux soulevés par les auteurs à ce sujet (Dinh & Lord, 2012; Zaccaro, 2007) en cherchant à préciser le rôle joué par différents antécédents individuels et contextuels du leadership transformationnel. Cet objectif sera poursuivi par l’adoption d’une perspective interactionniste qui intègre des antécédents de personnalité et de contexte ainsi par l’évaluation de la personnalité à l’aide d’une modélisation de la personnalité orientée vers le critère à prédire (variable composite). La présente thèse est composée de trois articles poursuivant les objectifs suivant : 1) Effectuer une synthèse de la littérature empirique portant sur les antécédents individuels et contextuels du leadership transformationnel; 2) Vérifier les liens empiriques entre la personnalité mesurée à l’aide de variables composites, plus précisément le modèle des Great Eight de Bartram (2005), et le leadership transformationnel; 3) Tester empiriquement l’effet d’interaction entre les variables de personnalité et les variables contextuelles pour prédire le leadership transformationnel. Le premier article vise d’abord à circonscrire et organiser les connaissances empiriques actuelles provenant d’une quarantaine d’articles concernant les antécédents du leadership transformationnel. L’article s’organise en trois thèmes principaux : les antécédents individuels de personnalité, les antécédents contextuels et l’étude des interactions entre le volet individuel et contextuel. Plusieurs constats et pistes de recherches sont discutés et mettent la table pour les deux articles subséquents. Ainsi, le second article s’intéresse au potentiel explicatif d’un modèle de personnalité orienté vers le critère pour prédire le leadership. Plus spécifiquement, le modèle des Great Eight proposé par Bartram (2005) est mis en relation avec les comportements de leadership transformationnel et de récompense contingente. Les résultats, obtenus auprès de 113 gestionnaires et de leurs 799 subordonnés, donnent peu d’appui à la valeur ajoutée du modèle utilisé, mais indiquent que certaines tendances de personnalité sont associées au leadership. Des analyses supplémentaires permettent de nuancer la compréhension des effets observés dans la documentation scientifique et offrent quelques pistes de groupements de traits pouvant prédire les différents comportements de leadership. Le troisième article s’inspire de la théorie de l’activation des traits (Tett & Burnett, 2003) pour vérifier l’effet combiné de la personnalité du gestionnaire et du contexte dans lequel il évolue en vue de prédire le leadership transformationnel. Les résultats (ngestionnaires = 89; nsubordonnés = 643) n’offrent qu’un appui modéré au rationnel sous-jacent du modèle de l’activation des traits. Toutefois, il en ressort que l’aspect relationnel du gestionnaire (opérationnalisé par le composite de personnalité « soutien et coopération ») est associé à l’émergence du leadership transformationnel uniquement lorsque les facteurs contextuels (considération organisationnelle, latitude décisionnelle) sont perçus positivement par le gestionnaire. L’étude permet donc d’éclaircir une part de la variabilité observée dans les études antérieures concernant la tendance relationnelle du gestionnaire, en soulignant sa sensibilité à des facteurs contextuels positifs.

Establishing a Robust In Vitro Embryonic Stem Cell Differentiation Assay to Monitor the Hematopoietic Potential of DELES Clones

Afin d’effectuer des études fonctionnelles sur le génome de la souris, notre laboratoire a généré une bibliothèque de clones de cellules souches embryonnaires (ESC) présentant des suppressions chromosomiques chevauchantes aléatoires – la bibliothèque DELES. Cette bibliothèque contient des délétions couvrant environ 25% du génome murin. Dans le laboratoire, nous comptons identifier de nouveaux déterminants du destin des cellules hématopoïétiques en utilisant cet outil. Un crible primaire utilisant la benzidine pour démontrer la présence d'hémoglobine dans des corps embryoïdes (EBS) a permis d’identifier plusieurs clones délétés présentant un phénotype hématopoïétique anormal. Comme cet essai ne vérifie que la présence d'hémoglobine, le but de mon projet est d'établir un essai in vitro de différenciation des ESC permettant de mesurer le potentiel hématopoïétique de clones DELES. Mon hypothèse est que l’essai de différenciation hématopoïétique publié par le Dr Keller peut être importé dans notre laboratoire et utilisé pour étudier l'engagement hématopoïétique des clones DELES. À l’aide d’essais de RT-QPCR et de FACS, j’ai pu contrôler la cinétique de différenciation hématopoïétique en suivant l’expression des gènes hématopoïétiques et des marqueurs de surface comme CD41, c-kit, RUNX1, GATA2, CD45, β-globine 1 et TER-119. Cet essai sera utilisé pour valider le potentiel hématopoïétique des clones DELES candidats identifiés dans le crible principal. Mon projet secondaire vise à utiliser la même stratégie rétro-virale a base de Cre-loxP utilisée pour générer la bibliothèque DELES pour générer une bibliothèque de cellules KBM-7 contenant des suppressions chromosomiques chevauchantes. Mon but ici est de tester si la lignée cellulaire leuémique humaine presque haploïde KBM-7 peut être exploitée en utilisant l'approche DELES pour créer cette bibliothèque. La bibliothèque de clones KBM-7 servira à définir les activités moléculaires de drogues anti-leucémiques potentielless que nous avons identifiées dans le laboratoire parce qu’elles inhibent la croissance cellulaire dans plusieurs échantillons de leucémie myéloïde aiguë dérivés de patients. Elle me permettra également d'identifier les voies de signalisation moléculaires qui, lorsque génétiquement perturbées, peuvent conférer une résistance à ces drogues.

Sur les tests lisses d'ajustement dans le context des series chronologiques

La plupart des modèles en statistique classique repose sur une hypothèse sur la distribution des données ou sur une distribution sous-jacente aux données. La validité de cette hypothèse permet de faire de l’inférence, de construire des intervalles de confiance ou encore de tester la fiabilité du modèle. La problématique des tests d’ajustement vise à s’assurer de la conformité ou de la cohérence de l’hypothèse avec les données disponibles. Dans la présente thèse, nous proposons des tests d’ajustement à la loi normale dans le cadre des séries chronologiques univariées et vectorielles. Nous nous sommes limités à une classe de séries chronologiques linéaires, à savoir les modèles autorégressifs à moyenne mobile (ARMA ou VARMA dans le cas vectoriel). Dans un premier temps, au cas univarié, nous proposons une généralisation du travail de Ducharme et Lafaye de Micheaux (2004) dans le cas où la moyenne est inconnue et estimée. Nous avons estimé les paramètres par une méthode rarement utilisée dans la littérature et pourtant asymptotiquement efficace. En effet, nous avons rigoureusement montré que l’estimateur proposé par Brockwell et Davis (1991, section 10.8) converge presque sûrement vers la vraie valeur inconnue du paramètre. De plus, nous fournissons une preuve rigoureuse de l’inversibilité de la matrice des variances et des covariances de la statistique de test à partir de certaines propriétés d’algèbre linéaire. Le résultat s’applique aussi au cas où la moyenne est supposée connue et égale à zéro. Enfin, nous proposons une méthode de sélection de la dimension de la famille d’alternatives de type AIC, et nous étudions les propriétés asymptotiques de cette méthode. L’outil proposé ici est basé sur une famille spécifique de polynômes orthogonaux, à savoir les polynômes de Legendre. Dans un second temps, dans le cas vectoriel, nous proposons un test d’ajustement pour les modèles autorégressifs à moyenne mobile avec une paramétrisation structurée. La paramétrisation structurée permet de réduire le nombre élevé de paramètres dans ces modèles ou encore de tenir compte de certaines contraintes particulières. Ce projet inclut le cas standard d’absence de paramétrisation. Le test que nous proposons s’applique à une famille quelconque de fonctions orthogonales. Nous illustrons cela dans le cas particulier des polynômes de Legendre et d’Hermite. Dans le cas particulier des polynômes d’Hermite, nous montrons que le test obtenu est invariant aux transformations affines et qu’il est en fait une généralisation de nombreux tests existants dans la littérature. Ce projet peut être vu comme une généralisation du premier dans trois directions, notamment le passage de l’univarié au multivarié ; le choix d’une famille quelconque de fonctions orthogonales ; et enfin la possibilité de spécifier des relations ou des contraintes dans la formulation VARMA. Nous avons procédé dans chacun des projets à une étude de simulation afin d’évaluer le niveau et la puissance des tests proposés ainsi que de les comparer aux tests existants. De plus des applications aux données réelles sont fournies. Nous avons appliqué les tests à la prévision de la température moyenne annuelle du globe terrestre (univarié), ainsi qu’aux données relatives au marché du travail canadien (bivarié). Ces travaux ont été exposés à plusieurs congrès (voir par exemple Tagne, Duchesne et Lafaye de Micheaux (2013a, 2013b, 2014) pour plus de détails). Un article basé sur le premier projet est également soumis dans une revue avec comité de lecture (Voir Duchesne, Lafaye de Micheaux et Tagne (2016)).

Le Parlement européen à la recherche de l’efficacité législative: Une analyse des évolutions de son organisation = The European Parliament seeking legislative efficiency: An analysis of the changes in its organization. Bruges Political Research Paper No. 39, January 2015

Quel rôle l’organisation du travail parlementaire a-t-elle joué dans la montée en puissance du Parlement européen (PE)? Cet article vise à examiner cette question en s’appuyant sur la governing theory développée dans le cadre des études sur le Congrès nord-américain. Sur cette base, nous faisons l’hypothèse que les réformes de la structure institutionnelle du PE résultent des efforts des députés visant à renforcer la place de l’institution dans le système politique de l'Union européenne, à travers un accroissement de son «efficacité législative». Afin de tester cette hypothèse, cet article analyse l’impact de la rationalisation du fonctionnement du PE sur trois éléments clés: les organes de direction et les groupes politiques, la délibération en séance plénière et le comportement des députés. On montre ainsi que l'argument de «l'efficacité» générale du travail parlementaire est devenu un objectif en soi qui s’est imposé sur celui de liberté des parlementaires.

Émergence des comportements de leadership transformationnel : examen de l’apport d’une approche basée sur les composites de personnalité et d’une perspective interactionniste

Comprendre ce qui amène un leader à émettre des comportements de leadership transformationnel fascine les chercheurs et praticiens depuis plusieurs années (Bommer, Rubin, & Baldwin, 2004; Bono & Judge, 2004; Shamir & Howell, 1999 ; Stogdill, 1948; Yukl, 1999). Or, jusqu’à présent, ces facteurs sont encore bien peu étudiés et compris comparativement aux conséquences de ce style de leadership. Dans cette lignée, la présente thèse répond à différents enjeux soulevés par les auteurs à ce sujet (Dinh & Lord, 2012; Zaccaro, 2007) en cherchant à préciser le rôle joué par différents antécédents individuels et contextuels du leadership transformationnel. Cet objectif sera poursuivi par l’adoption d’une perspective interactionniste qui intègre des antécédents de personnalité et de contexte ainsi par l’évaluation de la personnalité à l’aide d’une modélisation de la personnalité orientée vers le critère à prédire (variable composite). La présente thèse est composée de trois articles poursuivant les objectifs suivant : 1) Effectuer une synthèse de la littérature empirique portant sur les antécédents individuels et contextuels du leadership transformationnel; 2) Vérifier les liens empiriques entre la personnalité mesurée à l’aide de variables composites, plus précisément le modèle des Great Eight de Bartram (2005), et le leadership transformationnel; 3) Tester empiriquement l’effet d’interaction entre les variables de personnalité et les variables contextuelles pour prédire le leadership transformationnel. Le premier article vise d’abord à circonscrire et organiser les connaissances empiriques actuelles provenant d’une quarantaine d’articles concernant les antécédents du leadership transformationnel. L’article s’organise en trois thèmes principaux : les antécédents individuels de personnalité, les antécédents contextuels et l’étude des interactions entre le volet individuel et contextuel. Plusieurs constats et pistes de recherches sont discutés et mettent la table pour les deux articles subséquents. Ainsi, le second article s’intéresse au potentiel explicatif d’un modèle de personnalité orienté vers le critère pour prédire le leadership. Plus spécifiquement, le modèle des Great Eight proposé par Bartram (2005) est mis en relation avec les comportements de leadership transformationnel et de récompense contingente. Les résultats, obtenus auprès de 113 gestionnaires et de leurs 799 subordonnés, donnent peu d’appui à la valeur ajoutée du modèle utilisé, mais indiquent que certaines tendances de personnalité sont associées au leadership. Des analyses supplémentaires permettent de nuancer la compréhension des effets observés dans la documentation scientifique et offrent quelques pistes de groupements de traits pouvant prédire les différents comportements de leadership. Le troisième article s’inspire de la théorie de l’activation des traits (Tett & Burnett, 2003) pour vérifier l’effet combiné de la personnalité du gestionnaire et du contexte dans lequel il évolue en vue de prédire le leadership transformationnel. Les résultats (ngestionnaires = 89; nsubordonnés = 643) n’offrent qu’un appui modéré au rationnel sous-jacent du modèle de l’activation des traits. Toutefois, il en ressort que l’aspect relationnel du gestionnaire (opérationnalisé par le composite de personnalité « soutien et coopération ») est associé à l’émergence du leadership transformationnel uniquement lorsque les facteurs contextuels (considération organisationnelle, latitude décisionnelle) sont perçus positivement par le gestionnaire. L’étude permet donc d’éclaircir une part de la variabilité observée dans les études antérieures concernant la tendance relationnelle du gestionnaire, en soulignant sa sensibilité à des facteurs contextuels positifs.

Sur les tests lisses d'ajustement dans le context des series chronologiques

La plupart des modèles en statistique classique repose sur une hypothèse sur la distribution des données ou sur une distribution sous-jacente aux données. La validité de cette hypothèse permet de faire de l’inférence, de construire des intervalles de confiance ou encore de tester la fiabilité du modèle. La problématique des tests d’ajustement vise à s’assurer de la conformité ou de la cohérence de l’hypothèse avec les données disponibles. Dans la présente thèse, nous proposons des tests d’ajustement à la loi normale dans le cadre des séries chronologiques univariées et vectorielles. Nous nous sommes limités à une classe de séries chronologiques linéaires, à savoir les modèles autorégressifs à moyenne mobile (ARMA ou VARMA dans le cas vectoriel). Dans un premier temps, au cas univarié, nous proposons une généralisation du travail de Ducharme et Lafaye de Micheaux (2004) dans le cas où la moyenne est inconnue et estimée. Nous avons estimé les paramètres par une méthode rarement utilisée dans la littérature et pourtant asymptotiquement efficace. En effet, nous avons rigoureusement montré que l’estimateur proposé par Brockwell et Davis (1991, section 10.8) converge presque sûrement vers la vraie valeur inconnue du paramètre. De plus, nous fournissons une preuve rigoureuse de l’inversibilité de la matrice des variances et des covariances de la statistique de test à partir de certaines propriétés d’algèbre linéaire. Le résultat s’applique aussi au cas où la moyenne est supposée connue et égale à zéro. Enfin, nous proposons une méthode de sélection de la dimension de la famille d’alternatives de type AIC, et nous étudions les propriétés asymptotiques de cette méthode. L’outil proposé ici est basé sur une famille spécifique de polynômes orthogonaux, à savoir les polynômes de Legendre. Dans un second temps, dans le cas vectoriel, nous proposons un test d’ajustement pour les modèles autorégressifs à moyenne mobile avec une paramétrisation structurée. La paramétrisation structurée permet de réduire le nombre élevé de paramètres dans ces modèles ou encore de tenir compte de certaines contraintes particulières. Ce projet inclut le cas standard d’absence de paramétrisation. Le test que nous proposons s’applique à une famille quelconque de fonctions orthogonales. Nous illustrons cela dans le cas particulier des polynômes de Legendre et d’Hermite. Dans le cas particulier des polynômes d’Hermite, nous montrons que le test obtenu est invariant aux transformations affines et qu’il est en fait une généralisation de nombreux tests existants dans la littérature. Ce projet peut être vu comme une généralisation du premier dans trois directions, notamment le passage de l’univarié au multivarié ; le choix d’une famille quelconque de fonctions orthogonales ; et enfin la possibilité de spécifier des relations ou des contraintes dans la formulation VARMA. Nous avons procédé dans chacun des projets à une étude de simulation afin d’évaluer le niveau et la puissance des tests proposés ainsi que de les comparer aux tests existants. De plus des applications aux données réelles sont fournies. Nous avons appliqué les tests à la prévision de la température moyenne annuelle du globe terrestre (univarié), ainsi qu’aux données relatives au marché du travail canadien (bivarié). Ces travaux ont été exposés à plusieurs congrès (voir par exemple Tagne, Duchesne et Lafaye de Micheaux (2013a, 2013b, 2014) pour plus de détails). Un article basé sur le premier projet est également soumis dans une revue avec comité de lecture (Voir Duchesne, Lafaye de Micheaux et Tagne (2016)).

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Metodi di indagine acustica per l'integrità strutturale

Questa tesi ha lo scopo di indagare lo stato interno di materiali e strutture di diverso tipo tramite sollecitazione acustica o vibrazionale. Si sono sottoposte le strutture in esame a sollecitazione acustica (mediante speaker) o meccanica (mediante martello strumentato o altro percussore), acquisendo le onde meccaniche di ritorno con trasduttori microfonici, array microfonici, ed accelerometri. Si è valutato, di caso in caso, quale fosse la strumentazione più adeguata e quale il parametro da prendere in considerazione per effettuare una discriminazione tra oggetto integro ed oggetto danneggiato o contenente vuoti o inclusioni. Si è riflettuto sui dati raccolti allo scopo di capire quali caratteristiche accomunino strutture apparentemente diverse tra loro, e quali differenzino in realtà - rispetto alla possibilità di una efficace diagnosi acustica - strutture apparentemente simili. Si è sviluppato uno script su piattaforma MatLab® per elaborare i dati acquisiti. Tutte le analisi effettuate si basano sull'osservazione dello spettro acustico del segnale di ritorno dall'oggetto sollecitato. Ove necessario, si sono osservati la funzione di trasferimento del sistema (per il calcolo della quale si crosscorrelano i segnali di output e di input) o il waterfall. Da questa base, si sono sviluppati parametri specifici per i vari casi. Gli esami più proficui si sono effettuati sui solai, per la verifica dello sfondellamento dei laterizi. Anche lo studio su prodotti dell'industria alimentare (salami) si è rivelato molto soddisfacente, tanto da gettare le basi per la produzione di un tester da utilizzare in stabilimento per il controllo di qualità dei pezzi.

Associação do sobrepeso, obesidade I e II e circunferência da cintura com sintomas de ansiedade e depressão

Este estudo objetivou associar o sobrepeso, obesidade I e II e Circunferência da Cintura (CC) com sintomas de ansiedade e depressão em adultos que buscavam primeiro atendimento médico nutricional para emagrecimento em consultório do município de Santos São Paulo - Brasil, mesmo os que já haviam tentado emagrecer anteriormente. Para coletar dados, foi utilizada uma ficha para caracterização do participante, Inventário IDATE para ansiedade traço estado, Inventário de Beck (BDI) para depressão, balança antropométrica para aferição do peso, altura e cálculo do Índice de Massa Corporal (IMC), fita métrica inelástica para aferir CC. Os dados dos 81 participantes demonstraram que 38% eram jovens, 36% casados, 63% possuíam nível superior completo, 45% alta renda familiar. Estavam em sobrepeso 56% e obesidade I 28%, e 64% apresentavam 77 a 100 cm de CC. A análise simples da distribuição dos sintomas de ansiedade e depressão na elevação do IMC e da CC demonstra que, conforme estes aumentam, a ansiedade e depressão diminuem. Houve alta ocorrência de sintomas de ansiedade traço (75%) estado (70%) de intensidade média baixa e de depressão mínima (64%) que decaem de freqüência conforme eleva o IMC e a CC, bem como redução de freqüência às consultas conforme eleva o IMC. Não houve casos de depressão grave. A análise estatística de Pearson não encontrou correlação entre IMC e CC com sintomas de ansiedade e depressão, o mesmo ocorrendo com o teste para associação Qui-quadrado. Os resultados sugerem ocorrer uma acomodação emocional do indivíduo às pressões causadas pela elevação do peso corporal e os participantes apresentavam-se, em sua maioria, hiporreativos, indiferentes ou insensíveis aos acontecimentos, com desinteresse geral ou falta de desejos aparentando resistência ao tratamento e apatia.

Le Passé simple est-il toujours en course? Enquête sur la position du PS dans le peloton des temps du reportage cycliste

Cellard (1979) avait avancé que le reportage sportif constituait un bastion du passé simple (PS). Cette affirmation, non étayée par une étude de corpus, semblait trouver un écho dans les études de la presse écrite des années 80-90 (Herzog 1981, Engel 1990). Toutefois, des études récentes consacrées exclusivement au reportage sportif remettent en cause cette prétendue suprématie dans les comptes rendus de la finale de la Coupe du Monde 2002 offerts par la presse francophone (Engel & Labeau 2003) même si des variations régionales (plus grande proportion de PS en périphérie qu’au centre parisien - Labeau 2002) et diachroniques (déclin du PS depuis 1950 – Labeau 2003) semblent se manifester. La présente étude se propose de poursuivre et de raffiner l’analyse de l’emploi du PS dans le compte rendu sportif en sollicitant de nouvelles variables. D’abord, le choix du corpus permettra d’approfondir des hypothèses évoquées dans les articles ci-dessous. Notre corpus sera constitué de la couverture du Tour d’Italie 2004 dans L’Equipe et La Dernière Heure / Les Sports. Le cyclisme se distingue du football par plusieurs aspects, parmi lesquels on peut noter sa linéarité : une course cycliste n’est pas un match joué dans un espace clos, délimité, mais consiste à effectuer un parcours linéaire aussi vite que possible. Cette linéarité pourrait s’avérer favorable au PS (Vetters 2003, Bres 2003). Contrairement aux événements sportifs étudiés précédemment, le Tour d’Italie ne bénéficie pas d’une couverture télévisuelle importante en France, un facteur susceptible d’influencer le compte rendu écrit (Labeau 2003) ; contrairement à ce qui se passe pour les finales de Coupe du Monde, le journaliste ne peut assumer que le lecteur connaît déjà les résultats de l’épreuve. Le corpus étudié ici se veut aussi plus complet : on travaillera sur l’ensemble des articles, en version papier, consacrés au Giro plutôt que sur une sélection d’articles en ligne. Cette prise en compte pourrait mettre en lumière des variations de genre. Un autre intérêt du présent corpus est qu’il illustre les pratiques de la presse sportive plutôt que celles des pages sportives des quotidiens « généralistes » : L’Equipe est l’hebdomadaire français de référence et la DH offre la couverture la plus complète en Belgique francophone. La comparaison des deux publications nous permettra donc de tester d’éventuelles variations régionales. Ainsi, par un corpus spécifiquement sportif et élargi, nous contribuerons à évaluer plus exactement la position réelle du PS dans la presse sportive contemporaine.

Interactions at the head-tape interface of a linear tape system

Many of the recent improvements in the capacity of data cartridge systems have been achieved through the use of narrower tracks, higher linear densities and continuous servo tracking with multi-channel heads. These changes have produced new tribological problems at the head/tape interface. It is crucial that the tribology of such systems is understood and this will continue since increasing storage capacities and faster transfer rates are constantly being sought. Chemical changes in the surface of single and dual layer MP tape have been correlated to signal performance. An accelerated tape tester, consisting of a custom made cycler ("loop tester"), was used to ascertain if results could be produced that were representative of a real tape drive system. A second set of experiments used a modified tape drive (Georgens cycler), which allowed the effects of the tape transport system on the tape surface to be studied. To isolate any effects on the tape surface due to the head/tape interface, read/write heads were not fitted to the cycler. Two further sets of experiments were conducted which included a head in the tape path. This allowed the effects of the head/tape interface on the physical and chemical properties of the head and tape surfaces to be investigated. It was during the final set of experiments that the effect on the head/tape interface, of an energised MR element, was investigated. The effect of operating each cycler at extreme relative humidity and temperature was investigated through the use of an environmental chamber. Extensive use was made of surface specific analytical techniques such as XPS, AFM, AES, and SEM to study the physical and chemical changes that occur at the head/tape interface. Results showed that cycling improved the signal performance of all the tapes tested. The data cartridge drive belt had an effect on the chemical properties of the tape surface on which it was in contact. Also binder degradation occurred for each tape and appeared to be greater at higher humidity. Lubricant was generally seen to migrate to the tape surface with cycling. Any surface changes likely to affect signal output occurred at the head surface rather than the tape.