Respuesta inflamatoria y de fase aguda en el absceso hepático amibiano mediante el estudio de leucotrienos B4, C4, E4 y D4 e interleucina1 beta, interleucina 6 y factor de necrosis tumoral alfa

Tesis (Doctorado en Ciencias con Especialidad en Química Biomédica) UANL

Interacción de la peroxisomicina A1 con el factor de necrosis tumoral alfa in vitro

Tesis (Doctorado en Ciencias con Especialidad en Farmacología y Toxicología) UANL

Cambios en la diversidad alfa y beta de la avifauna de la Laguna Madre, Tamaulipas, México, de 1964 al 2008

Tesis (Doctor en Ciencias) UANL, 2010.

Phosphoproteome profiling approaches for comprehensive monitoring of cell signaling events in interferon-[gamma] stimulated macrophages

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Étude génétique et fonctionnelle des Interferon-producing Killer Dendritic Cells

L’idée qu’une cellule puisse effectuer la cytolyse de cellules transformées, comme une cellule Natural Killer (NK), tout en ayant la capacité de présenter des antigènes, comme une cellule dendritique (DC), peut sembler fantaisiste. Cependant, de telles cellules furent bel et bien identifiées chez la souris en 2006. Ces cellules, nommées Interferon-producing Killer Dendritic Cells (IKDC), furent l’objet d’une caractérisation extensive qui révéla leur énorme potentiel immunologique. La combinaison de fonctions associées à des cellules NK et à des DC a doté les IKDC d’un pouvoir antitumoral remarquable. D’ailleurs, il a été démontré que les IKDC sont plus efficaces que les cellules NK pour limiter la croissance tumorale. Ainsi, suite à leur découverte, les IKDC ont suscité beaucoup d’intérêt. Cependant, une controverse émergea sur la nature des IKDC. Plusieurs groupes indépendants tentèrent de reproduire les expériences attestant les fonctions de DC des IKDC, sans y parvenir. De plus, des études additionnelles révélèrent que les IKDC possèdent des similitudes très importantes avec les cellules NK. Ces observations ont mené la communauté scientifique à suggérer que les IKDC sont des cellules NK en état d’activation (aNK). Malgré cette controverse, les caractéristiques antitumorales des IKDC sont si uniques et considérables qu’il est primordial de poursuivre l’étude de ces cellules. Pour y arriver, il est essentiel de déterminer la nature des IKDC et de mettre fin à ce débat. Par la suite, il sera important d’identifier des façons de cibler spécifiquement les IKDC pour permettre leur usage dans le cadre de thérapies antitumorales. Ainsi, l’objectif de cette thèse est de définir l’identité des IKDC, puis de déterminer les facteurs génétiques responsables de la régulation de ces cellules. Nous avons démontré que les IKDC ne sont pas des cellules aNK, contrairement à ce qui avait été suggéré. Nous avons constaté que les IKDC prolifèrent activement et possèdent un phénotype unique, des caractéristiques associées à des cellules NK très immatures. Afin de déterminer si les IKDC peuvent acquérir un phénotype mature, nous avons effectué des expériences de transfert adoptif. Suite à leur injection in vivo, les IKDC acquièrent un phénotype de cellules matures, mais étonnamment, elles se différencient aussi en cellules NK. Ainsi, nous avons révélé que les IKDC sont un intermédiaire dans la différenciation des cellules NK. En parallèle, nous avons démontré que la proportion d’IKDC varie grandement entre des souris de fond génétique différent, indiquant que des facteurs génétiques sont impliqués dans la régulation de ces cellules. Nous avons alors effectué une analyse génétique qui a révélé que les IKDC sont régulées par des facteurs génétiques compris dans une région distale du chromosome 7. Les résultats présentés dans cette thèse constituent une avancée importante pour la recherche sur les IKDC. Ils ont permis de définir la nature des IKDC et d’identifier un intervalle génétique impliqué dans la régulation de ces cellules. Ces découvertes sont des connaissances précieuses pour l’identification des IKDC chez l’Homme et la création de nouvelles thérapies dans la lutte contre le cancer.

A single amino acid substitution in the mRNA capping enzyme λ2 of a mammalian orthoreovirus mutant increases interferon sensitivity.

In the last few years, the development of a plasmid-based reverse genetics system for mammalian reovirus has allowed the production and characterization of mutant viruses. This could be especially significant in the optimization of reovirus strains for virotherapeutic applications, either as gene vectors or oncolytic viruses. The genome of a mutant virus exhibiting increased sensitivity to interferon was completely sequenced and compared with its parental virus. Viruses corresponding to either the parental or mutant viruses were then rescued by reverse genetics and shown to exhibit the expected phenotypes. Systematic rescue of different viruses harboring either of the four parental genes in a mutant virus backbone, or reciprocally, indicated that a single amino acid substitution in one of λ2 methyltransferase domains is the major determinant of the difference in interferon sensitivity between these two viruses.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code

Métodos para promediar coeficientes alfa en los estudios de generalización de la fiabilidad.

Resumen tomado de la publicación

Effects of SB-205384, a positive modulator of (alfa)3-subunit-containing GABA-A receptors, on isolation-induced aggressions in male mice. 'Efectos del SB-205384, un modulador positivo de los receptores GABA-A que contienen la subunidad (alfa)3, sobre la agresi??n inducida por aislamiento en ratones machos'

Resumen tomado de la publicaci??n

Artur Gas, editor de Josep Pla: breu història d'Ediciones Alfa

Repàs de la trajectòria professional com a editor, començant com a editor de caire socialista i acabant col·laborant amb la dictadura de Primo de Rivera. Es fa especial menció al seu paper com a editor de Josep Pla i a la seva editorial, Ediciones Alfa

Alfa : mètode d'autocorrecció gramatical assistida. 'Alfa : método de autocorrección gramatical asistida'.

Alfa es un manual pensado para los alumnos de educación secundaria y cursos de adultos, para los que realizan reciclaje e incluso para aquellos de los primeros cursos universitarios. Quiere ser una herramienta de apoyo en la tarea de corregir de manera eficaz sus escritos y conseguir motivarlos en esta tarea tan ardua como inaludible de su formación en el uso de la lengua. Alfa propone un método de autocorrección gramatical basado en la guía individual sobre aquellos aspectos concretos y adecuados que permiten a cada cual corregir sus textos. El contenido se distribuye en dos partes de diez capítulos repartidos en unidades codificadas. En la primera parte, los códigos son todos de tres cifras: la primera hace referencia al capítulo, la segunda puede hacer referencia a un subcapítulo o, como siempre pasa con la tercera, al número de orden de la serie. En la segunda parte, los párrafos con códigos de cuatro cifras incorporan las explicaciones teóricas a las que remiten los correspondientes de la primera parte. Esta codificación tiene un doble objetivo: facilitar al profesor la identificación del error y posibilitar el tratamiento informático.

Supervivencia cáncer específica posterior a nefrectomía radical frente a nefrectomía parcial en carcinoma renal t2: revisión sistemática

Introducción: El tratamiento estándar para los tumores renales localizados es la nefrectomía radical, sin embargo debido a la variación el tamaño del tumor renal en el momento del diagnóstico, se ha reemplazado en algunos casos por la nefrectomía parcial. Objetivo: Este estudio busca comparar el resultado oncológico de la nefrectomía parcial en términos de supervivencia cáncer específica, respecto a la nefrectomía radical, en pacientes mayores de 50 años con carcinoma renal estadio II (T2N0M0) Métodos: Se realizó una revisión sistemática de la literatura, con inclusión de estudios de casos y controles, cohortes y experimentos clínicos aleatorizados incluidos en las bases de datos de MEDLINE , EMBASE y CENTRAL Resultados: La búsqueda inicial emitió un total de 101 resultados, 11 artículos fueron preseleccionados y sólo un artículo cumplió con los criterios de selección; éste se clasificó como nivel de evidencia II. Conclusión: No fue posible concluir su equivalencia oncológica de la nefrectomía radical con la nefrectomía parcial, dado que no hay diseños de estudios que permitan llegar a esta conclusión.

Acondicionamiento físico en la disminución del riesgo cardiovascular en empresas afiliadas a seguros de vida Alfa S.A. ARP

En Estados Unidos desde el año 1900, las enfermedades cardiovasculares han sido la principal causa de muerte. Según la American Heart Association, una de cada 5 personas sufre de algún tipo de enfermedad cardiovascular.1 En Bogotá fueron la segunda causa de muerte desde el año 1998 hasta el 2002. Diseño cuasi-experimental sin grupo control equivalente, comparando antes y después de un programa de acondicionamiento físico, mets, perfiles lipídicos, glicemia e IMC en población de Seguros Alfa S.A., Seguros de Vida Alfa S.A. y Sadinsa.

Programa de conservación visual en Seguros Alfa y de Vida S.A. Propuesta

Con el desarrollo de la Ley 100 de 1993 y la posterior creación de las A.R.P. privadas se generó un crecimiento algo desordenado de las mismas, algunas de ellas en su afán por afiliar empresas ofrecieron la realización de exámenes paraclínicos indiscrimi