Portability of Prolog programs: theory and case-studies

(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have established a basic compatibility framework. This article describes and evaluates this framework. The aim of the framework is running the same code on both systems rather than migrating an application. We show that today, the portability within the family of Edinburgh/Quintus derived Prolog implementations is good enough to allow for maintaining portable real-world applications.Comment: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 201

Introduction to the 28th International Conference on Logic Programming Special Issue

We are proud to introduce this special issue of the Journal of Theory and Practice of Logic Programming (TPLP), dedicated to the full papers accepted for the 28th International Conference on Logic Programming (ICLP). The ICLP meetings started in Marseille in 1982 and since then constitute the main venue for presenting and discussing work in the area of logic programming

A modelização das receitas turísticas para a região norte

Até inícios da década de 60, o movimento de turistas em Portugal era bastante modesto. Desde então registou-se um aumento muito significativo, a ponto do Turismo assumir hoje uma importância económica extraordinária em Portugal, quer pelas receitas financeiras directas e indirectas geradas, quer pela criação de emprego. Tendo em conta a importância alcançada pelo sector do Turismo em Portugal, o objectivo deste trabalho passa por procurar um modelo que estude o impacto das variáveis turísticas nas Receitas Turísticas para a Região Norte de Portugal. Após a recolha e análise dos dados mensais, utilizouse um modelo econométrico de regressão linear múltipla para fazer a modelação das receitas turísticas. Conclui-se que o modelo das primeiras diferenças de Logaritmo é o modelo que melhor explica as receitas turísticas para a Região Norte e que estas variam com o número de turistas nacionais e estrangeiros, com os rendimentos disponíveis dos turistas nacionais e estrangeiros e ainda com a tipologia do estabelecimento hoteleiro. Apesar do elevado aumento do turismo estrangeiro na Região Norte e do investimento em Hotéis, o principal contributo para as Receitas Turísticas foram os turistas nacionais (mercado interno). Hasta principios de los años 60, el movimiento de turistas en Portugal era muy modesto. Desde entonces, ha habido un aumento dramático en el punto turístico de importancia económica extraordinaria teniendo hoy en Portugal. En 2005, el sector turístico representó alrededor del 10% del Producto Interno Bruto y fue responsable por la creación de un gran número de puestos de trabajo. Dada la importancia que ha tenido el sector turístico en Portugal, el objetivo es la búsqueda de un modelo para estudiar el impacto de las variables en los ingresos turísticos en la región norte de Portugal. Después de recoger y analizar los datos mensuales, se utilizó un modelo econométrico de regresión lineal múltiple. Se llegó a la conclusión que el modelo de las primeras diferencias de logaritmos es el modelo que mejor explica los ingresos del turismo en el Norte y que éstos varían con el número de turistas nacionales y extranjeros, con ingresos disponibles de los turistas nacionales y extranjeros, e también con el tipo de propiedad.A pesar del gran aumento en el turismo extranjero en el Norte y la inversión en hoteles, la principal contribución a los ingresos turísticos fueron turistas nacionales (domésticos). Until the early 60s, the movement of tourists in Portugal was very modest. Since then, there has been a dramatic increase in the economically important tourist spot today taking extraordinary in Portugal. In 2005, the tourism sector accounted for about 10% of GDP and was responsible for the creation of a large number of jobs. Given the significant role played by the tourism sector in our country, the goal of this work is to find a model that study the impact of Tourist variables for tourism revenue in the Northern Region. After collecting and analyzing monthly data, it was used an econometric model of multiple linear regression to modeling the tourism income. We conclude that the model of the first differences of logarithm is the model that best explains the income from tourism to the North and these vary with the number of domestic and foreign tourists, with disposable incomes of domestic and foreign tourists and also with the type of property. Despite the large increase in foreign tourism in the North and the heavy investment in hotels, the contribution to tourism revenues were domestic tourists (domestic)

Uma demonstração alternativa para o Modelo de Contingências Imprecisas

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Administração, Contabilidade e Economia, Departamento de Economia, Programa de Pós-Graduação em Economia, 2015.Redemonstramos o resultado de representação para preferências sobre menus com contingências imprecisas de Epstein et al. (2007) e espaço nito de estados subjetivos. Nossa técnica, que envolve o resultado para preferências incompletas de Kochov (2007) e o axioma Negative Certainty Independence de Dillenberger (2010), permite aplicações do modelo para o caso de preferências variacionais sobre menus, racionalidade subjetiva, e atualização bayesiana de crenças.We provide an alternative demonstration to the representation of preferences over menus with coarse contigencies from Epstein et al. (2007) imposing nitiness to the subjective state space. Our technic - which involves the result for incomplete preferences from Kochov (2007) and the Negative Certainty Independence axiom from Dillenberger (2010) - allows for applications in the case of variational preferences, subjective rationality and bayesian update of priors

Connect bridge management studio: a web-based application used to manage and test connect bridge servers

Connecting Software is a software development company focused on the development of integration solutions. For this, the company created a platform named Connect Bridge and some products based on this platform which provide an out-of-the box solution for the common integration issues faced by companies. The Connect Bridge (CB) is an integration platform mainly based on a server (usually named CB Server) that uses a plugin architecture to allow its users to connect to a variety of systems (e.g., Microsoft Exchange, SharePoint or Dynamics CRM). Each plugin (usually called as a connector), allows the platform to access a different target system. Connect Bridge platform is managed by two different applications, the Administration Tool and Query Analyzer. These two tools are old-fashioned and only compatible with Windows operating systems, which limits the number of customers that can use this platform. This project aims to solve these problems by creating a Single Page Web Application called Connect Bridge Management Studio which was developed using Angular and ASP.NET Core. At the end of this project, Connecting Software has a ready to deploy application that is capable of replacing Query Analyzer and Administration Tool in all their core features. The evaluation of this project was made comparing the existing tools with the CB Management Studio. Also, an evaluation with users was performed using the think-aloud technique and SUS test which presented satisfactory results. The present document describes the process followed to achieve this solution, focusing on the most critical aspects of its development and the faced challenges.A Connecting Software é uma empresa de desenvolvimento de software focada no desenvolvimento de soluções de integração. De modo a atingir este objetivo, a empresa criou uma plataforma chamada Connect Bridge e alguns produtos baseados na mesma que fornecem uma solução out-of-the-box para os problemas de integração mais recorrentes em empresas. O Connect Bridge (CB) é uma plataforma de integração que consiste principalmente em um servidor (geralmente chamado CB Server) que usa uma arquitetura de plugins para permitir que os seus utilizadores se conectem a uma variedade de sistemas (por exemplo, Microsoft Exchange, Microsoft SharePoint ou Dynamics CRM). Cada plugin (geralmente chamado de conector) permite que a plataforma aceda a um sistema diferente. A plataforma Connect Bridge é gerida através de duas aplicações distintas, denominadas por Administration Tool e Query Analizer. Estas duas ferramentas são antigas e compatíveis apenas com os sistemas operativos Windows, o que limitava o número de clientes que podiam usar essa plataforma para desenvolver as suas soluções de integração. Este projeto visa solucionar esses problemas criando uma aplicação Web chamada Connect Bridge Management Studio. Esta é uma Single Page Application desenvolvida usando as frameworks Angular e ASP.NET Core. No final deste projeto, a Connecting Software dispõe de uma aplicação pronta a ser lançada capaz de substituir o Query Analyzer e o Administration Tool. A avaliação desta solução foi efetuada a partir da comparação destas ferramentas com o CB Management Studio. Para além disso, efetuou-se uma avaliação com utilizadores utilizando a técnica think-aloud onde se obtiveram resultados satisfatórios. O presente documento descreve o processo seguido para alcançar esta solução, focando-se nos aspetos mais importantes do seu desenvolvimento e desafios enfrentados

Threads and Or-Parallelism Unified

One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threaded implementation. Our new approach takes full advantage of the state-of-the-art fast and optimized YAP Prolog engine and shares the underlying execution environment, scheduler and most of the data structures used to support YapOr's model. Initial experiments with our new approach consistently achieve almost linear speedups for most of the applications, proving itself as a good alternative for exploiting implicit parallelism in the currently available low cost multi-core architectures.Comment: 17 pages, 21 figures, International Conference on Logic Programming (ICLP 2010

Capacidade de absorção e processos organizacionais de gestão do conhecimento: relações com a inovação

The present doctoral thesis, written in the field of work and organizational psychology, merges theoretical and empirical scientific papers, and aims to answer to research goals related with the theoretical and empirical exploration and analysis of the existent relationships between absorptive capacity, key knowledge management processes and organizational innovation. Moreover, the present work analyzes, both theoretically and empirically, the absorptive capacity’s construct dimensionality. The developed theoretical chapters allowed the creation of an integrative model, strengthening the link between knowledge management processes and the phases of absorptive capacity as well as framing organizational innovation as a consequent of key knowledge processes and the organizational capability of acquiring external knowledge and apply it to commercial ends, that is, its absorptive capacity. One hundred eleven respondents, from different organizations, from ten activity sectors, participated on an online survey that collected sociodemographic data of the key informant and the corresponding company. An absorptive capacity scale, as well as instruments to assess knowledge management processes – namely the key processes of acquisition, sharing, storage and documentation, and knowledge creation – and an organizational innovations scale were applied. The results, presented on the two empirical chapters, show that, on the surveyed companies, the organizational processes of knowledge acquisition and knowledge sharing reinforce absorptive capacity and new knowledge creation. Intra-organizational knowledge sharing also potentiates organizational innovation, though the mediating role of internal knowledge creation, variable that appears to be the strongest predictor of organizational innovation on the analyzed sample. Considering the results presented on chapter three and searching for more detailed knowledge on the variables that can promote internal knowledge creation, a model that reflects the interrelationships between potential absorptive capacity, the process of knowledge storage, and realized absorptive capacity was tested. The analysis showed that knowledge storage and the organizations’ realized absorptive capacity, that is, its ability to transform an apply previously acquired and assimilated knowledge, positively influence new knowledge creation and both, individually and conjointly, play a mediating role between potential absorptive capacity and the internal creation of new knowledge. Conclusions and final considerations are presented, with reflections about theoretical (for work and organizational psychology research) and practical (for the work and organizational psychologist) implications of the thesis, as well as its limitations.A presente tese de doutoramento, em Psicologia (do trabalho e das organizações), apresenta um trabalho realizado em formato de articulação de artigos científicos, pretendendo responder a objetivos gerais de investigação relacionados com a exploração e análise, teórica e empírica, das relações existentes entre a capacidade de absorção (do conhecimento), processos chave de gestão do conhecimento e a inovação organizacional. Adicionalmente, investiga e analisa, teórica e empiricamente, a dimensionalidade do constructo de capacidade de absorção. Os capítulos teóricos desenvolvidos permitiram a criação de um modelo sinóptico, reforçando a ligação entre processos de gestão do conhecimento e fases da capacidade de absorção e enquadrando a inovação organizacional enquanto consequente de processos chave de gestão do conhecimento e da capacidade organizacional de adquirir conhecimento externamente e aplicá-lo para fins comerciais, isto é, a sua capacidade de absorção. Cento e onze respondentes, de diferentes organizações, pertencentes a dez setores de atividade, participaram num inquérito por questionário online que recolheu dados sociodemográficos do respondente e da empresa, aplicando ainda uma escala de capacidade de absorção, instrumentos de avaliação de processos de gestão do conhecimento – nomeadamente: aquisição, partilha, armazenamento e criação do conhecimento – e uma escala de inovação organizacional. Os resultados, apresentados em dois capítulos empíricos, demonstram que, nas empresas estudadas, os processos organizacionais de aquisição e partilha do conhecimento reforçam a capacidade de absorção e a criação de novo conhecimento. A partilha de conhecimento, intraorganizacional, potencia ainda a inovação organizacional, sendo esta relação mediada pela criação interna de novo conhecimento, variável que se apresenta como o mais forte preditor da inovação organizacional na amostra analisada. Considerando os primeiros resultados alcançados e procurando conhecer em maior detalhe as variáveis que podem promover a criação interna de novo conhecimento, foi testado um modelo onde a capacidade potencial de absorção, o processo de armazenamento do conhecimento e a capacidade efetiva de absorção são estudados na sua inter-relação. A análise realizada demonstrou que o armazenamento do conhecimento e a capacidade efetiva de absorção das organizações, isto é, a capacidade de transformarem e aplicarem conhecimento previamente adquirido e assimilado, influenciam positivamente a criação de novo conhecimento, representando, ainda, de forma individual e conjunta, um papel mediador entre a capacidade potencial de absorção do conhecimento e a criação interna de novo conhecimento. Conclusões e considerações finais são elaboradas e apresentadas, refletindo-se sobre as implicações teóricas (para a investigação em psicologia do trabalho e das organizações) e práticas (para o psicólogo do trabalho e das organizações) da tese apresentada, bem como acerca das suas limitações

O conhecimento dos utentes sobre os riscos da radiação X

Os exames de diagnóstico ostentam uma grande evolução na área na saúde. Porém, não trazem só benefícios. Na Radiologia, surge a carência de haver uma constante aprendizagem, dada a sua pertinaz evolução. A preocupação fundamental nesta área, é existir uma gestão da proteção radiológica eficaz. É da responsabilidade dos profissionais de saúde prestarem uma informação adequada aos utentes, para que estes possam ter um papel ativo na sua saúde e a possam gerir melhor. Foi realizado um estudo exploratório, descritivo-analítico e transversal no Hospital Trás-os-Montes e Alto Douro EPE, com o objetivo de avaliar a satisfação dos utentes com a informação recebida e avaliar o conhecimento dos utentes acerca da radiação X e seus efeitos biológicos. Como instrumento de recolha de dados, utilizou-se um questionário elaborado para o efeito. A amostra ficou constituída por 403 elementos. Os principais resultados evidenciam que o exame mais realizado pelos participantes é a radiografia, que a maioria dos participantes no estudo realizou o exame devido a uma doença, que a maior parte das vezes não foram prestadas informações pelos profissionais de saúde acerca do exame a realizar e que a maioria dos participantes no estudo não sabe o que é a proteção radiológica. Imaging modalities bear a great evolution in the area of health. But not only bring benefits. In radiology, there is the lack of having a constant learning, given its dogged evolution. The main concern in this area is there is effective management of radiological protection. It is the responsibility of health professionals to provide adequate information to users, so that they can take an active role in your health and can better manage it. An exploratory, descriptive, analytical and cross-sectional study was realized at the Hospital Trás-os-Montes e Alto Douro EPE to evaluate user satisfaction with the received information and assess the knowledge of users about the X-ray radiation and its biological effects. As data collection instrument was used a questionnaire designed for this purpose. The sample was composed of 403 elements. The main results show that the examination more conducted by the participants is radiography, that most participants of the study performed the examination due to illness, which most of the times information were not provided by health professionals about the review to be undertaken and that most participants of the study do not know what is the radiological protection