Interação cultural e interpretatio na epigrafia votiva: o caso da fachada ocidental do conuentus Bracaraugustanus

Dissertação de mestrado em Arqueologia

Uma cultura de construção que constrói cultura: a comunicação estratégica do grupo dst

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

O reforço da democracia local no âmbito da reforma da administração autárquica

Dissertação de mestrado em Direito das Autarquias Locais

As Inteligências Múltiplas no processo de ensino-aprendizagem de ELE

Relatório de estágio de mestrado em Ensino de Inglês e Espanhol no 3º Ciclo do Ensino Básico e no Ensino Secundário

Conversion of Cn-unsaturated into Cn-2-saturated LCFA can occur uncoupled from methanogenesis in anaerobic bioreactors

Fat, oils, and grease present in complex wastewater can be readily converted to methane, but the energy potential of these compounds is not always recyclable, due to incomplete degradation of long chain fatty acids (LCFA) released during lipids hydrolysis. Oleate (C18:1) is generally the dominant LCFA in lipid-containing wastewater, and its conversion in anaerobic bioreactors results in palmitate (C16:0) accumulation. The reason why oleate is continuously converted to palmitate without further degradation via β-oxidation is still unknown. In this work, the influence of methanogenic activity in the initial conversion steps of unsaturated LCFA was studied in 10 bioreactors continuously operated with saturated or unsaturated C16- and C18-LCFA, in the presence or absence of the methanogenic inhibitor bromoethanesulfonate (BrES). Saturated Cn-2-LCFA accumulated both in the presence and absence of BrES during the degradation of unsaturated Cn-LCFA, and represented more than 50\% of total LCFA. In the presence of BrES further conversion of saturated intermediates did not proceed, not even when prolonged batch incubation was applied. As the initial steps of unsaturated LCFA degradation proceed uncoupled from methanogenesis, accumulation of saturated LCFA can be expected. Analysis of the active microbial communities suggests a role for facultative anaerobic bacteria in the initial steps of unsaturated LCFA biodegradation. Understanding this role is now imperative to optimize methane production from LCFA.

A critical evaluation of methods for the reconstruction of tissue-specific models

Under the framework of constraint based modeling, genome-scale metabolic models (GSMMs) have been used for several tasks, such as metabolic engineering and phenotype prediction. More recently, their application in health related research has spanned drug discovery, biomarker identification and host-pathogen interactions, targeting diseases such as cancer, Alzheimer, obesity or diabetes. In the last years, the development of novel techniques for genome sequencing and other high-throughput methods, together with advances in Bioinformatics, allowed the reconstruction of GSMMs for human cells. Considering the diversity of cell types and tissues present in the human body, it is imperative to develop tissue-specific metabolic models. Methods to automatically generate these models, based on generic human metabolic models and a plethora of omics data, have been proposed. However, their results have not yet been adequately and critically evaluated and compared. This work presents a survey of the most important tissue or cell type specific metabolic model reconstruction methods, which use literature, transcriptomics, proteomics and metabolomics data, together with a global template model. As a case study, we analyzed the consistency between several omics data sources and reconstructed distinct metabolic models of hepatocytes using different methods and data sources as inputs. The results show that omics data sources have a poor overlapping and, in some cases, are even contradictory. Additionally, the hepatocyte metabolic models generated are in many cases not able to perform metabolic functions known to be present in the liver tissue. We conclude that reliable methods for a priori omics data integration are required to support the reconstruction of complex models of human cells.

Potenciar a competência comunicativa e sociocultural através de documentos audiovisuais na aula de espanhol língua estrangeira

Relatório de estágio de mestrado em Ensino de Português no 3º Ciclo do Ensino Básico e Ensino Secundário e de Espanhol nos Ensinos Básico e Secundário

Self-reported psychosocial factors among In Vitro Fertilization patients interviewed alone or with the partner

"Published online: 07 Nov 2015"

Revisitando a Teoria da Guerra Justa: uma análise das propostas de Michael Walzer e Jeff McMahan

Dissertação de mestrado em Filosofia Política

A tradução de negócios e projetos on-line na empresa Bloomidea

Relatório de estágio de mestrado em Tradução e Comunicação Multilingue

E-government e participação política em Portugal

Dissertação de Mestrado em MPA - Administração Pública

Evaluación del efecto del láser y magnetoterapia en miopatía experimental valorando biomarcadores de estrés oxidativo, histomorfometría y actividad enzimática mitocondrial. Evaluation of the effect of laser and magnetic therapy in experimental myopathy assessing oxidative stress biomarkers, histomorphometry and mitochondrial enzyme activity

El láser de baja y media energía y la magnetoterapia son utilizados en desórdenes osteomioarticulares por sus efectos analgésico, antiinflamatorio y trófico, entre los más destacados. Sin embargo, son insuficientes las investigaciones sobre su mecanismo de acción y antecedentes científicos que avalen sus efectos. Es por ello, que la determinación de acontecimientos celulares y moleculares que ocurren durante la interacción de estos tipos de energía con el sistema muscular, sería relevante para el conocimiento y optimización de tales terapias en las ciencias biomédicas. En las miopatías inflamatorias idiopáticas, se encuentra afectada la estructura, morfología y bioquímica del tejido muscular. La energía que éste requiere para el normal funcionamiento es generada en la mitocondria. Esta organela también es la responsable de la generación de especies oxidantes provocando estrés oxidativo y el inicio de los procesos de apoptosis. Por lo antes dicho, consideramos que la determinación de los biomarcadores inflamatorios asociados a estrés oxidativo, realizando el análisis histomorfométrico ultraestructural y valorando la actividad de los complejos enzimáticos mitocondriales, permitiría una evaluación de la acción terapéutica del láser y la magnetoterapia en un modelo experimental de miopatía. Para ello se propone evaluar el efecto de la magnetoterapia y del láser de baja energía (He-Ne y As.Ga) en miopatía experimental determinando indicadores inflamatorios asociados a estrés oxidativo, análisis histomorfométrico y valoración de la actividad enzimática mitocondrial. Específicamente: -Determinar indicadores inflamatorios y de estrés oxidativo: Oxido Nítrico, Grupos carbonilos, L-citrulina, Fibrinógeno, Superóxido dismutasa, Glutation peroxidasa y Catalasa por espectrofotometría. -Identificar los cambios anatomopatológicos del músculo esquelético por microscopía óptica (MO): cuantificación del infiltrado inflamatorio; MO de alta resolución (MOAR) y por microscopía electrónica: histomorfometría de la ultraestructura miofibrilar y mitocondrial. -Valorar las actividades enzimáticas de la citrato sintasa y de los complejos: I (NADH-ubiquinona reductasa), II (succinato-ubiquinona-reductasa) III (ubiquinona-citocromo c-reductasa) y IV (citocromo c-oxidasa); en mitocondrias de tejido muscular por espectrofotometría. -Evaluar la actividad apoptótica en las fibras musculares de los diferentes grupos por ténica de T.U.N.E.L. Las mediciones mitocondriales (por ME) y de infiltrado inflamatorio (por MO) se realizarán en un total de 5 fotos de aumentos similares en forma aleatoria por grupo estudiado (n=10). Los cambios estructurales observados se analizarán en el programa Axiovision 4.8, para cuantificar el área total ocupada, número total y grado de alteración de las mitocondrias y el porcentaje de infiltrado inflamatorio determinando el grado de inflamación. Los resultados de los datos cuantitativos se analizarán aplicando ANAVA (test de Fisher para comparaciones múltiples); y para los datos categóricos se utilizará Chi cuadrado (test de Pearson), estableciéndose un nivel de significación de p < 0.05 para todos los casos. Importancia del Proyecto: La salud y el bienestar del hombre son los logros perseguidos por las ciencias de la salud. La obtención de terapias curativas o paliativas con un mínimo de efectos colaterales para el enfermo se incluye en estos logros. Por esto y todo lo anteriormente expuesto es que consideramos de gran importancia poder esclarecer desde las ciencias básicas los efectos celulares y moleculares en modelos experimentales la acción de la terapia con láser y magnetoterapia para una aplicación clínica con base científica en todas las áreas de las Ciencias Médicas. In the idiopathic inflammatory myopathies, is affected the structure, morphology and biochemistry of muscle tissue. The mitochondria is responsible for the generation of oxidizing species leading to oxidative stress and the beginning of the process of apoptosis. As said before, we consider the determination of inflammatory biomarkers related to oxidative stress, by ultrastructural morphometric analysis and assessing the activity of mitochondrial enzyme complexes, permit an evaluation of the therapeutic action of laser and magnetic therapy in an experimental model myopathy. We propose to evaluate the effect of the treatment identifying indicators in experimental inflammatory myopathy associated with oxidative stress, histomorphometric analysis and assessment of mitochondrial enzyme activity. Specifically -determining: Nitric oxide, carbonyl groups, L-citrulline, fibrinogen, superoxide dismutase, glutathione peroxidase and catalase by spectrophotometry. -Identify the pathological changes in skeletal muscle by optical microscopy (OM): quantification of the inflammatory infiltrate, OM high resolution (MOAR) and electron microscopy, histomorphometry of myofibrillar and mitochondrial ultrastructure. -Evaluate the enzymatic activity of citrate synthase and complexes: I, II, III and IV in mitochondria muscle tissue by spectrophotometry. -Evaluate apoptotic activity in muscle fibers by TUNEL technique of Mitochondrial measurements and inflammatory infiltration (by OM) was performed in a total of 5 photos of similar increases in random by the study group (n = 10). The structural changes observed are discussed in the program Axiovision 4.8, to quantify number, degree of alteration of mitochondria and the percentage of inflammatory infiltrate determining the degree of inflammation. The results of the quantitative data were analyzed using ANOVA (Fisher test), and categorical data with Chi-square (Pearson test), establishing a significance level of p <0.05.

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.

Overcoming the supply inconsistencies of tidal current energy conversion devices

The adoption of a sustainable approach to meeting the energy needs of society has recently taken on a more central and urgent place in the minds of many people. There are many reasons for this including ecological, environmental and economic concerns. One particular area where a sustainable approach has become very relevant is in the production of electricity. The contribution of renewable sources to the energy mix supplying the electricity grid is nothing new, but the focus has begun to move away from the more conventional renewable sources such as wind and hydro. The necessity of exploring new and innovative sources of renewable energy is now seen as imperative as the older forms (i.e. hydro) reach the saturation point of their possible exploitation. One such innovative source of energy currently beginning to be utilised in this regard is tidal energy. The purpose of this thesis is to isolate one specific drawback to tidal energy, which could be considered a roadblock to this energy source being a major contributor to the Irish national grid. This drawback presents itself in the inconsistent nature in which a tidal device generates energy over the course of a 24 hour period. This inconsistency of supply can result in the cycling of conventional power plants in order to even out the supply, subsequently leading to additional costs. The thesis includes a review of literature relevant to the area of tidal and other marine energy sources with an emphasis on the state of the art devices currently in development or production. The research carried out included tidal data analysis and manipulation into a model of the power generating potential at specific sites. A solution is then proposed to the drawback of inconsistency of supply, which involves the positioning of various tidal generation installations at specifically selected locations around the Irish coast. The temporal shift achieved in the power supply profiles of the individual sites by locating the installations in the correct locations, successfully produced an overall power supply profile with the smoother curve and a consistent base load energy supply. Some limitations to the method employed were also outlined, and suggestions for further improvements to the method were made.

Impact of Intensive Physiotherapy on Cognitive Function after Coronary Artery Bypass Graft Surgery

Background: Coronary artery bypass graft (CABG) is a standard surgical option for patients with diffuse and significant arterial plaque. This procedure, however, is not free of postoperative complications, especially pulmonary and cognitive disorders. Objective: This study aimed at comparing the impact of two different physiotherapy treatment approaches on pulmonary and cognitive function of patients undergoing CABG. Methods: Neuropsychological and pulmonary function tests were applied, prior to and following CABG, to 39 patients randomized into two groups as follows: Group 1 (control) - 20 patients underwent one physiotherapy session daily; and Group 2 (intensive physiotherapy) - 19 patients underwent three physiotherapy sessions daily during the recovery phase at the hospital. Non-paired and paired Student t tests were used to compare continuous variables. Variables without normal distribution were compared between groups by using Mann-Whitney test, and, within the same group at different times, by using Wilcoxon test. The chi-square test assessed differences of categorical variables. Statistical tests with a p value ≤ 0.05 were considered significant. Results: Changes in pulmonary function were not significantly different between the groups. However, while Group 2 patients showed no decline in their neurocognitive function, Group 1 patients showed a decline in their cognitive functions (P ≤ 0.01). Conclusion: Those results highlight the importance of physiotherapy after CABG and support the implementation of multiple sessions per day, providing patients with better psychosocial conditions and less morbidity.