13 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo
Resumo:
This work used the colloidal theory to describe forces and energy interactions of colloidal complexes in the water and those formed during filtration run in direct filtration. Many interactions of particle energy profiles between colloidal surfaces for three geometries are presented here in: spherical, plate and cylindrical; and four surface interactions arrangements: two cylinders, two spheres, two plates and a sphere and a plate. Two different situations were analyzed, before and after electrostatic destabilization by action of the alum sulfate as coagulant in water studies samples prepared with kaolin. In the case were used mathematical modeling by extended DLVO theory (from the names: Derjarguin-Landau-Verwey-Overbeek) or XDLVO, which include traditional approach of the electric double layer (EDL), surfaces attraction forces or London-van der Waals (LvdW), esteric forces and hydrophobic forces, additionally considering another forces in colloidal system, like molecular repulsion or Born Repulsion and Acid-Base (AB) chemical function forces from Lewis.
Resumo:
Este artigo propõe que a semiótica peirceana pode oferecer bases tanto lógicas quanto epistemológicas para a busca de uma teoria geral da comunicação. No entanto, o desenvolvimento de uma teoria semiótica da comunicação depende, em primeiro lugar, de uma melhor compreensão dos aspectos formais do signo, tarefa atribuída por Peirce à gramática, o primeiro ramo de sua semiótica. Nós apresentamos uma análise das relações do signo, revelando um aspecto não trabalhado por Peirce, ampliando seu número para onze. Este novo aspecto é a relação triádica entre signo, objeto dinâmico e interpretante dinâmico (S-OD-ID). Nós defendemos que esta relação é essencial para a compreensão da comunicação como semiose, por dar conta da repetição ou redundância do signo comunicativo, quando se cria ou transmite informação. O artigo pretende dar um passo a mais na direção de uma teoria da comunicação verdadeiramente universal, através do vínculo entre a semiótica peirceana e a moderna filosofia da linguagem.
Resumo:
Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.
Resumo:
Background: Arboviral diseases are major global public health threats. Yet, our understanding of infection risk factors is, with a few exceptions, considerably limited. A crucial shortcoming is the widespread use of analytical methods generally not suited for observational data - particularly null hypothesis-testing (NHT) and step-wise regression (SWR). Using Mayaro virus (MAYV) as a case study, here we compare information theory-based multimodel inference (MMI) with conventional analyses for arboviral infection risk factor assessment. Methodology/Principal Findings: A cross-sectional survey of anti-MAYV antibodies revealed 44% prevalence (n = 270 subjects) in a central Amazon rural settlement. NHT suggested that residents of village-like household clusters and those using closed toilet/latrines were at higher risk, while living in non-village-like areas, using bednets, and owning fowl, pigs or dogs were protective. The "minimum adequate" SWR model retained only residence area and bednet use. Using MMI, we identified relevant covariates, quantified their relative importance, and estimated effect-sizes (beta +/- SE) on which to base inference. Residence area (beta(Village) = 2.93 +/- 0.41; beta(Upland) = -0.56 +/- 0.33, beta(Riverbanks) = -2.37 +/- 0.55) and bednet use (beta = -0.95 +/- 0.28) were the most important factors, followed by crop-plot ownership (beta = 0.39 +/- 0.22) and regular use of a closed toilet/latrine (beta = 0.19 +/- 0.13); domestic animals had insignificant protective effects and were relatively unimportant. The SWR model ranked fifth among the 128 models in the final MMI set. Conclusions/Significance: Our analyses illustrate how MMI can enhance inference on infection risk factors when compared with NHT or SWR. MMI indicates that forest crop-plot workers are likely exposed to typical MAYV cycles maintained by diurnal, forest dwelling vectors; however, MAYV might also be circulating in nocturnal, domestic-peridomestic cycles in village-like areas. This suggests either a vector shift (synanthropic mosquitoes vectoring MAYV) or a habitat/habits shift (classical MAYV vectors adapting to densely populated landscapes and nocturnal biting); any such ecological/adaptive novelty could increase the likelihood of MAYV emergence in Amazonia.
Resumo:
The aim of the present study was to evaluate the influence of seasonality on the behavior of phytoplankton associations in eutrophic reservoirs with different depths in northeastern Brazil. Five collections were carried out at each of the reservoirs at two depths (0.1 m and near the sediment) at three-month intervals in each season (dry and rainy). The phytoplankton samples were preserved in Lugol's solution and quantified under an inverted microscope for the determination of density values, which were subsequently converted to biomass values based on cellular biovolume and classified in phytoplankton associations. The following abiotic variables were analyzed: water temperature, dissolved oxygen, pH, turbidity, water transparency, total phosphorus, total dissolved phosphorus, orthophosphate and total nitrogen. The data were investigated using canonical correspondence analysis. The influence of seasonality on the dynamics of the phytoplankton community was lesser in the deeper reservoirs. Depth affected the behavior of the algal associations. Variation in light availability was a determinant of changes in the phytoplankton structure. Urosolenia and Anabaena associations were more abundant in shallow ecosystems with a larger eutrophic zone, whereas the Microcystis association was more related to deep ecosystems with adequate availability of nutrients. The distribution of Cyclotella, Geitlerinema, Planktothrix, Pseudanabaena and Cylindrospermopsis associations was different from that seen in subtropical regions and the substitution of these associations was related to a reduction in the eutrophic zone rather than the mixture zone. Published by Elsevier GmbH.
Resumo:
A deep theoretical analysis of the graph cut image segmentation framework presented in this paper simultaneously translates into important contributions in several directions. The most important practical contribution of this work is a full theoretical description, and implementation, of a novel powerful segmentation algorithm, GC(max). The output of GC(max) coincides with a version of a segmentation algorithm known as Iterative Relative Fuzzy Connectedness, IRFC. However, GC(max) is considerably faster than the classic IRFC algorithm, which we prove theoretically and show experimentally. Specifically, we prove that, in the worst case scenario, the GC(max) algorithm runs in linear time with respect to the variable M=|C|+|Z|, where |C| is the image scene size and |Z| is the size of the allowable range, Z, of the associated weight/affinity function. For most implementations, Z is identical to the set of allowable image intensity values, and its size can be treated as small with respect to |C|, meaning that O(M)=O(|C|). In such a situation, GC(max) runs in linear time with respect to the image size |C|. We show that the output of GC(max) constitutes a solution of a graph cut energy minimization problem, in which the energy is defined as the a"" (a) norm ayenF (P) ayen(a) of the map F (P) that associates, with every element e from the boundary of an object P, its weight w(e). This formulation brings IRFC algorithms to the realm of the graph cut energy minimizers, with energy functions ayenF (P) ayen (q) for qa[1,a]. Of these, the best known minimization problem is for the energy ayenF (P) ayen(1), which is solved by the classic min-cut/max-flow algorithm, referred to often as the Graph Cut algorithm. We notice that a minimization problem for ayenF (P) ayen (q) , qa[1,a), is identical to that for ayenF (P) ayen(1), when the original weight function w is replaced by w (q) . Thus, any algorithm GC(sum) solving the ayenF (P) ayen(1) minimization problem, solves also one for ayenF (P) ayen (q) with qa[1,a), so just two algorithms, GC(sum) and GC(max), are enough to solve all ayenF (P) ayen (q) -minimization problems. We also show that, for any fixed weight assignment, the solutions of the ayenF (P) ayen (q) -minimization problems converge to a solution of the ayenF (P) ayen(a)-minimization problem (ayenF (P) ayen(a)=lim (q -> a)ayenF (P) ayen (q) is not enough to deduce that). An experimental comparison of the performance of GC(max) and GC(sum) algorithms is included. This concentrates on comparing the actual (as opposed to provable worst scenario) algorithms' running time, as well as the influence of the choice of the seeds on the output.
Resumo:
A análise detalhada de Mapas Conceituais (MCs) pode revelar informações latentes que não são percebidas a partir da mera leitura do seu conjunto de proposições. O presente trabalho tem como objetivo propor a Análise de Vizinhança (AViz) como uma forma inovadora de avaliar os MCs obtidos em sala de aula. A seleção de um Conceito Obrigatório (CO) permite ao professor verificar como os alunos o relacionam com outros conceitos, os quais são classificados como Conceitos Vizinhos (CVs). As proposições estabelecidas entre o CO e os CVs são suficientes para indicar o nível de compreensão do aluno sobre o tema mapeado. MCs (n = 69) sobre mudanças climáticas formam o primeiro conjunto de dados empíricos que ratifica o potencial da AViz. O CO selecionado foi dispersão, a fim de avaliar se os alunos conseguem relacionar esse fenômeno físico com o caráter global desse problema ambiental. Os padrães identificados a partir da AViz sugerem que, apesar de serem submetidos a uma mesma sequência didática, nem todos os alunos conseguiram utilizar o CO de forma adequada. Isso pode ser explicado a partir da Teoria da Aprendizagem Significativa de David Ausubel, que destaca o papel fundamental dos conhecimentos prévios no processo de assimilação de novas informações.
Resumo:
The adsorption of NO on transition-metal (TM) surfaces has been widely studied by experimental and theoretical techniques; however, our atomistic understanding of the interaction of nitrogen monoxide (NO) with small TM clusters is far from satisfactory, which compromises a deep understanding of real catalyst devices. In this study, we report a density functional theory study of the adsorption properties of NO on the TM13 (TM = Rh, Pd, Ir, Pt) clusters employing the projected augmented wave method. We found that the interaction of NO with TM13 is much more complex than that for NO/TM(111). In particular, for low symmetry TM13 clusters, there is a strong rearrangement of the electronic charge density upon NO adsorption and, as a consequence, the adsorption energy shows a very complex dependence even for adsorption sites with the same local effective coordination. We found a strong enhancement of the binding energy of NO to the TM13 clusters compared with the TM(111) surfaces, as the antibonding NO states are not occupied for NO/TM13, and the general relationship based on the d-band model between adsorption energy and the center of gravity of the occupied d-states does not hold for the studied TM13 clusters, in particular, for clusters with low symmetry. In contrast with the adsorption energy trends, the geometric NO/TM13 parameters and the vibrational N-O frequencies for different coordination sites follow the same trend as for the respective TM(111) surfaces, while the changes in the frequencies between different surfaces and TM13 clusters reflect the strong NO-TM13 interaction.
Resumo:
Abstract Background The molecular phylogenetic relationships and population structure of the species of the Anopheles triannulatus complex: Anopheles triannulatus s.s., Anopheles halophylus and the putative species Anopheles triannulatus C were investigated. Methods The mitochondrial COI gene, the nuclear white gene and rDNA ITS2 of samples that include the known geographic distribution of these taxa were analyzed. Phylogenetic analyses were performed using Bayesian inference, Maximum parsimony and Maximum likelihood approaches. Results Each data set analyzed septely yielded a different topology but none provided evidence for the seption of An. halophylus and An. triannulatus C, consistent with the hypothesis that the two are undergoing incipient speciation. The phylogenetic analyses of the white gene found three main clades, whereas the statistical parsimony network detected only a single metapopulation of Anopheles triannulatus s.l. Seven COI lineages were detected by phylogenetic and network analysis. In contrast, the network, but not the phylogenetic analyses, strongly supported three ITS2 groups. Combined data analyses provided the best resolution of the trees, with two major clades, Amazonian (clade I) and trans-Andean + Amazon Delta (clade II). Clade I consists of multiple subclades: An. halophylus + An. triannulatus C; trans-Andean Venezuela; central Amazonia + central Bolivia; Atlantic coastal lowland; and Amazon delta. Clade II includes three subclades: Panama; cis-Andean Colombia; and cis-Venezuela. The Amazon delta specimens are in both clades, likely indicating local sympatry. Spatial and molecular variance analyses detected nine groups, corroborating some of subclades obtained in the combined data analysis. Conclusion Combination of the three molecular markers provided the best resolution for differentiation within An. triannulatus s.s. and An. halophylus and C. The latest two species seem to be very closely related and the analyses performed were not conclusive regarding species differentiation. Further studies including new molecular markers would be desirable to solve this species status question. Besides, results of the study indicate a trans-Andean origin for An. triannulatus s.l. The potential implications for malaria epidemiology remain to be investigated.
Resumo:
O presente artigo busca explicitar o conceito de ironia na Teoria do romance. A explicitação do conceito de ironia se desdobrará num desenvolvimento duplo: como exigência normativo-composicional e como radicalização subjetiva que excede a normatividade. No primeiro sentido, a ironia configura subjetivamente uma totalidade na obra épica, partindo da sua fragmentação objetiva nas relações sociais modernas. Nessa acepção, a ironia se apresenta como uma manobra subjetiva a serviço da normatividade épica do romance, pois sua finalidade é harmonizar o ideal subjetivo com a objetividade histórica burguesa. Seu paradigma é representado, neste artigo, por Goethe. O outro sentido pelo qual a ironia romântica aparece é demarcado pela forma extremada da subjetividade. Esta, reconhecendo uma impossibilidade de realização de seu ideal harmônico na modernidade, porque o mundo moderno se lhe apresenta como uma efetividade oposta aos anseios subjetivos, refugia-se na própria interioridade e se distancia do mundo presente, buscando refúgio em tempos e lugares mais propícios à realização poética. Novalis é o modelo dessa ironia radicalizada. Essa forma irônica, ao contrário da "cadência irônica" de Goethe, aniquila a forma romance, uma vez que o aspecto subjetivo da pura reflexão, a lírica, se sobrepõe à objetividade histórica presente que o romance também necessariamente deve encerrar.
Resumo:
Dennett (1981/1987b) caracteriza sua abordagem do funcionamento dos termos intencionais (aqueles para as assim chamadas atitudes proposicionais) como um "behaviorismo lógico holista", ou versão holista de delineamentos conceituais traçados por Ryle (1949). Este artigo avalia algumas de suas possíveis contribuições e desvantagens para tais delineamentos, e algumas consequências para sua proposta de utilização destes termos em psicologia. Argumenta-se que a abordagem não se mostra mais plausível do que a de seu predecessor, caso a dimensão mentalista que lhe acrescenta seja equivocada, e que de fato este é o caso. Disso resulta que suas contribuições e proposta correlata devem ser entendidas com independência daquilo que tal dimensão implica. Uma alternativa não-mentalista, baseada no modelo selecionista de Skinner, para uma eventual adoção dos termos intencionais em psicologia, é brevemente discutida.
Resumo:
Liberalism and Marxism are two schools of thought which have left deep imprints in sociological, political and economic theory. They are usually perceived as opposite, rival approaches. In the field of democracy there is a seemingly insurmountable rift around the question of political versus economic democracy. Liberals emphasize the former, Marxists the latter. Liberals say that economic democracy is too abstract and fuzzy a concept, therefore one should concentrate on the workings of an objective political democracy. Marxists insist that political democracy without economic democracy is insufficient. The article argues that both propositions are valid and not mutually exclusive. It proposes the creation of an operational, quantifiable index of economic democracy that can be used alongside the already existing indexes of political democracy. By using these two indexes jointly, political and economic democracy can be objectively evaluated. Thus, the requirements of both camps are met and maybe a more dialogical approach to democracy can be reached in the debate between liberals and Marxists. The joint index is used to evaluate the levels of economic and political democracy in the transition countries of Eastern Europe.
Resumo:
Este artigo trata da interelação entre justiça, razão comunicativa e emancipação social. Ao referir-se à justiça e à injustiça, retorna a um tema de fundamental importância para a história da Filosofia do Direito, sem com isto assumir os riscos das teorias metafísicas da justiça. É a partir da teoria do discurso, de Jürgen Habermas, que as condições e os pressupostos para o desenvolvimento de uma noção de justiça pós-metafísica se torna possível. Investigar a tarefa da Filosofia do Direito, e o desafio do conceito de justiça, são tarefas desdobradas nos estudos e debates envolvidos neste texto.