Relaxation methods for solving linear inequality systems: Converging results

The problem of finding a feasible solution to a linear inequality system arises in numerous contexts. In [12] an algorithm, called extended relaxation method, that solves the feasibility problem, has been proposed by the authors. Convergence of the algorithm has been proven. In this paper, we onsider a class of extended relaxation methods depending on a parameter and prove their convergence. Numerical experiments have been provided, as well.

On p-optimal proof systems and logics for PTIME

"Vegeu el resum a l'inici del document del fitxer adjunt"

On slicewise monotone parameterized problems and optimal proof systems for TAUT

"Vegeu el resum a l'inici del document del fitxer adjunt"

Hard instances of algorithms and proof systems

"Vegeu el resum a l'inici del document del fitxer adjunt."

ENaC and its regulatory proteins as drug targets for blood pressure control.

Hypertension is a serious medical problem affecting millions of people worldwide. A key protein regulating blood pressure is the Epithelial Na(+) Channel (ENaC). In accord, loss of function mutations in ENaC (PHA1) cause hypotension, whereas gain of function mutations (Liddle syndrome) result in hypertension. The region mutated in Liddle syndrome, called the PY motif (L/PPxY), serves as a binding site for the ubiquitin ligase Nedd4-2, a C2-WW-Hect E3 ubiquitin ligase. Nedd4-2 binds the ENaC-PY motif via it WW domains, ubiquitylates the channel and targets it for endocytosis, a process impaired in Liddle syndrome due to poor binding of the channel to Nedd4-2. This leads to accumulation of active channels at the cell surface and increased Na(+) (and fluid) absorption in the distal nephron, resulting in elevated blood volume and blood pressure. Compounds that destabilize cell surface ENaC, or enhance Nedd4-2 activity in the kidney, could potentially serve as drug targets for hypertension. In addition, recent discoveries of regulation of activation of ENaC by proteases such as furin, prostasin and elastase, which cleave the extracellular domain of this channel leading to it activation, as well as the identification of inhibitors that block the activity of these proteases, provide further avenues for drug targeting of ENaC and the control of blood pressure.

Transitions from reproductive systems governed by two self-incompatible Loci to one in fungi.

Self-incompatibility (SI), a reproductive system broadly present in plants, chordates, fungi, and protists, might be controlled by one or several multiallelic loci. How a transition in the number of SI loci can occur and the consequences of such events for the population's genetics and dynamics have not been studied theoretically. Here, we provide analytical descriptions of two transition mechanisms: linkage of the two SI loci (scenario 1) and the loss of function of one incompatibility gene within a mating type of a population with two SI loci (scenario 2). We show that invasion of populations by the new mating type form depends on whether the fitness of the new type is lowered, and on the allelic diversity of the SI loci and the recombination between the two SI loci in the starting population. Moreover, under scenario 1, it also depends on the frequency of the SI alleles that became linked. We demonstrate that, following invasion, complete transitions in the reproductive system occurs under scenario 2 and is predicted only for small populations under scenario 1. Interestingly, such events are associated with a drastic reduction in mating type number.

Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs

In a seminal paper [10], Weitz gave a deterministic fully polynomial approximation scheme for counting exponentially weighted independent sets (which is the same as approximating the partition function of the hard-core model from statistical physics) in graphs of degree at most d, up to the critical activity for the uniqueness of the Gibbs measure on the innite d-regular tree. ore recently Sly [8] (see also [1]) showed that this is optimal in the sense that if here is an FPRAS for the hard-core partition function on graphs of maximum egree d for activities larger than the critical activity on the innite d-regular ree then NP = RP. In this paper we extend Weitz's approach to derive a deterministic fully polynomial approximation scheme for the partition function of general two-state anti-ferromagnetic spin systems on graphs of maximum degree d, up to the corresponding critical point on the d-regular tree. The main ingredient of our result is a proof that for two-state anti-ferromagnetic spin systems on the d-regular tree, weak spatial mixing implies strong spatial mixing. his in turn uses a message-decay argument which extends a similar approach proposed recently for the hard-core model by Restrepo et al [7] to the case of general two-state anti-ferromagnetic spin systems.

Sex determination: why so many ways of doing it?

Sexual reproduction is an ancient feature of life on earth, and the familiar X and Y chromosomes in humans and other model species have led to the impression that sex determination mechanisms are old and conserved. In fact, males and females are determined by diverse mechanisms that evolve rapidly in many taxa. Yet this diversity in primary sex-determining signals is coupled with conserved molecular pathways that trigger male or female development. Conflicting selection on different parts of the genome and on the two sexes may drive many of these transitions, but few systems with rapid turnover of sex determination mechanisms have been rigorously studied. Here we survey our current understanding of how and why sex determination evolves in animals and plants and identify important gaps in our knowledge that present exciting research opportunities to characterize the evolutionary forces and molecular pathways underlying the evolution of sex determination.

Music identification

L'evolució ens els últims decennis de les possibilitats relacionades amb les tecnologies de la informació han provocat l'aparició de diferents camps, entre ells l'anomenat “recuperació de música basant-se en el contingut”, que tracta de calcular la similitud entre diferents sons. En aquest projecte hem fet una recerca sobre els diferents mètodes que existeixen avui en dia, i posteriorment n'hem comparat tres, un basat en característiques del so, un basat en la transformada discreta del cosinus, i un que combina els dos anteriors. Els resultats han mostrat, que el basat en la transformada de Fourier és el més fiable.

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.

The Nlrp3 inflammasome regulates acute graft-versus-host disease.

The success of allogeneic hematopoietic cell transplantation is limited by acute graft-versus-host disease (GvHD), a severe complication accompanied by high mortality rates. Yet, the molecular mechanisms initiating this disease remain poorly defined. In this study, we show that, after conditioning therapy, intestinal commensal bacteria and the damage-associated molecular pattern uric acid contribute to Nlrp3 inflammasome-mediated IL-1β production and that gastrointestinal decontamination and uric acid depletion reduced GvHD severity. Early blockade of IL-1β or genetic deficiency of the IL-1 receptor in dendritic cells (DCs) and T cells improved survival. The Nlrp3 inflammasome components Nlrp3 and Asc, which are required for pro-IL-1β cleavage, were critical for the full manifestation of GvHD. In transplanted mice, IL-1β originated from multiple intestinal cell compartments and exerted its effects on DCs and T cells, the latter being preferentially skewed toward Th17. Compatible with these mouse data, increased levels of active caspase-1 and IL-1β were found in circulating leukocytes and intestinal GvHD lesions of patients. Thus, the identification of a crucial role for the Nlrp3 inflammasome sheds new light on the pathogenesis of GvHD and opens a potential new avenue for the targeted therapy of this severe complication.

Underreporting of needlestick and sharps injuries among healthcare workers in a Swiss University Hospital.

OBJECTIVES: To determine 1) rates of needlestick and sharps injuries (NSSIs) not reported to occupational health services, 2) reasons for underreporting and 3) awareness of reporting procedures in a Swiss university hospital. MATERIALS AND METHODS: We surveyed 6,367 employees having close clinical contact with patients or patient specimens. The questionnaire covered age, sex, occupation, years spent in occupation, history of NSSI during the preceding twelve months, NSSI reporting, barriers to reporting and knowledge of reporting procedures. RESULTS: 2,778 questionnaires were returned (43.6%) of which 2,691 were suitable for analysis. 260/2,691 employees (9.7%) had sustained at least one NSSI during the preceding twelve months. NSSIs were more frequent among nurses (49.2%) and doctors performing invasive procedures (IPs) (36.9%). NSSI rate by occupation was 8.6% for nurses, 19% for doctors and 1.3% for domestic staff. Of the injured respondents, 73.1% reported all events, 12.3% some and 14.6% none. 42.7% of doctors performing invasive procedures (IPs) underreported NSSIs and represented 58.6% of underreported events. Estimation that transmission risk was low (87.1%) and perceived lack of time (34.3%) were the most common reasons for non-reporting. Regarding reporting procedures, 80.1% of respondents knew to contact occupational health services. CONCLUSION: Doctors performing IPs have high rates of NSSI and, through self-assessment that infection transmission risk is low or perceived lack of time, high rates of underreporting. If individual risk analyses underestimate the real risk, such underreporting represents a missed opportunity for post-exposure prophylaxis and identification of hazardous procedures. Doctors' training in NSSI reporting merits re-evaluation.

Synchronous versus asynchronous modeling of gene regulatory networks.

MOTIVATION: In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene-gene, protein-protein and gene-protein interactions. The two dynamical properties that are often experimentally testable are perturbations and stable steady states. Although a lot of work has been done on the identification of steady states, not much work has been reported on in silico modeling of cellular differentiation processes. RESULTS: In this manuscript, we provide algorithms based on reduced ordered binary decision diagrams (ROBDDs) for Boolean modeling of gene regulatory networks. Algorithms for synchronous and asynchronous transition models have been proposed and their corresponding computational properties have been analyzed. These algorithms allow users to compute cyclic attractors of large networks that are currently not feasible using existing software. Hereby we provide a framework to analyze the effect of multiple gene perturbation protocols, and their effect on cell differentiation processes. These algorithms were validated on the T-helper model showing the correct steady state identification and Th1-Th2 cellular differentiation process. AVAILABILITY: The software binaries for Windows and Linux platforms can be downloaded from http://si2.epfl.ch/~garg/genysis.html.

Elaboration d 'un protocole de routine pour l'identification génétique de mammifères sauvages (gibier) à partir d 'échantillons biologiques

L'identification spécifique d'un échantillon biologique récolté sur le terrain n'est pas toujours possible par le biais de méthodes conventionnelles. Afin de remédier à cette situation, nous avons développé un protocole rapide, rigoureux et reproductible, constitué de quatre étapes principales: (i) extraction (isolement) de l'ADN à partir d'échantillons biologiques de provenance variée; (ii) amplification par PCR d'un segment spécifique d'ADN; (iii) détermination de la séquence nucléotidique du segment d'ADN amplifié; (iv) comparaison de la séquence obtenue avec une base de données (si nécessaire, analyse phylogénétique) et détermination de l'espèce la plus proche. Cette approche nous a permis d'identifier sans ambiguïté la totalité des échantillons analysés, représentés par des tissus d'origine variée (sang, biopsies d'organe ou de tissu) d'espèces de mammifères sauvages.

Identification of environmental Serratia plymuthica strains with the new Combo panels Type 1S

Automated systems are required when numerous samples need to be processed, offering both high through put and test of a multiple simultaneously. This study was performed to compare the MicroScan WalkAway automated identification system in conjunction with the new MicroScan Combo Neg Panels Type 1S with conventional biochemical methods for identifying ten environmental Serratia plymuthica strains. High correlation between both methods were observed for all the 21 tests evaluated, and the MicroScan system was found capable of correctly identifying all S. plymuthica strains tested. In all tests, the percentage of correlation was 100%, except in raffinose test (91%).