Filosofía del derecho. Problemas que comporta

Sin un sujeto pedagógico (constituido por profe sor, alumno y sus respectivas contradicciones y mediaciones), que se aventure a problematizarse el presente teniendo en cuenta que no cae del cielo y que siempre implica movimiento inquietante des de lo conocido hacia lo desconocido - razón por la cual amerita una cierta anticipación, una cierta predicción- “y la base de la predicción -que es la expectativa de eventos por venir- es la percepción” además de la crítica implacable –avalada en su cabal comprensión– de la naturalidad de lo cotidiano, resulta nugatorio, en la práctica, pretender desarrollar un curso, así sea elemental, de Filosofía de Derecho

Docencia e investigación

Adelantar el diagnóstico objetivo de nuestra propia realidad como espacio histórico social concreto resulta crucial, no sólo para precisar el sentido de nuestro quehacer existencial, sino también en orden a definir quiénes somos, de dónde venimos y para dónde vamos

On-the-fly synthesizer programming with rule learning

This manuscript explores automatic programming of sound synthesis algorithms within the context of the performative artistic practice known as live coding. Writing source code in an improvised way to create music or visuals became an instrument the moment affordable computers were able to perform real-time sound synthesis with languages that keep their interpreter running. Ever since, live coding has dealt with real time programming of synthesis algorithms. For that purpose, one possibility is an algorithm that automatically creates variations out of a few presets selected by the user. However, the need for real-time feedback and the small size of the data sets (which can even be collected mid-performance) are constraints that make existing automatic sound synthesizer programmers and learning algorithms unfeasible. Also, the design of such algorithms is not oriented to create variations of a sound but rather to find the synthesizer parameters that match a given one. Other approaches create representations of the space of possible sounds, allowing the user to explore it by means of interactive evolution. Even though these systems are exploratory-oriented, they require longer run-times. This thesis investigates inductive rule learning for on-the-fly synthesizer programming. This approach is conceptually different from those found in both synthesizer programming and live coding literature. Rule models offer interpretability and allow working with the parameter values of the synthesis algorithms (even with symbolic data), making preprocessing unnecessary. RuLer, the proposed learning algorithm, receives a dataset containing user labeled combinations of parameter values of a synthesis algorithm. Among those combinations sharing the same label, it analyses the patterns based on dissimilarity. These patterns are described as an IF-THEN rule model. The algorithm parameters provide control to define what is considered a pattern. As patterns are the base for inducting new parameter settings, the algorithm parameters control the degree of consistency of the inducted settings respect to the original input data. An algorithm (named FuzzyRuLer) able to extend IF-THEN rules to hyperrectangles, which in turn are used as the cores of membership functions, is presented. The resulting fuzzy rule model creates a map of the entire input feature space. For such a pursuit, the algorithm generalizes the logical rules solving the contradictions by following a maximum volume heuristics. Across the manuscript it is discussed how, when machine learning algorithms are used as creative tools, glitches, errors or inaccuracies produced by the resulting models are sometimes desirable as they might offer novel, unpredictable results. The evaluation of the algorithms follows two paths. The first focuses on user tests. The second responds to the fact that this work was carried out within the computer science department and is intended to provide a broader, nonspecific domain evaluation of the algorithms performance using extrinsic benchmarks (i.e not belonging to a synthesizer's domain) for cross validation and minority oversampling. In oversampling tasks, using imbalanced datasets, the algorithm yields state-of-the-art results. Moreover, the synthetic points produced are significantly different from those created by the other algorithms and perform (controlled) exploration of more distant regions. Finally, accompanying the research, various performances, concerts and an album were produced with the algorithms and examples of this thesis. The reviews received and collections where the album has been featured show a positive reception within the community. Together, these evaluations suggest that rule learning is both an effective method and a promising path for further research.Aquest manuscrit explora la programació automàtica d’algorismes de síntesi de so dins del context de la pràctica artística performativa coneguda com a live coding. L'escriptura improvisada de codi font per crear música o visuals es va convertir en un instrument en el moment en què els ordinadors van poder realitzar síntesis de so en temps real amb llenguatges que mantenien el seu intèrpret en funcionament. D'aleshores ençà, el live coding comporta la programació en temps real d’algorismes de síntesi de so. Per a aquest propòsit, una possibilitat és tenir un algorisme que creï automàticament variacions a partir d'alguns presets seleccionats. No obstant, la necessitat de retroalimentació en temps real i la petita mida dels conjunts de dades són restriccions que fan que els programadors automàtics de sintetitzadors de so i els algorismes d’aprenentatge no siguin factibles d’utilitzar. A més, el seu disseny no està orientat a crear variacions d'un so, sinó a trobar els paràmetres del sintetitzador que aplicats a l'algorisme de síntesi produeixen un so determinat (target). Altres enfocaments creen representacions de l'espai de sons possibles, per permetre a l'usuari explorar-lo mitjançant l'evolució interactiva, però requereixen temps més llargs. Aquesta tesi investiga l'aprenentatge inductiu de regles per a la programació on-the-fly de sintetitzadors. Aquest enfocament és conceptualment diferent dels que es troben a la literatura. Els models de regles ofereixen interpretabilitat i permeten treballar amb els valors dels paràmetres dels algorismes de síntesi, sense processament previ. RuLer, l'algorisme d'aprenentatge proposat, rep dades amb combinacions etiquetades per l'usuari dels valors dels paràmetres d'un algorisme de síntesi. A continuació, analitza els patrons, basats en la dissimilitud, entre les combinacions de cada etiqueta. Aquests patrons es descriuen com un model de regles IF-THEN. Els paràmetres de l'algorisme proporcionen control per definir el que es considera un patró. Llavors, controlen el grau de consistència dels nous paràmetres de síntesi induïts respecte a les dades d'entrada originals. A continuació, es presenta un algorisme (FuzzyRuLer) capaç d’estendre les regles IF-THEN a hiperrectangles, que al seu torn s’utilitzen com a nuclis de funcions de pertinença. El model de regles difuses resultant crea un mapa complet de l'espai de la funció d'entrada. Per això, l'algorisme generalitza les regles lògiques seguint una heurística de volum màxim. Al llarg del manuscrit es discuteix com, quan s’utilitzen algorismes d’aprenentatge automàtic com a eines creatives, de vegades són desitjables glitches, errors o imprecisions produïdes pels models resultants, ja que poden oferir nous resultats imprevisibles. L'avaluació dels algorismes segueix dos camins. El primer es centra en proves d'usuari. El segon, que respon al fet que aquest treball es va dur a terme dins del departament de ciències de la computació, pretén proporcionar una avaluació més àmplia, no específica d'un domini, del rendiment dels algorismes mitjançant benchmarks extrínsecs utilitzats per cross-validation i minority oversampling. En tasques d'oversampling, mitjançant imbalanced data sets, l'algorisme proporciona resultats equiparables als de l'estat de l'art. A més, els punts sintètics produïts són significativament diferents als creats pels altres algorismes i realitzen exploracions (controlades) de regions més llunyanesEste manuscrito explora la programación automática de algoritmos de síntesis de sonido dentro del contexto de la práctica artística performativa conocida como live coding. La escritura de código fuente de forma improvisada para crear música o imágenes, se convirtió en un instrumento en el momento en que las computadoras asequibles pudieron realizar síntesis de sonido en tiempo real con lenguajes que mantuvieron su interprete en funcionamiento. Desde entonces, el live coding ha implicado la programación en tiempo real de algoritmos de síntesis. Para ese propósito, una posibilidad es tener un algoritmo que cree automáticamente variaciones a partir de unos pocos presets seleccionados. Sin embargo, la necesidad de retroalimentación en tiempo real y el pequeño tamaño de los conjuntos de datos (que incluso pueden recopilarse durante la misma actuación), limitan el uso de los algoritmos existentes, tanto de programación automática de sintetizadores como de aprendizaje de máquina. Además, el diseño de dichos algoritmos no está orientado a crear variaciones de un sonido, sino a encontrar los parámetros del sintetizador que coincidan con un sonido dado. Otros enfoques crean representaciones del espacio de posibles sonidos, para permitir al usuario explorarlo mediante evolución interactiva. Aunque estos sistemas están orientados a la exploración, requieren tiempos más largos. Esta tesis investiga el aprendizaje inductivo de reglas para la programación de sintetizadores on-the-fly. Este enfoque es conceptualmente diferente de los que se encuentran en la literatura, tanto de programación de sintetizadores como de live coding. Los modelos de reglas ofrecen interpretabilidad y permiten trabajar con los valores de los parámetros de los algoritmos de síntesis (incluso con datos simbólicos), haciendo innecesario el preprocesamiento. RuLer, el algoritmo de aprendizaje propuesto, recibe un conjunto de datos que contiene combinaciones, etiquetadas por el usuario, de valores de parámetros de un algoritmo de síntesis. Luego, analiza los patrones, en función de la disimilitud, entre las combinaciones de cada etiqueta. Estos patrones se describen como un modelo de reglas lógicas IF-THEN. Los parámetros del algoritmo proporcionan el control para definir qué se considera un patrón. Como los patrones son la base para inducir nuevas configuraciones de parámetros, los parámetros del algoritmo controlan también el grado de consistencia de las configuraciones inducidas con respecto a los datos de entrada originales. Luego, se presenta un algoritmo (llamado FuzzyRuLer) capaz de extender las reglas lógicas tipo IF-THEN a hiperrectángulos, que a su vez se utilizan como núcleos de funciones de pertenencia. El modelo de reglas difusas resultante crea un mapa completo del espacio de las clases de entrada. Para tal fin, el algoritmo generaliza las reglas lógicas resolviendo las contradicciones utilizando una heurística de máximo volumen. A lo largo del manuscrito se analiza cómo, cuando los algoritmos de aprendizaje automático se utilizan como herramientas creativas, los glitches, errores o inexactitudes producidas por los modelos resultantes son a veces deseables, ya que pueden ofrecer resultados novedosos e impredecibles. La evaluación de los algoritmos sigue dos caminos. El primero se centra en pruebas de usuario. El segundo, responde al hecho de que este trabajo se llevó a cabo dentro del departamento de ciencias de la computación y está destinado a proporcionar una evaluación más amplia, no de dominio específica, del rendimiento de los algoritmos utilizando beanchmarks extrínsecos para cross-validation y oversampling. En estas últimas pruebas, utilizando conjuntos de datos no balanceados, el algoritmo produce resultados equiparables a los del estado del arte. Además, los puntos sintéticos producidos son significativamente diferentes de los creados por los otros algoritmos y realizan una exploración (controlada) de regiones más distantes. Finalmente, acompañando la investigación, realicé diversas presentaciones, conciertos y un ´álbum utilizando los algoritmos y ejemplos de esta tesis. Las críticas recibidas y las listas donde se ha presentado el álbum muestran una recepción positiva de la comunidad. En conjunto, estas evaluaciones sugieren que el aprendizaje de reglas es al mismo tiempo un método eficaz y un camino prometedor para futuras investigaciones.Postprint (published version

A fuzzy rule model for high level musical features on automated composition systems

Algorithmic composition systems are now well-understood. However, when they are used for specific tasks like creating material for a part of a piece, it is common to prefer, from all of its possible outputs, those exhibiting specific properties. Even though the number of valid outputs is huge, many times the selection is performed manually, either using expertise in the algorithmic model, by means of sampling techniques, or some times even by chance. Automations of this process have been done traditionally by using machine learning techniques. However, whether or not these techniques are really capable of capturing the human rationality, through which the selection is done, to a great degree remains as an open question. The present work discusses a possible approach, that combines expert’s opinion and a fuzzy methodology for rule extraction, to model high level features. An early implementation able to explore the universe of outputs of a particular algorithm by means of the extracted rules is discussed. The rules search for objects similar to those having a desired and pre-identified feature. In this sense, the model can be seen as a finder of objects with specific properties.Peer ReviewedPostprint (author's final draft

Performance of the anaerobic lagoons with dividing baffle and facultative of the wwtp of Santa Fe do Sul (São Paulo, Brazil)

Esta investigación tuvo como objetivo principal evaluar la eficiencia de la planta de tratamiento de aguas residuales (PTAR) de Santa Fé do Sul en las diferentes épocas climáticas. Se realizó un estudio batimétrico de las lagunas de estabilización anaerobia y facultativa para trazar los perfiles de acumulación de lodos; se monitoreó durante 24 horas consecutivas el afluente crudo y se realizó el seguimiento de su desempeño en tres etapas de investigación, cada una con tres meses de duración. La remoción media de DBO fue del 78,6%, menor que la mínima exigida por la legislación brasilera, en el efluente la cantidad de coliformes fecales (CF) superó en gran medida los valores permitidos y el volumen de sólidos sedimentables excedió el 1,0 mL/L de la Norma. La PTAR requiere mantenimiento de la laguna anaerobia e implementar un pos tratamiento que garantice la reducción de DBO, CF y sólidos del efluente final.The main objective of this research was to evaluate the performance of the sewage treatment plant (stp) of Santa Fe do Sul in the different climatic seasons. A bathymetric survey of the anaerobic and facultative lagoons was carried out to determine the sludge accumulation profiles and estimate the hydraulic retention time of the units; Three-stage monitoring of the raw sewage and the ponds’ effluents for 3-months long each was carried out. The average removal of the biochemical oxygen demand (bod) was 78.6 %, lower than the minimum efficiency allowed by the current Brazilian legislation; the amount of fecal coliforms (fc) and the settleable solids volume exceeded the permitted values by the regulation. The stp needs maintenance on the anaerobic lagoon and a post-treatment system to guarantee additional bod, fc and solids removal on the final effluent

Design of seepage flow virtual laboratory tests in the discipline of Soil mechanics. An alternative proposal with multiple teaching advantages

[ENG] The characteristics of the laboratory or field tests, to be developed by the students, in disciplines of technical carriers such as Mines and Civil Engineering are qualitatively and quantitatively different that those related to basic disciplines such as Physics, Chemistry or Graphical Representation. However, these are quite fundamental for a complete formation of the students in order to complement their theoretical teaching; the practical e experience acquired by the engineer in laboratory and field is quite essential for their professional future. The drawing up virtual laboratory tests, always as alternative to real tests, when they are correctly carried out with well-established aims, can suppose an interesting solution since they offer a large number of advantages. In this work the experience of making up a didactical unity of a virtual laboratory test, on the issue of flow networks in the discipline of Geothenics, bring together the subjects that the students must know about the matter. To this end a suitable code is developed that goes further the flow network construction. The virtual test also contains complementary and optional exercises, with auto-evaluative character, that students must fit in their own computer for the compliance of all the subjects. [SPA] Las prácticas de laboratorio en asignaturas propias de disciplinas de especialidad en carreras de ingeniería tienen ciertas características que las diferencian cualitativa y cuantitativamente de otras pertenecientes a asignaturas comunes como la Física, la Química o la Expresión Gráfica. Sin embargo, una formación profesional correcta requiere obviamente la asistencia a laboratorios reales e incluso al campo para completar la formación teórica que se imparte en clases de teoría y problemas. La elaboración de prácticas, siempre alternativas, de carácter virtual, cuando se programan con objetivos bien definidos, puede representar una solución interesante que tiene múltiples ventajas. En este trabajo se presenta una experiencia consistente en la elaboración de una unidad didáctica de prácticas de laboratorio virtual en la temática de redes de flujo, dentro de la asignatura de Geotecnia de las carreras de Ingeniería de Caminos e Ingeniería de Minas, que aglutina los objetivos que el alumno debe conocer sobre la materia. Para ello se usa un código propio, desarrollado a este fin, que transciende de la propia elaboración de la red, autoevaluativo y con propuestas complementarias y opcionales que el alumno debe completar como trabajo individual

Grado de relación entre el clima laboral y el desempeño de los colaboradores de la empresa Adidas sede Trujillo Mall Plaza, en el trimestre del año 2018

"El objetivo de esta investigación fue determinar el grado de relación entre las variables clima laboral y desempeño de los colaboradores de la empresa ADIDAS sede Trujillo Mall Plaza. La hipótesis de trabajo que se formuló fue: El grado de relación entre el clima laboral y el desempeño de los colaboradores de la empresa ADIDAS sede Trujillo Mall Plaza, en el II Trimestre del año 2018, es positiva considerable; es decir, se esperaba hallar que el coeficiente de relación rho de Spearman se ubicaría en el rango comprendido entre los valores +0.51 y +0.75. La población del estudio estuvo constituida por 24 trabajadores, considerando que el número de sujetos de la población fue pequeño, el tamaño de la muestra fue de 23 trabajadores, excluyendo al gerente. El diseño de investigación elegido fue el descriptivo correlacional. Los datos fueron recolectados utilizando la técnica encuesta, mediante la herramienta cuestionario; la técnica entrevista mediante el instrumento guía de preguntas; y la técnica observación, a través del instrumento lista de cotejo. Mediante un análisis estadístico no-paramétrico, la investigación concluyó que sí existe una relación directa y significativa entre el clima laboral y el desempeño de los colaboradores de la empresa ADIDAS sede Trujillo Mall Plaza. El valor hallado para la rho de Spearman fue de +0.524, con un nivel de significancia de 0.01 (p-valor) < 0.05, lo que implica una relación positiva considerable y permite aceptar la hipótesis de trabajo propuesta. ""The objective of this research was to determine the grade of relation between the variables work climate and employees´ performance of ADIDAS company, Trujillo Mall Plaza. The working hypothesis that was formulated: The grade of relation between the work climate and the employees´ performance of ADIDAS company Trujillo Mall Plaza, in the II trimester of 2018, is considerable positive; that is, we expected to find that Spearman's rho ratio coefficient would be in the range between the values +0.51 and +0.75. The studied population consisted of 24 workers, considering that the number of subjects in the population was small, the sample size was 23 workers, excluding the manager. The research design chosen was the descriptive correlational. Data were collected using: the survey technique using the questionnaire instrument, the interview technique using the question guide instrument and the observation technique through the checklist instrument. Through a non-parametric statistical analysis, the research concluded that there is a direct and significant relation between the work climate and the employees´ performance of the ADIDAS company, Trujillo Mall Plaza. The value found for the Spearman rho was +0.524, with a level of significance of 0.01 (p-value) < 0.05, which implies a considerable positive relation and allows accepting the proposed work hypothesis. "Tesi

A methodological approach for algorithmic composition systems' parameter spaces aesthetic exploration

Algorithmic composition is the process of creating musical material by means of formal methods. As a consequence of its design, algorithmic composition systems are (explicitly or implicitly) described in terms of parameters. Thus, parameter space exploration plays a key role in learning the system's capabilities. However, in the computer music field, this task has received little attention. This is due in part, because the produced changes on the human perception of the outputs, as a response to changes on the parameters, could be highly nonlinear, therefore models with strongly predictable outputs are needed. The present work describes a methodology for the human perceptual (or aesthetic) exploration of generative systems' parameter spaces. As the systems' outputs are intended to produce an aesthetic experience on humans, audition plays a central role in the process. The methodology starts from a set of parameter combinations which are perceptually evaluated by the user. The sampling process of such combinations depends on the system under study and possible on heuristic considerations. The evaluated set is processed by a compaction algorithm able to generate linguistic rules describing the distinct perceptions (classes) of the user evaluation. The semantic level of the extracted rules allows for interpretability, while showing great potential in describing high and low-level musical entities. As the resulting rules represent discrete points in the parameter space, further possible extensions for interpolation between points are also discussed. Finally, some practical implementations and paths for further research are presented.Peer ReviewedPostprint (author's final draft

Electrophysiological detection of visible wavelengths of artificial lights inducing take-off in adults of Rhodnius prolixus (Hemiptera: Triatominae)

Rhodnius prolixus is the most important vector of Trypanosoma cruzi in the northern part of South America. The compound eyes in adults of R. prolixus are involved in the nocturnal flight dispersion from sylvatic environments into human dwellings. During this behavior, the artificial lights play an important role in attracting R. prolixus; however, it is still not clear whether the compound eyes of this species use different visible wavelengths as a cue during active dispersion. We applied electrophysiological (electroretinography or ERG) and behavioral (take-off) experiments in a controlled laboratory setting to determine the spectral sensitivity of the compound eyes and the attraction of R. prolixus adults to discrete visible wavelengths. For the ERG experiments, flashes of 300 ms at wavelengths ranging between 350 and 700 nm at a constant intensity of 3.4 µW/cm2 were tested after adaptation to darkness and to blue and yellow lights. For the behavioral experiments, the adults were exposed to nine visible wavelengths at three different intensities, and their direction of take-off in an experimental arena was established with circular statistics. The ERG results showed peaks of spectral sensitivity at 470–490 nm and 520–550 nm in adults, while behavioral experiments showed attractions to blue, green and red lights, depending on the intensity of the light stimuli. The electrophysiological and behavioral results confirm that R. prolixus adults can detect certain wavelengths in the visible spectrum of light and be attracted to them during take-off

Análisis de series temporales financieras: modelización ARIMA

[spa] En este documento se evalúa la serie de cotizaciones máximas semanales del IBEX-35 con el objetivo de formular un modelo de series temporales capaz de sostener el comportamiento de dicha serie y, a su vez, ofrecer predicciones óptimas. Para el desarrollo del análisis, se exponen, en primer lugar, los aspectos formales de la modelización ARIMA. A continuación se presenta el esquema a seguir para el estudio de la serie, la metodología Box-Jenkins. Este protocolo se centra en: la identificación del modelo; la estimación del mismo, a través del programa econométrico Gretl; la validación del modelo, mediante los contrastes estadísticos necesarios; la predicción, con las correspondientes conclusiones. Finalmente se alcanza la conclusión que el modelo ARIMA(1,1,0) replica adecuadamente la serie.[eng] This document evaluates the series of maximum weekly prices of the IBEX-35 with the aim of formulating an appropriate time series model to capture the behavior of that series and, in turn, offer optimal predictions. For the development of the analysis, first, the formal aspects of the ARIMA modeling are exposed. Then, the scheme to follow for the study of the series, the Box-Jenkins methodology, is presented. This protocol focuses on: model identification; its estimation; model validation through a set of diagnostic tests; and prediction, with the corresponding implications. Finally, it is concluded that the ARIMA(1,1,0) model adequately replicates the series