El trabajo presenta un método original para establecer y demostrar conjeturas de la teoría ecuacional del cálculo lambda tipado. Incluye una serie de reglas que permiten al estudiante descubrir, por ejemplo, el tipo de las ...

Objetivos: Determinar la resistencia de una cepa de Aedes. aegypti de Orotina a insecticidas organofosforados (temefós y malatión), y a piretroides (deltametrina, lambda cialotrina y cipermetrina). Métodos: La evaluación ...

El conocimiento del subsuelo es fundamental en la exploración y el desarrollo de yacimientos de hidrocarburos, dentro de múltiples técnicas de inversión sísmica hemos escogido utilizar para este trabajo la Impedancia ...

We consider the nonequilibrium dynamics of the formation of a condensate in a spontaneously broken'lâmbda fi' POT. 4' relativistic quantum scalar field theory. The equation of motion of the corresponding order parameter ...