Remoção fotocatalítica de micropoluentes em meios porosos funcionalizados

Dissertação de mestrado integrado em Engenharia Civil

Evaluación y Gestión de los riesgos relacionados con la inocuidad de los alimentos, asociados al rol del consumidor, en familias con niños en edad escolar primaria de la ciudad de Córdoba

El proyecto de investigación, desde un enfoque científico, multidisciplinario y regional, tiene por objetivo general identificar, evaluar y gestionar los riesgos asociados al rol de consumidor, que atentan contra la inocuidad de los alimentos en niños que cursan el nivel primario de escolaridad de la ciudad de Córdoba. La cadena agroalimentaria se extiende desde los productores primarios hasta los consumidores. La tarea de asegurar i) una disponibilidad suficiente, ii) la idoneidad nutricional y iii) la inocuidad de los alimentos suministrados es cada vez más compleja y requiere esfuerzos considerables. La ciencia y la tecnología han avanzado, para identificar, evaluar y gestionar los riesgos relacionados con los suministros de alimentos. Sin embargo, las enfermedades transmitidas por alimentos siguen siendo un motivo de grave preocupación para los consumidores. La distribución de los brotes según el origen en la Argentina para los casos relevados desde 1993 a 2002, indica que entre los comedores y la vivienda, se concentra el 95 % de los casos. (Sistema Regional de Vigilancia Epidemiológica de las ETA del Instituto Panamericano de Protección de Alimentos y Zoonosis) Todas las partes interesadas en la cadena agroalimentaria, comparten la responsabilidad de asegurar alimentos inocuos y nutritivos, desempeñando los consumidores una función decisiva, durante su preparación, almacenamiento y consumo. Como hipótesis del presente trabajo nos planteamos que la evaluación de los riesgos asociados al rol del consumidor en la ciudad de Córdoba, permitirá identificar la prevalencia y la incidencia de las prácticas que atentan contra la preservación de la inocuidad de un alimento y contribuirá en el desarrollo de actividades de gestión de riesgos acorde a las necesidades detectadas en la población de estudio. La realización de análisis del riesgo utilizando datos locales con el fin de abordar los riesgos de interés para la región, constituye una de las recomendaciones dadas por la FAO para América Latina. Abarca tres componentes importantes (evaluación del riesgo, gestión del riesgo y comunicación del riesgo), proporcionando un enfoque sistemático y disciplinado para la adopción de medidas apropiadas en materia de inocuidad de los alimentos. Proporciona la información y las pruebas que se necesitan para adoptar decisiones eficaces, contribuyendo a la obtención de mejores resultados en materia de inocuidad de los alimentos y a la mejora de la salud pública. (FAO 2008)

Estación Astronómica Polar J. L. Sersic

- El grupo IATE del Observatorio Astronómico Córdoba está desarrollando un proyecto observacional en el antártico, desde 1989, denominado ASTROLABEL. Las observaciones se realizan en Base Antártica Belgrano, a 78º S y 34º W, siendo el sitio más adecuado según la prospección hecha en las bases argentinas de actividad permanente. - Se pretende determinar cualitativamente la aptitud de la atmósfera polar para realizar observaciones astronómicas en el rango visible del espectro. Las especiales cirscunstancias de la región, como lo son su prolongado período de oscuridad invernal, la inexistencia de contaminación atmosférica y lumínica y los bajos niveles de humedad relativa, han despertado el interés de los investigadores. - Las tareas se desarrollan en convenio con el Instituto Antártico Argentino (IAA). Objetivos Se pretende determinar cualitativa y cuantitativamente las condiciones del cielo del lugar, para la ejecución de trabajos astronómicos de interés. (...) La disponibilidad de muchas horas de observación continuada hace posible el monitoreo de estrellas con una frecuencia de varias veces al día, lo que permitirá obtener su curva de luminosidad completa, sin interrumpir las observaciones por la salida del sol. Esta situación es la que permitirá la observación de Eta Carina, estrella que presenta bruscos y sorprendentes cambios en su luminosidad. Similar es el caso de las estrellas variables R Corona Borealis con cambios esporádicos, aunque de bajo valor en su brillo. Estas observaciones demandan de un monitoreo constante y con una frecuencia de al menos dos o tres veces diarias. Se pretende obtener una conclusión sobre la transparencia en el UV, cuando se produce la apertura de la depresión de ozono, para lo cual se obtendrá una correlación entre las mediciones de los índices de esa banda y las mediciones de ozono hechas en el lugar con medidores Brewer y EVA. También se tomarán datos con radiómetro de sol durante el verano.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

PIDD orchestrates translesion DNA synthesis in response to UV irradiation.

PIDD has been implicated in survival and apoptotic pathways in response to DNA damage, and a role for PIDD was recently identified in non-homologous end-joining (NHEJ) repair induced by γ-irradiation. Here, we present an interaction of PIDD with PCNA, first identified in a proteomics screen. PCNA has essential functions in DNA replication and repair following UV irradiation. Translesion synthesis (TLS) is a process that prevents UV irradiation-induced replication blockage and is characterized by PCNA monoubiquitination and interaction with the TLS polymerase eta (polη). Both of these processes are inhibited by p21. We report that PIDD modulates p21-PCNA dissociation, and promotes PCNA monoubiquitination and interaction with polη in response to UV irradiation. Furthermore, PIDD deficiency leads to a defect in TLS that is associated, both in vitro and in vivo, with cellular sensitization to UV-induced apoptosis. Thus, PIDD performs key functions upon UV irradiation, including TLS, NHEJ, NF-κB activation and cell death.

Efectos de lo real. Discursos acerca de los cuerpos artificiales

Los cuerpos artificiales ( muñecos, autómatas, maniquíes) son tratados a través de tres tipos de discurso: del artificio, de la mirada y del deseo. Esta perspectiva permite abordarlos, no como representaciones ni como dobles (Döppelgänger) sino como significantes en el discurso , como objetos de deseo y como puntos de articulación de la mirada. En el discurso del artificio se pasa revista al binomio natural/artificial y , a través de distintos textos , El tratado de Hombre de René Descarrtes, la “teoría de los maniquíes” y la “generatio aequivoca” de Bruno Schulz, y el film Jidlo (Comida) de Jan Svankmajer, se hace lo propio con los paradigmas desde los que se ha metaforizado al cuerpo humano. En el discurso de la mirada, se los aborda desde la perspectiva psicoanalítica del campo escópico, a través de El hombre de la arena, de ETA Hoffmann. Los discursos del deseo tratan de algunos aspectos de esta pulsión : el deseo masculino desde La Eva futura de Villiers de l’Isle Adam, el “deseo de hijo”, a través del film Otesánek de Jan Svankmajer y la genericidad del deseo en dos novelas de Gaston Leroux , La muñeca sangrienta y la máquina de asesinar . Los cuerpos artificiales, así, podrían ser considerados, en su potencia significativa, no ya como dobles , sino como efectos de lo real, como “pequeños otros”, como “objetos a” lacanianos y como simulacros.

Index theory for basic Dirac operators on Riemannian foliations

In this paper we prove a formula for the analytic index of a basic Dirac-type operator on a Riemannian foliation, solving a problem that has been open for many years. We also consider more general indices given by twisting the basic Dirac operator by a representation of the orthogonal group. The formula is a sum of integrals over blowups of the strata of the foliation and also involves eta invariants of associated elliptic operators. As a special case, a Gauss-Bonnet formula for the basic Euler characteristic is obtained using two independent proofs.

D’Ermua a Patxi López (1997-2009): la complicitat de la premsa amb la política espanyola al País Basc

“D’Ermua a Patxi López (1997-2009): la complicitat de la premsa amb la política espanyola al País Basc” versa sobre la connivència de determinats mitjans de comunicació escrits a Madrid, principalment, amb una estratègia política d’Estat. Una estratègia instigada pels governs del Partit Popular (1996-2004) que perseguia estigmatitzar el conjunt del nacionalisme basc associant-lo al terrorisme de l’organització ETA. Es tractava d’una campanya d’intoxicació de l’opinió pública per desacreditar el govern del PNB a Vitòria i, així, fer possible l’alternança política. Tanmateix, el fracàs del tàndem PP-PSE a les eleccions basques de 2001 dóna pas al perfeccionament de l’alternança, per mitjà de l’aprovació de la Llei de Partits Polítics (2002) que possibilità la posterior il•legalització de l’esquerra abertzale, tot fent-la fora del joc parlamentari.

A constitutively active mutant of the alpha 1B-adrenergic receptor can cause greater agonist-dependent down-regulation of the G-proteins G9 alpha and G11 alpha than the wild-type receptor.

Rat 1 fibroblasts transfected to express either the wild-type hamster alpha 1B-adrenergic receptor or a constitutively active mutant (CAM) form of this receptor resulting from the alteration of amino acid residues 288-294 to encode the equivalent region of the human beta 2-adrenergic receptor were examined. The basal level of inositol phosphate generation in cells expressing the CAM alpha 1B-adrenergic receptor was greater than for the wild-type receptor, The addition of maximally effective concentrations of phenylephrine or noradrenaline resulted in substantially greater levels of inositol phosphate generation by the CAM alpha 1B-adrenergic receptor, although this receptor was expressed at lower steady-state levels than the wild-type receptor. The potency of both phenylephrine and noradrenaline to stimulate inositol phosphate production was approx. 200-fold greater at the CAM alpha 1B-adrenergic receptor than at the wild-type receptor. In contrast, endothelin 1, acting at the endogenously expressed endothelin ETA, receptor, displayed similar potency and maximal effects in the two cell lines. The sustained presence of phenylephrine resulted in down-regulation of the alpha subunits of the phosphoinositidase C-linked, pertussis toxin-insensitive, G-proteins G9 and G11 in cells expressing either the wild-type or the CAM alpha 1B-adrenergic receptor. The degree of down-regulation achieved was substantially greater in cells expressing the CAM alpha 1B-adrenergic receptor at all concentrations of the agonist. However, in this assay phenylephrine displayed only a slightly greater potency at the CAM alpha 1B-adrenergic receptor than at the wild-type receptor. There were no detectable differences in the basal rate of G9 alpha/G11 alpha degradation between cells expressing the wild-type or the CAMalpha 1B-adrenergic receptor. In both cell lines the addition of phenylephrine substantially increased the rate of degradation of these G-proteins, with a greater effect at the CAM alpha 1B-adrenergic receptor. The enhanced capacity of agonist both to stimulate second-messenger production at the CAM alpha 1B-adrenergic receptor and to regulate cellular levels of its associated G-proteins by stimulating their rate of degradation is indicative of an enhanced stoichiometry of coupling of this form of the receptor to G9 and G11.

The analysis of the framing processes of the Basque peace movement: The way Lokarri and Gesto por la Paz changed society

During more than 20 years organisations like Gesto por la Paz and Lokarri had been trying to change the social approach to violence, instilling values of peace and dialogue. This working paper defends the idea that the work of these two organisations is key to understand the end of ETA violence and the lack of support that political violence has in the Basque Country. It develops the Basque peace frame generated by this movement and explains how this frame is present in the different levels of Basque society, changing the way political collective identities are negotiated in the Basque Country. Ultimately, their effort is to propose another way of doing politics, one where nationalism and violence are not intrinsically united, escaping from the polarization and confrontation that were in place during the 80s-90s.

GateKeeper - Käyttäjienhallintaohjelma

Tämän insinöörityön tavoitteena oli suunnitella ja toteuttaa selainpohjainen käyttäjienhallintaohjelma GateKeeper Karttakeppi.com-työryhmälle. GateKeeper-ohjelma kuuluu osana laajempaan ohjelmistoprojektiin, jonka tarkoituksena on tuottaa opetusmateriaalia etäopiskelijoille Internetissä. Etäopetusmateriaalin tuottamisessa käytetään useita ohjelmia, joille on määriteltävä eritasoisia käyttäjätunnuksia ja käyttöoikeuksia. Ohjelmien käyttäjienhallintamekanismit ovat erilaisia, mikä osaltaan lisää järjestelmän ylläpitäjien työtä ja vastuuta. GateKeeper-ohjelman tavoitteena on nopeuttaa, helpottaa ja yksinkertaistaa käyttäjienhallintaan liittyviä toimintoja tietoturvallisesti. GateKeeper-ohjelma on suunniteltu siten, että uusien käyttäjien ja ohjelmien lisäämiselle ei ole asetettu rajoja. Jokaisen lisättävän ohjelman yhteydessä on kuitenkin selvitettävä kyseisen ohjelman käyttäjienhallintamekanismi. Tässä insinöörityössä tutkittiin, miten versionhallintaohjelma Subversionin, julkaisujärjestelmä Mambon, sekä oppimisalusta Moodlen käyttäjiä voidaan keskitetysti hallinnoida GateKeeper-ohjelman avulla. GateKeeper-ohjelma noudattaa arkkitehtuuriltaan kolmikerrosmallia, jossa käyttöliittymä, sovelluslogiikka ja tietovarasto on erotettu toisistaan. Ohjelma koostuu joukosta PHP-kielellä toteutettuja dynaamisia web-sivuja. Tietovarastona käytetään tietokantapalvelimella sijaitsevaa MySQL-tietokantaa.

Rakennustekniikan lämpökuvauspalvelujen kehittäminen

Tämä insinöörityö tehtiin Helsingin ammattikorkeakoulu Stadian Rakennustekniikan koulutusohjelmalle. Helsingin ammattikorkeakoulu Stadia on yksi Suomen suurimmista ammattikorkeakouluista, jonka opiskelijat ovat valmistuessaan alansa asiantuntijoita. Työn tavoitteena oli kehittää Rakennustekniikan koulutusohjelman tuottamia lämpökuvauspalveluja. Työssä selvitettiin, mitkä ovat lämpökuvauspalvelujen kehittämiskohteet ja mihin kehittämistoimenpiteisiin tulisi ryhtyä, jotta palvelujen menestyksekäs tuottaminen tulevaisuudessa varmistetaan. Työ aloitettiin perehtymällä palvelujen johtamisen ja kehittämisen menetelmiin sekä lämpökuvaamisen teknologiaan ja perusteisiin. Lämpökuvauspalvelujen kehittämismenetelmäksi valittiin palveluprosessin kuvaaminen ja siihen kytkeytyvän teknologian, osaamisen ja asiakassuhteiden kehittäminen. Työssä laadittiin seuraavaksi prosessikuvaus lämpökuvauspalveluille, määritettiin prosessiin kytkeytyvä teknologia ja osaaminen sekä kuvattiin palvelun asiakassuhteiden hoitomalli. Kuvausten perusteella kartoitettiin keskeiset kehittämiskohteet ja arvioitiin kehittämismahdollisuuksia. Työn lopputuloksena syntyi lämpökuvauspalvelujen prosessikuvaus sekä toimenpidesuositukset kehittämistoimenpiteistä. Keskeisinä suosituksina kehittämistoimenpiteiksi esitetään panostamista ajantasaiseen lämpökuvausteknologiaan hankkimalla uusi lämpökamera, palveluhenkilöstön osaamisen kehittämistä valmennuksia hyödyntäen sekä systemaattista asiakassuhteiden hoitoa ryhtymällä perusmarkkinointitoimenpiteisiin. Jatkotutkimuskohteeksi ehdotetaan selvitystä Rakennustekniikan koulutusohjelman lämpökuvauslaboratorion perustamismahdollisuuksista.

Kuka kesyttäisi teknologian?

Kalle Michelsen