Extensiones a la comprobación de satisfacibilidad de restricciones

[ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a modelos que extiendan la aritmética Presburger con propiedades ecuacionales tales como asociatividad, conmutatividad e identidad, así como el caso más complejo (con un algoritmo de semi-decisión en vez de un algoritmo de decisión) para teorías ecuacionales con propiedades ecuacionales orientadas como reglas.Viciano Negre, P. (2012). Extensiones a la comprobación de satisfacibilidad de restricciones. http://hdl.handle.net/10251/17982Archivo delegad

Empirical study of sensor observation services server instances

The number of Sensor Observation Service (SOS) instances available online has been increasing in the last few years. The SOS specification standardises interfaces and data formats for exchanging sensor-related in-formation between information providers and consumers. SOS in conjunction with other specifications in the Sensor Web Enablement initiative, at-tempts to realise the Sensor Web vision, a worldwide system where sensor networks of any kind are interconnected. In this paper we present an empirical study of actual instances of servers implementing SOS. The study focuses mostly in which parts of the specification are more frequently included in real implementations, and how exchanged messages follows the structure defined by XML Schema files. Our findings can be of practical use when implementing servers and clients based on the SOS specification, as they can be optimized for common scenarios.Comment: 25 pages, 11 tables, 6 figure

Colecciones ex situ de planta viva para la conservación de la planta amenazada Silene hifacensis, Rouy ex Willk (Caryophyllaceae)

The establishment of seed orchards has allowed obtaining a great deal of germoplasm of Silene hifacensis, an endangered endemic Ibero-Balearic species. In four years, 3.958.531 seeds have been collected in our four seed orchards from a total of 570 plants/year per average, including all genetic variability from natural populations of this species in Alicante province (Illot of Mona, the Pessebret, Cova de les Cendres, Morro de Toix)

Sobre la zarza del Pare Pere (Rubus, Rosaceae)

El relato del "Miracle de l'esbarzer" del Pou del Pare Pere, cuenta como este franciscano hizo desaparecer las espinas de una zarza que crecía alrededor del Pozo de Jesús Pobre (Xàbia, Alicante, España) al cual fue a coger agua y en la que se pinchó. Esta zarza inerme es desde entonces conocida y apreciada en esta localidad, así como en los pueblos vecinos, donde es cultivada como ornamental. La zarza del Pare Pere pertenece a una forma inerme (sin espinas) de Rubus ulmifolius. Esta planta ya era conocida y fue nombrada antes de que fuera publicado el propio R. ulmifolius, lo que provoca una inestabilidad nomenclatural cuyo problema debe ser abordado. El origen, la identificación taxonómica, así como la relación que tiene con otras especies del género de las zarzas o zarzamoras (Rubus subg. Rubus) se aborda en este estudio

Planes de recuperación de flora amenazada de la comunidad valenciana. Resultados tras tres años de la aprobación de la normativa legal

The Valencian Community (Spain) holds three plant species (Cistus heterophyllus Desf., Limonium perplexum L. Sáez & Rosselló and Silene hifacensis Rouy ex Willk.) listed into the category In danger of extinction, for which there is a joint Recovery Plan passed by the Valencian Government through the Order 1/2015, January 8, of the Department of Infrastructures, Land and Environment. Among the aims of this Recovery Plan, to improve the conservation status of these species in the Valencian territory, provisions of its Article 3 are highlighted. This article specifies that they population values that justify their passage of the category In danger of extinction to Vulnerable must be reached. Three years since the publication of this Order, the Generalitat Valenciana?s Wildlife Service shows here, the results achieved the conservation of these three specie

Dinámicas y estrategias de re-creación : más allá de la actividad físico-deportiva

Resumen basado en el de la publicaciónSe proporcionan ideas prácticas para la dinamización del proceso educativo en educación física, práctica física y deportiva, recreativa, expresiva y del ocio y tiempo libre. Se divide en tres partes: recreación educativa; recreación expresiva; pedagogía de la aventura. Se incluyen propuestas didácticas para desarrollarse dentro y fuera del aula.CataluñaBiblioteca de Educación del Ministerio de Educación, Cultura y Deporte; Calle San Agustín 5 -3 Planta; 28014 Madrid; Tel. +34917748000; [email protected]