1,395 research outputs found
Las elecciones de 1918 en la circunscripción de Alicante: anatomía del caciquismo y el fraude electoral en la crisis de la Restauración
My favourite piece of heritage (and the Heritage Big Bang)
[EN] The notion of heritage used to be clear-cut and well defined. However, in the last year, it has experience what could be called "the heritage big bang": now, "heritage" encompasses a number of different things (old versus modern, public versus private, artistic versus industrial, universal versus local, material versus immaterial, etc.). This calls for a refinement of the notion, or, perhaps, for its updating.Muñoz Viñas, S. (2013). My favourite piece of heritage (and the Heritage Big Bang). e-dialogos. (3):48-54. http://hdl.handle.net/10251/99949S4854
Analysis Techniques for Concurrent Programming Languages
Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad,
tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas y su arquitectura interna,
cabe esperar que este hecho siga siendo una realidad en los pr oximos a~nos. En
este contexto, el desarrollo de herramientas de apoyo al desarrollo de programas
concurrentes se vuelve esencial. Adem as, el comportamiento de los sistemas concurrentes es especialmente dif cil de analizar, por lo que cualquier herramienta que
ayude en esta tarea, a un cuando sea limitada, ser a de gran utilidad. Por ejemplo, podemos encontrar herramientas para la depuraci on, an alisis, comprobaci on,
optimizaci on, o simpli caci on de programas. Muchas de ellas son ampliamente
utilizadas por los programadores hoy en d a.
El prop osito de esta tesis es introducir, a trav es de diferentes lenguajes de
programaci on concurrentes, t ecnicas de an alisis que puedan ayudar a mejorar la
experiencia del desarrollo y publicaci on de software para modelos concurrentes.
En esta tesis se introducen tanto an alisis est aticos (aproximando todas las posibles ejecuciones) como din amicos (considerando una ejecuci on en concreto). Los
trabajos aqu propuestos di eren lo su ciente entre s para constituir ideas totalmente independientes, pero manteniendo un nexo com un: el hecho de ser un
an alisis para un lenguaje concurrente. Todos los an alisis presentados han sido
de nidos formalmente y se ha probado su correcci on, asegurando que los resultados obtenidos tendr an el grado de abilidad necesario en sistemas que lo requieran,
como por ejemplo, en sistemas cr ticos. Adem as, se incluye la descripci on de las
herramientas software que implementan las diferentes ideas propuestas. Esto le da
al trabajo una utilidad m as all a del marco te orico, permitiendo poner en pr actica
y probar con ejemplos reales los diferentes an alisis.
Todas las ideas aqu presentadas constituyen, por s mismas, propuestas aplicables en multitud de contextos y problemas actuales. Adem as, individualmente sirven de punto de partida para otros an alisis derivados, as como para la adaptaci on
a otros lenguajes de la misma familia. Esto le da un valor a~nadido a este trabajo,
como bien atestiguan algunos trabajos posteriores que ya se est an bene ciando de
los resultados obtenidos en esta tesis.Concurrent languages are increasingly present in our society, both in new
technologies and in the systems used on a daily basis. Moreover, given the
current systems distribution and their internal architecture, one can expect
that this remains so in the coming years. In this context, the development of
tools to support the implementation of concurrent programs becomes essential.
Futhermore, the behavior of concurrent systems is particularly difficult
to analyse, so that any tool that helps in this task, even if in a limited way,
will be very useful. For example, one can find tools for debugging, analysis,
testing, optimisation, or simplification of programs, which are widely used
by programmers nowadays.
The purpose of this thesis is to introduce, through various concurrent programming
languages, some analysis techniques that can help to improve the
experience of the software development and release for concurrent models.
This thesis introduces both static (approximating all possible executions) and
dynamic (considering a specific execution) analysis. The topics considered
here differ enough from each other to be fully independent. Nevertheless,
they have a common link: they can be used to analyse properties of a concurrent
programming language. All the analyses presented here have been
formally defined and their correctness have been proved, ensuring that the
results will have the reliability degree which is needed for some systems (for
instance, for critical systems). It also includes a description of the software
tools that implement the different ideas proposed. This gives the work a usefulness
well beyond the theoretical aspect, allowing us to put it in practice
and to test the different analyses with real-world examples All the ideas here presented are, by themselves, approaches that can be applied
in many current contexts and problems. Moreover, individually they
serve as a starting point for other derived analysis, as well as for the adaptation
to other languages of the same family. This gives an added value to
this work, a fact confirmed by some later works that are already benefiting
from the results obtained in this thesis.Tamarit Muñoz, S. (2013). Analysis Techniques for Concurrent Programming Languages [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/31651TESI
Selection of the Informative Base in ARMA-GARCH Models
In this paper we consider the selection of the information set in ARMA-GARCH models using the methodology proposed in Muñoz et al. (2001) based on ideas of Phillips (1996). To that end, we analyse the performance of some selection criteria asymptotically equivalent to the Bayes factor and propose a method to build approximated Bayesian forecast intervals.ARMA, GARCH, Prediction , Model Selection, Information Set Selection
Slicing Techniques Applied to Concurrent Languages
In this thesis are presented different program slicing techniques for two concurrent languages: CSP and Petri Nets. As for CSP, two static slices are introduced, using both a new kind of graph. Furthermore, their implementation is also presented and tested. As for Petri Nets, two dynamic slicing techniques are proposed.Tamarit Muñoz, S. (2008). Slicing Techniques Applied to Concurrent Languages. http://hdl.handle.net/10251/13627Archivo delegad
Feature-driven improvement of renewable energy forecasting and trading
M. A. Muñoz, J. M. Morales, and S. Pineda, Feature-driven Improvement of Renewable Energy Forecasting and Trading, IEEE Transactions on Power Systems, 2020.Inspired from recent insights into the common ground of machine learning, optimization and decision-making, this paper proposes an easy-to-implement, but effective procedure to enhance both the quality of renewable energy forecasts and the competitive edge of renewable energy producers in electricity markets with a dual-price settlement of imbalances. The quality and economic gains brought by the proposed procedure essentially stem from the utilization of valuable predictors (also known as features) in a data-driven newsvendor model that renders a computationally inexpensive linear program. We illustrate the proposed procedure and numerically assess its benefits on a realistic case study that considers the aggregate wind power production in the Danish DK1 bidding zone as the variable to be predicted and traded. Within this context, our procedure leverages, among others, spatial information in the form of wind power forecasts issued by transmission system operators (TSO) in surrounding bidding zones and publicly available in online platforms. We show that our method is able to improve the quality of the wind power forecast issued by the Danish TSO by several percentage points (when measured in terms of the mean absolute or the root mean square error) and to significantly reduce the balancing costs incurred by the wind power producer.European Research Council (ERC) under the EU Horizon 2020 research and innovation programme (grant agreement No. 755705)
Spanish Ministry of Economy, Industry, and Competitiveness through project ENE2017-83775-P
Motivos de participación y satisfacción en actividades cooperativas y no competitivas en el medio natural
The purpose of our study was the analysis of motivational differences involved in the practice of cooperative and especially non-competitive outdoor activities organized by the Salamanca´s City Hall. The sample were configurated by 176 school boys and girls, aged 9 to 15 (M = 12; SD = 1.5), from 21 different local schools who completed a questionnaire designed ad hoc. For 90% of participants the main reasons argued for engaging in these activities were “to get to know new sports” and “to do something different from what is normally being offered”; 79% valued the choice of this programme in terms of “the importance of being in contact with nature”; and 68% made positive comments on the fact that “there was no competition involved”. All in all, 99% were satisfied both with instructors and activities. Therefore, participants perceived the programme as a great success and as a very motivating initiative; the most highlighted features were its novelty, its non-competitive and cooperative nature and the fact that activities took place in a natural environment.El objeto de nuestro estudio fue el análisis de las diferencias motivacionales para la práctica de actividades deportivas en el medio natural, de carácter cooperativo y especialmente no competitivas, organizadas por el Ayuntamiento de Salamanca. La muestra estuvo compuesta por 176 escolares, pertenecientes a 21 centros, con edades comprendidas entre los 9 y los 15 años (M= 12, DT= 1,5), que completaron un cuestionario creado ad hoc. Los principales motivos para realizar estas actividades han sido, para el 90%, “conocer nuevos deportes” y “porque es distinto a lo que les ofrecen habitualmente”. El 79% valora la elección de este programa por la importancia del “contacto con la Naturaleza” y el 68% porque “no exista competición”. El 99% se muestran satisfechos con los monitores y la actividad. Por lo tanto, el éxito del programa es total por parte de todos los participantes y muy motivante, al ser novedoso, no competitivo, cooperativo y realizado en medio natural
PRIMER REPORTE DE ANIDACIÓN DEL CHARRÁN ROSADO (STERNA DOUGALLII) EN MÉXICO
RESUMEN Reportamos un nuevo sitio de anidación del Charrán Rosado (Sterna dougallii) en México. Los nidos se observaron en un islote arenoso, en Ensenada Ancón, al noreste de la laguna de Chacmochuk a 23 km al norte de Cancún, 6 km al sur de Isla Contoy y 17 km al norte de Isla Mujeres en la costa de Quintana Roo, México. Registramos los nidos por primera vez el 11 de mayo del 2015 y, a partir de esa fecha, visitamos el sitio en dos ocasiones más; el 25 de mayo y 9 de junio del mismo año. En la primera visita observamos 31 nidos activos y 37 huevos, el 25 de mayo 58 nidos, 77 huevos y 32 pollos, mientras que el 9 de junio se contaron 68 nidos, 51 huevos y 32 pollos. En 2013 y 2014 no se registró la anidación del Charrán Rosado en el islote en Ancón, por lo que este representa el primer registro de anidación para México, y se incrementa su distribución a 560 km al sudoeste de Cuba, el sitio de anidación más cercano conocido. ABSTRACT ∙ First breeding record of the Roseate Tern (Sterna dougallii) for MexicoWe report the first breeding of the Roseate Tern (Sterna dougallii) in México. The nests were observed in a sandy islet in Ensenada Ancón, northeast of Chacmochuk lagoon, 23 km north of Cancun, 6 km south of Contoy Island and 17 km north of Isla Mujeres on the coast of Quintana Roo, Mexico. We first recorded the nests on 11 May 2015, and subsequently visited the site two more times, on 25 May and 9 June of the same year. On the first visit, we observed 31 active nests and 37 eggs, on 25 May 58 nests, 77 eggs, and 32 chicks, while on 9 June 68 nests, 51 eggs, and 32 chicks were counted. Previously, in 2013 and 2014 no nesting Roseate Terns were recorded on the islet in Ancón. The new site extends significantly the breeding range in the Caribbean, being located 560 km southwest of Cuba, the nearest known nesting site
- …