A Semantic Framework to Debug Parallel Lazy Functional Languages

It is not easy to debug lazy functional programs. The reason is that laziness and higherorder complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder. In this case, it is important to implement debugging platforms for parallel extensions, but it is also important to provide theoretical foundations to simplify the task of understanding the debugging process. In this work, we deal with the debugging process in two parallel languages that extend the lazy language Haskell. In particular, we provide an operational semantics that allows us to reason about our parallel extension of the sequential debugger Hood. In addition, we show how we can use it to analyze the amount of speculative work done by the processes, so that it can be used to optimize their use of resources

Herramienta para escoger sistemáticamente combinaciones de ejercicios con mayor capacidad formadora y/o evaluadora

Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaFALSEsubmitte

Las técnicas del arte escénico de Stanislavsky como herramienta para mejorar las capacidades comunicativas y expresivas de los futuros profesores

El presente Proyecto de Innovación pretende aplicar técnicas propias de las artes escénicas en las clases de didáctica de la música en grado de Primaria e Infantil. Se realizarán actividades de interpretación y dramatización utilizando técnicas de Stanislavsky de pequeñas piezas literarias. Stanislavsky crea un sistema de enfoques y ejercicios a través del cual los participantes desarrollan: concentración de atención, datos de voz, habilidades de comunicación física, memoria emocional, observación, análisis de texto. En el trabajo directo con los estudiantes, futuros pedagogos, descubrirán los beneficios para el futuro "trabajo pedagógico" de los "elementos del sistema" mencionados anteriormente. Los estudiantes encontrarán la analogía con la profesión pedagógica. Como punto central en la formación de pedagogos, se encuentran algunos de los elementos de la acción escénica: el trabajo sobre los sentidos; memoria de sensaciones e imágenes; desarrollo la imaginación, lógica y secuencia de acciones; Interacción física y verbal con el objeto; perfecto ordenada expresión verbal - la voz, el habla, el distintivo carácter, configurar el sentido del ritmo

Las técnicas del arte escénico de Stanislavsky como herramienta para mejorar las capacidades comunicativas y expresivas de los futuros profesores

El presente Proyecto de Innovación pretende aplicar técnicas propias de las artes escénicas en las clases de didáctica de la música en grado de Primaria e Infantil. Se realizarán actividades de interpretación y dramatización utilizando técnicas de Stanislavsky para interpretar a pequeñas piezas - microrrelatos. Stanislavsky crea un sistema de enfoques y ejercicios a través del cual los participantes desarrollan: concentración de atención, datos de voz, habilidades de comunicación física, memoria emocional, observación, análisis de texto. En el estudio se ha elaborado y utilizado una herramienta llamada "el microrrelato" que ha permitido valorar varios aspectos como la expresión de sentimientos fasciales y corporales, la imaginación y la creatividad, la comunicación y la expresión emocional con música de los alumnos con una fiabilidad muy buena (α=.847).Los alumnos participantes han valorado la herramienta muy util tanto para la asignatura de música, como para su futuro ejercicio docente

Medición de la actitud implícita y explícita del alumnado de diferentes especialidades de la UCM hacia la música clásica y la capacidad de identificar las emociones básicas a través de la música

Numerosos trabajos de investigación y datos estadísticos culturales sostienen que la música clásica es poco consumida en la sociedad actual por el público más joven. Esta situación parece venir determinada por una actitud de rechazo. En el presente trabajo se propone determinar las actitudes hacia la música clásica en un grupo de estudiantes universitarios de la Universidad Complutense de Madrid y de la Universidad St Kliment Ohridsi de Bulgaria. Para la medición de estas actitudes se han utilizado el cuestionario de actitudes explícitas validado, donde los participantes muestran su opinión de una forma abierta y el test de Asociaciones Implícitas (IAT). Los resultados muestran que la mayoría de los participantes tienen actitudes explícitas negativas e implícitas positivas. Los chicos son menos negativamente inclinados por la música clásica que las chicas

Formalizando el proceso de depuración en programación funcional paralela y perezosa

Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, leída el 19-06-2008Sección Deptal. de Sistemas Informáticos y ComputaciónFac. de Ciencias MatemáticasTRUEpu

Selecting Algorithms by Using ATD

The Anthropological Theory of the Didactic (ATD) has proven its usefulness to describe human learning, and has improved the methods used to acquire new knowledge. However, although the same framework could be used in the context of machine learning, no attempts have appeared in the literature to apply ATD within computing environments. In this paper we argue that we can also take profit from ATD in machine learning. In particular, we will show how we can use it to describe a simple system where we need to learn to select an algorithm among a set of predefined options. The approach will be used to analyze both human learning and machine learning, studying the similarities and differences between both of them.Depto. de Sistemas Informáticos y ComputaciónDepto. de Didáctica de las Ciencias Experimentales , Sociales y MatemáticasFac. de InformáticaFac. de EducaciónTRUEpu

Desarrollo de una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración y operaciones elementales en la formación de maestros (PIMCD-2015-216)

Memoria del proyecto de innovación y mejora de la calidad docente 126 de la convocatoria de 2015 de la Universidad Complutense de Madrid. Se desarrolls una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración y operaciones elementales en la formación de maestros haciendo uso de sistemas de numeración análogos a los de uso convencional y algoritmos de las cuatro operaciones aritméticas elementales en dichos sistemas

A Cognitive-based Tool to Teach how to Teach

Depto. de Sistemas Informáticos y ComputaciónDepto. de Didáctica de las Ciencias Experimentales , Sociales y MatemáticasFac. de InformáticaFac. de EducaciónTRUEpu