Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

The lambda-calculus with de Bruijn indices assembles each alpha-class of lambda-terms in a unique term, using indices instead of variable names. Intersection types provide finitary type polymorphism and can characterise normalisable lambda-terms through the property that a term is normalisable if and only if it is typeable. To be closer to computations and to simplify the formalisation of the atomic operations involved in beta-contractions, several calculi of explicit substitution were developed mostly with de Bruijn indices. Versions of explicit substitutions calculi without types and with simple type systems are well investigated in contrast to versions with more elaborate type systems such as intersection types. In previous work, we introduced a de Bruijn version of the lambda-calculus with an intersection type system and proved that it preserves subject reduction, a basic property of type systems. In this paper a version with de Bruijn indices of an intersection type system originally introduced to characterise principal typings for beta-normal forms is presented. We present the characterisation in this new system and the corresponding versions for the type inference and the reconstruction of normal forms from principal typings algorithms. We briefly discuss the failure of the subject reduction property and some possible solutions for it

Proceso de análisis musical y puesta en escena de la obra Op. 20 n° 2 Frühlingsglaube del compositor Franz Peter Schubert del período romántico

El trabajo aquí expuesto evidencia el proceso analítico y musical de la obra Op. 20 N° 2 Frühlingsglaube del compositor Austríaco Franz Peter Schubert. Elementos tanto armónicos, como estructurales y figurativos se exponen en este trabajo, y dan luz a la identidad de esta gran obra de Schubert, para así facilitar su comprensión. A partir de recursos bibliográficos se quiere llegar a la interpretación más cercana del autor y su concepto musical del periodo romántico. El análisis profundo y extenso de la obra tiene objeto de evidenciar como Schubert maneja los elementos musicales para la formación de una de las grandes formas románticas: Lied

Arte, biología y tecnología. Relaciones interdisciplinares en el laboratorio científico

Bio art, understood as the convergence of the relations between art, biology and technology, constitutes a useful case study to discuss the meaning of interdisciplinarity in the artistic field. This paper explores different discourses around interdisciplinarity in order to challenge certain generic approaches for their ineffectiveness when assessing artistic practices. It is proposed that the analysis of interdisciplinarity must address the singular connections produced in the artistic practice itself, considering the impossibility of reducing the complexity of interdisciplinary dialogues into generic considerations. Taking bioart as a case study, different kinds of relationships between the artist and the lab are identified and analyzed, ranging from the use of the lab as a true atelier and as a resource for materials and techniques, to the rejection of the lab by proposing amateurism as an alternative

Arte, biología y tecnología. Relaciones interdisciplinares en el laboratorio científico

Bio art, understood as the convergence of the relations between art, biology and technology, constitutes a useful case study to discuss the meaning of interdisciplinarity in the artistic field. This paper explores different discourses around interdisciplinarity in order to challenge certain generic approaches for their ineffectiveness when assessing artistic practices. It is proposed that the analysis of interdisciplinarity must address the singular connections produced in the artistic practice itself, considering the impossibility of reducing the complexity of interdisciplinary dialogues into generic considerations. Taking bioart as a case study, different kinds of relationships between the artist and the lab are identified and analyzed, ranging from the use of the lab as a true atelier and as a resource for materials and techniques, to the rejection of the lab by proposing amateurism as an alternative. estrategias amateur, pasando por su utilización como fuente de técnicas y materiales.El bioarte, entendido como la convergencia de las relaciones entre arte, biología y tecnología, constituye un caso de estudio emblemático para debatir el sentido de la interdisciplinariedad en el ámbito artístico. El artículo analiza distintas teorizaciones realizadas en torno a la interdisciplinariedad, cuestionando determinados planteamientos genéricos, por su ineficacia a la hora de valorar las prácticas artísticas. Se propone que el análisis de la interdisciplinariedad debe atender a la particularidad de las relaciones que se establecen en la misma práctica artística, planteando la imposibilidad de reducir la riqueza de los diálogos interdisciplinares a consideraciones genéricas. Tomando el bioarte como estudio de caso, se identifican y analizan distintas modalidades de relación entre el artista y el laboratorio científico, que abarcan desde la utilización del laboratorio como un verdadero atelier, hasta el rechazo del mismo mediante la propuesta de estrategias amateur, pasando por su utilización como fuente de técnicas y materiales

La biología molecular en la trayectoria artística de Salvador Dalí

Salvador Dalí's relationship with science is one of the most important aspects of his artistic production, spanning disciplines such as physics, mathematics and biology. Considering his interest in the different sciences, the aim of this paper is to explore the special relationship between the painter and molecular biology, establishing a catalogue of works permitting the identification of its importance within Dalí's career. We will try to demonstrate that the so-called «DNA period» encompasses a broader chronology than the one traditionally proposed, extending it from 1957 until the 1980s. That would place Dalí as the pioneer in the incorporation of molecular biology into art history

Géminis

El proyecto consiste en la creación de una serie de televisión. Se elaborará una biblia y el guión del capítulo piloto de la serie. Géminis es una serie de ficción planteada para ser emitida en plataformas de servicio streaming, en este caso, Netflix. Se trata de un tributo al género thriller, que está consiguiendo cada vez más un hueco en la pequeña pantalla. El desarrollo de la Biblia ha estado siempre dirigido a un punto de vista comercial, ya que es un producto pensado para ser visionado por un gran público. En esta memoria se explicará la creación de los personajes, las tramas, cómo surgió la idea y, además, como ha sido el proceso de la escritura del capítulo piloto. Además, de un breve análisis sobre el género thriller.Universidad de Sevilla. Máster en Guión, Narrativa y Creatividad Audiovisua

The implementation of storytelling in the native Language to promote L2 vocabulary in older adults

Este proyecto de aula presenta la implementación de la técnica de narración de cuentos utilizando mitos y leyendas colombianos para enseñar vocabulario en inglés a adultos mayores. Para este proyecto, establecimos algunos objetivos de enseñanza que se dividieron en dos; objetivos generales en los que los adultos mayores reconocen el vocabulario establecidos a través de la producción verbal y no verbal. También los objetivos específicos, por ejemplo, la implementación de la narración de cuentos como un medio para promover el vocabulario en inglés. La metodología utilizada en este proyecto de aula se centró en la andragogía, que es la ciencia de la educación de adultos, en base a esto enseñamos vocabulario en inglés utilizando mitos y leyendas colombianas. Los participantes involucrados fueron siete adultos mayores de una casa de retiro en Pereira, y los tres facilitadores los cuales usaron como instrumentos diarios, observaciones y artefactos de los participantes recolectar evidencia y su posterior análisis. Los resultados indicaron que los participantes pudieron recordar y utilizar el vocabulario presentado durante la sesión de narración de mitos y leyendas. Como conclusión, este proyecto de aula reveló que el uso de mitos y leyendas para enseñar vocabulario en inglés es una técnica favorable la cual permitió a los participantes sentirse cómodos y usar sus conocimientos previos en su idioma nativo con el propósito de aprender vocabulario en inglés

Aplicación del método Cybersin con lógica difusa en un sistema de control de gestión

El modelo propuesto plantea un sistema de control para los ejecutivos de ventasde las Administradoras de Fondos de Pensiones (AFP). Con ayuda del método Cybersin se calcularon los indicadores: desempeño, logro y latencia que, a su vez, componen las variables, ventas y acompañamiento. Variables valiosas en el funcionamiento de este tipo de organizaciones y usadas en la medición del desempeño de los ejecutivos de ventas. Se construyó un sistema de inferencia difusa con el apoyo delsoftware MATLAB, para simular la productividad de los ejecutivos; este consideralas posibles combinaciones de las variables de entrada y compara el resultado conlas metas establecidas por la organización

A Grammar Compression Algorithm based on Induced Suffix Sorting

We introduce GCIS, a grammar compression algorithm based on the induced suffix sorting algorithm SAIS, introduced by Nong et al. in 2009. Our solution builds on the factorization performed by SAIS during suffix sorting. We construct a context-free grammar on the input string which can be further reduced into a shorter string by substituting each substring by its correspondent factor. The resulting grammar is encoded by exploring some redundancies, such as common prefixes between suffix rules, which are sorted according to SAIS framework. When compared to well-known compression tools such as Re-Pair and 7-zip, our algorithm is competitive and very effective at handling repetitive string regarding compression ratio, compression and decompression running time

Estructura de ingresos para trabajadores asalariados y por cuenta propia en la ciudad de Ibagué

Durante la última década la participación laboral, desempleo, subempleo e informalidad, correspondientes a la ciudad de Ibagué han estado por encima del promedio de las trece principales ciudades de Colombia. Esto indica problemas importantes en el mercado laboral de la ciudad que pueden tener serias repercusiones sobre los ingresos y el bienestar de sus trabajadores. Haciendo uso de la teoría de capital humano se analizan las estructuras de ingresos para trabajadores asalariados y por cuenta propia por separado, realizando comparaciones entre el total de las 13 principales ciudades en Colombia e Ibagué. Los resultados evidencian que los trabajadores en Ibagué tienen ingresos laborales más bajos, y solo existen retornos adicionales por mas años de educación para el caso de los trabajadores con educación superior. Es decir, el mercado laboral ibaguereño solo "premia", en forma de mayores incrementos en salarios, los años de educación adicional si estos son de educación superior.Capital humano, asalariados, empleo por cuenta propia, sesgo de selección, Ibagué