Tractable approximate deduction for OWL

Acknowledgements This work has been partially supported by the European project Marrying Ontologies and Software Technologies (EU ICT2008-216691), the European project Knowledge Driven Data Exploitation (EU FP7/IAPP2011-286348), the UK EPSRC project WhatIf (EP/J014354/1). The authors thank Prof. Ian Horrocks and Dr. Giorgos Stoilos for their helpful discussion on role subsumptions. The authors thank Rafael S. Gonçalves et al. for providing their hotspots ontologies. The authors also thank BoC-group for providing their ADOxx Metamodelling ontologies.

Towards Automated Business Process Deduction through a Social and Collaborative Platform

Part 12: Collaboration Platforms

Processos adaptativos do tecido muscular esqueletico e tecido conjuntivo : repercussões sobre a flexibilidade

Universidade Estadual de Campinas. Faculdade de Educação Física

O azul do céu e o vermelho do pôr-do-sol

Este trabalho expõe uma dedução da intensidade da luz espalhada por pequenas partículas na atmosfera, o que explica o porquê do azul do céu e o vermelho do pôr-do-sol. Mostramos, também, uma experiência bem simples, sobre os temas abordados, que foi elaborada com o intuito de aplicar a alunos do Ensino Médio

Equational Reasoning as a Tool for Data Analysis

A combination of deductive reasoning, clustering, and inductive learning is given as an example of a hybrid system for exploratory data analysis. Visualization is replaced by a dialogue with the data.

The Limits of Rational Choice: New Institutionalism in the Test Bed of Central Banking Politics in Australia

This paper tests the explanatory capacities of different versions of new institutionalism by examining the Australian case of a general transition in central banking practice and monetary politics: namely, the increased emphasis on low inflation and central bank independence. Standard versions of rational choice institutionalism largely dominate the literature on the politics of central banking, but this approach (here termed RC1) fails to account for Australian empirics. RC1 has a tendency to establish actor preferences exogenously to the analysis; actors' motives are also assumed a priori; actor's preferences are depicted in relatively static, ahistorical terms. And there is the tendency, even a methodological requirement, to assume relatively simple motives and preference sets among actors, in part because of the game theoretic nature of RC1 reasoning. It is possible to build a more accurate rational choice model by re-specifying and essentially updating the context, incentives and choice sets that have driven rational choice in this case. Enter RC2. However, this move subtly introduces methodological shifts and new theoretical challenges. By contrast, historical institutionalism uses an inductive methodology. Compared with deduction, it is arguably better able to deal with complexity and nuance. It also utilises a dynamic, historical approach, and specifies (dynamically) endogenous preference formation by interpretive actors. Historical institutionalism is also able to more easily incorporate a wider set of key explanatory variables and incorporate wider social aggregates. Hence, it is argued that historical institutionalism is the preferred explanatory theory and methodology in this case.

Relação entre função ventricular esquerda e os índices de captação miocárdio/pulmão em estudos Gated-SPECT

Introdução – A tomografia de emissão de fotão simples sincronizada com o sinal eletrocardiográfico (Gated-SPECT) é essencial para a avaliação conjunta da perfusão e da função ventricular esquerda (VE) do miocárdio. Objetivo – Investigar a relação entre a função VE e o índice de captação (IC) miocárdio/pulmão direito (M/PD) e M/P esquerdo (M/PE) nos estudos Gated-SPECT com 99mTc-Tetrofosmina. Metodologia – Amostra de 32 pacientes que realizaram estudos Gated-SPECT por indicação clínica, sendo subdividida em dois grupos: Grupo I (GI) – pacientes com a informação clínica de enfarte agudo do miocárdio (EAM); Grupo II (GII) – pacientes com a informação clínica de isquemia. Por cada paciente adquiriram-se imagens estáticas torácico-abdominais e dois estudos Gated-SPECT do miocárdio (protocolo de um dia esforço/repouso). Nas imagens estáticas definiram-se regiões de interesse (Regions of interest – ROI) para calcular os IC. Nos estudos Gated-SPECT utilizou-se o software Quantitative Gated SPECT/Quantitative Perfusion SPECT para calcular a Fração de Ejeção do Ventrículo Esquerdo (FEVE). Efetuou-se análise estatística descritiva para caracterização da amostra. Aplicou-se o teste de Spearman para avaliar a correlação entre a FEVE e os IC por grupo de pacientes. O Teste de Willcoxon foi usado para comparar FEVE em repouso e em esforço. Resultados – Nos estudos Gated-SPECT em esforço não se verificou correlação estatisticamente significativa entre a FEVE e os IC, para GI e GII; em repouso existe correlação positiva estatisticamente significativa entre a FEVE e os IC, para GI; para GII não se verificou correlação. Na comparação dos valores de FEVE em esforço e repouso nos dois grupos constatou-se a existência de diferenças estatisticamente significativas, sendo a FEVE em Esforço

A aplicação do imposto sobre o valor acrescentado nas autarquias locais

Mestrado em Fiscalidade

Tissue composition and density impact on the clinical parameters for 125I prostate implants dosimetry

The MCNPX code was used to calculate the TG-43U1 recommended parameters in water and prostate tissue in order to quantify the dosimetric impact in 30 patients treated with (125)I prostate implants when replacing the TG-43U1 formalism parameters calculated in water by a prostate-like medium in the planning system (PS) and to evaluate the uncertainties associated with Monte Carlo (MC) calculations. The prostate density was obtained from the CT of 100 patients with prostate cancer. The deviations between our results for water and the TG-43U1 consensus dataset values were -2.6% for prostate V100, -13.0% for V150, and -5.8% for D90; -2.0% for rectum V100, and -5.1% for D0.1; -5.0% for urethra D10, and -5.1% for D30. The same differences between our water and prostate results were all under 0.3%. Uncertainties estimations were up to 2.9% for the gL(r) function, 13.4% for the F(r,θ) function and 7.0% for Λ, mainly due to seed geometry uncertainties. Uncertainties in extracting the TG-43U1 parameters in the MC simulations as well as in the literature comparison are of the same order of magnitude as the differences between dose distributions computed for water and prostate-like medium. The selection of the parameters for the PS should be done carefully, as it may considerably affect the dose distributions. The seeds internal geometry uncertainties are a major limiting factor in the MC parameters deduction.

IVA : o regime de contabilidade de caixa e o ciclo de caixa das empresas

Mestrado em Fiscalidade

Influência das energias renováveis na certificação energética de uma habitação de acordo com o regulamento do desempenho energético dos edifícios de habitação

A presente dissertação tem como objetivo principal o estudo da importância que os sistemas de energias renováveis têm na obtenção da classe de eficiência energética em edifícios de habitação. Analisou-se assim, qual dos sistemas apresentados na legislação é mais vantajoso na relação entre a classe energética e o investimento necessário a efetuar. Como caso de estudo, utilizou-se um edifício de habitação em fase de projeto situada em ambiente urbano, a uma distância muito curta da costa marítima, no distrito do Porto. A primeira etapa da dissertação passou pela caracterização do edifício, determinando as suas necessidades nominais anuais de energia para aquecimento, para arrefecimento, para preparação de águas quentes sanitárias e por fim, as necessidades nominais de energia primária. Com isto, obteve-se a classe de eficiência energética da habitação sem a utilização de qualquer tipo de sistema de aproveitamento de energia renovável. Após esta obtenção, verificou-se que o edifício em análise já possuía uma classe muito eficiente, classe A, superior à classe mínima exigida pelo regulamento, B-. A desvantagem do edifício já possuir esta classe é que a implementação de sistemas de energia não iriam alterar drasticamente a classe, e por isso, não se iria conseguir retirar uma dedução correta de qual o melhor para promover a eficiência energética. De seguida, procedeu-se ao estudo dos sistemas de energia renovável, apresentando sistemas adequados para a habitação e calculando-se as novas classes de eficiência energética, com a utilização de cada sistema. Consecutivamente, começou-se a retirar ilações dos sistemas mais eficientes, ou seja, os sistemas que tem como função aquecer a moradia ou a função de preparar águas quentes sanitárias, pois, iriam mitigar necessidades nominais de energia, enquanto os sistemas de produção de energia elétrica apenas iriam contribuir para uma melhoria energética. Outra desvantagem verificada foi que, devido ao local onde a habitação se situa, não seria possível efetuar uma análise a todos os sistemas de aproveitamento de energia renovável. iv Por fim, efetuou-se uma análise dos investimentos necessários para a implementação dos sistemas de energias renováveis face às diminuições percentuais do rácio de eficiência energética. Posto isto, obteve-se os melhores sistemas a implementar na moradia, no ponto de vista de melhorar a classe de eficiência energética, seria uma caldeira a pellets com função de aquecimento e produção de águas quentes sanitárias, enquanto que, do ponto de vista financeiro obteve-se o sistema de aquecimento e produção de águas quentes sanitárias através de um recuperador de calor a lenha, que em ambos os casos a classe de eficiência energética passou de A para A+.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Chemical features of Ganoderma polysaccharides with antioxidant, antitumor and antimicrobial activities

Review aricle

A modernidade para além da utopia tecnológica

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Comunicação, Cidadania e Educação)