995 resultados para ALFA


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A retomada do metabolismo do embrião durante a germinação é realizada por processos metabólicos que culminam na protrusão da radícula e no fornecimento de energia para o desenvolvimento inicial da plântula. O objetivo deste trabalho foi estudar as variações nas atividades das enzimas alfa-galactosidase e poligalacturonase e nas reservas de mono e oligossacarídeos em sementes de guapuruvú durante a germinação. Para tanto, as sementes foram colocadas para germinar e as reservas do eixo embrionário e cotilédones, avaliadas periodicamente. Os teores de galactose no eixo embrionário diferiram significativamente somente entre a testemunha e o oitavo dia, muito embora houvesse aumento contínuo até o quarto dia. Somente no sexto dia de germinação houve aumento no teor de galactose nos cotilédones. Houve tendência de aumento nos teores de arabinose, manose e glicose no eixo embrionário, não sendo detectada a presença de xilose no oitavo dia. Nos cotilédones os mesmos açúcares não foram originalmente detectados no tempo zero, mas apresentaram valores mais altos nas amostras do oitavo dia. Os teores de galactose oscilam tanto no eixo embrionário, quanto nos cotilédones durante o período de germinação de sementes de guapuruvu. Os teores de sacarose aumentam e os de rafinose decrescem nos cotilédones e no eixo embrionário. Os teores de estaquiose permanecem aproximadamente estáveis no eixo e nos cotilédones, com decréscimo no eixo, no oitavo dia. A enzima alfa-galactosidase é pré-formada, tendo clara redução na sua atividade específica, no segundo dia, permanecendo constante até o oitavo. A atividade nos cotilédones apresenta aumento no quarto dia, decrescendo posteriormente. A enzima polygalacturonase é tambem pré-formada, com maior atividade inicial no eixo. A atividade nos cotilédones aumenta até o sexto dia, alcançando maiores valores que o do eixo embrionário e, em seguida, decresce para valores menores do que aqueles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tesis (Doctor en Ciencias) UANL, 2010.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen tomado de la publicación

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.