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.

Senescence-associated β-galactosidase activity in the in vitro ovarian stromal fibroblasts

Introduction: A growing biological research field is the cellular senescence, a mechanism that has been associated, under certain circumstances, with malignant transformation. Given the high incidence of ovarian cancer and its main origin from the ovarian surface epithelium, as well as the possibility that an epithelial-mesenchymal transition occurs, we evaluated both the in vitro growth of stromal fibroblasts from the ovarian cortex and their β-galactosidase activity at pH 6, enzyme whose expression is considered as a marker of replicative senescence. Methods: 48 samples of ovarian cortical fibroblasts from donors without a history of cancer were serially cultured until the end of their replicative life. β-galactosidase activity at pH 6 was quantified in each passage by the chemiluminiscent method. As control, we used ovarian epithelial cell cultures from the same donors. The enzyme activity was also evaluated in fibroblasts previously induced to senescence by exposure to hydrogen peroxide. Results: The analysis of the enzyme activity and the replicative capacity taken together showed that the fibroblast cultures reached the senescent state at passages 4-5, as what happened with the control epithelial cells. Fibroblasts induced to senescence showed high variability in the values of enzymatic activity. Conclusions: The similarity between both types of cells in reaching the senescent state deserves to be taken into account in relation to the epithelialmesenchymal transition that has been proposed to explain their behavior in the genesis of cancer arising from ovarian surface epithelium. Low β-galactosidase activity values at pH 6 would suggest possible inactivation of the response pathways to oxidative stress.

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

Metodologías alfa-mertonianas y beta-childianas en sociología del conocimiento y de la ciencia : un apunte para el siglo XXI.

Resumen del autor

Análisis del gen adra2a receptor alfa 2a adrenergico en pacientes con trastorno de hiperactividad y déficit de atención

El trastorno de hiperactividad y déficit de atención (THDA), es definido clínicamente como una alteración en el comportamiento, caracterizada por inatención, hiperactividad e impulsividad. Estos aspectos son clasificados en tres subtipos, que son: Inatento, hiperactivo impulsivo y mixto. Clínicamente se describe un espectro amplio que incluye desordenes académicos, trastornos de aprendizaje, déficit cognitivo, trastornos de conducta, personalidad antisocial, pobres relaciones interpersonales y aumento de la ansiedad, que pueden continuar hasta la adultez. A nivel global se ha estimado una prevalencia entre el 1% y el 22%, con amplias variaciones, dadas por la edad, procedencia y características sociales. En Colombia, se han realizado estudios en Bogotá y Antioquia, que han permitido establecer una prevalencia del 5% y 15%, respectivamente. La causa específica no ha sido totalmente esclarecida, sin embargo se ha calculado una heredabilidad cercana al 80% en algunas poblaciones, demostrando el papel fundamental de la genética en la etiología de la enfermedad. Los factores genéticos involucrados se relacionan con cambios neuroquímicos de los sistemas dopaminérgicos, serotoninérgicos y noradrenérgicos, particularmente en los sistemas frontales subcorticales, corteza cerebral prefrontal, en las regiones ventral, medial, dorsolateral y la porción anterior del cíngulo. Basados en los datos de estudios previos que sugieren una herencia poligénica multifactorial, se han realizado esfuerzos continuos en la búsqueda de genes candidatos, a través de diferentes estrategias. Particularmente los receptores Alfa 2 adrenérgicos, se encuentran en la corteza cerebral, cumpliendo funciones de asociación, memoria y es el sitio de acción de fármacos utilizados comúnmente en el tratamiento de este trastorno, siendo esta la principal evidencia de la asociación de este receptor con el desarrollo del THDA. Hasta la fecha se han descrito más de 80 polimorfismos en el gen (ADRA2A), algunos de los cuales se han asociado con la entidad. Sin embargo, los resultados son controversiales y varían según la metodología diagnóstica empleada y la población estudiada, antecedentes y comorbilidades. Este trabajo pretende establecer si las variaciones en la secuencia codificante del gen ADRA2A, podrían relacionarse con el fenotipo del Trastorno de Hiperactividad y el Déficit de Atención.

Tratamiento de Artritis reumatoide con antagonistas del factor de necrosis tumoral alfa y su asociación con el desarrollo de melanoma cutáneo: revisión sistemática de la literatura y meta-análisis.

Introducción: El tratamiento con antagonistas del factor de necrosis tumoral alfa (anti TNF) ha impactado el pronóstico y la calidad de vida de los pacientes con artritis reumatoide (AR) positivamente, sin embargo, se interroga un incremento en el riesgo de desarrollar melanoma. Objetivo: Conocer la asociación entre el uso de anti TNF y el desarrollo de melanoma maligno en pacientes con AR. Metodología: Se realizó una búsqueda sistemática en MEDLINE, EMBASE, COCHRANE LIBRARY y LILACS para ensayos clínicos, estudios observacionales, revisiones y meta-análisis en pacientes adultos con diagnóstico de AR y manejo con anti TNF (Certolizumab pegol, Adalimumab, Etanercept, Infliximab y Golimumab). Resultados: 37 estudios clínicos cumplieron los criterios de inclusión para el meta-análisis, con una población de 16567 pacientes. El análisis de heterogeneidad no fue significativo (p=1), no se encontró diferencia en el riesgo entre los grupos comparados DR -0.00 (IC 95% -0.001; -0.001). Un análisis adicional de los estudios en los que se reportó al menos 1 caso de melanoma (4222 pacientes) tampoco mostró diferencia en el riesgo DR -0.00 (IC 95% -0.004 ; -0.003). Conclusión: En la evidencia disponible a la fecha no encontramos asociación significativa entre el tratamiento con anti TNF en pacientes con diagnóstico de AR y el desarrollo de melanoma cutáneo.

Alfa : método de lectura-escritura para adultos.

Contiene: Guía didáctica; Bloque 1, primera parte; Bloque 1, segunda parte; Bloque 2, primera parte; y Bloque 2, segunda parte

Assessment of the usability of the 'alpha' version of the prototype 'Octopus'-application of the heuristic evaluation model of user's graphic interfaces. 'Evaluación de la utilidad de la versión 'alfa' del prototipo 'Octopus'-uso del modelo de evaluación heurístico de los interfaces gráficos del usuario'.

Resumen basado en el de la publicación

Segmentación de mercado para la comercialización de accesorios para mascotas (perros y gatos), fabricados en materiales sintéticos. Caso: microempresa Alfa

Esta investigación pretende realizar un estudio de los conceptos relacionados con la segmentación de mercado, definiendo: tipos de segmentación, beneficios de la segmentación, proceso de segmentación, etc. Durante el desarrollo práctico, se presenta el estudio de caso de una empresa ubicada dentro del sector artesanal en la cuidad de Quito, dicho estudio incluye una visión de la organización, que permite entender la situación actual de la empresa, entregando información adecuada para la posterior selección de un mercado meta. A partir de los conceptos estudiados y la información obtenida en el estudio de caso, se muestra el proceso de segmentación de mercado para la comercialización de accesorios para mascotas (perros y gatos), fabricados en materiales sintéticos; considerando variables geográficas (Norte de Quito); para lo cual se realiza un estudio de mercado. Con los datos obtenidos en el estudio de mercado, se realiza un análisis y se define los segmentos existentes de acuerdo a variables previamente establecidas; dicho análisis entrega información que permite definir el mercado meta. Finalmente, se define la estrategia de Marketing de la Empresa y se presentan las conclusiones del trabajo.

Synthesis of alpha-galactooligosaccharides with alpha-galactosidase from Lactobacillus reuteri of canine origin

Crude cell-free extracts from Lactobacillus reuteri grown on cellobiose, maltose, lactose and raffinose were assayed for glycosidic activities. When raffinose was used as the carbon source, alpha-galactosidase was produced, showing the highest yield at the beginning of the stationary growth phase. A 64 kDa enzyme was purified by ultra- and gel filtration, and characterized for its hydrolytic and synthetic activity. Highest hydrolytic activity was found at pH 5.0 at 50 degreesC (K-M 0.55 mM, V-max 0.80 mumol min(-1) mg(-1) of protein). The crude cell-free extract was further used in glycosyl transfer reactions to synthesize oligosaccharides from melibiose and raffinose. At a substrate concentration of 23% (w/v) oligosaccharide mixtures were formed with main products being a trisaccharide at 26% (w/w) yield from melibiose after 8 h and a tetrasaccharide at 18% (w/w) yield from raffinose after 7 h. Methylation analysis revealed the trisaccharide to be 6' alpha-galactosyl melibiose and the tetrasaccharide to be stachyose. In both cases synthesis ceased when hydrolysis of the substrate reached 50%.