2,143 research outputs found
Reactivity and fate of secondary alkane sulfonates (SAS) in marine sediments
This research is focused on secondary alkane sulfonates (SAS), anionic surfactants widely used in household applications that access aquatic environments mainly via sewage discharges.We studied their sorption capacity and anaerobic degradation in marine sediments, providing the first data available on this topic. SAS partition coefficients increased towards those homologues having longer alkyl chains(from up to 141 L kg 1 for C14 to up to 1753 L kg 1 for C17), which were those less susceptible to undergo biodegradation. Overall, SAS removal percentages reached up to 98% after 166 days of incubation using anoxic sediments. The degradation pathway consisted on the formation of sulfocarboxylic acids after an initial fumarate attack of the alkyl chain and successive b-oxidations. This is the first study showing that SAS can be degraded in absence of oxygen, so this new information should be taken into account for future environmental risk assessments on these chemicals
Induction, minimization and collection for Δ n+1 (T)–formulas
For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend on Th Πn +2 (T), the Πn+2 –consequences of T. The first condition is connected with descriptions of Th Πn +2 (T) as IΣ n plus a class of nondecreasing total Πn –functions, and the second one is related with the equivalence between Δ n+1 (T)–formulas and bounded formulas (of a language extending the language of Arithmetic). This last property is closely tied to a general version of a well known theorem of R. Parikh. Using what we call Πn –envelopes we give uniform descriptions of the previous classes of nondecreasing total Πn –functions. Πn –envelopes are a generalization of envelopes (see [10]) and are closely related to indicators (see [12]). Finally, we study the hierarchy of theories IΔ n+1 (IΣ m ), m≥n, and prove a hierarchy theorem.Ministerio de Educación y Cultura DGES PB96-134
Local induction and provably total computable functions
Let I¦−
2 denote the fragment of Peano Arithmetic obtained by restricting the
induction scheme to parameter free ¦2 formulas. Answering a question of R.
Kaye, L. Beklemishev showed that the provably total computable functions
of I¦−
2 are, precisely, the primitive recursive ones. In this work we give a new
proof of this fact through an analysis of certain local variants of induction
principles closely related to I¦−
2 . In this way, we obtain a more direct answer
to Kaye’s question, avoiding the metamathematical machinery (reflection
principles, provability logic,...) needed for Beklemishev’s original proof.
Our methods are model–theoretic and allow for a general study of I¦−
n+1
for all n ¸ 0. In particular, we derive a new conservation result for these
theories, namely that I¦−
n+1 is ¦n+2–conservative over I§n for each n ¸ 1.Ministerio de Ciencia e Innovación MTM2008–06435Ministerio de Ciencia e Innovación MTM2011–2684
La dignidad de las ruinas. Un testimonio de Suite Habana
Indexación: Revista UNABTexto presentado en el ciclo de cine Historia de nueve ciudades, Departamento de
Humanidades, Universidad Nacional Andrés Bello, 2015.http://revistahumanidades.unab.cl//wp-content/uploads/2017/06/Nota.-La-dignidad-de-las-ruinas.pd
Carlos Gardel. Su vida, su música, su época
Desde que en 1986 apostó la University of Pittsburgh Press por publicar The life, music & times of Carlos Gardel, resurgió mundialmente el tango como música pero también como un concepto. En aquella lÃnea, el aporte del profesor Simon Collier fue crucial, pues por vez primera desde la academia se ahondaba en el estudio conjunto de la música y la biografÃa como un aporte para la historia cultural, convirtiendo al libro en un clásico
Local Induction and Provably Total Computable Functions: A Case Study
Let IΠ−2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free Π2 formulas. Answering a question of R. Kaye, L. Beklemishev showed that the provably total computable functions (p.t.c.f.) of IΠ−2 are, precisely, the primitive recursive ones. In this work we give a new proof of this fact through an analysis of the p.t.c.f. of certain local versions of induction principles closely related to IΠ−2 . This analysis is essentially based on the equivalence between local induction rules and restricted forms of iteration. In this way, we obtain a more direct answer to Kaye’s question, avoiding the metamathematical machinery (reflection principles, provability logic,...) needed for Beklemishev’s original proof.Ministerio de Ciencia e Innovación MTM2008–0643
Determination and occurrence of secondary alkane sulfonates (SAS) in aquatic environments
A new methodology has been developed for the determination of secondary alkane sulfonates (SAS), an anionic surfactant, in environmental matrices. Sediment and sludge samples were extracted using pressurized liquid extraction and sonication, whereas wastewater and surface water samples were processed using solid-phase extraction. Extraction recoveries were acceptable for both aqueous (78-120%) and solid samples (83-100%). Determination of SAS was carried out by high or ultra performance liquid chromatography e mass spectrometry using ion trap and time-of-flight detectors. The methodology was applied to samples from Guadalete River (SW Spain), where SAS concentrations below 1 mg L 1 were measured in surface water, and from 72 to 9737 mg kg 1 in sediments. Differential partitioning was observed for SAS homologues as those having a longer hydrocarbon chain which preferentially sorbed onto particulate matter. A preliminary environmental risk assessment also showed that SAS measured levels were not harmful to the aquatic community in the sampling area
Adecuación metodológica al aprendizaje por tareas del inglés en 5 años de educación infantil
El presente trabajo trata la enseñanza del inglés como lengua extranjera a través de las metodologÃas que más comúnmente se utilizan en la etapa de educación infantil, asà como en la manera de llevarlas a cabo a través del enfoque por tareas y la forma de conecta las distintas actividades. Además también expone una propuesta de innovación educativa, en la que se exponen diversas actividades adaptadas a una clase de lengua extranjera, inglés, de cinco años, en las que se explica la metodologÃa con la que esas actividades son llevadas a cabo. Aunque estas actividades no se han llevado a cabo, están basadas en la observación de una clase de inglés de estas caracterÃsticas, por lo que se ha podido observar que metodologÃas son las más eficientes para la enseñanza de este idioma.Grado en Educación Infanti
Existentially Closed Models in the Framework of Arithmetic
We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.Ministerio de Educación y Ciencia MTM2011–2684
Identificación de nuevos agentes reguladores del inflamasoma: posibilidades para el desarrollo de fármacos antiinflamatorios
El contenido de esta revisión parte de un conocimiento global sobre el inflamasoma.
Comenzando por los receptores de reconocimiento de patrones o PRR, que pueden tener
una localización transmembranal o bien en orgánulos intracelulares. Los PRR se unen a
ligandos que van a permitir que se desencadene el proceso de regulación o activación de
los inflamasomas. Hay distintos tipos clasificados, según su modo de activación, en
canónicos y no canónicos y también en distintas familias. El más conocido es el
inflamasoma NLRP3, que se trascribe en respuesta a diversos estÃmulos y en su
ensamblaje participa ASC y caspasa-1, activándose la última y produciéndose la
liberación de IL-1β e IL-18 que da lugar a procesos inflamatorios de muerte celular.
Algunas enfermedades como la fibromialgia, las enfermedades inflamatorias
intestinales y las enfermedades cardiovasculares son causadas por la activación del
inflamasoma.
El conocimiento del proceso que da lugar a la activación y regulación del inflamasoma
abre una ventana para reconocer posibles agentes reguladores que permitan tratar las
patologÃas en las que interviene. Actualmente se ha conocido el mecanismo de acción de
moléculas como el levornidazol (que disminuye la liberación de ROS, el creosol que
reduce la expresión de NLRP3 y de proIL-1β), el resveratrol (inhibidor de la α-tubulina
desacetilasa), la melatonina (que presenta efectos inhibidores sobre NF- κβ, suprime la
liberación de histonas extracelulares e impide la expresión de genes que traducen el
NLRP3), partenolida y BH 11-7082 (con capacidad de alquilar restos de cisteÃna que
inhiben la activación de NF- κβ), el aspartato y glutamato (que van a inhibir la
transcripción de la proteÃna NLRP3 y de la pro-IL- 1β al activar los canales NMDA) y
el γ-tocotrienol (que actúa inhibiendo la señalización de NF-κB).Universidad de Sevilla. Grado en Farmaci
- …