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

Asociación de ácido fólico, homocisteina y polimorfismo genético de la metilentetrahidrofolato-reductasa con defectos de tubo neural y labio hendido con y sin paladar hendido en Chihuahua

Tesis (Doctorado en Ciencias con Orientación en Morfología) 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

Evaluación del efecto de la combinación del ácido 2,3-Dimercaptosuccinico ( DMSA ) con antioxidantes en la intoxicación por plomo en ratas

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

Evaluación del efecto del óxido nítrico (No) en la regulación negativa de la expresión del Virus de la hepatitis C (Vhc) inducida por ácido acetil salicílico (Aas).

Tesis (Doctor en Ciencias con Orientación Terminal en Biología Molecular e Ingeniería Genética) UANL, 2011.

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.

Generación in situ del ion ferrato [Fe (VI)] cía fotocatalítica y electroquímica para la degradación del ácido 2,4-diclorofenoxiacético.

Tesis (Doctor en Química Analítica Ambiental) UANL, 2011.

Evaluación clínica e histológica del efecto del ácido lipoico (Thioctacid?) en la intoxicación por karwinskia humboldtiana en la rata wistar.

Tesis (Doctor en Ciencias con Orientación Terminal en Morfología) UANL, 2012.

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

Anxiogenic-like effects of gamma-hydroxybutyric acid (GHB) in mice. 'Efectos ansiog??nicos del ??cido gamma-hidroxibut??rico (GBH) en ratones evaluados en el test del 'light-dark'

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

Eficacia diagnostica del ácido láctico en liquido cefalorraquídeo en meningitis postclipaje de aneurisma cerebral y hemorragia subaracnoidea

La concentración de ácido láctico en LCR en pacientes con sospecha de meningitis postquirúrgica luego de clipaje de aneurisma cerebral y hemorragia subaracnoidea espontánea se midió prospectivamente por un período de tres años. Se analizaron un total de 32 muestras de líquido cefalorraquídeo, se midió la concentración de ácido láctico y se comparó con el cultivo de LCR. Los cultivos fueron positivos en cinco pacientes, con una prevalencia de infección del 15%. Se utilizó un valor umbral de ácido láctico de 4 mmol/L. y se encontró una sensibilidad del 80%, especificidad del 52%, VPP del 23%, VPN del 93%, y likelihood ratio (LHR) positivo de 1,66 con una probabilidad post test de 15% de la concentración del ácido láctico en el diagnóstico de meningitis postquirúrgica en pacientes con hemorragia subaracnoidea aneurismática. La concentración de ácido láctico en LCR tiene un desempeño limitado en el diagnóstico de meningitis postquirúrgica en pacientes con hemorragia subaracnoidea aneurismática.