Ciencias, filosofía, fe

Resumen: Los nuevos conocimientos que traen las ciencias y las explicaciones que proponen son todo un tema de reflexión para los científicos, los filósofos y los que se preocupan de pensar en su fe y en su religión. Estos problemas son múltiples y variados, pero tienen un núcleo en cuanto se presentan en la relación Ciencias- Filosofía y Ciencias-Teología. ¿Podemos decir o considerar que revelan la misma problemática? Este trabajo quiere contestar a esta pregunta, esperando mostrar que existe una problemática general más apropiada de aquella en la que los problemas están tratados hoy en día.

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Museos, memoria y turismo

Cap. 1. Museos y patrimonio: de la distancia retórica a la interlocución democrática. Iñaki Díaz Balerdi. Cap. 2. Au coeur des conflits entre memoire, histoire et developpement economique, les nouveaux enjeux des musees de société aujourd’hui. François Hubert. Cap. 3. Elites, Instituciones Públicas, identidad cultural y turismo en los orígenes del Museo Municipal de Donostia-San Sebastián. Iñaki Arrieta Urtizberea. Cap. 4. Los orígenes de la museografía etnográfica en Cataluña: el Arxiu-Museu Folklòric de Ripoll. Oriol Beltran Costa. Cap. 5. Museo de la Pesca en Palamós: espacio para la memoria de los pescadores. Miquel Martí i Llambrich. Cap. 6. Arqueología y museos en Gipuzkoa; las experiencias del Centro de Estudios ARKEOLAN (1986-2005). Mª Mercedes Urteaga Artigas. Cap. 7. Penser un Musée des Confluences: un autre discours sur soi et les autres que soi. Thierry Valentin. Cap. 8. Turismo cultural y museos: oportunidades de desarrollo comunes. El caso de Cesis, Letonia. María Fernández Sabau. Cap. 9. La gestión y el uso turístico de los museos: la experiencia de Barcelona. Jordi Juan Tresserras y Juan Carlos Matamala. Cap. 10. Museos, turismo y desarrollo local en el norte de Portugal: el Ecomuseo del Barroso. Xerardo Pereiro. Cap. 11. Turismo y patrimonio cultural en las pequeñas y medianas ciudades: el Barri Vell de Girona y el Museu d’Art de Girona. Josep Manuel Rueda Torres.

About tree-depth

In this work I present recent scientific papers related to the concept of tree-depth: different characterizations, a game theoretic approach to it and recently discovered applications. The focus in this work is presenting all the ideas in a self-contained way, such that they can be easily understood with little previous knowledge. Apart from that all the ideas are presented in a homogeneous way with clear examples and all the lemmas, some of which didn’t have proofs in the papers, are presented with rigorous proofs.

Restricciones de igualdad sobre el dominio de los naturales

El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones, incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.

Treewidth: theory and applications to computer science

This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that are not familiar with the notation. In Chapter 2, the definition of treewidth and some different ways of characterizing it are explained. The last two chapters focus on the algorithmic implications of treewidth, which are very relevant in Computer Science. An algorithm to compute the treewidth of a graph is presented and its result can be later applied to many other problems in graph theory, like those introduced in the last chapter.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Repeated concanavalin A challenge in mice induces an interleukin 10-producing phenotype and liver fibrosis.

Weekly injections of Concanavalin A (Con A) were performed in BALB/c mice to evaluate the pattern of cytokine production and liver injury. High serum levels of tumor necrosis factor alpha (TNF-alpha), interleukin 2 (IL-2), IL-4, and interferon gamma (IFN-gamma) were found in the serum after the first 2 injections of Con A but rapidly decreased from the third injection. Conversely, IL-10 serum levels after repeated Con A challenge increased by 7 times from week 1 to 20. In vivo depletion studies indicated that CD4(+) T cells are essential in IL-10 production. Hepatocyte necrosis was only observed after the first injections of Con A whereas centrilobular inflammatory infiltrates persisted up to 20 weeks. Perisinusoidal liver fibrosis was also increasingly detected in BALB/c mice, whereas no fibrous change was observed in nude mice after 6 weeks of Con A challenge. The number of stellate cells, detected by immunostaining, increased after 20 weeks of Con A injections. Liver cytokine messenger RNA (mRNA) expression after 20 weeks showed expression of transforming growth factor beta1 (TGF-beta1), IL-10, and IL-4 whereas IL-2 was no more expressed. The present study shows that mice repeatedly injected with Con A develop liver fibrosis. The cytokine-release pattern observed after 1 injection of Con A is rapidly shifted towards an immunomodulatory phenotype characterized by the systemic production of large amounts of IL-10.

Critical role of interleukin 5 and eosinophils in concanavalin A-induced hepatitis in mice.

BACKGROUND & AIMS: Eosinophils are observed in several liver diseases, but their contribution in the pathogenesis of these disorders remains poorly investigated. Concanavalin A (Con A)-induced hepatitis is an experimental model of immune-mediated liver injury in which natural killer T (NKT) cells play a critical role through the production of interleukin (IL)-4 and the expression of Fas ligand (FasL). Because activated NKT cells also produce IL-5, a critical cytokine for eosinophil maturation and function, the role of IL-5 was investigated in this model. METHODS: IL-5-deficient mice, eosinophil depletion in wild-type (WT) mice, and NKT cell transfer from WT- or IL-5-deficient mice into NKT cell-deficient mice were used to assess the role of IL-5 and eosinophils. RESULTS: Liver eosinophil infiltrate and IL-5 production were observed after Con A challenge. Liver injury was dramatically reduced in IL-5-deficient or eosinophil-depleted mice. In addition, residual hepatitis observed in Fas-deficient mice was abolished after IL-5 neutralization. Finally, we showed that NKT cells constituted a critical source of IL-5. Indeed, transfer of WT NKT cells to mice lacking NKT cells restored liver injury, whereas transfer of IL-5-deficient NKT cells did not. CONCLUSIONS: These observations highlight the pathologic role of IL-5 and eosinophils in experimental immune-mediated hepatitis.

TALLY HORN! ECHOES OF HOOFBEATS AND HAUNTS: RECORDED SELECTIONS FOR HORN AND PIANO

In the 17th and 18th centuries, the European hunting horn was an instrument associated with the thrill of the chase, rustic scenes, and the pageantry of royal hunts. The sound of this horn and the music that evolved from its heritage would inspire composers writing for the modern horn. TALLY HOrn! Echoes of Hoofbeats and Haunts: Recorded Selections for Horn and Piano are two compact discs of works for horn and piano as well as solo horn reflecting this association with the hunt and include additional works of expressive contrast – lyrical pieces and nocturnes. Nine of the pieces reflect the modern horn’s beginnings and they are Abbot’s Alla Caccia, Berge’s Horn-Lokk, Boutry’s Chassacor, Bozza’s En Fôret, Büsser’s La Chasse de St. Hubert, Pessard’s In the Forest, Piantoni’s Air de Chasse, Schmid’s Im Tiefsten Walde, and Vinter’s Hunter’s Moon. By contrast, three of the selections, Gliére’s Nocturne, Strauss’ Nocturno, and Van Ecchaute’s Nachtpoëma are nocturnes that showcase the expressive quality of the horn. In addition, Bush’s Autumn Poem, Bacon’s Song After the Rain, and Webber’s Summer Pastures are included for their lyric qualities and evocations of nature. The largest work of the project is John Williams’s Concerto for Horn. Its five movements feature both hunting horn traits and expressive qualities. Alejandro Hernandez-Valdez and Grace Cho were the two pianists engaged for the recording. The recording engineer was Edward Kelly. The producer was Carlos Rodriquez. The pieces were recorded at the Spencerville Seventh-day Adventist Church sanctuary in Spencerville, Maryland between November 2010 and February 2011.

Algae-Based Purification of Landfill Biogas Using a CO2 Removal System and Helical Photobioreactor in Series

Biogas is a mixture of methane and other gases. In its crude state, it contains carbon dioxide (CO2) that reduces its energy efficiency and hydrogen sulfide (H2S) that is toxic and highly corrosive. Because chemical methods of removal are expensive and environmentally hazardous, this project investigated an algal-based system to remove CO2 from biogas. An anaerobic digester was used to mimic landfill biogas. Iron oxide and an alkaline spray were used to remove H2S and CO2 respectively. The CO2-laden alkali solution was added to a helical photobioreactor where the algae metabolized the dissolved CO2 to generate algal biomass. Although technical issues prevented testing of the complete system for functionality, cost analysis was completed and showed that the system, in its current state, is not economically feasible. However, modifications may reduce operation costs.

Salvianolic Acid B Inhibits Growth of Cervical Cancer Cells in vitro via Induction of Apoptosis through the Extrinsic Pathway

In 2014 alone, over 12,000 women are expected to be diagnosed with cervical cancer. Of these women who are diagnosed, about 3,909 will result in death. Despite developments in prevention methods, cervical cancer remains a major health concern for women. Growing evidence suggests that Salvianolic acid B (Sal B), a major component of the Chinese herb Danshen, may inhibit cancer cell growth and help fight against cervical cancer. This study characterizes the potential of Sal B as a cervical cancer drug through in vitro testing on HeLa cells. We hypothesized that application of Sal B to HeLa cells will result in decreased cell viability and increased apoptosis in a dose dependent manner. HeLa cells were treated with varying concentrations of Sal B: 25µM, 50µM, 100µM, and 200µM. Cell viability was determined through colony formation assay, cell death ELISA, and nuclear morphology. An inhibitor study was also conducted for further apoptosis pathway analysis. Colony formation assay demonstrated a significant decrease in cell viability with increasing concentrations of Sal B with 75% viability at 50µM down to 0% viability at 200µM. Cell death ELISA and the analysis of nuclear morphology via Hoechst staining reported significant levels of apoptosis at concentrations equal to 50µM and greater. Furthermore, experiments using caspase inhibitors indicated that Sal B’s apoptotic effects are caspase-8 dependent. In conclusion, our results demonstrate that Sal B inhibits cancer cell growth by a mechanism that involves apoptosis induction through the extrinsic pathway.