After Bologna: does the shift in structure bring forth a shift in a attitude?

With this case-study, we (i) intend to show how a semester project on creating a Multimedia CV could, to some extent, help Portuguese final-year students develop some generic competences, change their attitude towards the challenge of "How to Apply fro a Job" and increase their self-marketing strategies, creativity and entrepreneurship cannot answer the question of the paper, but intend onlu to raise it fot further and better studies now that Bologna design is implementes in almost all HEIs Europe.

Características y desarrollo del acogimiento familiar en dos países con fuerte tradición de acogimiento residencial: España y Portugal

Los procesos de acogimiento familiar que se producen en cada país dependen de factores históricos y culturales que dan lugar a grandes diferencias internacionales. A pesar de que las comparativas internacionales ofrecen un medio de intercambio de experiencias, lo que permite el aprendizaje mutuo y la transferencia de buenas prácticas, a menudo encontramos enormes barreras para su realización debido, entre otros factores, al limitado acceso a los datos sobre la práctica de la protección infantil. Frente a estas limitaciones, este artículo ofrece una investigación comparativa realizada en España y Portugal, cuyo objetivo ha sido la evaluación del acogimiento familiar en dos países donde la investigación en el ámbito de la protección infantil há sido tradicionalmente desatendida. Sobre una muestra de 357 casos en España y 289 en Portugal, se realizó un estudio del perfil de características de los niños acogidos, las familias de origen y los acogedores, así como de los procesos de acogida en ambos países. La comparativa reveló importantes diferencias relacionadas con la mayor edad al inicio del acogimiento de los niños en España; el perfil de los acogedores, con edades más avanzadas, un bajo nivel educativo y llevando a cabo acogidas de más de un niño simultaneamente en Portugal. El estudio comparado nos ha permitido identificar áreas que requieren mayor atención en ambos países, como la renovación generacional del banco de acogedores en Portugal o la necesidad de acelerar los procesos de toma de decisiones para la entrada en acogimiento familiar en España. Se pretende que este artículo sirva de aliento para la recogida de datos y comparación con otros países iberoamericanos.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.