998 resultados para Alfieri, Martin (16..-1641) -- Portraits


Relevância:

20.00% 20.00%

Publicador:

Resumo:

El cáncer se origina por mutaciones, competición y selección natural en células somáticas de tejidos de diferentes órganos,siendo un proceso complejo y multifactorial que ocurre en una secuencia de etapas: iniciación, promoción y progresión (1). Factores hereditarios,genéticos y epigenéticos como los lípidos dietarios, estrés oxidativo, hormonas, pesticidas y otros, influyen tanto en el desarrollo como en la inhibición de esta enfermedad (2). Datos epidemiológicos y experimentales tanto nuestros como de otros laboratorios han demostrado que el consumo de dietas ricas en ácidos grasos de la familia n-3, n-6 o n-9 cambian la fluidez, la actividad de enzimas, el nivel de proteínas y favorecen la formación de moléculas bioactivas derivadas de los lípidos como los eicosanoides y endocanabinoides que modulan el proceso carcinogénico (3-15). Estos derivados lípídicos activan vias de señalización produciendo cambios especificos en la expresión génica, un proceso fundamental durante la transformación neoplásica (1-2).También ha sido demostrado que estos cambios en la expresión génica inducidos por derivados lipídicos modulan funciones en células cancerosas como proliferación y muerte celular, migración y producción de matriz extracelular (16-17). A pesar de estos conocimientos, la identidad de los derivados lipídicos implicados en la modulación de la expresión génica durante la transformación neoplásica asi como los mecanismos utilizados por estas moléculas permanecen aun poco conocidos. HIPOTESIS: En los modelos a utilizar en el presente proyecto, la variación lipídica de las membranas que se induzca por manipulación dietaria deberán generar también variaciones en los eicosanoides . endocanabinoides y otros peróxidos que afecten factores de transcripción nucleares como el p53 y GLI incidiendo en los mecanismos responsables de la muerte y proliferación de células cancerosas. OBJETIVOS: Nos proponemos establecer el impacto de dietas enriquecidas con ácidos grasos de las familias n-3, n-6 o n-9 sobre modelos experimentales in-vivo e in-vitro. Se estudiarán los ácidos grasos de membrana plasmática, la generación de eicosanoides y endocanabinoides derivados de las vias COX y LOX Además se determinará el efecto de los peróxidos en la expresión y actividad de los factores nucleares de transcripción p53 y GLI como mecanismos responsables de la muerte y proliferación celular. MATERIALES Y MÉTODO: Se utilizará un modelo in-vivo de cáncer de mama empleando ratones C57BL6J inducidos con DMBA que se alimentarán con una dieta base semi-sintética suplemetada con diferentes PUFAs (Chia: n-3, Maíz: n-6 y Oleico: n-9 , empleada en estudios previos (8).Modelos in vitro: se utilizarán lineas celulares cancerígenas humanas de mama MCF-7 y MDA, las cuales se tratarán exógenamente con diferentes PUFAS (GLA:n-6,EPA:n-3, Oleico n-9)(9). Se determinarán ácidos grasos de membranas por Cromatografía de gas (CG)(10-11). El análisis de eicosanoides en células tumorales se realizará por HPLC (9-11). Los endocanabinoides por GC-Espectometría de Masa (18).La formación de peróxidos intracelulares se determinará por análisis de Glutation reducido (GSH)(16).La apoptosis se medirá por actividad caspasas y por Citometria de flujo usando Annexina V FICT (19).La expresión celular de Tp53 y GLI se realizará por Western Blot, PCR e inmunohistoquímica (20-21).RESULTADOS ESPERADOS: Se espera que los lípidos añadidos en las dietas de ratones inyectados con DMBA o al medio de cultivo de células tumorales de mama o páncreas modifiquen los ácidos grasos de membrana y sus derivados lipídicos los eicosanoides y endocanabionoides que suponemos afectarán la activación y expresión de factores de transcripción regulando la carcinogénesis. IMPORTANCIA: Diseñar nuevos modelos experimentales para implementar en terapias génicas y aplicar los resultados sobre factores nutricionales que pudieran actuar como inhibidores o promotores del desarrollo del cáncer en humanos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

FUNDAMENTO: A atividade do sistema renina-angiotensina-aldosterona tem relação direta com sobrepeso e sedentarismo, e essas variáveis se associam à hipertensão arterial (HA). O exercício aeróbio propicia melhor controle da pressão arterial (PA) por agir nos mecanismos da regulação pressórica, dentre eles, a atividade de renina plasmática (ARP). OBJETIVO: Avaliar a influência do exercício aeróbio sobre ARP em portadores de HA com sobrepeso. MÉTODOS: Foram avaliados níveis pressóricos, bioquímicos e antropométricos pré e pós-treinamento de 16 semanas, três vezes por semana, a 60%-80% da frequência cardíaca máxima. Os dados foram expressos em média ± desvio padrão ou mediana e intervalo interquartílico, e analisados pelo teste "t", Mann-Withney e ANOVA (p < 0,05). RESULTADOS: Vinte indivíduos apresentaram média de idade de 57 ± 7,0 anos e índice de massa corpórea de 30 ± 3,5 kg/m². O treinamento aeróbio promoveu a redução da porcentagem de gordura corporal (35 ± 7,8 para 30 ± 5,6 %), da frequência cardíaca (FC) (80 ± 10,4 para 77 ± 8,5 bpm) e da pressão de pulso (PP) (50 ± 11,8 para 46 ± 10,0 mmHg) na amostra geral (p < 0,05), sem redução da ARP, que variou de 0,8 (0,45-2,0) a 1,45 (0,8-2,15) ηg/ml/h (p = 0,055). No grupo com redução da circunferência abdominal (CA) (n = 8) houve redução da PA sistólica e PP (p < 0,05). No grupo sem redução da CA, nenhuma das variáveis pressóricas apresentou alteração. A ARP não se associou com nenhuma variável estudada. O efeito do treinamento aeróbio associou-se à redução da PP na casuística total e à redução da PA sistólica no subgrupo com redução da CA. CONCLUSÃO: O treinamento aeróbio não reduziu a ARP em hipertensos com sobrepeso.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

v.45(1956)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

"საქართველო". 1915-1921. საქართველოს ეროვნულ-დემოკრატიული პარტიის მთავარი კომიტეტის ორგანო. ყოველდღიური გაზეთი. თბილისი. რედაქტორი (1915 და 1916 წწ.) - სანდრო შანშიაშვილი, 1917 წლიდან მთავარი რედაქტორი გრიგოლ ვეშაპელი.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

"საქართველო". 1915-1921. საქართველოს ეროვნულ-დემოკრატიული პარტიის მთავარი კომიტეტის ორგანო. ყოველდღიური გაზეთი. თბილისი. რედაქტორი (1915 და 1916 წწ.) - სანდრო შანშიაშვილი, 1917 წლიდან მთავარი რედაქტორი გრიგოლ ვეშაპელი.