Program analysis, debugging and optimization using the ciao system preprocessor

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

Energy- and environmentally efficient road management: The case of the Spanish motorway network

Transport is responsible for 41% of CO2 emissions in Spain, and around 65% of that figure is due to road traffic. Tolled motorways are currently managed according to economic criteria: minimizing operational costs and maximizing revenues from tolls. Within this framework, this paper develops a new methodology for managing motorways based on a target of maximum energy efficiency. It includes technological and demand-driven policies, which are applied to two case studies. Various conclusions emerge from this study. One is, that the use of intelligent payment systems is recommended; and another, is that the most sustainable policy would involve defining the most efficient strategy for each motorway section, including the maximum use of its capacity, the toll level which attracts the most vehicles, and the optimum speed limit for each type of vehicle.

Social and content hybrid image recommender system for mobile social networks

One of the advantages of social networks is the possibility to socialize and personalize the content created or shared by the users. In mobile social networks, where the devices have limited capabilities in terms of screen size and computing power, Multimedia Recommender Systems help to present the most relevant content to the users, depending on their tastes, relationships and profile. Previous recommender systems are not able to cope with the uncertainty of automated tagging and are knowledge domain dependant. In addition, the instantiation of a recommender in this domain should cope with problems arising from the collaborative filtering inherent nature (cold start, banana problem, large number of users to run, etc.). The solution presented in this paper addresses the abovementioned problems by proposing a hybrid image recommender system, which combines collaborative filtering (social techniques) with content-based techniques, leaving the user the liberty to give these processes a personal weight. It takes into account aesthetics and the formal characteristics of the images to overcome the problems of current techniques, improving the performance of existing systems to create a mobile social networks recommender with a high degree of adaptation to any kind of user.

Deployment and validation of a smart system for screening of language disorders in primary care

Neuro-evolutive development from birth until the age of six years is a decisive factor in a child?s quality of life. Early detection of development disorders in early childhood can facilitate necessary diagnosis and/or treatment. Primary-care pediatricians play a key role in its detection as they can undertake the preventive and therapeutic actions requested to promote a child?s optimal development. However, the lack of time and little specific knowledge at primary-care avoid to applying continuous early-detection anomalies procedures. This research paper focuses on the deployment and evaluation of a smart system that enhances the screening of language disorders in primary care. Pediatricians get support to proceed with early referral of language disorders. The proposed model provides them with a decision-support tool for referral actions to trigger essential diagnostic and/or therapeutic actions for a comprehensive individual development. The research was conducted by starting from a sample of 60 cases of children with language disorders. Validation was carried out through two complementary steps: first, by including a team of seven experts from the fields of neonatology, pediatrics, neurology and language therapy, and, second, through the evaluation of 21 more previously diagnosed cases. The results obtained show that therapist positively accepted the system proposal in 18 cases (86%) and suggested system redesign for single referral to a speech therapist in three remaining cases.

Efficiency analysis of information technology and online social networks management : an integrated DEA-Model assessment

This paper analyses the relationship between productive efficiency and online-social-networks (OSN) in Spanish telecommunications firms. A data-envelopment-analysis (DEA) is used and several indicators of business ?social Media? activities are incorporated. A super-efficiency analysis and bootstrapping techniques are performed to increase the model?s robustness and accuracy. Then, a logistic regression model is applied to characterise factors and drivers of good performance in OSN. Results reveal the company?s ability to absorb and utilise OSNs as a key factor in improving the productive efficiency. This paper presents a model for assessing the strategic performance of the presence and activity in OSN.

Impact of introducing longer and heavier vehicles on regional consumer price index and Spanish road freight transport system

This paper applies an integrated modeling approach to the case of Spain; the approach is based on a random utility-based multiregional input-output model and a road transport network model for assessing the effect of introducing longer and heavier vehicles (LHVs) on the regional consumer price index (CPI) and on the transportation system. The approach strongly supports the concept that changes in transport costs derived from the LHV allowance as well as the economic structure of regions have direct and indirect effects on the economy and on the transportation system. Results show that the introduction of LHVs might reduce prices paid by consumers for a representative basket of goods and services in the regions of Spain and would also lead to a reduction in the regional CPI. In addition, the magnitude and extent of changes in the transportation system are estimated by using the commodity-based structure of the approach to identify the effect of traffic changes on traffic flows and on pollutant emissions over the whole network.

Dispositivos contemporáneos ante el reto del neomadismo

Cuatro dispositivos. Cuatro golpes de vista deteniéndonos sobre aspectos de la realidad contemporánea en los que juzgamos pertinente reparar. Usuarios transeúntes a través de los locutorios[D1], entornos dinámicos mediante la sucesión ecológica[D2], sistema de gestión de la propiedad obsoleto ante la realidad de flujos económicojurídicos[D3] y estructuras topológicas electromagnéticas que permiten desplazarnos con unos mínimos comunes[D4]. Modelos transdisciplinares muy directos elegidos por su efectividad ante la inestabilidad, arquetipos de los que tendremos que transferir claves a nuestra disciplina. ABSTRACT. Four devices. Four glances stopping on aspects of the contemporary reality in which we judge relevant to look at. Transient users across the phone booths[D1], dynamic environments through the ecological succession[D2], obsolete property management system facing the reality of financial and law flows[D3] and topological electromagnetic structures that allow our displacements with a few common minimums[D4]. Very direct transdisciplinary models chosen by their efficiency with the instability, archetypes from which we will have to transfer keys to our discipline

Sistema de gestión de residuos de construcción y demolición en obras de edificación residencial. Buenas prácticas en la ejecución de obra

En el sector de la edificación, las grandes constructoras comienzan a considerar aspectos medioambientales, no limitándose a lo establecido por la legislación vigente, y buscando la implementación de buenas prácticas. Si bien este hecho es una realidad para las grandes empresas constructoras, todavía falta que la gran mayoría de las empresas del sector (pequeñas y medianas) adopten ésta tendencia. En este sentido, las publicaciones y estadísticas consultadas revelan que el sector de la construcción sigue siendo el sector con menor número de Sistemas de Gestión Ambiental (SGA) certificados en comparación con otros sectores industriales, debido principalmente a las peculiaridades de su actividad. Por otra parte, el sector de la construcción genera grandes cantidades de residuos de construcción y demolición (RCD). Aunque, en los últimos años la actividad de la construcción ha disminuido, debido a la crisis económica del país, no hay que olvidar todos los problemas causados por este tipo de residuos, o mejor dicho, por su gestión. La gestión de los RCD actual está lejos de alcanzar la meta propuesta en la Directiva Marco de Residuos (DMR), la cual exige un objetivo global para el año 2020 en el que el 70% de todos los RCD generados deberán ser reciclados en los países de la UE. Pero, la realidad es que sólo el 50% de la RCD generados en la Unión Europea se recicla. Por este motivo, en los últimos años se ha producido una completa modificación del régimen jurídico aplicable a los RCD, incorporando importantes novedades a nuestro ordenamiento interno como son: la redacción de un Estudio de gestión de RCD (en fase de diseño) y un Plan de gestión de RCD (en fase de ejecución). Entre estas medidas destaca el poder conocer, con la antelación suficiente, la cantidad y el momento en que los RCD son generados, para así poder planificar la gestión más adecuada para cada categoría de RCD. Es por ello que el desarrollo de cualquier instrumento que determine la estimación de RCD así como iniciativas para su control debe ser considerado como una herramienta para dar respuestas reales en el campo de la sostenibilidad en la edificación. Por todo lo anterior, el principal objetivo de la Tesis Doctoral es mejorar la gestión actual de los RCD, a través de la elaboración e implementación en obra de un Sistema de gestión de RCD en fase de ejecución que podrá ser incluido en el Sistema de Gestión Ambiental de las empresas constructoras. Para ello, se ha identificado la actividad que más residuo genera, así como las diferentes categorías de RCD generadas durante su ejecución, a través del análisis de nueve obras de edificación de nueva planta. Posteriormente, se han determinado y evaluado, en función de su eficacia y viabilidad, veinte buenas prácticas encaminadas a reducir la generación de RCD. También, se han identificado y evaluado, en función de su coste económico, cinco alternativas de gestión para cada categoría de RCD generada. Por último, se ha desarrollado e implementado un Sistema de Gestión de RCD en una empresa de construcción real. En definitiva, el Sistema de Gestión de RCD propuesto contiene una herramienta de estimación de RCD y también proporciona una relación de buenas prácticas, según su viabilidad y eficacia, sobre los aspectos más significativos en cuanto a la gestión de RCD se refiere. El uso de este Sistema de gestión de RCD ayudará a los técnicos de la construcción en el desarrollo de los documentos "Estudio de gestión de RCD " y "Plan de gestión de RCD " - requeridos por ley -. Además, el Sistema promueve la gestión ambiental de la empresa, favoreciendo la cohesión del proceso constructivo, estableciendo responsabilidades en el ámbito de RCD y proporcionando un mayor control sobre el proceso. En conclusión, la implementación de un sistema de gestión de RCD en obra ayuda a conseguir una actividad de edificación, cuyo principal objetivo sea la generación de residuos cero. ABSTRACT Currently, in the building sector, the main construction companies are considering environmental issues, not being limited to the current legislation, and seeking the implementation of good practices. While this fact is a reality for large construction companies, still the vast majority of construction companies (small and medium enterprises) need to accept this trend. In this sense, official publications and statistics reveal that the construction sector remains with the lowest number of certified Environmental Management Systems (EMS) compared to other industrial sectors, mainly due to the peculiarities of its activity. Moreover, the construction industry in Spain generates large volumes of construction and demolition waste (CDW) achieving a low recycling rate compared to other European Union countries and to the target set for 2020. Despite the complete change in the legal regime for CDW in Spain, there are still several difficulties for their application at the construction works. Among these difficulties the following can be highlighted: onsite segregation, estimating CDW generation and managing different CDW categories. Despite these difficulties, the proper CDW management must be one of the main aspects considered by construction companies in the EMS. However, at present the EMS used in construction companies consider very superficially CDW management issues. Therefore, current EMS should go a step further and include not only procedures for managing CDW globally, but also specific procedures for each CDW category, taking into account best practices for prevention, minimization and proper CDW management in order to achieve building construction works with zero waste generation. The few scientific studies analysing EMS implementation in construction enterprises focus on studying the benefits and barriers of their implementation. Despite the drawbacks found, implementing an EMS would bring benefits such as improving the corporate image in relation to the environment, ensuring compliance with the law or reducing environmental risks. Also, the international scientific community has shown great interest in defining models to estimate in advance the CDW that will be generated during the building construction or rehabilitation works. These studies analyse the overall waste generation and its different CDW categories. However, despite the many studies found on CDW quantification, analysing its evolution throughout the construction activities is a factor that must be further studied and discussed in greater depth, as results would be of great significance when planning the CDW management. According to the scientific studies analysing the implementation of good environmental practices in construction sites, it seems that, in general, the CDW collection system is done in a decentralized manner by each subcontracted company. In addition, the corporate image generated when poor practices are done may adversely affect the company's reputation and can result in loss of contracts. Finally, although there are numerous guides and manuals of good practices for CDW management, no references have been found implementing these measures in the Environmental Management System of the construction companies. From all the above, this thesis aims to provide answers to reduce the environmental impact caused by CDW generation in building construction works, in order to get a building process with zero waste generation. In this sense, is essential to generate new knowledge in order to implement a system which can carry out comprehensive management of CDW generated onsite, at the design stage until the end of its life cycle, taking into account both technical and economic criteria. Therefore, the main objective of this thesis is to define and implement a CDW management system for residential building construction works, helping construction agents not only to manage the CDW in accordance with current legislation, but also minimizing their generation on site by applying best practices, resulting in achieving the goal of zero waste in building works.

Heart Failure Monitoring System Based on Wearable and Information Technologies

In Europe, Cardiovascular Diseases (CVD) are the leading source of death, causing 45% of all deceases. Besides, Heart Failure, the paradigm of CVD, mainly affects people older than 65. In the current aging society, the European MyHeart Project was created, whose mission is to empower citizens to fight CVD by leading a preventive lifestyle and being able to be diagnosed at an early stage. This paper presents the development of a Heart Failure Management System, based on daily monitoring of Vital Body Signals, with wearable and mobile technologies, for the continuous assessment of this chronic disease. The System makes use of the latest technologies for monitoring heart condition, both with wearable garments (e.g. for measuring ECG and Respiration); and portable devices (such as Weight Scale and Blood Pressure Cuff) both with Bluetooth capabilities

Desing and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications—it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ‘Activity Monitor’ has been designed and implemented: a personal health-persuasive application that provides feedback on the user’s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user’s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.d

Legal Aspects which Implement Good Practice Measures in the Management of Construction and Demolition Waste

The construction industry, one of the most important ones in the development of a country, generates unavoidable impacts on the environment. The social demand towards greater respect for the environment is a high and general outcry. Therefore, the construction industry needs to reduce the impact it produces. Proper waste management is not enough; we must take a further step in environmental management, where new measures need to be introduced for the prevention at source, such as good practices to promote recycling. Following the amendment of the legal frame applicable to Construction and Demolition Waste (C&D waste), important developments have been incorporated in European and International laws, aiming to promote the culture of reusing and recycling. This change of mindset, that is progressively taking place in society, is allowing for the consideration of C&D waste no longer as an unusable waste, but as a reusable material. The main objective of the work presented in this paper is to enhance C&D waste management systems through the development of preventive measures during the construction process. These measures concern all the agents intervening in the construction process as only the personal implication of all of them can ensure an efficient management of the C&D waste generated. Finally, a model based on preventive measures achieves organizational cohesion between the different stages of the construction process, as well as promoting the conservation of raw materials through the use and waste minimization. All of these in order to achieve a C&D waste management system, whose primary goal is zero waste generation

Knowledge Management and Information Systems based on Workflow Technology

Knowledge management is critical for the success of virtual communities, especially in the case of distributed working groups. A representative example of this scenario is the distributed software development, where it is necessary an optimal coordination to avoid common problems such as duplicated work. In this paper the feasibility of using the workflow technology as a knowledge management system is discussed, and a practical use case is presented. This use case is an information system that has been deployed within a banking environment. It combines common workflow technology with a new conception of the interaction among participants through the extension of existing definition languages.

Training project management complexity in postgraduate and continuing education programs: a learning strategy in the eshe (European Space of Higher Education) framework

The objective of this paper is to address the methodological process of a teaching strategy for training project management complexity in postgraduate programs. The proposal is made up of different methods —intuitive, comparative, deductive, case study, problem-solving Project-Based Learning— and different activities inside and outside the classroom. This integration of methods motivated the current use of the concept of “learning strategy”. The strategy has two phases: firstly, the integration of the competences —technical, behavioral and contextual—in real projects; and secondly, the learning activity was oriented in upper level of knowledge, the evaluating the complexity for projects management in real situations. Both the competences in the learning strategy and the Project Complexity Evaluation are based on the ICB of IPMA. The learning strategy is applied in an international Postgraduate Program —Erasmus Mundus Master of Science— with the participation of five Universities of the European Union. This master program is fruit of a cooperative experience from one Educative Innovation Group of the UPM -GIE-Project-, two Research Groups of the UPM and the collaboration with other external agents to the university. Some reflections on the experience and the main success factors in the learning strategy were presented in the paper

Training project management complexity in postgraduate and continuing education programs: a learning strategy in the eshe (European Space of Higher Education) framework

The objective of this paper is to address the methodological process of a teaching strategy for training project management complexity in postgraduate programs. The proposal is made up of different methods —intuitive, comparative, deductive, case study, problem-solving Project-Based Learning— and different activities inside and outside the classroom. This integration of methods motivated the current use of the concept of ―learning strategy‖. The strategy has two phases: firstly, the integration of the competences —technical, behavioral and contextual—in real projects; and secondly, the learning activity was oriented in upper level of knowledge, the evaluating the complexity for projects management in real situations. Both the competences in the learning strategy and the Project Complexity Evaluation are based on the ICB of IPMA. The learning strategy is applied in an international Postgraduate Program —Erasmus Mundus Master of Science— with the participation of five Universities of the European Union. This master program is fruit of a cooperative experience from one Educative Innovation Group of the UPM -GIE-Project-, two Research Groups of the UPM and the collaboration with other external agents to the university. Some reflections on the experience and the main success factors in the learning strategy were presented in the paper.

Semantic technologies in idea management systems: a model for interoperability, linking and filtering

Abstract Idea Management Systems are web applications that implement the notion of open innovation though crowdsourcing. Typically, organizations use those kind of systems to connect to large communities in order to gather ideas for improvement of products or services. Originating from simple suggestion boxes, Idea Management Systems advanced beyond collecting ideas and aspire to be a knowledge management solution capable to select best ideas via collaborative as well as expert assessment methods. In practice, however, the contemporary systems still face a number of problems usually related to information overflow and recognizing questionable quality of submissions with reasonable time and effort allocation. This thesis focuses on idea assessment problem area and contributes a number of solutions that allow to filter, compare and evaluate ideas submitted into an Idea Management System. With respect to Idea Management System interoperability the thesis proposes theoretical model of Idea Life Cycle and formalizes it as the Gi2MO ontology which enables to go beyond the boundaries of a single system to compare and assess innovation in an organization wide or market wide context. Furthermore, based on the ontology, the thesis builds a number of solutions for improving idea assessment via: community opinion analysis (MARL), annotation of idea characteristics (Gi2MO Types) and study of idea relationships (Gi2MO Links). The main achievements of the thesis are: application of theoretical innovation models for practice of Idea Management to successfully recognize the differentiation between communities, opinion metrics and their recognition as a new tool for idea assessment, discovery of new relationship types between ideas and their impact on idea clustering. Finally, the thesis outcome is establishment of Gi2MO Project that serves as an incubator for Idea Management solutions and mature open-source software alternatives for the widely available commercial suites. From the academic point of view the project delivers resources to undertake experiments in the Idea Management Systems area and managed to become a forum that gathered a number of academic and industrial partners. Resumen Los Sistemas de Gestión de Ideas son aplicaciones Web que implementan el concepto de innovación abierta con técnicas de crowdsourcing. Típicamente, las organizaciones utilizan ese tipo de sistemas para conectar con comunidades grandes y así recoger ideas sobre cómo mejorar productos o servicios. Los Sistemas de Gestión de Ideas lian avanzado más allá de recoger simplemente ideas de buzones de sugerencias y ahora aspiran ser una solución de gestión de conocimiento capaz de seleccionar las mejores ideas por medio de técnicas colaborativas, así como métodos de evaluación llevados a cabo por expertos. Sin embargo, en la práctica, los sistemas contemporáneos todavía se enfrentan a una serie de problemas, que, por lo general, están relacionados con la sobrecarga de información y el reconocimiento de las ideas de dudosa calidad con la asignación de un tiempo y un esfuerzo razonables. Esta tesis se centra en el área de la evaluación de ideas y aporta una serie de soluciones que permiten filtrar, comparar y evaluar las ideas publicadas en un Sistema de Gestión de Ideas. Con respecto a la interoperabilidad de los Sistemas de Gestión de Ideas, la tesis propone un modelo teórico del Ciclo de Vida de la Idea y lo formaliza como la ontología Gi2MO que permite ir más allá de los límites de un sistema único para comparar y evaluar la innovación en un contexto amplio dentro de cualquier organización o mercado. Por otra parte, basado en la ontología, la tesis desarrolla una serie de soluciones para mejorar la evaluación de las ideas a través de: análisis de las opiniones de la comunidad (MARL), la anotación de las características de las ideas (Gi2MO Types) y el estudio de las relaciones de las ideas (Gi2MO Links). Los logros principales de la tesis son: la aplicación de los modelos teóricos de innovación para la práctica de Sistemas de Gestión de Ideas para reconocer las diferenciasentre comu¬nidades, métricas de opiniones de comunidad y su reconocimiento como una nueva herramienta para la evaluación de ideas, el descubrimiento de nuevos tipos de relaciones entre ideas y su impacto en la agrupación de estas. Por último, el resultado de tesis es el establecimiento de proyecto Gi2MO que sirve como incubadora de soluciones para Gestión de Ideas y herramientas de código abierto ya maduras como alternativas a otros sistemas comerciales. Desde el punto de vista académico, el proyecto ha provisto de recursos a ciertos experimentos en el área de Sistemas de Gestión de Ideas y logró convertirse en un foro que reunión para un número de socios tanto académicos como industriales.