On stability of solutions to systems of convex inequalities

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

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.

Diversity of Campylobacter Isolates from Three Activated Sludge Systems

Thermophilic campylobacters were isolated from three sewage plants in Rio de Janeiro, RJ, Brazil and identified. Laboratory analysis of 390 sewage samples showed the presence of 169 thermophilic strains. The results demonstrated that human and animal pathogenic biotypes could be isolated from activated sludge during the initial processing steps. The aeration tank could be considered a barrier to Campylobacter survival. C. jejuni was the prevalent species isolated (40.8%).The most common biotypes were C. jejuni biotype I (21.3%), C. coli biotype I (16%) and C. jejuni biotype II ( 14.8%).

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."

Molecular Epidemiologic Typing Systems of Bacterial Pathogens: Current Issues and Perpectives

The epidemiologic typing of bacterial pathogens can be applied to answer a number of different questions: in case of outbreak, what is the extent and mode of transmission of epidemic clone(s )? In case of long-term surveillance, what is the prevalence over time and the geographic spread of epidemic and endemic clones in the population? A number of molecular typing methods can be used to classify bacteria based on genomic diversity into groups of closely-related isolates (presumed to arise from a common ancestor in the same chain of transmission) and divergent, epidemiologically-unrelated isolates (arising from independent sources of infection). Ribotyping, IS-RFLP fingerprinting, macrorestriction analysis of chromosomal DNA and PCR-fingerprinting using arbitrary sequence or repeat element primers are useful methods for outbreak investigations and regional surveillance. Library typing systems based on multilocus sequence-based analysis and strain-specific probe hybridization schemes are in development for the international surveillance of major pathogens like Mycobacterium tuberculosis. Accurate epidemiological interpretation of data obtained with molecular typing systems still requires additional research on the evolution rate of polymorphic loci in bacterial pathogens.

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.