Towards a Unified Framework for Declarative Structured Communications

We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas

WELIVE - UN NUEVO CONCEPTO DE ADMINISTRACIÓN PÚBLICA BASADA EN LOS CONTENIDOS Y SERVICIOS DIGITALES CO-CREADOS CON/POR LOS CIUDADANOS

WeLive propone transformar la propuesta actual de e-Government, seguida por la mayor parte de las administraciones públicas europeas, a través de un modelo abierto de ideación, diseño, producción y publicación de una nueva generación de servicios públicos personalizados y centrados en los ciudadanos; apoyándose en la colaboración conjunta entre diferentes agentes; las Administraciones Públicas, los ciudadanos y los emprendedores. Además, WeLive persigue reducir el gap existente entre la “innovación” tecnológica y la “adopción” por parte de la ciudadanía y otros agentes urbanos de esta nueva generación de servicios públicos construidos a partir del modelo de datos abiertos de la administración pública. Para ello, en el marco de WeLive se ha creado un novedoso ecosistema de herramientas TIC construido sobre los paradigmas de los Datos Abiertos, Servicios Abiertos e Innovación. WeLive será validado a través de un piloto en 3 ciudades (Bilbao - España, Novi Sad - Serbia y Trento - Italia) y 1 región (Helsinki-Uusimaa - Finlandia) en Europa. Cada una de estas ciudades cuenta con un conjunto de características diferenciales que las convierten en ciudades “ejemplo” y “representativas” donde medir el impacto que una solución abierta y colaborativa como WeLive puede originar. En lo que respecta a la viabilidad de negocio de la infraestructura WeLive, incluyendo sus componentes individuales, éste será validado mediante el desarrollo y despliegue de modelos de negocio sostenibles a lo largo del tiempo.European Commission's H2020. Grant Agreement Number: 64584

Supporting the design and development of Project Based Learning courses.

The use of Project Based Learning has spread widely over the last decades, not only throughout countries but also among disciplines. One of the most significant characteristics of this methodology is the use of ill-structured problems as central activity during the course, which represents an important difficulty for both teachers and students. This work presents a model, supported by a tool, focused on helping teachers and students in Project Based Learning, overcoming these difficulties. Firstly, teachers are guided in designing the project following the main principles of this methodology. Once the project has been specified at the desired level of depth, the same tool helps students to finish the project specification and organize the implementation. Collaborative work among different users is allowed in both phases. This tool has been satisfactorily tested designing two real projects used in Computer Engineering and Software Engineering degrees

Determination of biosorption mechanism in biomass of agave, using spectroscopic and microscopic techniques for the purification of contaminated water

[Abstract] Lead (Pb2+) and copper (Cu2+) are polluting metals due to their toxicity; however, the extraction of these metals is essential for economic development, so it is important to look for efficient and low-cost alternatives that can remove heavy metals from the various bodies of water. One of the alternatives used in this work is biosorption, for which an agroindustrial waste (epidermis from Agave atrovirens) was used to evaluate the affinity of removal of lead and copper in aqueous solutions; in addition, spectroscopy and microscopy techniques were used to elucidate and corroborate the removal and affinity capacity of the agave epidermis for both metals studied. The optimal pH value for the removal of both metals was 3. The adsorption isotherms yielded a qmax of 25.7 and 8.6 mg/g for lead and copper, respectively. Adjusting to the Langmuir-Freundlich model, the adsorption kinetics were pseudo-second order, and it was found that the equilibrium time was at 140 min. The spectroscopy and microscopy analyses corroborated the affinity between metals and functional groups of the agave, as well as with the elemental analysis, which reported 17.38% of lead and 4.25% of copper.[Resumen] El plomo (Pb2+) y el cobre (Cu2+) son metales contaminantes debido a su toxicidad; sin embargo, la extracción de estos metales es indispensable para el desarrollo económico, por lo que es importante buscar alternativas eficientes y de bajo costo que puedan remover metales pesados de los diversos cuerpos de agua. Una de las alternativas utilizadas en este trabajo es la biosorción, para la cual se utilizó un residuo agroindustrial (epidermis de Agave atrovirens), para evaluar la afinidad de remoción del plomo y cobre en soluciones acuosas; adicionalmente, se emplearon técnicas de espesctroscopía y microscopía que permitieron elucidar y corroborar la capacidad de remoción y afinidad que tuvo la epidermis de A. atrovirens para ambos metales estudiados. El valor óptimo de pH para la remoción de ambos metales fue 3. Las isotermas de adsorción arrojaron una qmax de 25.7 y 8.6 mg/g para el plomo y cobre, respectivamente. Ajustando al modelo de Langmuir-Freundlich, las cinéticas de adsorción resultaron de pseudo-segundo orden, se encontró que el tiempo de equilibrio es a los 140 min. El análisis espectroscópico y microscópico, corroboró la afinidad entre metales y grupos funcionales del agave, así como con el análisis elemental, el cual reportó 17.38% de plomo y 4.25% de cobre

Componentes del rendimiento de grano bajo diferentes densidades de siembra en maíz en los Valles Altos del Estado de México

La densidad de población es uno de los principales factores que contribuyen a incrementar el rendimiento de grano en maíz. El presente trabajo se estableció en 2013 en tres localidades del centro del estado de México, México para evaluar el rendimiento de grano y sus componentes principales en diez cultivares de maíz bajo tres densidades de población. Los tres ensayos se establecieron en campo en un diseño experimental de bloques completos al azar con tres repeticiones en un arreglo de parcelas divididas; en las parcelas grandes se distribuyeron las densidades de población y en las chicas los cultivares. Hubo diferencias significativas (p = 0.01) entre cultivares para las 13 variables registradas; en densidad de población éstas lo fueron en longitud de mazorca, diámetro de mazorca, peso de olote, peso de grano por planta, y rendimiento de grano. Un incremento en la densidad de población disminuyó el número y el peso de grano por planta pero a 104 167 plantas ha-1 el rendimiento fue de 10.03 t ha-1. Con P204W se obtuvo la mayor producción de grano (10.0 t ha-1), pero éste no difirió estadísticamente de IC 2010, AS-MJ9082, H-40 y AS-723. El análisis de componentes principales explicó el 65.94% de la variación total original; en éste se observó una alta correlación entre rendimiento de grano, granos por planta, índice de prolificidad y peso de olote

Bath construction at the Spanish Mediterranean seaside: maritime heritage for the coast environment

The construction of buildings holding baths along the Spanish seashore, not only supposed an enjoyment for affluent people but was a way of generating a new tourist landscape. The golden age of Spanish balneotherapy took place around the last third of the nineteenth century. Many sea bath structures were built at the Spanish Levante, but they have all now disappeared. Inside these constructions there were coffee-shops, theaters and casinos. People used to go there looking for therapeutic or medicinal healing, and also to find a place where they could forget their problems and daily routine. This research paper is part of a project conducted at the University of Alicante, and its main target has been to find historical documentation about these Mediterranean seashore buildings (Alicante and Murcia) in order to accomplish a cataloging that allowed us to study these architecture typologies. All the historical maps and plans, drawings and photographs used in our paper, not only offer us a romantic vision, they also convey a whole process of systematized execution. The construction system can be divided into permanent and removable structures. This removable feature and the simplicity of assembly were achieved thanks to the precarious concession carried out by the authorities at the maritime area. This paper shows the study of different architectural, structural and constructive solutions implanted in each one of these typologies characterized by the use of fixed and removable lightweight structures and the evolution of piling systems

Enfermedad de Chagas en Nicaragua

LA ENFERMEDAD DE CHAGAS ES UN PROBLEMA DE SALUD pública en toda Latinoamérica; alrededor de 20 millones de personas están infectadas y 200 millones están en riesgo de contraer la enfermedad. En 2006, la prevalencia en Centroamérica era del 7%. Actualmente no existe vacuna contra el protozoo y el tratamiento disponible resulta, aparte de poco efectivo, muy tóxico para el paciente. Los programas de control de vectores han ayudado a reducir los índices de infestación en Latinoamérica, pero aún falta mucho por hacer. En Nicaragua, la enfermedad de Chagas está subvalorada y los trabajos publicados son muy pocos. Es necesario investigar sobre esta enfermedad en nuestro país con otro enfoque, uno que no subvalore la enfermedad y ayude a desarrollar métodos diagnósticos y posibles tratamientos. Este artículo recopila información sobre los trabajos realizados porlos grupos más importantes de investigación en Chagas de Nicaragua en cuanto a epidemiología, control vectorial, diagnóstico y caracterización molecular

Inclusión de la dimensión ambiental en el proyecto educativo institucional del Centro Educativo La Merced

El presente documento comprende como objetivo principal, elaborar una propuesta para la inclusión de la dimensión ambiental en el Proyecto Educativo Institucional - PEI del Centro Educativo La Merced, Vereda La Estrella - La Palmilla, Zona Rural del Municipio de Pereira. La elaboración de este trabajo, se basa en las aproximaciones conceptuales y proyectivas en el marco de los lineamientos de las Políticas Nacionales Educativas y Ambientales, con el fin de facilitar el proceso enseñanza - aprendizaje, de tal manera que se tenga en cuenta las relaciones que se presentan en el sistema ambiental, a través de la incorporación de aspectos que se muestran en la realidad local. Para el desarrollo de dicha propuesta, el documento presenta como metodología el Núcleo Básico, es una medida cualitativa, que consta de cinco fases; exploración, organización, discusión, acción y continuación, y diez etapas; conversación informal, recolección de información secundaria, sensibilización, diagnóstico del PEI y PRAE, identificación y priorización de problemas, reconocimiento de la relaciones (población - entorno), inclusión de la dimensión ambiental, acercamiento al entorno local ambiental, propuesta para la inclusión de la dimensión ambiental, finalmente socialización y evaluación. Dicha metodología permitió llevar a feliz término la inclusión de la dimensión ambiental, a la dinámica educativa de la Escuela La Merced, a través del diagnostico del PEI y el PRAE de la institución educativa, como uno de los principales objetivos, facilitando el reconocimiento de los aspectos que perjudiquen o beneficien el desarrollo de este proceso

Análisis y selección de herramientas para soporte de proyectos ágiles

En el presente trabajo se realiza un estudio teórico tanto de las metodologías pesadas como de las metodologías ágiles en la gestión de proyectos software, en el que se revisan sus características, tipos y bondades, al mismo tiempo que se estudia la importancia de la utilización de herramientas de soporte en proyectos ágiles. Además, se seleccionan un grupo de diez herramientas de soporte para su estudio y posterior comparación, en base a unos criterios comunes establecidos. Por último, se desarrolla una aplicación web para ayudar a las organizaciones o usuarios a decantarse por una herramienta u otra (de las estudiadas) según sus necesidades particulares.In this project, a theoretical study is conducted on both traditional methodologies and agile methodologies in software project management, reviewing their characteristics, types, and advantages, while also examining the importance of using support tools in agile projects. Furthermore, a group of ten support tools is selected for study and subsequent comparison, based on established common criteria. Finally, a web application is developed to assist organizations or users in choosing one tool or another (from the ones studied) according to their specific needs.Grado en Ingeniería en Sistemas de Informació