A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Characterization of the effects of IL-17F on CHO cell line generation

CHO is the most commonly used mammalian host for the generation of cell lines allowing for the production of high quality therapeutic proteins. The generation of such cell lines is a lengthy and resource-intensive process requiring extensive screening in order to isolate candidates with optimal characteristics, such as growth, stability and productivity. For this reason, the biotechnology industry invests much effort in attempts to optimize CHO expression systems in order to streamline and shorten the cell line selection process. Based on preliminary observations of a facilitated selection of CHO-GS cell lines expressing members of the IL-17 cytokine family, this study investigates the use of IL-17F as a novel enhancing factor for CHO cell line generation. Using two different CHO expression systems (exploiting GS and DHFR-based selection), we demonstrated that IL-17F expression caused a significant increase in the occurrence of colonies during the selection process. All colonies selected produced substantial amounts of IL-17F, suggesting that benefits were conferred, during selection, to those cells expressing the cytokine. Furthermore, transgene expression levels were significantly increased when the selection pressure was raised to a level that would not normally be permissive for colony selection (i.e. 100 |o.M MSX for the CHO-GS expression system or 1000 nM MTX for the CHO-DHFR system). Finally, IL-17F expression was also found to enhance the rate of appearance of clones during single cell subcloning in the absence of selection pressure. Overall, these benefits have the potential to allow a substantial reduction in the length of cell line generation while significantly increasing cell line productivity. Nevertheless, we found that the high IL-17F expression levels required to convey enhancing effects was a limitation when attempting to co-express IL-17F and a recombinant soluble protein of therapeutic interest from independent CMV promoters within the same expression vector. In order to understand and overcome this limitation, studies were designed to characterize the IL-17F enhancing effect at the molecular and cellular level. Regular supplementation of recombinant biologically-active IL-17F into the culture medium during cell line selection was not able to reproduce the enhancing effects of endogenous IL-17F expression. In addition, increased IL-17F expression correlated with increased CHO-GS selection transgene expression at the single cell level. This data suggested a possible effect of IL-17F on viral promoter activity or transgene mRNA stability. It also provided direct evidence that the cells expressing the highest amounts of IL-17F obtained the most benefit. Overall data obtained from these study implied that IL-17F may act through an intracellular mechanism, possibly exerted during secretion. We therefore initiated experiments designed to determine the specific compartment(s) within which IL-17F triggers its effect. This work has identified IL-17F as a potentially powerful tool to optimize the CHO cell line generation process. The characterization of this enhancing effect at the molecular level has given us several insights into overcoming the current limitations, thus paving the way for the development of a viable technology that can be exploited within the biotechnology industry. - La CHO est la cellule hôte de mammifere la plus couramment utilisée dans la création de lignée cellulaire produisant des protéines thérapeutiques de haute qualité. La génération de ces lignées cellulaires est un processus long et exigeant l'utilisation de techniques de sélection robustes afin d'isoler des candidats possédants les caractéristiques optimales de croissance, de productivité et de stabilité d'expression. Les industries biopharmaceutiques ont investi beaucoup d'efforts afin d'optimiser les systèmes d'expression CHO dans le but raccourcir la longueur du procédé de sélection de lignées cellulaires et aussi d'en augmenter l'efficacité. A partir d'observations préliminaires obtenues lors de la génération de lignées cellulaires CHO- GS exprimant une cytokine appartenant à la famille des IL-17, nous avons réalisé une étude portant sur l'utilisation de l'IL-17F humaine (IL-17F) comme nouveau facteur d'optimisation pour la génération de lignées cellulaires CHO. Nous avons démontré, en utilisant les deux systèmes de sélection et d'expression CHO couramment utilisés (le premier exploitant la GS et l'autre basée sur la DHFR), que l'expression de l'IL-17F permet une augmentation significative de la fréquence d'apparition de colonies durant le processus de sélection de lignées cellulaires. Les différentes colonies sélectionnées expriment des quantités substantielles d'IL-17F, suggérant un effet bénéfique lors de la sélection qui serait exclusivement conféré aux cellules exprimant la cytokine. En outre, le niveau d'expression du transgene se trouve significativement augmenté lorsque la pression de sélection est portée à un niveau habituellement trop élevé pour permettre la sélection de colonies (soit 100 |JM MSX pour le système d'expression CHO-GS ou 1000 nM MTX pour le système CHO- DHFR). Enfin, l'expression d'IL-17F permet également d'améliorer la vitesse d'apparition de clones pendant une étape de sous-clonage en l'absence de pression de sélection. L'ensemble de ces effets bénéfiques permettent une réduction substantielle de la durée de génération de lignées cellulaires tout en augmentant considérablement la productivité des lignées obtenues. Néanmoins, nous avons constaté que la nécessité d'exprimer des niveaux élevés d'IL-17F afin obtenir l'ensemble de ses effets bénéfiques devient une contrainte lors de l'utilisation d'un vecteur d'expression composé de deux promoteurs CMV indépendants pour la co-expression de la cytokine et d'une protéine soluble présentant un intérêt thérapeutique. Afin de mieux comprendre et de surmonter cette limitation, plusieurs études ont été effectuées dans le but de mieux caractériser l'effet de IL-17F au niveau subcellulaire. L'apport régulier en IL-17F recombinante et biologiquement active dans le milieu de culture lors de la sélection de lignées cellulaires ne permet pas de reproduire les effets bénéfiques observés par l'expression endogène d'IL-17F. En outre, nous avons constaté que, lors de l'utilisation du système CHO- GS, l'augmentation d'expression de 1TL-17F est corrélée à un accroissement de l'expression du marqueur de sélection au niveau cellulaire. Ces résultats suggèrent un possible effet d'IL- 17F sur l'activité des promoteurs viraux et ainsi fournissent une preuve directe que les cellules exprimant de haut niveau d'IL-17F sont celles qui en profitent le plus. L'ensemble de ces observations mettrait en avant que l'effet d'IL-17F se ferait selon un mécanisme intracellulaire. Nous avons donc étudié le(s) compartiment(s) spécifique(s) dans lequel IL-17F pourrait exercer son effet. Ce travail a permis de définir IL-17F comme un puissant outil pour l'optimisation des procédés de génération de lignées cellulaires CHO. La caractérisation de cette amélioration de l'effet au niveau moléculaire nous a donné plusieurs indications sur la manière de dépasser les limitations actuelles, ouvrant ainsi la voie au développement d'une technologie viable qui peut être exploitée pars l'industrie biotechnologique.

Les symbioses industrielles : une nouvelle stratégie pour l'amélioration de l'utilisation des ressources matérielles et énergétiques par les activités économiques

RésuméCette thèse traite d'un domaine d'application de l'écologie industrielle, les symbioses industrielles, comme stratégie d'amélioration de la consommation des ressources matérielles et énergétiques et de la gestion des déchets par les activités économiques. Les symbioses industrielles cherchent à créer de nouvelles collaborations directement entre les acteurs économiques d'un territoire dans le but d'échanger de l'information, des matières premières et des déchets, et d'intensifier les mutualisations de services et d'infrastructures possibles entre entreprises voisines. Ces quatre types de collaboration sont représentés schématiquement dans la figure ci-dessous.Dans ce travail, la détection et la mise en oeuvre de symbioses industrielles sont abordées sous plusieurs angles. Les recherches réalisées concernent le développement de procédures de mise en oeuvre s'adressant aux collectivités publiques, aux institutions académiques et aux bureaux de conseil dans le domaine de l'environnement. Les objectifs des procédures sont de créer une dynamique de collaboration et de confiance entre les acteurs économiques et l'administration publique d'un territoire afin de détecter des symbioses industrielles potentielles. Ces procédures requièrent la gestion de grandes quantités d'informations relatives aux flux de matière et d'énergie.Un travail de terrain, réalisé sur les territoires du canton de Genève et de Lausanne Région et utilisé comme études de cas, a permis de mettre en évidence un grand nombre de symbioses industrielles qui existent déjà en Suisse romande. Plusieurs dizaines d'exemples ont été identifiés principalement dans lesdomaines de la gestion de l'eau, de l'énergie, des produits chimiques et des matériaux de construction. La législation suisse autoriserait cependant la concrétisation de nombreuses autres opportunités. Dans cette recherche, celles-ci sont évaluées techniquement, légalement, économiquement et environnementalement. La création d'un référentiel d'évaluation des opportunités permet de déterminer quelles sont les symbioses industrielles techniquement réalisables et pertinentes dans le contexte suisse et dans quels cas celles-ci représenteraient une réelle plus-value par rapport à l'utilisation actuelle de la ressource et aux filières existantes de collecte et de valorisation des déchets.Finalement, un logiciel, SymbioGIS, destiné à soutenir la détection et l'évaluation de symbioses industrielles potentielles a été développé. Il s'agit d'une interface web accessible pour de nombreux utilisateurs, couplée à une interface de systèmes d'information géographique. En plus de la détection de symbioses industrielles, plusieurs fonctionnalités sont proposées pour faciliter la prise en compte des flux de matière et d'énergie dans les problématiques liées à l'aménagement du territoire et au positionnement des activités économiques.En conclusion, cette recherche met en évidence la nécessité de rapprocher les institutions publiques en charge de la protection de l'environnement, de la promotion économique et de l'aménagement du territoire pour favoriser l'essor des symbioses industrielles comme stratégie pour la gestion des ressources matérielles et énergétiques. Elle propose des pistes pour intensifier les collaborations entre ces domaines et accélérer le partage des connaissances liées aux flux de matière et d'énergie et à leur cheminement au sein des activités économiques afin de rendre le système industriel existant en Suisse romande viable à long terme. Parallèlement, elle étudie les possibilités de transposer ces considérations et les procédures et outils développés dans le contexte économique et social de la région Asie-Pacifique, où se trouvent aujourd'hui de nombreuses activités de production.SummaryIndustrial symbioses: A new strategy for improving how economic activities use material and energy resourcesThis thesis focuses on one application of industrial ecology, industrial symbioses, as a strategy for improving how economic activities consume material and energy resources. Industrial symbioses seek to create new collaborations among economic players with the goal of exchanging information, raw materials, and waste directly among area businesses, and to step up the potential pooling of services and infrastructure among neighboring companies.The identification and implementation of industrial symbioses are studied from several angles. The research first examines the development of implementation procedures for government bodies, academic institutions, and environmental consulting services. The purpose of the procedures is to create a dynamic of collaboration and trust between the economic players and the public officials in a region in order to identify potential industrial symbioses. The procedures necessitate managing large amounts of information about material and energy flows.Fieldwork conducted in the canton of Geneva and the Lausanne region, and used as case studies for the research, highlights a great number of industrial symbioses that already exist in French-speaking Switzerland. Several dozen examples are identified, primarily in the areas of water management, energy, chemical products, and building materials; however, Swiss law would permit many others. The research evaluates these opportunities from a technical, legal, economic, and environmental standpoint. By developing an assessment framework it is possible to determine which industrial symbioses are technically feasible and pertinent in Switzerland, and under what circumstances they would represent real added value compared to the current use of the resource and to existing systems for collecting and reusing waste.Lastly, SymbioGIS software was developed to help identify and assess potential industrial symbioses. The program's Web-based interface can be accessed by multiple users and is coupled with an interface that provides geographic information. In addition to identifying industrial symbioses, several program functionalities make it easier to consider material and energy flows with regard to local development issues and siting economic activities.In conclusion, the research highlights the need to bring together public institutions charged with protecting the environment, promoting economic activity, and overseeing development in order to foster the expansion of industrial symbioses as a strategy for managing material and energy resources. It proposes solutions for stepping up collaboration among these players and accelerating the sharing of knowledge about material and energy flows and their paths within economic activities with the goal of making theexisting industrial system in French-speaking Switzerland viable long-term. Also examined were thepossibilities of transposing these considerations and the study's findings about Switzerland to the economic and social context of the Asia-Pacific region, where much production is now located.

Systems biology of plants : from intraspecific genome variation to computational morphodynamics

Recently, the introduction of second generation sequencing and further advance-ments in confocal microscopy have enabled system-level studies for the functional characterization of genes. The degree of complexity intrinsic to these approaches needs the development of bioinformatics methodologies and computational models for extracting meaningful biological knowledge from the enormous amount of experi¬mental data which is continuously generated. This PhD thesis presents several novel bioinformatics methods and computational models to address specific biological questions in Plant Biology by using the plant Arabidopsis thaliana as a model system. First, a spatio-temporal qualitative analysis of quantitative transcript and protein profiles is applied to show the role of the BREVIS RADIX (BRX) protein in the auxin- cytokinin crosstalk for root meristem growth. Core of this PhD work is the functional characterization of the interplay between the BRX protein and the plant hormone auxin in the root meristem by using a computational model based on experimental evidence. Hyphotesis generated by the modelled to the discovery of a differential endocytosis pattern in the root meristem that splits the auxin transcriptional response via the plasma membrane to nucleus partitioning of BRX. This positional information system creates an auxin transcriptional pattern that deviates from the canonical auxin response and is necessary to sustain the expression of a subset of BRX-dependent auxin-responsive genes to drive root meristem growth. In the second part of this PhD thesis, we characterized the genome-wide impact of large scale deletions on four divergent Arabidopsis natural strains, through the integration of Ultra-High Throughput Sequencing data with data from genomic hybridizations on tiling arrays. Analysis of the identified deletions revealed a considerable portion of protein coding genes affected and supported a history of genomic rearrangements shaped by evolution. In the last part of the thesis, we showed that VIP3 gene in Arabidopsis has an evo-lutionary conserved role in the 3' to 5' mRNA degradation machinery, by applying a novel approach for the analysis of mRNA-Seq data from random-primed mRNA. Altogether, this PhD research contains major advancements in the study of natural genomic variation in plants and in the application of computational morphodynamics models for the functional characterization of biological pathways essential for the plant. - Récemment, l'introduction du séquençage de seconde génération et les avancées dans la microscopie confocale ont permis des études à l'échelle des différents systèmes cellulaires pour la caractérisation fonctionnelle de gènes. Le degrés de complexité intrinsèque à ces approches ont requis le développement de méthodologies bioinformatiques et de modèles mathématiques afin d'extraire de la masse de données expérimentale générée, des information biologiques significatives. Ce doctorat présente à la fois des méthodes bioinformatiques originales et des modèles mathématiques pour répondre à certaines questions spécifiques de Biologie Végétale en utilisant la plante Arabidopsis thaliana comme modèle. Premièrement, une analyse qualitative spatio-temporelle de profiles quantitatifs de transcripts et de protéines est utilisée pour montrer le rôle de la protéine BREVIS RADIX (BRX) dans le dialogue entre l'auxine et les cytokinines, des phytohormones, dans la croissance du méristème racinaire. Le noyau de ce travail de thèse est la caractérisation fonctionnelle de l'interaction entre la protéine BRX et la phytohormone auxine dans le méristème de la racine en utilisant des modèles informatiques basés sur des preuves expérimentales. Les hypothèses produites par le modèle ont mené à la découverte d'un schéma différentiel d'endocytose dans le méristème racinaire qui divise la réponse transcriptionnelle à l'auxine par le partitionnement de BRX de la membrane plasmique au noyau de la cellule. Cette information positionnelle crée une réponse transcriptionnelle à l'auxine qui dévie de la réponse canonique à l'auxine et est nécessaire pour soutenir l'expression d'un sous ensemble de gènes répondant à l'auxine et dépendant de BRX pour conduire la croissance du méristème. Dans la seconde partie de cette thèse de doctorat, nous avons caractérisé l'impact sur l'ensemble du génome des délétions à grande échelle sur quatre souches divergentes naturelles d'Arabidopsis, à travers l'intégration du séquençage à ultra-haut-débit avec l'hybridation génomique sur puces ADN. L'analyse des délétions identifiées a révélé qu'une proportion considérable de gènes codant était affectée, supportant l'idée d'un historique de réarrangement génomique modelé durant l'évolution. Dans la dernière partie de cette thèse, nous avons montré que le gène VÏP3 dans Arabidopsis a conservé un rôle évolutif dans la machinerie de dégradation des ARNm dans le sens 3' à 5', en appliquant une nouvelle approche pour l'analyse des données de séquençage d'ARNm issue de transcripts amplifiés aléatoirement. Dans son ensemble, cette recherche de doctorat contient des avancées majeures dans l'étude des variations génomiques naturelles des plantes et dans l'application de modèles morphodynamiques informatiques pour la caractérisation de réseaux biologiques essentiels à la plante. - Le développement des plantes est écrit dans leurs codes génétiques. Pour comprendre comment les plantes sont capables de s'adapter aux changements environnementaux, il est essentiel d'étudier comment leurs gènes gouvernent leur formation. Plus nous essayons de comprendre le fonctionnement d'une plante, plus nous réalisons la complexité des mécanismes biologiques, à tel point que l'utilisation d'outils et de modèles mathématiques devient indispensable. Dans ce travail, avec l'utilisation de la plante modèle Arabidopsis thalicinci nous avons résolu des problèmes biologiques spécifiques à travers le développement et l'application de méthodes informatiques concrètes. Dans un premier temps, nous avons investigué comment le gène BREVIS RADIX (BRX) régule le développement de la racine en contrôlant la réponse à deux hormones : l'auxine et la cytokinine. Nous avons employé une analyse statistique sur des mesures quantitatives de transcripts et de produits de gènes afin de démontrer que BRX joue un rôle antagonisant dans le dialogue entre ces deux hormones. Lorsque ce-dialogue moléculaire est perturbé, la racine primaire voit sa longueur dramatiquement réduite. Pour comprendre comment BRX répond à l'auxine, nous avons développé un modèle informatique basé sur des résultats expérimentaux. Les simulations successives ont mené à la découverte d'un signal positionnel qui contrôle la réponse de la racine à l'auxine par la régulation du mouvement intracellulaire de BRX. Dans la seconde partie de cette thèse, nous avons analysé le génome entier de quatre souches naturelles d'Arabidopsis et nous avons trouvé qu'une grande partie de leurs gènes étaient manquant par rapport à la souche de référence. Ce résultat indique que l'historique des modifications génomiques conduites par l'évolution détermine une disponibilité différentielle des gènes fonctionnels dans ces plantes. Dans la dernière partie de ce travail, nous avons analysé les données du transcriptome de la plante où le gène VIP3 était non fonctionnel. Ceci nous a permis de découvrir le rôle double de VIP3 dans la régulation de l'initiation de la transcription et dans la dégradation des transcripts. Ce rôle double n'avait jusqu'alors été démontrée que chez l'homme. Ce travail de doctorat supporte le développement et l'application de méthodologies informatiques comme outils inestimables pour résoudre la complexité des problèmes biologiques dans la recherche végétale. L'intégration de la biologie végétale et l'informatique est devenue de plus en plus importante pour l'avancée de nos connaissances sur le fonctionnement et le développement des plantes.

Avaluació Ambiental/ L'évaluation environnementale

L'objectiu d’aquesta fitxa tècnica és la difusió de la metodologia Anàlisi de Cicle de Vida, ACV, com a mètode per avaluar ambientalment l’agricultura ecològica, detectar els punts febles i aportar alternatives. Els estudis d’ACV utilitzen la metodologia proposada per les normatives ISO (ISO-14040, 2006; ISO-14044, 2006). Els estudis previs que l’han aplicat avalen la metodologia, mostrant que l’eina ACV reuneix les característiques d’objectivitat i transparència per a l’estudi de l’impacte ambiental de la producció agrària ecològica. Existeixen, però, aspectes metodològics poc desenvolupats que requeriran de futura recerca i que resumim en aquesta fitxa. Aspectes principalment relacionats amb la necessitat de bases de dades locals per una correcta realització dels inventaris i consens en les metodologies per anàlisis d’impactes relacionats principalment amb l’ús del sòl, biodiversitat i toxicitat.

Des données aux connaissances, un chemin difficile: réflexion sur la place du data mining en analyse criminelle

Le "data mining", ou "fouille de données", est un ensemble de méthodes et de techniques attractif qui a connu une popularité fulgurante ces dernières années, spécialement dans le domaine du marketing. Le développement récent de l'analyse ou du renseignement criminel soulève des problèmatiques auxqwuelles il est tentant de d'appliquer ces méthodes et techniques. Le potentiel et la place du data mining dans le contexte de l'analyse criminelle doivent être mieux définis afin de piloter son application. Cette réflexion est menée dans le cadre du renseignement produit par des systèmes de détection et de suivi systématique de la criminalité répétitive, appelés processus de veille opérationnelle. Leur fonctionnement nécessite l'existence de patterns inscrits dans les données, et justifiés par les approches situationnelles en criminologie. Muni de ce bagage théorique, l'enjeu principal revient à explorer les possibilités de détecter ces patterns au travers des méthodes et techniques de data mining. Afin de répondre à cet objectif, une recherche est actuellement menée au Suisse à travers une approche interdisciplinaire combinant des connaissances forensiques, criminologiques et computationnelles.

La contrefaçon de billets de banque face à l'évolution des technologies d'impression

La contrefaçon de billets de banque a considérablement évolué avec l'apparition des technologies numériques de reproduction. Gouverné autrefois par des professionnels bien organisés, le phénomène de la contrefaçon n'est plus aujourd'hui l'apanage de quelques initiés mais est répandu dans une large communauté de faussaires. Les systèmes et les acteurs de la lutte contre la contrefaçon doivent s'adapter à ce nouveau modèle afin de pallier les impacts économiques, personnels et psychologiques de la contrefaçon sur la société. Au coeur des débats sociologiques et éthiques, les autorités politiques, les banques nationales, la police et les experts tentent d'endiguer le problème de façon parfois quelque peu inadéquate et obsolète. L'analyse de données statistiques permet de dégager les tendances actuelles et d'identifier les changements majeurs entre deux époques.

Treeline and climate change : analyzing and modeling patterns and shifts in the Swiss Alps

Summary: Global warming has led to an average earth surface temperature increase of about 0.7 °C in the 20th century, according to the 2007 IPCC report. In Switzerland, the temperature increase in the same period was even higher: 1.3 °C in the Northern Alps anal 1.7 °C in the Southern Alps. The impacts of this warming on ecosystems aspecially on climatically sensitive systems like the treeline ecotone -are already visible today. Alpine treeline species show increased growth rates, more establishment of young trees in forest gaps is observed in many locations and treelines are migrating upwards. With the forecasted warming, this globally visible phenomenon is expected to continue. This PhD thesis aimed to develop a set of methods and models to investigate current and future climatic treeline positions and treeline shifts in the Swiss Alps in a spatial context. The focus was therefore on: 1) the quantification of current treeline dynamics and its potential causes, 2) the evaluation and improvement of temperaturebased treeline indicators and 3) the spatial analysis and projection of past, current and future climatic treeline positions and their respective elevational shifts. The methods used involved a combination of field temperature measurements, statistical modeling and spatial modeling in a geographical information system. To determine treeline shifts and assign the respective drivers, neighborhood relationships between forest patches were analyzed using moving window algorithms. Time series regression modeling was used in the development of an air-to-soil temperature transfer model to calculate thermal treeline indicators. The indicators were then applied spatially to delineate the climatic treeline, based on interpolated temperature data. Observation of recent forest dynamics in the Swiss treeline ecotone showed that changes were mainly due to forest in-growth, but also partly to upward attitudinal shifts. The recent reduction in agricultural land-use was found to be the dominant driver of these changes. Climate-driven changes were identified only at the uppermost limits of the treeline ecotone. Seasonal mean temperature indicators were found to be the best for predicting climatic treelines. Applying dynamic seasonal delimitations and the air-to-soil temperature transfer model improved the indicators' applicability for spatial modeling. Reproducing the climatic treelines of the past 45 years revealed regionally different attitudinal shifts, the largest being located near the highest mountain mass. Modeling climatic treelines based on two IPCC climate warming scenarios predicted major shifts in treeline altitude. However, the currently-observed treeline is not expected to reach this limit easily, due to lagged reaction, possible climate feedback effects and other limiting factors. Résumé: Selon le rapport 2007 de l'IPCC, le réchauffement global a induit une augmentation de la température terrestre de 0.7 °C en moyenne au cours du 20e siècle. En Suisse, l'augmentation durant la même période a été plus importante: 1.3 °C dans les Alpes du nord et 1.7 °C dans les Alpes du sud. Les impacts de ce réchauffement sur les écosystèmes - en particuliers les systèmes sensibles comme l'écotone de la limite des arbres - sont déjà visibles aujourd'hui. Les espèces de la limite alpine des forêts ont des taux de croissance plus forts, on observe en de nombreux endroits un accroissement du nombre de jeunes arbres s'établissant dans les trouées et la limite des arbres migre vers le haut. Compte tenu du réchauffement prévu, on s'attend à ce que ce phénomène, visible globalement, persiste. Cette thèse de doctorat visait à développer un jeu de méthodes et de modèles pour étudier dans un contexte spatial la position présente et future de la limite climatique des arbres, ainsi que ses déplacements, au sein des Alpes suisses. L'étude s'est donc focalisée sur: 1) la quantification de la dynamique actuelle de la limite des arbres et ses causes potentielles, 2) l'évaluation et l'amélioration des indicateurs, basés sur la température, pour la limite des arbres et 3) l'analyse spatiale et la projection de la position climatique passée, présente et future de la limite des arbres et des déplacements altitudinaux de cette position. Les méthodes utilisées sont une combinaison de mesures de température sur le terrain, de modélisation statistique et de la modélisation spatiale à l'aide d'un système d'information géographique. Les relations de voisinage entre parcelles de forêt ont été analysées à l'aide d'algorithmes utilisant des fenêtres mobiles, afin de mesurer les déplacements de la limite des arbres et déterminer leurs causes. Un modèle de transfert de température air-sol, basé sur les modèles de régression sur séries temporelles, a été développé pour calculer des indicateurs thermiques de la limite des arbres. Les indicateurs ont ensuite été appliqués spatialement pour délimiter la limite climatique des arbres, sur la base de données de températures interpolées. L'observation de la dynamique forestière récente dans l'écotone de la limite des arbres en Suisse a montré que les changements étaient principalement dus à la fermeture des trouées, mais aussi en partie à des déplacements vers des altitudes plus élevées. Il a été montré que la récente déprise agricole était la cause principale de ces changements. Des changements dus au climat n'ont été identifiés qu'aux limites supérieures de l'écotone de la limite des arbres. Les indicateurs de température moyenne saisonnière se sont avérés le mieux convenir pour prédire la limite climatique des arbres. L'application de limites dynamiques saisonnières et du modèle de transfert de température air-sol a amélioré l'applicabilité des indicateurs pour la modélisation spatiale. La reproduction des limites climatiques des arbres durant ces 45 dernières années a mis en évidence des changements d'altitude différents selon les régions, les plus importants étant situés près du plus haut massif montagneux. La modélisation des limites climatiques des arbres d'après deux scénarios de réchauffement climatique de l'IPCC a prédit des changements majeurs de l'altitude de la limite des arbres. Toutefois, l'on ne s'attend pas à ce que la limite des arbres actuellement observée atteigne cette limite facilement, en raison du délai de réaction, d'effets rétroactifs du climat et d'autres facteurs limitants.

Educació visible, eficient i d'èxit. L'escola intel•ligent

La creació de sistemes educatius competencials, que responen a polítiques estratègiques i a la necessitat de crear un segell propi i comú amb una clara visió de futur de compromís i de qualitat, afavoreix la construcció, promoció i consolidació de centres educatius excel·lents i intel·ligents, on els conceptes de millora contínua, qualitat, diversitat i eficiència es troben institucionalitzats i afavoreixen un més alt grau de satisfacció a tota la comunitat educativa

Regulation of the Gac/Rsm pathway in "Pseudomonas fluorescens" CHA0

SUMMARY : Two-component systems are key mediators implicated in the response of numerous bacteria to a wide range of signals and stimuli. The two-component system comprised of the sensor kinase GacS and the response regulator GacA is broadly distributed among γ-proteobacteria bacteria and fulfils diverse functions such as regulation of carbon storage and expression of virulence. In Pseudomonas fluorescens, a soil bacterium which protects plants from root-pathogenic fungi and nematodes, the GacS/GacA two-component system has been shown to be essential for the production of secondary metabolites and exoenzymes required for the biocontrol activity of the bacterium. The regulatory cascade initiated by GacS/GacA consists of two translational repressor proteins, RsmA and RsmE, as well as three GacAcontrolled small regulatory RNAs RsmX, RsmY and RsmZ, which titrate RsmA and RsmE to allow the expression of biocontrol factors. Genetic analysis revealed that two additional sensor kinases termed RetS and Lads were involved as negative and positive control elements, respectively, in the Gac/Rsm pathway in P. fluoresens CHAO. Furthermore, it could be proposed that RetS and Lads interact with GacS, thereby modulating the expression of antibiotic compounds and hydrogen cyanide, as well as the rpoS gene encoding the stress and stationary phase sigma factor σ. Temperature was found to be an important environmental cue that influences the Gac/Rsm network. Indeed, the production of antibiotic compounds and hydrogen cyanide was reduced at 35°C, by comparison with the production at 30°C. RetS was identified to be involved in this temperature control. The small RNA RsmY was confirmed to be positively regulated by GacA and RsmA/RsmE. Two essential regions were identified in the rsmY promoter by mutational analysis, the upstream activating sequence (UAS) and the linker sequence. Although direct experimental evidence is still missing, several observations suggest that GacA may bind to the UAS, whereas the linker region would be recognized by intermediate RsmA/RsmEdependent repressors and/or activators. In conclusion, this work has revealed new elements contributing to the function of the signal transduction mechanisms in the Gac/Rsm pathway. RESUME : Les systèmes ä deux composants sont des mécanismes d'une importance notoire que beaucoup de bactéries utilisent pour faire face et répondre aux stimuli environnementaux. Le système à deux composants comprenant le senseur GacS et le régulateur de réponse GacA est très répandu chez les γ-protéobactéries et remplit des fonctions aussi diverses que la régulation du stockage de carbone ou l'expression de la virulence. Chez Pseudomonas fluorescens CHAO, une bactérie du sol qui protège les racines des plantes contre des attaques de champignons et nématodes pathogènes, le système à deux composants GacS/GacA est essentiel à la production de métabolites secondaires et d'exoenzymes requis pour l'activité de biocontrôle de la bactérie. La cascade régulatrice initiée pas GacS/GacA fait intervenir deux protéines répresseur de traduction, RsmA et RsmE, ainsi que trois petits ARNs RsmX, RsmY et RsmZ, dont la production est contrôlée par GacA. Ces petits ARNs ont pour rôle de contrecarrer l'action des protéines répressseur de la traduction, ce qui permet l'expression de facteurs de biocontrôle. Des analyses génétiques ont révélé la présence de deux senseurs supplémentaires, appelés Rets et Lads, qui interviennent dans la cascade Gac/Rsm de P. fluorescens. L'impact de ces senseurs est, respectivement, négatif et positif. Ces interactions ont apparenunent lieu au niveau de GacS et permettent une modulation de l'expression des antibiotiques et de l'acide cyanhydrique, ainsi que du gène rpoS codant pour le facteur sigma du stress. La température s'est révélée être un facteur environnemental important qui influence la cascade Gac/Rsm. Il s'avère en effet que la production d'antibiotiques ainsi que d'acide cyanhydrique est moins importante à 35°C qu'à 30°C. L'implication du senseur Rets dans ce contrôle par la température a pu être démontrée. La régulation positive du petit ARN RsmY par GacA et RsmA/RsmE a pu être confirmée; par le biais d'une analyse mutationelle, deux régions essentielles ont pu être mises en évidence dans la région promotrice de rsmY. Malgré le manque de preuves expérimentales directes, certains indices suggèrent que GacA puisse directement se fixer sur une des deux régions (appelée UAS), tandis que la deuxième région (appelée linker) serait plutôt reconnue par des facteurs intermédiaires (activateurs ou répresseurs) dépendant de RsmA/RsmE. En conclusion, ce travail a dévoilé de nouveaux éléments permettant d'éclairer les mécanismes de transduction des signaux dans la cascade Gac/Rsm.

Interpretation of partial fingermarks using an automated fingerprint identification system

Abstract : In the subject of fingerprints, the rise of computers tools made it possible to create powerful automated search algorithms. These algorithms allow, inter alia, to compare a fingermark to a fingerprint database and therefore to establish a link between the mark and a known source. With the growth of the capacities of these systems and of data storage, as well as increasing collaboration between police services on the international level, the size of these databases increases. The current challenge for the field of fingerprint identification consists of the growth of these databases, which makes it possible to find impressions that are very similar but coming from distinct fingers. However and simultaneously, this data and these systems allow a description of the variability between different impressions from a same finger and between impressions from different fingers. This statistical description of the withinand between-finger variabilities computed on the basis of minutiae and their relative positions can then be utilized in a statistical approach to interpretation. The computation of a likelihood ratio, employing simultaneously the comparison between the mark and the print of the case, the within-variability of the suspects' finger and the between-variability of the mark with respect to a database, can then be based on representative data. Thus, these data allow an evaluation which may be more detailed than that obtained by the application of rules established long before the advent of these large databases or by the specialists experience. The goal of the present thesis is to evaluate likelihood ratios, computed based on the scores of an automated fingerprint identification system when the source of the tested and compared marks is known. These ratios must support the hypothesis which it is known to be true. Moreover, they should support this hypothesis more and more strongly with the addition of information in the form of additional minutiae. For the modeling of within- and between-variability, the necessary data were defined, and acquired for one finger of a first donor, and two fingers of a second donor. The database used for between-variability includes approximately 600000 inked prints. The minimal number of observations necessary for a robust estimation was determined for the two distributions used. Factors which influence these distributions were also analyzed: the number of minutiae included in the configuration and the configuration as such for both distributions, as well as the finger number and the general pattern for between-variability, and the orientation of the minutiae for within-variability. In the present study, the only factor for which no influence has been shown is the orientation of minutiae The results show that the likelihood ratios resulting from the use of the scores of an AFIS can be used for evaluation. Relatively low rates of likelihood ratios supporting the hypothesis known to be false have been obtained. The maximum rate of likelihood ratios supporting the hypothesis that the two impressions were left by the same finger when the impressions came from different fingers obtained is of 5.2 %, for a configuration of 6 minutiae. When a 7th then an 8th minutia are added, this rate lowers to 3.2 %, then to 0.8 %. In parallel, for these same configurations, the likelihood ratios obtained are on average of the order of 100,1000, and 10000 for 6,7 and 8 minutiae when the two impressions come from the same finger. These likelihood ratios can therefore be an important aid for decision making. Both positive evolutions linked to the addition of minutiae (a drop in the rates of likelihood ratios which can lead to an erroneous decision and an increase in the value of the likelihood ratio) were observed in a systematic way within the framework of the study. Approximations based on 3 scores for within-variability and on 10 scores for between-variability were found, and showed satisfactory results. Résumé : Dans le domaine des empreintes digitales, l'essor des outils informatisés a permis de créer de puissants algorithmes de recherche automatique. Ces algorithmes permettent, entre autres, de comparer une trace à une banque de données d'empreintes digitales de source connue. Ainsi, le lien entre la trace et l'une de ces sources peut être établi. Avec la croissance des capacités de ces systèmes, des potentiels de stockage de données, ainsi qu'avec une collaboration accrue au niveau international entre les services de police, la taille des banques de données augmente. Le défi actuel pour le domaine de l'identification par empreintes digitales consiste en la croissance de ces banques de données, qui peut permettre de trouver des impressions très similaires mais provenant de doigts distincts. Toutefois et simultanément, ces données et ces systèmes permettent une description des variabilités entre différentes appositions d'un même doigt, et entre les appositions de différents doigts, basées sur des larges quantités de données. Cette description statistique de l'intra- et de l'intervariabilité calculée à partir des minuties et de leurs positions relatives va s'insérer dans une approche d'interprétation probabiliste. Le calcul d'un rapport de vraisemblance, qui fait intervenir simultanément la comparaison entre la trace et l'empreinte du cas, ainsi que l'intravariabilité du doigt du suspect et l'intervariabilité de la trace par rapport à une banque de données, peut alors se baser sur des jeux de données représentatifs. Ainsi, ces données permettent d'aboutir à une évaluation beaucoup plus fine que celle obtenue par l'application de règles établies bien avant l'avènement de ces grandes banques ou par la seule expérience du spécialiste. L'objectif de la présente thèse est d'évaluer des rapports de vraisemblance calcul és à partir des scores d'un système automatique lorsqu'on connaît la source des traces testées et comparées. Ces rapports doivent soutenir l'hypothèse dont il est connu qu'elle est vraie. De plus, ils devraient soutenir de plus en plus fortement cette hypothèse avec l'ajout d'information sous la forme de minuties additionnelles. Pour la modélisation de l'intra- et l'intervariabilité, les données nécessaires ont été définies, et acquises pour un doigt d'un premier donneur, et deux doigts d'un second donneur. La banque de données utilisée pour l'intervariabilité inclut environ 600000 empreintes encrées. Le nombre minimal d'observations nécessaire pour une estimation robuste a été déterminé pour les deux distributions utilisées. Des facteurs qui influencent ces distributions ont, par la suite, été analysés: le nombre de minuties inclus dans la configuration et la configuration en tant que telle pour les deux distributions, ainsi que le numéro du doigt et le dessin général pour l'intervariabilité, et la orientation des minuties pour l'intravariabilité. Parmi tous ces facteurs, l'orientation des minuties est le seul dont une influence n'a pas été démontrée dans la présente étude. Les résultats montrent que les rapports de vraisemblance issus de l'utilisation des scores de l'AFIS peuvent être utilisés à des fins évaluatifs. Des taux de rapports de vraisemblance relativement bas soutiennent l'hypothèse que l'on sait fausse. Le taux maximal de rapports de vraisemblance soutenant l'hypothèse que les deux impressions aient été laissées par le même doigt alors qu'en réalité les impressions viennent de doigts différents obtenu est de 5.2%, pour une configuration de 6 minuties. Lorsqu'une 7ème puis une 8ème minutie sont ajoutées, ce taux baisse d'abord à 3.2%, puis à 0.8%. Parallèlement, pour ces mêmes configurations, les rapports de vraisemblance sont en moyenne de l'ordre de 100, 1000, et 10000 pour 6, 7 et 8 minuties lorsque les deux impressions proviennent du même doigt. Ces rapports de vraisemblance peuvent donc apporter un soutien important à la prise de décision. Les deux évolutions positives liées à l'ajout de minuties (baisse des taux qui peuvent amener à une décision erronée et augmentation de la valeur du rapport de vraisemblance) ont été observées de façon systématique dans le cadre de l'étude. Des approximations basées sur 3 scores pour l'intravariabilité et sur 10 scores pour l'intervariabilité ont été trouvées, et ont montré des résultats satisfaisants.

Cultures jeunes et religions en Europe

Après la révolution religieuse des années 60, une nouvelle religiosité est-elle née ? Cette question est au coeur du livre. Il met, en effet, en scène les jeunes des années 80, les filles et les fils de la génération d'après-guerre, celle de Mai 68. Les parents ont pris leurs distances avec les différentes formes institutionnelles de l'autorité, y compris celle des Églises. Ils avaient été laissés libres de s'initier à une voie « spirituelle » : liberté de conscience et autonomie individuelle, deux valeurs clés attachées à la génération d'après-guerre, avaient orienté leur démarche religieuse. Les années 80 constituent de plus un contexte spécifique. Derrière le rideau de l'abondance, les contours de la précarité se dessinent. L'effondrement du mur de Berlin a entraîné celui des certitudes et des points de repère. L'apparition du sida a mis en cause le mythe dominant d'une jeunesse presque éternelle ouvrant sur une société sans âge et sans conflits de génération. Ces événements ont infléchi les quêtes de sens contemporaines. Fruit de la collaboration de vingt-deux sociologues venant de différents pays de l'Union européenne et de la Suisse, l'ouvrage, plutôt que de mettre côte à côte des observations empruntées aux pays concernés, propose des analyses transversales. Il permet ainsi de se faire une idée du changement religieux qui touche l'Europe dans son ensemble et de dégager quelques enjeux communs suscités par l'incertitude ambiante. Partant de l'analyse de la condition des jeunes dans les années 80, l'ouvrage aborde tour à tour la question de leur identité religieuse, celle de leurs systèmes de croyance, puis s'attarde sur les institutions qui ont contribué à leur socialisation religieuse. L'expérience constitue une caractéristique de la vie religieuse contemporaine, alors que la pluralité de l'offre reflète le changement socioculturel. Un chapitre est ainsi consacré à la présentation de quelques trajectoires typiques illustrant la gestion de l'incertitude dans laquelle est plongée la génération en cause. Enfin est abordée la question posée par une jeunesse qui apparaît aujourd'hui dépourvue d'encadrement institutionnel dans le champ religieux comme dans d'autres domaines : cette situation ne traduit-elle pas la crise de reproduction des institutions elles-mêmes ?

Proposition d'un concept de contrôle de gestion pour la division "infrastructure routière" de l'Office fédéral des routes (OFROU)

La présente étude propose une méthodologie aboutissant à la conception d'un système de contrôle de gestion pour la division « infrastructure routière » ou « I » de l'Office fédéral des routes (OFROU). La première partie de ce travail situe l'OFROU dans son contexte de réformes et identifie les raisons qui justifient l'implantation d'un système de contrôle de gestion à l'OFROU. La deuxième partie pose les jalons permettant d'établir un contrôle de gestion dans sa division « I ». Elle cherche d'abord à donner une définition du contrôle de gestion dans le secteur public, puis présente un état des lieux du système de gestion existant. Finalement, les systèmes de contrôle de gestion de deux autres offices GMEB, MétéoSuisse et armasuisse immobilier, sont analysés afin d'en tirer des éléments pertinents pouvant servir à la conception du contrôle de gestion à l'OFROU. La troisième propose un contrôle de gestion pour la division « I ». Le travail montre que la réalisation d'un concept de contrôle de gestion pour la division « I » n'est pas évidente. Cette dernière, qui est en train de se mettre en place, manque encore d'expérience pour identifier clairement les éléments clé à insérer dans le système. On observe un grand embarras entre le stade du savoir et celui du savoir faire concret. La méthodologie et l'analyse présentées dans ce travail pourraient contribuer à développer un savoir faire interne aboutissant rapidement à la mise sur pied d'un système de contrôle de gestion pour la division « I ». Die vorliegende Studie schlägt eine Methodik zur Erarbeitung eines Management-Kontrollsystems für die Abteilung « Strasseninfrastruktur » oder « I » des Bundesamts für Strassen (ASTRA) vor. Der erste Teil dieser Arbeit stellt das ASTRA im Spannungsfeld dieser Reformen. Ihre Konsequenzen lassen die Einführung eines Management-Kontrollsystems im ASTRA folgerichtig erscheinen. Im zweiten Teil geht es darum, Wegmarken zu setzen, die die Einführung einer Managementkontrolle in der Abteilung « I » in die richtigen Bahnen lenken. Es wird versucht, eine Begriffsbestimmung der Managementkontrolle im öffentlichen Sektor sowie eine Bestandesaufnahme der bestehenden Systeme vorzunehmen. Schliesslich werden die Management-Kontrollsysteme zweier anderer FLAG-Ämter, MeteoSchweiz und armasuisse immobilier, auf mögliche Nutzen für den Aufbau der Managementkontrolle des ASTRA analysiert. Der dritte Teil beinhaltet einen Vorschlag, wie die Management-Kontrolle für die Abteilung « I » aussehen könnte. Die Arbeit zeigt, dass die Erarbeitung eines Management-Kontrollkonzepts für die Abteilung « I » keine einfache Aufgabe ist. Es fehlt an Erfahrung, um die Schlüsselbausteine des Systems erkennen zu können. Zwischen dem Stadium des Wissens und dem des konkreten Know-hows klafft ein empfindlicher Graben. Methodik und Analyse, wie sie in der vorliegenden Arbeit beschrieben werden, könnten zum Aufbau eines internen Know-hows beitragen, das die rasche Verwirklichung eines Management-Kontrollsystems für die Abteilung « I » erlauben könnte.