Magic sets with full sharing

In this paper we study the relationship between tabulation and goal-oriented bottom-up evaluation of logic programs. Differences emerge when one tries to identify features of one evaluation method in the other. We show that to obtain the same effect as tabulation in top-down evaluation, one has to perform a careful {\em adornment} in programs to be evaluated bottom-up. Furthermore we propose an efficient algorithm to perform forward subsumption che cking over adorned {\em magic facts}

Cartel deterrence and settlements: the brazilian experience

Settlements are an important part of a program of cartel deterrence, particularly when the likelihood ofconviction and the litigation costs are higher. This type of negotiated procedure to reach finality is inessence complementary to the fully adversarial procedures associated to the trial by the administrative orjudicial courts, and to other investigative instruments, such as the leniency agreement. The Brazilianexperience provides some insights about the different models of direct settlement in cartel cases and thecomplex interaction among settlements, leniency agreements, and trial outcome. First, there is leeway forthe complementary models of settlements, the first oriented mainly to increasing the likelihood ofdetection, and the second oriented to saving social costs of litigation. Second, the concern with thepreservation of the demand for leniency agreements led the competition authority to restrict the use ofsettlements, which are effectively designed for the defendants that are likely guilty and give higher valueto finality. The recent experience illustrates that the current settlement policy has not caused any adverseeffect on leniency agreements, while reducing litigation costs and granting finality in some cases.

Rules for contrast sets

In this paper we present a technique to derive rules describing contrast sets. Contrast sets are a formalism to represent groups diferences. We propose a novel approach to describe directional contrasts using rules where the contrasting efect is partitioned into pairs of groups. Our approach makes use of a directional Fisher Exact Test to and significant diferences across groups. We used a Bonferroni within search adjustment to control type I errors and a pruning technique to prevent derivation of non significant contrast set specializations.Thanks to Prof. M. Pazzani for kindly providing the code for the STUCCO algorithm. This work was Supported by Fundacao Ciencia e Tecnologia, Project PFound, Project ProtUnf, FEDER and Programa de Financiamento Plurianual de Unidades de I & D

Redesigning the Food Chain: Trade, Investment and Strategic Alliances in the Orange Juice Industry

Change in trade barriers and capital flow creates opportunities for redesigning the food chain. The orange juice chain in U.S. and Brazil provides an interesting illustration of how institutional harmonization, high import tariff rates and complementary capabilities open new opportunities for strategic alliances and the re-arrangement in the FCOJ chain. This finding has the following implications. First, trade barriers are not enough to support FDI and related internationalization decisions. Second, the perspective of market integration creates a positive environment for new strategic alliances and the re-design of the food chain. And third, the existence of complementary capabilities between foreign and domestic companies is a necessary condition for this type of supply chain re-arrangement.FTAA, foreign direct investment, Orange Juice Industry, strategic alliances, Agribusiness,

A escola na formação para o lazer

A ocupação dos tempos livres assume grande importância para a vida das crianças e dos jovens pela formação pura e simples dos tempos de lazer, através da prática desportiva, numa estrutura pensada a partir da escola. Estas práticas ajudam-nos a indagar as rotinas dos mais jovens e a valorizar comportamentos associados ao bem-estar geral. Questionamos, assim, o lugar do lazer na escola atual, considerando-o como uma dimensão na formação desportiva. A educação para o lazer é, impreterivelmente, forjada na escola, promotora da formação nos tempos livres, e cabe à escola, na figura dos seus atores, a caracterização do processo de personalização do tempo de lazer. Analisamo-lo a partir de uma visão tripartida: práticas, aspirações/interesses e representações. A partir deste triângulo, revelamos o modo como a formação para o lazer está a ser feita na escola, assim como os fatores que influenciam a consecução dessas atividades e que podem ser importantes para o desenvolvimento de políticas de educação. Os resultados descrevem: a escola como um espaço privilegiado para a formação desportiva ao promover atividades para além das componentes letivas; as práticas de lazer como criadoras de cultura de escola; as práticas de lazer na formação desportiva como alavanca para o sucesso.info:eu-repo/semantics/publishedVersio

Efectos de la movilización temprana en la rehabilitación funcional de los pacientes en estado crítico: una revisión sistemática

Contexto: A mobilização precoce vem sendo considerada uma intervenção capaz de modificar factores de risco de morbilidade, com impacto na reabilitação funcional em doentes críticos. Objetivo: Determinar os efeitos da mobilização precoce na reabilitação funcional de doentes internados em cuidados intensivos. Método de revisão: Utilizando a estratégia PICO, realizou-se uma revisão sistemática da literatura entre 2003 e 2013, considerandose artigos científicos em texto integral de estudos realizados com adultos internados em cuidados intensivos e submetidos à mobilização precoce. Pesquisaram-se as bases de dados PubMed, CINAHL, Cochrane Controlled Trial Database, Elsevier, LILACS, British Nursing Index e SciELO, revistas científicas de referência e as citações dos artigos selecionados. Na análise final dos estudos utilizaram-se ferramentas para avaliação da qualidade metodológica. Interpretação dos resultados: Dos seis trabalhos identificados resulta que a mobilização precoce pode facilitar a reabilitação funcional destes doentes, promovendo ganhos de força muscular e maior participação nas atividades de vida diária. Conclusão: São necessários estudos que usem as mesmas ferramentas de avaliação e que demonstrem o interesse da intervenção para a disciplina de Enfermagem.Background: Early mobilisation has been considered as an intervention capable of modifying risk factors for morbidity, with an impact on the functional rehabilitation of critically ill patients. Objective: To determine the effects of early mobilisation in the functional rehabilitation of patients admitted to intensive care units. Review method: Using the PICO strategy, a systematic review was conducted of full-text scientific articles on adults admitted to intensive care units who underwent early mobilisation and published between 2003 and 2003. The search was performed in the following databases: PubMed, CINAHL, Cochrane Controlled Trial Database, Elsevier, LILACS, British Nursing Index and SciELO, and in scientific journals of reference and citations of the selected articles. Tools for methodological quality assessment were used in the final analysis of the studies. Interpretation of results: The six studies identified show that early mobilisation may facilitate the functional rehabilitation of these patients, promoting muscle strength gains and increased participation in the activities of daily living. Conclusion: Further studies using the same assessment tools and demonstrating the interest of this intervention for the Nursing discipline are needed.Marco contextual: La movilización temprana ha sido considerada una intervención capaz de modificar los factores de riesgo de morbilidad con un impacto en la rehabilitación funcional de los pacientes críticos. Objetivo: Determinar los efectos de la movilización temprana en la rehabilitación funcional de los pacientes internados en cuidados intensivos. Método de revisión: Utilizando la estrategia PICO, llevamos a cabo una revisión sistemática de la literatura entre 2003 y 2013, teniendo en cuenta artículos científicos con texto completo, estudios realizados con adultos ingresados en cuidados intensivos sometidos a la movilización temprana. Para esto, se consultaron las bases de datos PubMed, CINAHL, Cochrane Controlled Trial Database, Elselvier, LILACS, British Nursing Index y SciELO; revistas científicas de referencia y las citas de los artículos seleccionados. Para el análisis final de los estudios se utilizaron herramientas de evaluación de la calidad metodológica. Interpretación de los resultados: Los resultados de los seis estudios indican que la movilización temprana puede facilitar la rehabilitación funcional de estos pacientes, haciendo que ganen fuerza muscular y una mayor participación en las actividades diarias. Conclusión: Se necesitan estudios que utilicen las mismas herramientas de evaluación y que demuestren el interés de la intervención para la disciplina de enfermería.info:eu-repo/semantics/publishedVersio

A context-aware system architecture to assist workout plans

Dissertação de mestrado em Engenharia InformáticaThis thesis has the aim to correlate context awareness and physical workout. Nowadays the body’s health is a true concern to most of the people and working out is one of the ways to go in order to improve health in general. Although, the lack of knowledge can lead to unwanted endings such as contracting an injury. The aim of this work is to develop a Context-Aware (CA) architecture that intends to help the user with the workout according to the context that person is inserted in. Accelerometer data, air temperature and humidity are collected in order to infer the context. This work compares three different algorithms, Support Vector Machine (SVM), k-Nearest Neighbor (k-NN) and Random Forest (RF) for the recognition of the activity. From those three, SVM was the algorithm that presented a better performance overall, since it presented better accuracy, precision and recall. Therefore, it is used to recognise activities and give the suggestions about the way that activity is being executed. The system was validated and tested getting an overall accuracy of 96.4% with the SVM algorithm. The activities Standing Still, Walking and Running presented a precision of about 99%. While the Squat, got a precision of about 74% and the Wrong Squat a precision of 61%. Moreover, since data for the activity Running was collected through a simulation, a test using real life data for Running was made in order to validate the training with simulation generated data. A precision of about 94% was achieved with the SVM algorithm.Esta tese tem o objetivo de relacionar context awareness e exercício físico. Hoje em dia a saúde representa uma verdadeira preocupação para a maior parte das pessoas, e o exercí cio físico é o caminho a seguir quando o indivíduo quer melhorar a sua saúde no geral. Contudo, quando o conhecimento não é suficiente, a prática de exercício pode facilmente causar algum dano irreversível no nosso corpo. Como tal o objetivo é criar uma arquitetura CA que ajude o utilizador com o seu plano de exercício físico de acordo com o contexto que o rodeia. Os dados recolhidos para inferir o contexto do utilizador são acelerometro, temperatura ambiente e humidade relativa. Três algoritmos são comparados neste trabalho, SVM, k-NN e RF e o algoritmo que apresentou melhor performance, SVM, foi o escolhido para o sistema final. Uma vez que apresentou melhor accuracy, precision e recall. Este algoritmo é utilizado para reconhecer atividades e dar sugestões ao utilizador baseado na forma como essas atividades estão a ser feitas. O sistema desenvolvido obteve uma eficácia geral de 96.4% com o algoritmo SVM. As atividades Parado, Andar e Correr obtiveram uma precisão de cerca de 99%. Enquanto que o Agachamento obteve uma precisão de cerca de 74% e o Agachamento Errado uma precisão de cerca de 61%. Para além disso, um teste, com dados reais da atividade Correr, foi efetuado com o objetivo de validar o sistema, uma vez que este foi treinado, para esta atividade em específico, com dados gerados por uma simulação. Uma precisão de cerca de 94% foi atingida com o algoritmo SVM

An Empirical Evaluation of an Evolutionary Game Theory Model of the Labor Market

In this paper we intend to perform an empirical evaluation of the evolutionary game theory model of the labor market developed by Araujo and Souza (2010). In order to accomplish this task we focus on the Brazilian labor market by using data from the National Household Sampling Survey – PNAD/IBGE, from 1995 to 2008. We used four different methodologies: the OLS, Pseudo-panel with fixed effects, Instrumental Variables and the Heckman Selection Model. Results indicate that the main difference between the 1995-2002 and 2003-2008 period is the impact of education over wages. According to these findings, investments in education were more profitable for the 2003-2008 period. However, all wage gaps between formal and informal markets reduced considerably.formal and informal and labor market, evolutionary game theory.