Towards a Generic Trace for Rule Based Constraint Reasoning

CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information. In this report, we propose a new trace for CHR which contains enough information to analyze any aspects of \CHRv\ execution at some useful abstract level, common to several implementations. %a large family of rule based solvers. This approach is based on the idea of generic trace. Such a trace is formally defined as an extension of the $\omega_r^\lor$ semantics of CHR. We show that it can be derived form the SWI Prolog CHR trace

Influence of physical training on bone mineral density in healthy young adults: a systematic review

Sem informação6581102110

Investigações sobre alguns methodos para a avaliação da capacidade respiratoria

Nestes ultimos tempos, tem-se attribuido grande importancia á avaliação da capacidade vital, não só sob o ponto de vista meramente especulativo, como ainda para fins de utilidade directa. Os medicos militares, premidos pelas exigencias da ultima guerra, viram-se forçados a estudar provas de validez physica mais efficientes que as antigas, e, sobretudo, mais especializadas para cada um dos ramos em que se fragmenta hoje a actividade bellica. No serviço de aviadores, a avaliação da capacidade vital tornou-se factor decisivo, e provocou, por parte de Dreyer, investigações muito minuciosas, tentando estabelecer relações mathematicas entre aquella medida e certos valores somaticos, como o peso, a altura do tronco e o perímetro thoracico

Review of developments in corneal transplantation in the regions of Brazil - Evaluation of corneal transplants in Brazil

The aim of this study was to identify inequalities in corneal donation and transplantation among the regions of Brazil. A transversal and retrospective study was specifically conducted using data from the Brazilian Transplant Registry collected by the Brazilian Association of Organ Transplantation between January 2002 and December 2014. The collected data were processed using descriptive statistical methods, and

An arreligion called Anti-Christianity

O cristianismo, especialmente o catolicismo, tem recebido forte oposição em solo europeu, que labuta por seu desaparecimento. No ambiente francês, Michel Onfray se levanta como grande expoente do movimento, sistematizando verdadeira doutrina, uma ateologia. Sua filosofia apaixonada e sua militância assume contornos de devoção, dando ao movimento silhueta de uma religião humana, pois Deus não existe e a fé é uma ilusão. Segundo o anticristianismo, a real felicidade está na busca do prazer, o que pressupõe a erradicação de toda instituição impositora de regras comportamentais, especialmente a religião. O Anticristianismo de Onfray liga-se ao Iluminismo e ao niilismo, mas vai além, uma espécie de positivismo hedonista.Christianity, especially Catholicism, has received strong opposition on European soil, struggling for its disappearance. In the French environment, Michel Onfray rises as a great exponent of the movement, systematizing a true secular doctrine, an atheology. His passionate philosophy and militancy take on the shape of devotion, giving the movement the silhouette of a human religion, since God does not exist and faith is an illusion. According to anti-Christianity, real happiness lies in the pursuit of pleasure, which presupposes the eradication of any institution that imposes behavioral rules, especially religion. Onfray’s anti-Christianity is linked to Enlightenment and nihilism, but goes further, it is a kind of hedonistic positivism.Esta publicação foi financiada por Fundos Nacionais através da FCT — Fundação para a Ciência e a Tecnologia, no âmbito do Projeto UIDB/00077/2020.info:eu-repo/semantics/publishedVersio

Soil Electrochemical and Physical Properties in Coffee Crops in the State of Paraná, Brazil

In aerated soils, pH is considered to control available nutrients to plants. Also, pH is related to soil charges and is a key property expanding double layers of colloids. These electrochemical properties are affected by soil management and are related to soil physical properties like water-dispersible clay, aggregation indexes, and infiltration rate. Water-dispersible colloids are the fraction of clay that disperse in water and are affected by nature of soil including mineralogy of clay fraction, soil management in terms of crop sequence, application of organic manures, field traffic, and mechanical stress by time of shaking for the analysis. Traffic of machines, soil tillage, and weed control methods are the main causes of change in soil physical properties in coffee crop. However, management of soil acidity with limestone and use of gypsum also can change soil physical and electrochemical properties, which are related with dynamic processes like soil air and hydraulic permeability into soil which are essential to root development and growth. Therefore, soil management in coffee crops requires comprehension of the effects of changes in soils caused by addition of amendments like limestone and gypsum, traffic of machines, and weed control methods on behavior of soil properties for better management

Programa para o cálculo de fluxos de população correspondentes aos processos V-V e V-V' em colisões moleculares do sistema OH (v' ,j') + O2 (v'', j'')

Anais do I Encontro de Iniciação Científica e de Extensão da Unila - Sessão de Ciências Biológicas. Dia 05/06/12 - 14h00 às 18h00, Unila-Centro - Sala 14 - 3o PisoO projeto busca desenvolver em dois anos um pacote computacional capaz de modelar reações químicas de interesse atmosférico. Especificadamente a reação do O2 (v') + OH (v'), oxigênio moleculare da hidro - xila vibracionalmente excitados, proposta como uma nova fonte para a formação de O3 (ozônio) [1]. Este trabalho tem como motivação o chamado problema do "Déficit de Ozônio", consistente na diferença exis - tente entre as concentrações do ozônio esperado, considerando os estudos teóricos, quando comparado aos dados experimentais, o que indica que ainda existem fontes de O3 que não estão sendo consideradas. Na primeira etapa do projeto foi desenvolvido um pacote computacional paralelizado que recebeu o nome de OZONE1DP, que possui uma interface escrita em C++ que liga os cálculos introduzidos ao pacote computacional CVODE [2]. O pacote OZONE1DP calcula equações diferenciais ordinárias (rígidas e não- rígidas) com alta precisão. Para validar o pacote computacional foi introduzido um problema que prevê um sistema homogêneo de N2 (nitrogênio molecular), para o qual os processos de relaxação vibra - cional mais prováveis durante as colisões são aqueles que correspondem às trocas de um quantum o que leva a troca entre três níveis vibracionais da molécula. Esse problema foi resolvido por Treanor em 1968 [3]. As equações foram introduzidas no pacote e adaptadas de forma a gerar menos custo computacional. As equações foram resolvidas utilizando os processos V-V (vibration-vibration), onde ocorre a conserva - ção da energia interna da molécula, e V-V, V-T (vibration-vibration e vibration- translation), onde ocorre a perda da energia interna da molécula que é convertida em energia translacional. O OZONE1DP conse - guiu chegar na função de distribuição de Treanor, nos processos V-V, e na função de distribuição de Bolztmann, nos processos V-V, V-T, assim como previsto por Treanor em 1968. Com a finalidade de fa - zer comparações com outras moléculas, foram calculados os parâmetros moleculares do O2 , espécie de interesse do projeto global. Determinados esses parâmetros foram realizados cálculos para um sistema molecular formado por O2 considerando somente os processos VV. Percebeu-se que o sistema formado por N2 chega em uma solução estacionária mais rápido que um sistema formado por O2. Isso ocorre por - que o oxigênio molecular possui mais níveis vibracionais que o nitrogênio molecular e também porque a probabilidade de colisão do N2 é maior que o do O2.Universidade Federal da Integração Latino-Americana (UNILA