Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Implementation, elimination of weakly dominated strategies and evolutionary dynamics

This paper is concerned with the realism of mechanisms that implementsocial choice functions in the traditional sense. Will agents actually playthe equilibrium assumed by the analysis? As an example, we study theconvergence and stability properties of Sj\"ostr\"om's (1994) mechanism, onthe assumption that boundedly rational players find their way to equilibriumusing monotonic learning dynamics and also with fictitious play. Thismechanism implements most social choice functions in economic environmentsusing as a solution concept the iterated elimination of weakly dominatedstrategies (only one round of deletion of weakly dominated strategies isneeded). There are, however, many sets of Nash equilibria whose payoffs maybe very different from those desired by the social choice function. Withmonotonic dynamics we show that many equilibria in all the sets ofequilibria we describe are the limit points of trajectories that havecompletely mixed initial conditions. The initial conditions that lead tothese equilibria need not be very close to the limiting point. Furthermore,even if the dynamics converge to the ``right'' set of equilibria, it stillcan converge to quite a poor outcome in welfare terms. With fictitious play,if the agents have completely mixed prior beliefs, beliefs and play convergeto the outcome the planner wants to implement.

Amelioration of Duchenne muscular dystrophy in mdx mice by elimination of matrix-associated fibrin-driven inflammation coupled to the αMβ2 leukocyte integrin receptor

In Duchenne muscular dystrophy (DMD), a persistently altered and reorganizing extracellular matrix (ECM) within inflamed muscle promotes damage and dysfunction. However, the molecular determinants of the ECM that mediate inflammatory changes and faulty tissue reorganization remain poorly defined. Here, we show that fibrin deposition is a conspicuous consequence of muscle-vascular damage in dystrophic muscles of DMD patients and mdx mice and that elimination of fibrin(ogen) attenuated dystrophy progression in mdx mice. These benefits appear to be tied to: (i) a decrease in leukocyte integrin α(M)β(2)-mediated proinflammatory programs, thereby attenuating counterproductive inflammation and muscle degeneration; and (ii) a release of satellite cells from persistent inhibitory signals, thereby promoting regeneration. Remarkably, Fib-gamma(390-396A) (Fibγ(390-396A)) mice expressing a mutant form of fibrinogen with normal clotting function, but lacking the α(M)β(2) binding motif, ameliorated dystrophic pathology. Delivery of a fibrinogen/α(M)β(2) blocking peptide was similarly beneficial. Conversely, intramuscular fibrinogen delivery sufficed to induce inflammation and degeneration in fibrinogen-null mice. Thus, local fibrin(ogen) deposition drives dystrophic muscle inflammation and dysfunction, and disruption of fibrin(ogen)-α(M)β(2) interactions may provide a novel strategy for DMD treatment.

Sidelobe elimination for generalized synthetic discriminant functions by a two-filter correlation and subsequent postprocessing of the intensity distributions

One of the most important problems in optical pattern recognition by correlation is the appearance of sidelobes in the correlation plane, which causes false alarms. We present a method that eliminate sidelobes of up to a given height if certain conditions are satisfied. The method can be applied to any generalized synthetic discriminant function filter and is capable of rejecting lateral peaks that are even higher than the central correlation. Satisfactory results were obtained in both computer simulations and optical implementation.

Epidemiology of measles virus outbreaks in Catalonia: importance of immunization in the elimination era

Eradicating measles represents a major public health achievement, yet outbreaks still occur in territories where endemic measles virus (MV) had been eliminated. In Catalonia from the year 2000 cases have occurred as isolated cases or small outbreaks, both linked to imported cases up to the end of 2006 when a large outbreak started out affecting mainly children ≤15m. In consequence, immunization schedule was amended lowering first dose to 12m. Again new MV importations from neighboring countries triggered another outbreak on November 2010 with a different age distribution sparing small children from infection. Differences in incidence (IR), rate ratio (RR) and 95% CI and hospitalization rate (HR) by age group were determined. Statistic z was used for comparing proportions. Total number of confirmed cases was 305 vs 381 in 2006; mean age 20 yrs (SD 14.8yrs; 3m -51yrs) vs 15m (SD13.1yrs; 1m-50yrs). Highest proportion of cases was set in ≥25yrs (47%) vs 24.2% in 2006 (p<0.001). Difference in IR for ≤ 15m was statistically significant (49/100,000 vs 278.2/100,000; RR:3.9; 95%CI 2.9-5.4) and in HR 30.2% vs 15.7% (p<0.001). The change of the month of administration of the first dose proved successful. Given the current epidemiological situation, continued awareness and efforts to reach young adult population are needed to stop the spread of the virus.

Epidemiology of measles virus outbreaks in Catalonia: importance of immunization in the elimination era

Eradicating measles represents a major public health achievement, yet outbreaks still occur in territories where endemic measles virus (MV) had been eliminated. In Catalonia from the year 2000 cases have occurred as isolated cases or small outbreaks, both linked to imported cases up to the end of 2006 when a large outbreak started out affecting mainly children ≤15m. In consequence, immunization schedule was amended lowering first dose to 12m. Again new MV importations from neighboring countries triggered another outbreak on November 2010 with a different age distribution sparing small children from infection. Differences in incidence (IR), rate ratio (RR) and 95% CI and hospitalization rate (HR) by age group were determined. Statistic z was used for comparing proportions. Total number of confirmed cases was 305 vs 381 in 2006; mean age 20 yrs (SD 14.8yrs; 3m -51yrs) vs 15m (SD13.1yrs; 1m-50yrs). Highest proportion of cases was set in ≥25yrs (47%) vs 24.2% in 2006 (p<0.001). Difference in IR for ≤ 15m was statistically significant (49/100,000 vs 278.2/100,000; RR:3.9; 95%CI 2.9-5.4) and in HR 30.2% vs 15.7% (p<0.001). The change of the month of administration of the first dose proved successful. Given the current epidemiological situation, continued awareness and efforts to reach young adult population are needed to stop the spread of the virus.

Non conventional biological treatment based on Trametes versicolor for the elimination of recalcitrant anticancer drugs in hospital wastewater

This work presents a study about the elimination of anticancer drugs, a group of pollutants considered recalcitrant during conventional activated sludge wastewater treatment, using a biological treatment based on the fungus Trametes versicolor. A 10-L fluidized bed bioreactor inoculated with this fungus was set up in order to evaluate the removal of 10 selected anticancer drugs in real hospital wastewater. Almost all the tested anticancer drugs were completely removed from the wastewater at the end of the batch experiment (8 d) with the exception of Ifosfamide and Tamoxifen. These two recalcitrant compounds, together with Cyclophosphamide, were selected for further studies to test their degradability by T. versicolor under optimal growth conditions. Cyclophosphamide and Ifosfamide were inalterable during batch experiments both at high and low concentration, whereas Tamoxifen exhibited a decrease in its concentration along the treatment. Two positional isomers of a hydroxylated form of Tamoxifen were identified during this experiment using a high resolution mass spectrometry based on ultra-high performance chromatography coupled to an Orbitrap detector (LTQ-Velos Orbitrap). Finally the identified transformation products of Tamoxifen were monitored in the bioreactor run with real hospital wastewater

Utilización de alimentos líquidos para el ganado porcino

La distribución de alimentos líquidos al ganado porcino es un sistema alternativo en el cual el alimento se prepara y distribuye a través de un equipo totalmente informatizado y automatizado. Además de materias primas y piensos permite también el uso de co-productos líquidos de la industria agroalimentaria o productos fermentados. Su utilización evita el coste de su transformación o eliminación permitiendo rebajar el coste de producción del cerdo porque su precio es altamente competitivo. La aplicación de alimentos líquidos fermentados tiene efectos benéficos sobre el epitelio intestinal, la microflora digestiva y el estado sanitario de los lechones, reduciendo la morbilidad y aumentando los resultados de crecimiento. Este sistema de alimentación facilita igualmente la aplicación de programas multifase ajustando diariamente el aporte a las necesidades en nutrientes del cerdo reduciendo la excreción (N, P, metales pesados) y con ello, el riesgo de contaminación medioambiental. The distribution of liquid diets for swine is an alternative system where feed is prepared and distributed by an automatic computerized device. In addition to feedstuffs and complementary dry feed, this system allows the use of fresh or fermented agri-food liquid by-products. These products are cheaper and its use as feed avoids the cost of its transformation or elimination, reducing the environmental load and the cost per kg of pig meat. The fermented liquid feed protects the intestinal epithelium, helps to control digestive microflora and animal health improving piglet growth performance after weaning. This feeding device also helps implementation of multiphase feeding programs, adjusting nutrient supplies to requirements daily, and consequently reducing the nutrient excretion (N, P, heavy metals) and the risk of environmental pollution.

Elements of algebraic geometry and the positive theory of partially commutative groups

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Eliminació simultània de fòsfor i nitrogen en aigües residuals, utilitzant microorganismes DPAO en un reactor discontinu seqüencial (SBR)

En aquest estudi es realitzà eliminació biològica simultània de fòsfor i nitrogen en un Reactor Discontinu Seqüencial (SBR), el qual conté una biomassa enriquida amb Organismes Desnitrificadors Acumuladors de Fòsfor (DPAO) que utilitzen com a única font de carboni l’àcid propiònic i com acceptors d’electrons: nitrit en la fase anòxica i oxigen en l’aeròbica. L’SBR opera amb cicle de 8 h alternant fase anaeròbica, anòxica i aeròbica. El seguiment del sistema es realitzà mitjançant mesures on-line (titrimetria) i off-line (quantificació d’àcid propiònic, nitrit i fòsfor), utilitzant l’HPLC per quantificar l’àcid propiònic i cromatografia iònica per les mesures de nitrit i fòsfor. Amb aquest sistema es pretén augmentar la captació de fòsfor en la fase anòxica fet que s’aconseguí realitzant diferents canvis al reactor per tal de maximitzar el consum de nitrit en aquesta fase, ja fos allargant el temps de fase o augmentant la concentració de biomassa. Aquest experiment ha suposat un augment de la captació de fòsfor (33 mg P-PO4 3-/L), de l’eliminació neta de fòsfor (17 mg P-PO4 3-/L) i de consum de nitrit (27 mg N-NO2-). Per altra banda, es pretenia veure els efectes a curt termini de l’eliminació de la fase aeròbica a partir del seguiment de 2 cicle puntuals i d’un cicle de 32 h sense fase aeròbica. En ambdós casos s’aconseguí una eliminació neta de fòsfor.

Gestió forestal de masses d'arboç (Arbutus unedo) en regeneració després de foc al terme municipal d'Esparreguera

Els incendis forestals són una pertorbació amb un paper decisiu en l’estructura i dinàmica dels ecosistemes mediterranis. La majoria de les seves espècies vegetals presenten mecanismes de resposta al foc, com la germinació de llavors i la rebrotada d’individus cremats. Les masses forestals regenerades a partir de rebrots assoleixen densitats massa altes i una baixa producció, i, per tant, és fonamental dur a terme una gestió mitjançant tractaments silvícoles. El principal objectiu d’aquest projecte és quantificar l’efecte de la selecció de rebrots i la selecció de rebrots més la desbrossada sobre el creixement de l’Arbutus unedo. S’han estudiat 12 parcel—les en regeneració després dels incendis de 1985, 1986 i 1994 al terme municipal d’Esparreguera. Els resultats mostren que els dos tractaments afavoreixen de la mateixa manera el creixement dels peus d’Arbutus unedo, a causa de la disminució de la competència intraespecífica i interespecífica. La desbrossada (a nivell de parcel—la, no d’individu), no obstant, provoca un increment probablement perjudicial de l’alçada dels rebrots, per la major disponibilitat de llum. Per tal de proposar un model de gestió forestal, s’ha realitzat una anàlisi multicriterial dels diferents escenaris, on s’han considerat altres criteris, com són el model de combustible, la possibilitat de pastura i el cost econòmic. L’alternativa preferida en els boscos d’Arbutus unedo és la selecció de rebrots i la desbrossada.

Avaluació del risc ambiental de productes farmacèutics en l'àmbit català

S’ha dut a terme una Avaluació del Risc Ambiental dels productes farmacèutics més consumits en l’àmbit català treballant sobre un model de planta de tractament d’aigües residuals determinat. La Concentració ambiental estimada (PEC) pel medi aquàtic s’ha calculat a partir de dades fisicoquímiques dels fàrmacs tenint en compte una sèrie d’hipòtesis i suposicions prèvies. La Concentració estimada de no-efecte (PNEC) s’ha estimat mitjançant dades d’ecotoxicitat extretes de l’ECOSAR. Es considera que hi ha afecció al medi quan la relació PEC/PNEC excedeix d’1; en aquest estudi s’ha obtingut que l’Ibuprofèn, el Diclofenac i l’Atorvastatina superen aquest valor suposant, per tant, un risc per al medi ambient. D’aquesta manera es mostra que l’eliminació dels fàrmacs durant el procés de la depuració de les aigües residuals no resulta totalment eficient.

El suro com a adsorbent del plom i el poloni

S’ha estudiat la utilització del suro com a adsorbent de metalls i radionúclids, com el plom i el poloni. Aquesta metodologia es pot aplicar en diferents camps, principalment per la separació d’aquests elements tant per a la seva posterior anàlisi com per l’eliminació i descontaminació en medis naturals. El suro és un bon adsorbent del plom, ja que de promig n’adsorbeix un 80%, i existeix dependència amb la relació superfície – volum del suro. La capacitat de càrrega màxima, a partir de les vuit hores, correspon al suro de diàmetre de partícula de 0.5 a 1 mm, amb un valor proper a 6·10-2 mmol Pb/g suro. El poloni presenta una eficiència d’adsorció menor a la del plom, d’un 50% del poloni present en la solució de càrrega inicial. Del present treball es pot concloure que el suro és un bon material adsorbent per a metalls i/o radionúclids, i per tan pot ser emprat com a una tècnica de separació i/o recuperació alternativa a les actualment establertes, sent més econòmica i biodegradable.

Síntesi estereoselectiva d'anàlegs ciclobutènics d'L-nucleòsids

En els darrers 30 anys, els anàlegs de nucleòsids han estat una part essencial de la teràpia antiviral. Més recentment, els anàlegs carbocíclics de nucleòsids s'han convertit en importants objectius pel desenvolupament de nous agents terapèutics antivirals i antitumorals, en tant que l'absència de l'enllaç N-glicosídic els confereix una major estabilitat davant l'acció de les fosforilases. Per altra banda, s'ha descrit que alguns nucleòsids de configuració L presenten, en alguns casos, una bona activitat antiviral, una major estabilitat metabòlica i una toxicitat inferior a la dels seus homòlegs de configuració natural. El present treball planteja la síntesi estereoselectiva de derivats ciclobutènics de L-nucleòsids com a agents terapèutics, susceptibles de presentar una major activitat antiviral i una menor toxicitat que els agents actuals. Per assolir aquest objectiu, s'ha construït l'anell ciclobutènic mitjançant una reacció de fotocicloaddició [2+2]. Al mateix temps, s'ha desenvolupat un estudi de la influència del dissolvent en la reacció de fotocicloaddició [2+2] d'enones a alquens halogenats. A més, s'han estudiat diverses condicions de treball per dur a terme la reacció de deshalogenació dels derivats clorats preparats amb la metodologia anterior, utilitzant Zn com a reductor i amb un sistema d'escalfament per microones com a substituent dels mètodes d'escalfament convencionals. Aquest estudi ha permès disminuir notablement el temps d'aquesta reacció, passant de 7 hores a 20 minuts. Les condicions òptimes d'ambdues reaccions determinades amb aquests estudis han permès preparar l'intermedi clau per a la introducció de les bases nitrogenades, essent aquest un potencial precursor dels anàlegs ciclobutènics de nucleòsids, així com sintetitzar el primer producte de la ruta sintètica dissenyada que presenta la base nitrogenada a la seva estructura.

Sistema motivacional i variables individuals en la rehabilitació

Aquest treball s’ha realitzat en el Centre Educatiu Montilivi, un centre de Justícia Juvenil, on predominen les mesures en règim semiobert. L’objectiu principal del centre és oferir als menors la experiència i la formació necessària per superar els handicaps, deixar l’activitat delictiva i participar en la societat de manera normalitzada. L’any 2002 es va implantar un sistema motivacional que, basat en el condicionament operant i l’aprenentatge social, facilités la participació activa i responsable dels interns. El sistema motivacional s’estructura en etapes progressives. El menor, superat el període d’observació inicial, se l’assigna a una etapa on pot gaudir dels avantatges corresponents. Una avaluació continuada, li permetrà anar assolint la puntuació necessària que li donarà la opció de progressar a una etapa superior. En aquesta gaudirà de més avantatges. L’objectiu bàsic de la recerca és avaluar l’eficàcia del sistema motivacional pel que fa la desaparició o reducció de les conductes indesitjables de: no retorn, fugides, reincidència i conflictes dins del centre i buscar relació d’aquestes variables amb diversos factors individuals. Per dur a terme la recerca s’han seleccionat 135 menors que hem distribuït en dos grups. un grup de control anterior a la implementació del sistema motivacional; i un grup d’intervenció a qui si se’ls ha aplicat el sistema motivacional. Els resultats diuen que la mostra respon a un patró antisocial greu. També diu que l’aplicació d’un sistema motivacional no s’ha associat a una reducció de les conductes antisocials dels interns durant el període d’aplicació. Malgrat això, sí es percebut com una eina eficaç per interns i professionals.