Sincronización de estros en cabras usando dosis reducidas de prostaglenadinas F2 Alfa en aplicaciones intra-vaginales.

Tesis (Maestría en Ciencias Especialidad en Producción Animal) UANL

Inducción al estro en cabras en anestro estacional usando dosis reducidas de MPA y norgestoment en combinación con estradiol y PGF2 (alfa)

Tesis (Maestría en Ciencias en Producción Animal) UANL

Producción de alfa-amiloga por una cepanativa de bacillus y su aplicación al tratamiento del almidón residual en granos de malta agotados

Tesis (Maestría en Ciencas con Especialidad en Microbiología Industrial) UANL

Determinación de la actividad alfa debida al radón-222 y a sus descendientes, existente en el agua potable de la ciudad de Monterrey, Nuevo León, y su área metropolitana

Tesis (Maestría en Ciencias, con especialidad en Ingeniería Nuclear) U.A.N.L.

Determinación de las curvas de calibración mediante simulación númerica de compresión de anillos

Tesis (Maestría en Ciencias de la Ingeniería Mecánica con Especialidad en Materiales) - U.A.N.L, 2004

Coordinación de relevadores de sobrecorriente mediante algoritmos de optimización, utilizando curvas de tiempo no convencionales.

Tesis (Maestría en Ciencias en Ingeniería Eléctrica con Orientación en Sistemas Eléctricos de Potencia) UANL, 2012

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.

Coordinación de relevadores de sobrecorriente con curvas de tiempo no convencionales en sistemas eléctricos industriales.

Tesis (Doctor en Ingeniería Eléctrica) UANL, 2014.

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