Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory.

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs "radio-hybrid" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request. (C) 2011 Elsevier B.V. All rights reserved.

Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Procesos creativos en entornos musicales inmersivos: un estudio de caso a través del análisis de metaversos. La Avatar Orchestra Metaverse en Second Life

La virtualidad se presenta como un espacio de creación y expansión de la realidad física. La percepción y la relación de los procesos creativos que giran en torno a lo virtual en lo referente a la música, la performance y la experimentación rigen e interaccionan nuestras realidades físicas, aún estando offline. Dichos procesos creativos son estudiados en la Orquesta virtual Avatar Orchestra Metaverse. Hemos navegado a través de la realidad creada por la Orquesta en el ciberespacio, bajo una metodología de estudio de caso -al que hemos llamado cybercase-, asistiendo y participando durante un tiempo en sus ensayos, junto a una posterior actuación. A través de un enfoque interdisciplinar basado en un proceso de análisis de material audiovisual y textual mediado por la presencia, entendida desde lo físico y lo virtual, exponemos los procesos creativos encontrados que subyacen bajo los miembros de la Orquesta, de modo descriptivo, y mediante el empleo de la teoría fundamentada. Como marco teórico mostramos los conceptos de música, espacio, tiempo y los procesos de comunicación gestados por la máquina y la virtualidad, todo ello mediado desde la percepción del ambiente y el interaccionismo simbólico. Presentamos dentro de este marco una revisión teórica del concepto de la creatividad enfocado desde la mecánica cuántica...

El coaching educativo, la videoconferencia sincrónica online y otras herramientas digitales aplicadas a la enseñanza a distancia:implementación por videoconferencia sincrónica de un curso online de introducción a proyectos de diseño

Esta tesis doctoral tiene su origen en el proyecto educativo online y offline Arte Casellas que se inició con el propósito de solucionar dos necesidades. La primera, ofrecer a los alumnos de bachillerato una formación que les capacitase para superar la prueba específica de acceso a los Estudios Superiores de Grado de Diseño y la segunda la superación de paradigmas educativos obsoletos estimulando el espíritu de emprendimiento e independencia económica de los docentes. El citado proyecto contaba con una página web en la que se estaban aplicando los conceptos básicos de marca personal y marketing educativo y se había comenzando a implementar, entre otros productos, un curso online impartido por videoconferencia sincrónica con el que se estaba enseñando dibujo técnico y artístico, creatividad e historia del diseño. Este curso se convirtió en el estudio de caso de esta tesis doctoral...