Aprendizaje dirigido a la programación en C mediante detección automática de errores

La tecnología está cambiando muchos aspectos de nuestra vida cotidiana: nuestra forma de relacionarnos con otras personas, nuestra manera de trabajar o, incluso, nuestra manera de aprender. El uso de la tecnología en las aulas no nos es extraño; sin embargo, la tecnología se utiliza como una especie de "instrumento pasivo" que convierte al alumno en un usuario de distintas aplicaciones y servicios. La interacción personalizada entre profesorado y alumnado va a ser imprescindible, al depender de ésta el posterior éxito o fracaso del alumno. El problema es que fuera del entorno académico esa interacción no existe, o es difícil, si no imposible, que se produzca. La realidad es que en los primeros instantes de acercamiento a la programación, el programador novel cuenta con la ayuda del compilador para corregir los errores de sintaxis de su código, pero a menos que tenga a un programador experto cerca, nadie le ayudará a corregir los errores de estilo. Queda patente que los compiladores actuales son insuficientes para los programadores inexpertos, de hecho, hay trabajos que lo corroboran y desarrollan herramientas específicas para suplir estas deficiencias. El objetivo de este Trabajo Fin de Grado es desarrollar una aplicación que permita tanto al alumno como al profesor, determinar si un programa escrito en lenguaje de programación C cumple con una serie de normas de estilo. Algo que no sólo ayudará al alumno a mejorar el desarrollo correcto de sus programas, si no que permitirá al profesor poner más énfasis en unos determinados errores u otros, según el momento del análisis del programa.Ingeniería Informátic

Las sanciones de la Unión Europea a Rusia por el conflicto en Ucrania : análisis comparativo entre 2014 y abril de 2022

Las sanciones impuestas por la Unión Europea (UE) a Rusia, en el marco del conflicto en Ucrania, han recibido numerosas críticas por su aparente falta de eficacia y ambición. En 2014, la UE fijó las primeras sanciones, las cuales no lograron acabar con los objetivos del Kremlin con relación a la anexión de Crimea y la ocupación de las provincias de Donetsk y Lugansk. De todas formas, Rusia se preparó para afrontar nuevas represalias en el futuro como, por ejemplo, los paquetes de sanciones impuestos por la UE en 2022, a raíz de la invasión militar rusa en Ucrania. En este artículo se analiza el trasfondo de las medidas restrictivas impuestas, comparando las de 2014 con las de 2022, para así poder valorar el impacto real que han tenido.Les sancions imposades per la Unió Europea (UE) a Rússia, en el marc del conflicte a Ucraïna, han rebut nombroses crítiques per la seva aparent manca d'eficàcia i ambició. El 2014, la UE va fixar les primeres sancions, les quals no van aconseguir acabar amb els objectius del Kremlin en relació amb l'annexió de Crimea i l'ocupació de les províncies de Donetsk i Lugansk. De tota manera, Rússia es va preparar per afrontar noves represàlies en el futur com, per exemple, els paquets de sancions imposats per la UE el 2022, arran de la invasió militar russa a Ucraïna. En aquest article s'analitza el rerefons de les mesures restrictives imposades, comparant les del 2014 amb les del 2022, per així poder valorar l'impacte real que han tingut.The sanctions imposed by the European Union (EU) on Russia, in the context of the conflict in Ukraine, have received numerous criticisms for their apparent lack of effectiveness and ambition. In 2014, the EU set the first sanctions, which failed to end the Kremlin's goals regarding the annexation of Crimea and the occupation of Donetsk and Luhansk provinces. In any case, Russia prepared to face new reprisals in the future, such as the sanctions packages imposed by the EU in 2022, following the Russian military invasion in Ukraine. This article analyzes the background of the restrictive measures imposed, comparing those of 2014 with those of 2022, in order to assess the real impact they have had

La prueba testifical en el proceso penal español

La prueba testifical es una de las pruebas principales del proceso penal. En el presente trabajo de investigación se ha analizado la figura del testigo en el proceso penal español, su declaración en el procedimiento y la valoración que a dicha prueba otorgan los tribunales. Por ello, en primer lugar, se estudiará el concepto de testigo en el proceso penal, recurriendo para ello a su definición recogida tanto en el artículo 24.1 ce como en la LO 6/1985 de 1 de julio del Poder Judicial, y Lecrim de 14 de septiembre de 1882, entre otras, contando igualmente con la definición que de los testigos realizan diferentes autores procesalistas españoles. En segundo lugar, se explicarán los derechos que corresponden a los testigos, en concreto, la indemnización para resarcir los gastos y perjuicios sufridos como consecuencia de su intervención en el proceso, así como las obligaciones que éstos tienen, dando a conocer la obligación de comparecer y la obligación de declarar ligada a estas dos obligaciones, se realizará también un estudio de la obligación de decir la verdad, indispensable en lo que se refiere a la declaración del testigo. En tercer lugar, la declaración testifical en el proceso penal, tanto en la fase de instrucción como en la fase de juicio oral, dando a conocer los principios generales que rigen la práctica de la prueba testifical. Y, por último, el valor probatorio de la declaración testifical en la fase del juicio oral, tanto de una manera general, como en supuestos especiales

Essays on individual decision behavior

La presente tesis se compone de cuatro capítulos independientes, unidos todos ellos en torno a la motivación común del estudio del comportamiento de decisión individual. El primer capítulo constituye la parte de la tesis escrita en español y en él puede encontrarse una extensa revisión de literatura previa relacionada con el carácter endógeno de las preferencias individuales. En el capítulo 2, se presenta un estudio de los fundamentos psicológicos de la conocida discrepancia entre disponibilidad a aceptar (DAA) y disponibilidad a pagar (DAP). En él se lleva a cabo lo que puede considerarse un experimento económico estándar en el ámbito de la disparidad DAA-DAP, introduciendo cinco elementos adicionales destinados a identificar procesos psicológicos clave en la aparición de la discrepancia. El capítulo 3 contiene un estudio experimental sistemático de la imprecisión en las preferencias individuales y la variabilidad estocástica en el comportamiento de decisión, basado en la evaluación de loterías individuales. Por último, en el capítulo 4, se presenta un estudio más reducido relacionado también con el componente estocástico en el comportamiento de decisión. En él se muestra cómo el alto grado de variabilidad presente en el comportamiento de decisión puede producir fuertes efectos de regresión hacia la media, que pueden distorsionar de manera crucial los resultados experimentales

Paying people to eat or not to eat?: carryover effects of monetary incentives on eating behaviour

There is no evidence comparing head-to-head the effects of monetary incentives to act and to abstain from acting on behaviour. We present an experiment, conducted between June and September 2012, that directly compares the effects of those two different monetary incentive schemes on eating behaviour: we evaluate incentives to eat against incentives not to eat. A large number of participants (n = 353) had bowls of sweets next to them while they watched different videos over two experimental sessions that were two days apart. Sweets eating was monitored and monetary incentives to eat or not to eat were introduced during one of the videos for participants randomly allocated to these conditions. Our results show that, while both types of incentives were effective in changing sweets-eating behaviour when they were in place, only incentives not to eat had significant carryover effects after they were removed. Those effects were still significant two days after the monetary incentives had been eliminated. We also present some additional results on personality and health-related variables that shed further light on these effects. Overall, our study shows that incentives not to eat can be more effective in producing carryover effects on behaviour in domains like the one explored here

Microwave oscillator and frequency comb in a silicon optomechanical cavity with a full phononic bandgap

Cavity optomechanics has recently emerged as a new paradigm enabling the manipulation of mechanical motion via optical fields tightly confined in deformable cavities. When driving an optomechanical (OM) crystal cavity with a laser blue-detuned with respect to the optical resonance, the mechanical motion is amplified, ultimately resulting in phonon lasing at MHz and even GHz frequencies. In this work, we show that a silicon OM crystal cavity performs as an OM microwave oscillator when pumped above the threshold for self-sustained OM oscillations. To this end, we use an OM cavity designed to have a breathing-like mechanical mode at 3.897 GHz in a full phononic bandgap. Our measurements show that the first harmonic of the detected signal displays a phase noise of ≈−100 dBc/Hz at 100 kHz. Stronger blue-detuned driving leads eventually to the formation of an OM frequency comb, whose lines are spaced by the mechanical frequency. We also measure the phase noise for higher-order harmonics and show that, unlike in Brillouin oscillators, the noise is increased as corresponding to classical harmonic mixing. Finally, we present real-time measurements of the comb waveform and show that it can be fitted to a theoretical model recently presented. Our results suggest that silicon OM cavities could be relevant processing elements in microwave photonics and optical RF processing, in particular in disciplines requiring low weight, compactness and fiber interconnection

On the external validity of social preference games: a systematic lab-field study

We present a lab-field experiment designed to systematically assess the external validity of social preferences elicited in a variety of experimental games. We do this by comparing behavior in the different games with several behaviors elicited in the field and with self-reported behaviors exhibited in the past, using the same sample of participants. Our results show that the experimental social preference games do a poor job explaining both social behaviors in the field and social behaviors from the past. We also include a systematic review and meta-analysis of previous literature on the external validity of social preference games

Desarrollo de membranas asimétricas de película delgada MOF-Polímero para nanofiltración

Este trabajo fin de grado, forma parte de la investigación sobre capas de separación ultrafinas (espesores del orden de la micra o incluso menor) del grupo de Catálisis, Separaciones Moleculares e Ingeniería de Reactores (CREG) de la Universidad de Zaragoza persiguiéndose la optimización de estas membranas para la nanofiltración de disolventes orgánicos (OSN). El principal objetivo de este trabajo fue la combinación de compuestos metal-orgánicos porosos (MOFs) pertenecientes a la subfamilia de los ZIFs (ZIF-8, ZIF-11, ZIF-67 y ZIF-93) con poliamida en membranas compuestas de película delgada (TFC). Se preparan membranas novedosas de doble capa MOF-TFC que consisten en sintetizar una capa de MOF sobre un soporte de poliimida mediante un proceso de síntesis interfacial y a continuación la polimerización interfacial de la poliamida. Por comparación se preparan membranas TFN-MOF en las que durante el proceso de polimerización de la poliamida sobre el soporte se incorporan las nanopartículas de MOFs. Además, también se modificaron algunos parámetros en la preparación del soporte poroso asimétrico de poliimida como la composición de la disolución de casting o la temperatura o la composición del baño de coagulación para comprobar como afectaban a las propiedades del mismo. Los resultados obtenidos de las membranas MOF-TFC y TFN-MOF en los experimentos de OSN se han comparado entre ellos y con membranas TFC sin MOF. Mediante las técnicas de caracterización de microscopía electrónica de barrido (SEM), SEM con microanálisis (SEM-EDX), difracción de rayos X (XRD) y el análisis termogravimétrico (TGA), se ha logrado establecer la correcta incorporación de los ZIFs en las membranas MOF-TFC y TFN-MOF. En el proceso de OSN, se utilizó como alimentación una disolución del colorante Amarillo crepúsculo (452 Da) en metanol, aplicando una presión de 20 bares para hacerla circular a través de la membrana y temperatura de 25 °C. Gracias a la incorporación de los MOFs, las membranas MOF-TFC y TFN-MOF han obtenido un mejor rendimiento en comparación con TFC. Los mejores resultados se han obtenido para los ZIFs ZIF-93 y ZIF-8 en la síntesis de TFN-MOF y ZIF-8 en MOF-TFC

Risk attitude elicitation using a multi-lottery choice task: Real vs. hypothetical incentives

We present a bi-dimensional multi lottery choice task which can be used in order to elicit the agents' risk attitudes in financial environments. This task is implemented both with hypothetical and real monetary incentives in a between-subjects and a within-subjects experiment. We observe choices involving significantly lower risk aversion on aggregate when incentives are real. The differences grow with the stakes at play. We also obtain significant differences between hypothetical and real rewards in both utility weighting and probability weighting estimated parameters. We find that the use of hypothetical incentives in multi-lottery choice tasks for evaluating individual risk aversion can be misleading

Bridge–structure interaction analysis of a new bidirectional and continuous launching bridge mechanism

This paper presents a numerical study of the structural interaction between a bridge and a new continuous device for launching heavy structures using the force of friction. In this way, it provides a great contribution for the civil engineering field focused on a new method for launching bridges by a continuous and bidirectional mechanism. A non-linear finite element model using contact elements studies the structural interaction between the bridge and the new device. Bridge and device interaction are studied using linear and non-linear contact behavior. The substructuring technique is used for the bridge modeling in order to reduce the overall degrees of freedom. This technique allows the selection of the best arrangement for two mechanism models placed under the webs of the bridge: two parallel arrangements where external device is opposite or behind the internal one, and other arrangement with devices in series. Furthermore, the non-uniform load distribution over the mechanism was studied during the launching process. With this methodology, it is possible to study the structural behavior of the mechanism taking into account the real load distribution applied for the bridge during the launching process.This work was partially financed with FEDER funds by the Spanish Ministry of Science and Innovation through the Research Project BIA2012-31609 and the Gijon City Council through the SV-13-GIJON-1.7 project. We would also like to thank Swanson Analysis Inc. for the use of the ANSYS University research program and Workbench simulation environment. Finally, we would like to acknowledge the help of the Spanish Ministry of Economics and Competitiveness through the Research Project ALCANZA, IPT-380000-2010-012 INNPACTO program