Searching for Invariants Using Temporal Resolution

In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants, and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.

Towards First-Order Temporal Resolution

In this paper we show how to extend clausal temporal resolution to the ground eventuality fragment of monodic first-order temporal logic, which has recently been introduced by Hodkinson, Wolter and Zakharyaschev. While a finite Hilbert-like axiomatization of complete monodic first order temporal logic was developed by Wolter and Zakharyaschev, we propose a temporal resolution-based proof system which reduces the satisfiability problem for ground eventuality monodic first-order temporal formulae to the satisfiability problem for formulae of classical first-order logic.

Competition and cooperation between international courts: a critical approach to the new paradigms of cross-border dispute resolution model

This article examines the arising cross-border dispute resolution models (Cooperation and Competition among national Courts) from a critical perspective. Although they have been conceived to surpass the ordinary solution of a Modern paradigm (exclusive jurisdiction, choice of court, lis pendens, forum non conveniens, among others), they are insufficient to deal with problems raised with present globalization, as they do not abandon aspects of that paradigm, namely, (i) statebased Law; and (ii) standardization of cultural issues.

Interests prices and the Barosky - Summers resolution of the Gibson paradox under the gold standard

This paper presents a structural monetary úamework featunng a demand function for non-monetary uses of gold, such as the one drawn by Barsky and Summers in their 1988 analy8ÚI of the Gibson Paradox as a natural concomitant of the gold standard period. That structural model predicts that the laws of behavior of nominal prices and interest rates are functions of the rules set by the government to command the money supply. !ta fiduciary vemon obtaina Fisherian relationships &8 particular cases. !ta gold atandard 801ution yields a modelsimilar to the Barsky and Summers model, in which interest rates are exogeneous and subject to shocb. This paper integrates governnment bonds into the analysis, treats interest rates endogenously, and ahifts the responsibility for the shocb to the government budgetary financing policies. The Gibson paradox appears as "practically" the only cl&18 of behavioral pattern open for interest rates and price movements under apure gold standard economy. Fisherian-like relationshipe are utterly ruled out.

Do brazilian states engage in the fiscal war of ports? An empiric study of tax competition and an analysis of a natural experiment: the brazilian senate resolution 13/2012

O fim do ano de 2014 marcou o segundo aniversário da Resolução 13/2012 (R13) do Senado brasileiro. Grosso modo, R13 constituiu-se de um normativo do Senado cujo objetivo era o de por um fim na Guerra Fiscal dos Portos (FWP), uma competição fiscal entre os estados que se dá através da concessão de benefícios fiscais sobre operações interestaduais com mercadorias importadas de modo a atrair empresas importadoras para o território do estado concedente. R13 diminuiu o nível da tributação sobre tais operações, esperando com isso diminuir os lucros auferidos e a propensão das firmas de aceitarem tais regimes especiais de incentivação fiscal. Nada obstante, R13 gerou uma grande discussão sobre se os benefícios da atração de investimentos para um estado em particular superariam ou não os custos que esse estado incorreria em renunciar receitas tributárias em razão concessão desses benefícios fiscais. O objetivo do presente trabalho é o de dar uma contribuição a essa discussão, testando se um comportamento de interação estratégica entre estados, tal como aquele que supostamente ocorre no contexto da FWP, de fato emerge dos dados de importação coletados de janeiro de 2010 a maio de 2015, e, também, testando se a R13 de fato afetou tal comportamento de interação estratégica. Utiliza-se aqui um modelo de econometria espacial, no qual se especifica uma matriz de pesos que agrega o nível de importação das jurisdições concorrentes, organizando os dados em um painel de efeitos fixos. Os resultados sugerem que existe um comportamento de interação estratégica entre os estados e que a R13 de fato impactou tal comportamento.

High-resolution electrocardiography in dogs under doxorubicin-induced cardiomyopathy

Determinaram-se a ocorrência de potencial tardio em cães com cardiomiopatia induzida pela doxorrubicina e sua relação com o desenvolvimento de arritmias ventriculares ou morte súbita. Sete cães adultos, sem raça definida, de ambos os sexos foram utilizados. A cardiomiopatia foi induzida por infusão venosa lenta de doxorrubicina (30mg/m²) em intervalos de 21 dias, até uma dose total cumulativa de 240mg/m². Os animais foram monitorados ecocardiograficamente. Após a confirmação da cardiomiopatia, foi feito o registro da eletrocardiografia de alta resolução. Potenciais tardios foram observados em dois animais que morreram subitamente poucos dias após.

High-resolution electrocardiography in the diagnosis of arrhythmogenic right ventricular cardiomyopathy in Boxer dogs

Com o objetivo de avaliar a importância da eletrocardiografia de alta resolução no diagnóstico da cardiomiopatia arritmogênica do ventrículo direito do Boxer, 20 cães sem evidências de doença cardíaca estrutural à avaliação ecodopplercardiográfica foram agrupados de acordo com a frequência de arritmias ventriculares, avaliadas pela eletrocardiografia ambulatorial de 24 horas, e submetidos ao exame eletrocardiográfico de alta resolução. Duração do complexo QRS filtrado, duração dos sinais de baixa amplitude (menor que 40µV) dos últimos 40 milissegundos do complexo QRS e raiz quadrada média da voltagem ao quadrado dos últimos 40 milissegundos do complexo QRS (RMS40) foram as variáveis avaliadas. Não foram observadas diferenças significativas entre os grupos em relação às variáveis estudadas. Sendo assim, os resultados do presente estudo sugerem que a eletrocardiografia de alta resolução não é uma ferramenta útil no auxílio diagnóstico da cardiomiopatia arritmogênica do ventrículo direito dos cães da raça Boxer que não apresentam alterações miocárdicas evidentes ou disfunção sistólica.

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Plasmid-based controls to detect rpoB mutations in Mycobacterium tuberculosis by quantitative polymerase chain reaction-high-resolution melting

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Extended depth from focus reconstruction using NIH ImageJ plugins: Quality and resolution of elevation maps

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Traumatic surdural hygroma - Five cases with changed density and spontaneous resolution

Thirty-four consecutive adult patients with subdural traumatic hygroma were analysed for clinical evolution, serial computed tomography scan (CT), and magnetic resonance imaging (MRI) over a period of several months. Five of the patients presented CT scan and MRI evolution data showing increasing density over a period of 11 days to 6 months post trauma. In these five patients, final clinical and CT scan data were benign, with complete spontaneous resolution. Descriptions in literature of evolving traumatic subdural hygroma have presented CT scan density modifications changing into chronic subdural hematoma. Our patients show another possibility, density transformation, which sometimes show as subdural hematoma in CT scan and MRI, but with final evolution where clinical condition and CT scan return to normal.