Search

Copyright of Ciencia y Educación (2707-3378) is the property of Duanys Miguel Pena Lopez and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Revista Iberoamericana de Turismo is the property of Revista Iberoamericana de Turismo and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The paradigm of formal methods provides systematic techniques and rigorous to software develop and, due the crescent complexity and quality requirements of current products, is necessary introduce them in curriculum of software engineer. In this article is analyzed the importance of train in formal methods and described specific techniques to achieved it efficiently. This techniques are the result of an experimental process in the class room of more than fifteen years in undergraduate and graduate programs, the same as company training. Also are presented a proposal a curriculum to systematic introduction of this paradigm and description of a program in training methods that has been success to industry. Results shows that students gain confidence in formal methods just when found out of the benefits of this in the context of software engineer. [ABSTRACT FROM AUTHOR]

Se presentan los resultados de un estudio sobre la atención primaria de salud. Se informa que en América Latina se encuentra una mayor integralidad de la atención primaria de salud en países con sistemas de salud universales, que en los países de bajo y mediano ingreso la atención primaria de salud se orienta a mejorar el acceso a servicios de salud materno-infantil y que existe poca confianza en la atención primaria de salud en África debido a la falta de suministros médicos y otros factores.

This article explains the development of a psychotherapeutic model for mothers of girls and boys who have undergone intra-familiar sexual abuse. Our model considers that maternal support is the most significant factor minimizing the abused child's traumatic impact. Traditional literature has focused in explaining the mother's role in the origins of sexual abuse with a predominating blame approach, which contributes to her disqualification as a protective figure. Far from a blame approach, our method proposes a responsibility approach highlighting the importance of interventions prompting the activation of the mother's protective resources and allowing them to deal with her traumatic impact when they have to face her child's sexual abuse and its consequences. This model describes both, therapeutic goals with the mother and process stages. [ABSTRACT FROM AUTHOR]

Resolving atomic-scale defect topologies and energetics with accurate atomistic interaction models provides access to the nonlinear phenomena inherent at atomic length and time scales. Coarse graining the dynamics of such simulations to look at the migration of, e.g., solute atoms, while retaining the rich atomic-scale detail required to properly describe defects, is a particular challenge. In this paper, we present an adaptation of the recently developed "diffusive molecular dynamics" model to describe the energetics and kinetics of binary alloys on diffusive time scales. The potential of the technique is illustrated by applying it to the classic problems of solute segregation to a planar boundary (stacking fault) and edge dislocation in the Al-Mg system. Our approach provides fully dynamical solutions in situations with an evolving energy landscape in a computationally efficient way, where atomistic kinetic Monte Carlo simulations are difficult or impractical to perform. [ABSTRACT FROM AUTHOR]