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.

Lactic acid bacteria from fresh fruit and vegetables as biocontrol agents of phytopathogenic bacteria and fungi

This study evaluated the efficacy of lactic acid bacteria (LAB) isolated from fresh fruits and vegetables as biocontrol agents against the phytopathogenic and spoilage bacteria and fungi, Xanthomonas campestris, Erwinia carotovora, Penicillium expansum, Monilinia laxa, and Botrytis cinerea. The antagonistic activity of 496 LAB strains was tested in vitro and all tested microorganisms except P. expansum were inhibited by at least one isolate. The 496 isolates were also analyzed for the inhibition of P. expansum infection in wounds of Golden Delicious apples. Four strains (TC97, AC318, TM319, and FF441) reduced the fungal rot diameter of the apples by 20%; only Weissella cibaria strain TM128 decreased infection levels by 50%. Cell-free supernatants of selected antagonistic bacteria were studied to determine the nature of the antimicrobial compounds produced. Organic acids were the preferred mediators of inhibition but hydrogen peroxide was also detected when strains BC48, TM128, PM141 and FF441 were tested against E. carotovora. While previous reports of antifungal activity by LAB are scarce, our results support the potential of LAB as biocontrol agents against postharvest rot. [Int Microbiol 2008; 11(4):231-236]

Quality assurance mechanisms in agrifood: The case of the Spanish fresh meat sector

The largest fresh meat brand names in Spain are analyzed here to studyhow quality is signaled in agribusiness and how the underlying quality-assurance organizations work. Results show, first, that organizationalform varies according to the specialization of the brand name.Publicly-controlled brand names are grounded on market contracting withindividual producers, providing stronger incentives. In contrast,private brands rely more on hierarchy, taking advantage of itssuperiority in solving specific coordination problems. Second, theseemingly redundant coexistence of several quality indicators for agiven product is explained in efficiency terms. Multiple brands areshown to be complementary, given their specialization in guaranteeingdifferent attributes of the product.

Qualitat microbiològica dels productes vegetals frescos mínimament processats i desenvolupament de tecnologies de bioconservació mitjançant bacteris de l'àcid làctic

Food safety today is conditiones by the implementation of new Tecnologies for food preservation based on mild treatments and mínimum process, Novel foods, severe restrictions in the toxicològic profile of chemical preservatives, And the drastic limitation /prohibition of antibiotics, and as a consequence, by the New emergint pathogens or by the increase of classical food-borne pathogens. Biopreservatives appear within this context with strong expectations, because thei are safe microorganisms of ten isolated from foods, chemical compounds of natural origin -antimicrobial peptides and proteins, botanical extracts, enzymes- and sintetic compounds based on natural structures, but less toxic and more eficients, like the amtimicrobial peptides. Among the microbial biopreservatives, lactic acid bacteria have shown great possibilities in the preservation of cured meat products, ready to eat fresh fruit and vegetables, as well as to decrease microbial spoilage in food by products before processing for valorization. Our laboratory has performed an extense survey of the microbiological quality of fresh fruit and vegetables, and of ready-to-eat products, and have detect low levels, but significant of Salmonella sp., E. coli and Listeria spp., including L.monocytogenes, in retail markets and Supermarkets of Catalonia. Due to this reason, we started a project consisting of Developing application of lactic acid bacteria (LAB) obtained from these products, as biopreservatives. LAB were abundant in ready-to-eat fresh fruits and vegetables, specially in germinated seeds. From these products we obtained strains of Leuconostoc, Lactobacillus and Weissella, producing bacteriocins and with a Significant activity of control of L.monocytogenes in fresh apple and cut salad. Ather strains were efective in the inhibition of fungal rot during postharvest caused by Penicillium expansum

Miguel de Unamuno and Heraclitus: from ‘The Eternal Elegy’ (‘La elegía eterna’) to ‘The Cut Flower’(‘La flor tronchada’)

The aim of this brief article is to demonstrate and analyze the influence of Heraclitus’s thought on some of the poems written by Miguel de Unamuno, in particular ‘La elegía eterna’ and ‘La flor tronchada’. At times –as in ‘La elegía eterna’– Heraclitus merely serves as a sort of a walking stick, an aid to his efforts to poetically reveal his anxieties. On other occasions –as in ‘La flor tronchada’– he genuinely needs Heraclitus’s philosophy to illustrate his view of human life and its relation to God as unending warfare.

Reproductive morphology in Mediterranean Seirospora giraudyi (Ceramiales, Rhodophyta)

This paper presents a detailed description of the reproductive characters of Mediterranean Seirospora giraudyi based on fresh material collected in the northwestern coast of Spain. Vegetative cells are uninucleate. The plant is monoecious. Spermantangial parent’s cells are clustered on modified dwarf determinate filaments, usually situated on adaxial surfaces of branches. One to four spermatia are formed by elongation and proximal divisions of the spermatangial parent cells. Spermatium with a nucleus situated ina mec. The thallus is procarpic. The four-celled carpogonial branch is initially L-shaped, and it is situated on a periaxial supporting fertile axial cell. The mature carpogonial branch is U-shaped and the supporting cell and second periaxial cell enlarge and divide transversely to reproduce a pair uninicleate auxiliary cell. The nucleus in the ferlilized carpogonium divides twice and the carpogonium cleaves vertically into two cells that, turn, cut off a pair of uninucleate connecting cells that fuse with the auxiliary cells on opposite sides; the diploid nuclei in the connecting cells divide at the site of fusion and one of the nuclei enters the auxiliary cell white the other is extruded. Each auxiliary cell gives to a terminal primary gonimolobe initials. Gonimolobes form lax chains of carposporangia. As the gonimoblasts mature, both lobes of the foot cell which is situated on the supporting cell elongate the upper one secondary connecting with the supporting cell, and the lower one with the fertile axial cell. The gonimoblasts are subtended at maturity by one to several clusters of involucral flaments. Seirospora is currently placed in the tribe Euptiloteae; however the reproductive character of S.giraudyi is dentical to those described for the Cañllithamnieae. Molecular studies are needed to confirm the taxonomic position of S.giraudyi as well as that of the other species placed Seirospora

Heterogeneous products and tests for an appropriate aggregation level considering different qualities: evidence from fresh hake at Barcelona’s wholesale market

[cat] Aquest estudi destaca la importància de considerar un nivell d’agregació adequat en els anàlisis de demanda, ja que treballar utilitzant un nivell d’agregació inadequat pot donar lloc a estimacions esbiaixades. Aquest fet es mostra a través de l’anàlisi de diferents productes de lluç fresc comercialitzats a Mercabarna, el mercat majorista de Barcelona. La literatura sobre la demanda de peix tracta al lluç com un únic producte i espècie. No obstant això, en el mercat espanyol, es comercialitzen molts peixos com a lluç, els quals mostren comportaments molt diferents (des de béns inferiors fins a béns de luxe). Els resultats obtinguts, en concordança amb les observacions empíriques, demostren que l’anàlisi s’ha de realitzar amb un major grau de detall que a nivell d’espècie. Això qüestiona els resultats d’anteriors estudis de demanda i la majoria de les bases de dades, on l’observació del nivell d’agregació adequat dels productes no es té en compte.

Heterogeneous products and tests for an appropriate aggregation level considering different qualities: evidence from fresh hake at Barcelona’s wholesale market

[cat] Aquest estudi destaca la importància de considerar un nivell d’agregació adequat en els anàlisis de demanda, ja que treballar utilitzant un nivell d’agregació inadequat pot donar lloc a estimacions esbiaixades. Aquest fet es mostra a través de l’anàlisi de diferents productes de lluç fresc comercialitzats a Mercabarna, el mercat majorista de Barcelona. La literatura sobre la demanda de peix tracta al lluç com un únic producte i espècie. No obstant això, en el mercat espanyol, es comercialitzen molts peixos com a lluç, els quals mostren comportaments molt diferents (des de béns inferiors fins a béns de luxe). Els resultats obtinguts, en concordança amb les observacions empíriques, demostren que l’anàlisi s’ha de realitzar amb un major grau de detall que a nivell d’espècie. Això qüestiona els resultats d’anteriors estudis de demanda i la majoria de les bases de dades, on l’observació del nivell d’agregació adequat dels productes no es té en compte.