On the role of semantic approximations in validation and diagnosis of constraint logic programs

Abstract is not available.

Effectiveness for Ddtecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013).Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Politécnica del Ejército Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program andgroup variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults.We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study.

Reduction of 4-ethylphenol contents in red wines using HCDC+ yeasts and cinnamyl esterases

In this work we have studied the combined effect of using cinnamyl esterases (CE) and HCDC+ yeast strains of S. cerevisiae to transform TE-HCAs into vinylphenols to condense them with grape anthocyanins forming VPAs. These VPAs improve the color stability of the wine and at the same time remove EP precursors of the wine.

Un mapa topográfico del término de Ólvega del siglo XVIII

Se describe un mapa del siglo XVIII del término municipal de de la localidad de Ólvega (Soria). El mapa que aquí se presenta, es un croquis topográfico del término de Ólvega y su entorno, perteneciente al estilo de la cartografía popular, típica del siglo XVIII. Aparece en color, con orientación y escala gráfica en leguas castellanas. De este mapa se pueden extraer algunas observaciones de interés respecto a la geografía histórica de la comarca.

Algunas obras hidráulicas menores de origen romano en la provincia de Soria: Las fuentes de San Gregorio, El Salobral (Vinuesa), Romanillos, Fuentestrun, Golmayo, Pozalmuro y Castellanos

El presente trabajo pretende contribuir al catálogo de las fuentes públicas de la provincia de Soria que, por su antigüedad o valor arquitectónico, puedan constituir ejemplares de interés dignos de conservar y restaurar, y entre las cuales tienen una especial relevancia las de origen romano. El número de fuentes que tiene Soria es muy alto y aunque todas ellas son dignas de conservar, se hace necesario priorizar según su valor patrimonial. En este estudio se realiza una primera descripción de las fuentes inventariadas de posible origen romano.

Agronomic properties of biochars from different manure wastes

Biochar research has focused in the last years in the use of wood or grass derived materials for carbon sequestration. However, manure derived biochar can provide other benefits after soil addition, including nutrient supply. At present, there is an incomplete understanding of pyrolysis on manures. In order to understand the benefits obtained after addition of these types of materials to the soil, an experiment involving the use of different manures and pyrolysis temperatures was performed. Five manure wastes were selected for this experiment: cattle manure (E); cattle manure mixed with straw (EP), chicken manure (G), chicken manure mixed with sawdust (GS) and pig slurry (PC). Unpyrolyzed samples were compared to biochars prepared at 300 and 500?C. Relevant properties for agronomic purposes were determined, including pH, electrical conductivity, nutrient content, metal content, proximate analysis and carbon thermostability. Our results show that biochars tailored for different purposes can be prepared after a careful choice of feedstock and pyrolysis temperature.

Effectiveness for detecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013). Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Polite?cnica del Eje?rcito Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program and group variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults. We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study.

Hipótesis de crecimiento de Makeni

El objetivo de este trabajo es analizar y comparar diferentes posibilidades de crecimiento de la ciudad de Makeni, Sierra Leona, en un tiempo de 10 años. Para ello, se parte de un estudio de la ciudad, detectando las vulnerabilidades y las zonas hacia las que la ciudad podría crecer y después de estudiar un tejido con dimensiones apropiadas se realizan las propuestas de crecimiento. El trabajo se centra en las dos primeras fases de la construcción de a ciudad: - En primer lugar se trata la elección del sitio. Para ello primero se detectan las zonas en las que no se debería construir y luego las zonas hacia las que podría crecer teniendo en cuenta el modo de crecimiento de la ciudad. -En segundo lugar, se estudia un tejido propicio para el lugar y se adecúa a la zona elegida. En esta segunda etapa ya se diferencia entre EP y RELP.

Esquema de Referencia para Acoplamiento Débil entre Sistema Informático y Equipo de Producción

La meta de intercambiabilidad de piezas establecida en los sistemas de producción del siglo XIX, es ampliada en el último cuarto del siglo pasado para lograr la capacidad de fabricación de varios tipos de producto en un mismo sistema de manufactura, requerimiento impulsado por la incertidumbre del mercado. Esta incertidumbre conduce a plantear la flexibilidad como característica importante en el sistema de producción. La presente tesis se ubica en el problema de integración del sistema informático (SI) con el equipo de producción (EP) en la búsqueda de una solución que coadyuve a satisfacer los requerimientos de flexibilidad impuestas por las condiciones actuales de mercado. Se describen antecedentes de los sistemas de producción actuales y del concepto de flexibilidad. Se propone una clasificación compacta y práctica de los tipos de flexibilidad relevantes en el problema de integración SI-EP, con la finalidad de ubicar el significado de flexibilidad en el área de interés. Así mismo, las variables a manejar en la solución son clasificadas en cuatro tipos: Medio físico, lenguajes de programación y controlador, naturaleza del equipo y componentes de acoplamiento. Por otra parte, la característica de reusabilidad como un efecto importante y deseable de un sistema flexible, es planteada como meta en la solución propuesta no solo a nivel aplicación del sistema sino también a nivel de reuso de conceptos de diseño. Se propone un esquema de referencia en tres niveles de abstracción, que permita manejar y reutilizar en forma organizada el conocimiento del dominio de aplicación (integración SI-EP), el desarrollo de sistemas de aplicación genérica así como también la aplicación del mismo en un caso particular. Un análisis del concepto de acoplamiento débil (AD) es utilizado como base en la solución propuesta al problema de integración SI-EP. El desarrollo inicia identificando condiciones para la existencia del acoplamiento débil, compensadores para soportar la operación del sistema bajo AD y los efectos que ocasionan en el sistema informático los cambios en el conjunto de equipos de producción. Así mismo, se introducen como componentes principales del acoplamiento los componentes tecnológico, tarea y rol, a utilizar en el análisis de los requerimientos para el desarrollo de una solución de AD entre SI-EP. La estructura de tres niveles del esquema de referencia propuesto surge del análisis del significado de conceptos de referencia comúnmente reportados en la literatura, tales como arquitectura de referencia, modelo de referencia, marco de trabajo, entre otros. Se presenta un análisis de su significado como base para la definición de cada uno de los niveles de la estructura del esquema, pretendiendo con ello evitar la ambigüedad existente debido al uso indistinto de tales conceptos en la literatura revisada. Por otra parte, la relación entre niveles es definida tomando como base la estructura de cuatro capas planteada en el área de modelado de datos. La arquitectura de referencia, implementada en el primer nivel del esquema propuesto es utilizada como base para el desarrollo del modelo de referencia o marco de trabajo para el acoplamiento débil entre el SI y el EP. La solución propuesta es validada en la integración de un sistema informático de coordinación de flujo y procesamiento de pieza con un conjunto variable de equipos de diferentes tipos, naturaleza y fabricantes. En el ejercicio de validación se abordaron diferentes estándares y técnicas comúnmente empleadas como soporte al problema de integración a nivel componente tecnológico, tales como herramientas de cero configuración (ejemplo: plug and play), estándar OPC-UA, colas de mensajes y servicios web, permitiendo así ubicar el apoyo de estas técnicas en el ámbito del componente tecnológico y su relación con los otros componentes de acoplamiento: tarea y rol. ABSTRACT The interchangeability of parts, as a goal of manufacturing systems at the nineteenth century, is extended into the present to achieve the ability to manufacture various types of products in the same manufacturing system, requirement associated with market uncertainty. This uncertainty raises flexibility as an important feature in the production system. This thesis addresses the problem regarding integration of software system (SS) and the set of production equipment (PE); looking for a solution that contributes to satisfy the requirements of flexibility that the current market conditions impose on manufacturing, particularly to the production floor. Antecedents to actual production systems as well as the concept of flexibility are described and analyzed in detail. A practical and compact classification of flexibility types of relevance to the integration SS-EP problem is proposed with the aim to delimit the meaning of flexibility regarding the area of interest. Also, a classification for the variables involved in the integration problem is presented into four types: Physical media, programming and controller languages, equipment nature and coupling components. In addition, the characteristic of reusability that has been seen as an important and desirable effect of a flexible system is taken as a goal in the proposed solution, not only at system implementation level but also at system design level. In this direction, a reference scheme is proposed consisting of three abstraction levels to systematically support management and reuse of domain knowledge (SS-PE), development of a generic system as well as its application in a particular case. The concept of loose coupling is used as a basis in the development of the proposed solution to the problem of integration SS-EP. The first step of the development process consists of an analysis of the loose coupled concept, identifying conditions for its existence, compensators for system operation under loose coupling conditions as well as effects in the software system caused by modification in the set of production equipment. In addition coupling components: technological, task and role are introduced as main components to support the analysis of requirements regarding loose coupling of SS-PE. The three tier structure of the proposed reference scheme emerges from the analysis of reference concepts commonly reported in the literature, such as reference architecture, reference model and framework, among others. An analysis of these concepts is used as a basis for definition of the structure levels of the proposed scheme, trying to avoid the ambiguity due to the indiscriminate use of such concepts in the reviewed literature. In addition, the relation between adjacent levels of the structure is defined based on the four tiers structure commonly used in the data modelling area. The reference architecture is located as the first level in the structure of the proposed reference scheme and it is utilized as a basis for the development of the reference model or loose coupling framework for SS-PE integration. The proposed solution is validated by integrating a software system (process and piece flow coordination system) with a variable set of production equipment including different types, nature and manufacturers of equipment. Furthermore, in this validation exercise, different standards and techniques commonly used have been taken into account to support the issue of technology coupling component, such as tools for zero configuration (i.e. Plug and Play), message queues, OPC-UA standard, and web services. Through this part of the validation exercise, these integration tools are located as a part of the technological component and they are related to the role and task components of coupling.

Tecnología y competitividad en la economía mundial. Factores e indicadores clave de actuación

Durante los últimos 30 años se han creado una gran cantidad de índices e indicadores para evaluar la práctica totalidad de los países bajo distintas premisas. La tesis parte de un análisis detallado de más de un centenar de estos índices diferenciados entre los enfocados al desarrollo y los enfocados a la competitividad económica (véase Módulo I anexo) y tras esto, dentro del estudio teórico nos hemos centrado en 35 indicadores relacionados con la tecnología (capítulo 3, apartado 3.3.). La justificación, el objetivo de la investigación y la estructura de la tesis se presenta en el capítulo 2. Respecto a la metodología, tal y como se plantea en la hipótesis (apartado 2.2.), se presentan los criterios de selección de seis grupos de países (EP, EPC, EC, ECI, EI y EM)1, que se van a evaluar. Posteriormente se plantea el Protocolo de Cálculo para el total de grupos seleccionados dentro de los periodos 2005-2006 y 2007-2008 y se realiza una profunda evaluación estadística como se plantea dentro de la coherencia estadística explicada en el apartado 3.4.4.5. (también se dispone de los cálculos dentro de los Módulos II, III, IV y V anexos). Tras la metodología establecemos la construcción de un índice sintético NRI(A) y, tras esto, estudiamos las relaciones así como la interpretación de los resultados (capítulo 4, apartado 4.1.). Una vez obtenidos los resultados realizamos la validación de los mismos para el periodo 2007-2015 (capítulo 4 - apartado 4.2. – y los Módulos VI y VII anexos). En el capítulo 5, evaluamos el nivel de preparación tecnológico y su relación con la competitividad para los seis grupos de países (véase desde los apartados 5.1.y 5.2.). Dentro de cada uno de los seis grupos de países, sabemos las variables que cualitativamente tienen que priorizarse para mejorar el nivel de preparación tecnológica de los mismos. Estas variables inicialmente son sesenta y ocho – año 2007-08 –, y al final de la implementación del método se reducen notablemente. Estas variables finales, llamadas Indicadores Clave de Actuación (ICA), se agrupan – vía análisis factorial – en Factores Clave de Actuación que nos simplifican lo planteado. Para cada grupo de países se realizan los conglomerados de acuerdo a sus valores dentro de las ICAs en busca de singularidades y se ha llevado a cabo un análisis minucioso en función de los Indicadores Clave de Actuación. La Tesis, plantea científicamente como podemos evaluar el nivel de preparación tecnológica y su relación con la competitividad, desde un índice sintético creado NRI(A), que contempla únicamente Indicadores Clave de Actuación (variables seleccionadas) a partir de las variables originales del Network Readiness Index (NRI(R)) . Por último se plantea dentro de las conclusiones, capítulo 6, diferentes líneas de investigación, desarrollando dos de ellas que se pueden encontrar en el Modulo VIII anexo. Por un lado presentamos una línea de investigación centrada en 29 economías africanas (EA) de las que disponemos información fidedigna y por otro lado una segunda línea en la que nos centramos en la evaluación de España respecto a sus naciones coetáneas. La principal voluntad de la presente tesis doctoral, es simplificar la evaluación del nivel de preparación tecnológica y la relación de esta con la competitividad a partir de la creación de un índice sintético propio NRI(A). ABSTRACT - During the last 30 years, many institutions have been evaluating and endless range of variables in practically all of the world´s economies. This Thesis is the product of a detail analysis of more than one hundred indicators / index, which we have divided into two parts: those focused on development and those focused on economic competitiveness (see module I annex). Secondly, in our theoretical research we have concentrated on those indicators, which are related to technology (chapters 3, section 3.3). The selection criteria of the six economic groups to be evaluated are included in our methodology, as mentioned in the hypothesis (see section 2.2.). Subsequently the calculation procedure is also presented for all of the groups selected between the periods 2005-2006 and 2007-2008. Next, we perform a statistical study, which is presented accordingly in the segment dealing with statistics, section 3.4.4.5. The calculations are provided in modules I, II, III, IV and V annex. After the methods segment of the Thesis, we develop our argument, in which we presented the explanation of the relations as well as the interpretation of the results. Also at the chapter 4 you can find the result validation from 2007 till 2015. Finally in chapters 6, we evaluate the conclusions for the six economic groups (see section 6.2.). The Thesis scientifically explains the way in which we evaluate economic competitiveness in 135 countries from a standpoint of strictly technological variables. Six groups of countries are evaluated, being divided by criteria, which homogenize the economies under review. We recognize that the variables of each economic group should be prioritized in order to better their competitiveness. Initially the group consisted of 68 variables, a number which was considerably reduced after the implementation of our methodology. Likewise, these final variables, dubbed “key performance indicators”, were grouped into factors (key performance factors), which greatly simplify the prioritization process. At the same time, conglomerates have been created for each economic group according to their value concerning the selected variables. A detailed country – by – country analysis of their positioning in each of the six groups was conducted for each of the mathematically selected key performance indicators. Finally, at the Conclusion we introduce new research lines and between them we focus on two research lines in which ones we are working with (see chapter 6). We basically try to apply the multivariable analysis method, the factorial analysis and the conglomerates to designed and implemented our method first in a geographically group of countries (Africa) and secondly to evaluate and develop the public policies for Spain for the development of its competitively, comparing Spain to his coetaneous countries in Europe (see Module VIII). The main objective of this Doctoral Thesis is to noticeably simplify the comparison of the Network Readiness Index and its relation with the economic competitiveness of the countries using a new synthetic index design by us.

O DISCURSO AMBIENTAL JORNALÍSTICO, POLÍTICO E EMPRESARIAL EM ÂMBITO LOCAL: uma proposta de análise

Esta tese tem como tema principal o discurso ambiental local. Trata-se de uma proposta de análise, que pode ser aplicada a este tipo de discurso em qualquer localidade, e um estudo de caso, que aplicou a análise proposta na tese. O objetivo geral desta pesquisa foi analisar a informação local sobre meio ambiente veiculada por meio dos discursos jornalístico, político e empresarial, estabelecendo relações históricas, sociais e ideológicas do discurso ambiental que permeiam as três áreas em questão. A metodologia incluiu três fases: pesquisa bibliográfica e revisão de literatura sobre os principais conceitos levantados no trabalho; levantamento de discursos locais disponíveis na mídia para análise no estudo de caso; análise dos discursos a partir de protocolo elaborado com base na Análise do Discurso de linha francesa. O estudo de caso traz a análise do discurso ambiental no município de Frutal-MG, onde hoje estão em andamento várias pesquisas e projetos na área ambiental. A principal conclusão do trabalho confirma a hipótese da pesquisa de que a informação ambiental fruto dos discursos político, jornalístico e empresarial em âmbito local tem caráter predominantemente situacional, mercadológico e propagandístico, pouco focada em conscientizar e educar e com ênfase em interesses comerciais e eleitorais e na resolução de problemas emergenciais.

A COMUNICAÇÃO POPULAR NA CONSTRUÇÃO E PRESERVAÇÃO DA MEMÓRIA DAS LUTAS POPULARES NO BRASIL (décadas de 1970 e 1980)

Nas décadas de 1970 e 1980 houve a eclosão de experiências comunicacionais populares, em todo Brasil, com vasta produção de materiais, especialmente arquivados pelos centros de documentação. Em sua maioria, criados e financiados por setores progressistas da Igreja Católica e Protestante. Entre eles, o Centro de Pastoral Vergueiro (CPV) e o Centro de Comunicação e Educação Popular de São Miguel Paulista (CEMI) que também tiveram importante papel na construção e preservação da memória das lutas populares no período de reorganização social, no contexto de distensão da ditadura militar. No entanto, tais acervos estão em iminente risco, por falta de investimento e vontade política. O que seria um prejuízo histórico e científico para movimentos sociais atuais e à pesquisa acadêmica. O objetivo do estudo é identificar a que se deve este desinteresse. A abordagem se dá pelo método da história oral e como técnicas de investigação adotamos a pesquisa bibliográfica, documental e a pesquisa de campo, por meio da entrevista em profundidade. A falta de uma política pública que garanta a preservação dos documentos é sinal de que no Brasil predomina uma cultura que não privilegia a memória, sobretudo das camadas empobrecidas da população. Além do que, a memória pode ser subversiva. Afinal tais documentos expressam a força da participação popular no processo de transformação social e podem despertar novas ações, o que não interessa aos grupos que estão no poder.

Crowdsourcing without a crowd : Reliable online species identification using Bayesian models to minimize crowd size

Acknowledgment This research is supported by an award made by the RCUK Digital Economy program to the University of Aberdeen’s dot.rural Digital Economy Hub (ref. EP/G066051/1).

Human Search for a Target on a Textured Background is Consistent with a Stochastic Model

This research was supported by the James S. McDonnell Foundation (ARH). Early version was supported by EPSRC grants EP/F02553X/1 and EP/D059364/1.