899 resultados para Almost always propositional logic
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Engenharia Civil - FEIS
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Química - IQ
Resumo:
Pós-graduação em Geografia - FCT
Resumo:
This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.
Resumo:
Studies investigating the relationship between literature and film have been largely oriented by an analysis vector which always departs from literary texts towards films. Moreover, the overwhelming majority of criticism done by renowned theorists such as Robert Stam and Brian McFarlane approaches almost exclusively texts considered canonical. This reveals an overemphasis on the notion that the “primordial” text in a study of adaptation should be the literary text. This essay discusses some of those concepts, challenging the “binary” models in adaptation studies and showing how the vectors of analysis can be usefully reversed, for example, starting from films to literature and to other textual architectures. This approach, shared by theorists such as Linda Hutcheon (2006) and Thomas Leitch (2007), rejects old notions that guided comparisons between literary and filmic texts, such as fidelity and equivalence, replacing them with intertextuality and transmedia storytelling.
Resumo:
The article intends to articulate how the methodological proposal of Foucault, denominated genealogy, is applied to the field in which it emerged, considering that the proposal of this method appeared with the author’s study about the subject of the prisons. To apprehend the execution of the feathers in the contemporary epoch, we searched in Foucault’s theories the concepts of subjectivation processes, power relationships, discursive formations and dispositive. Starting from these concepts, we focused some practices and/or discursive formations of punishment and surveillance that happen at the present time to exemplify the form as the genealogical process raise an interlacement of subjects, information, appearances and disappearances that always obey to a normative logic. To unmask and to understand this logic can favor the liberation of manners of subjectivations crystallized in the punished people and in those ones that execute the punishment. Stiller, we question ourselves on which is the real function of the confinement, of the controls and, why not, if the paradigm of the modernity, the prison, had fail.
Resumo:
The study presents the construction process of research methodology "Training in SUS Humanization: effects evaluation of training processes from institutional supporters on health productionin Rio Grande do Sul, Santa Catarina and São Paulo territories." There was a search for developing an appropriate evaluative practice to the training processes, a methodology that instead of evaluating on something, assessed along with the supporters who attended the training-intervention, a participatory methodology.Therefore, the constitution of the Research Interest Group was an eminent tool. Trained supporters comprised the research team to expand participatory possibilities of a large and dispersed group, producing interferences in the investigative process conduction, described and analyzed in the study.At the same time, their experiences interfered in the understandings they had until then about the intervention-training experiences and effects on their daily lives, after almost four years.Thus, the methodological approach was intrinsically linked to the construction of a subjectivity differentiated plan and necessarily collective, which shifted the position of supporters involved from mere data suppliers to a lateralityposition in relation to other actors.The trial afforded by participatory strategies allowed researchers and supporters to interfere and compose the evaluation scenario with remarkable performances throughout the investigative process.The survey configuration was like a bet on a given methodological architecture that, in seeking to overcome evaluator-evaluated logic produced information for (retro) feedingthe intervention triggered by it. In the formative dimension, it also went through working processes analyzed by supporters rescuing the indissoluble characteristic that health activities mobilize among intervening, training and reviewing.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Automatic method to classify images based on multiscale fractal descriptors and paraconsistent logic
Resumo:
In this study is presented an automatic method to classify images from fractal descriptors as decision rules, such as multiscale fractal dimension and lacunarity. The proposed methodology was divided in three steps: quantification of the regions of interest with fractal dimension and lacunarity, techniques under a multiscale approach; definition of reference patterns, which are the limits of each studied group; and, classification of each group, considering the combination of the reference patterns with signals maximization (an approach commonly considered in paraconsistent logic). The proposed method was used to classify histological prostatic images, aiming the diagnostic of prostate cancer. The accuracy levels were important, overcoming those obtained with Support Vector Machine (SVM) and Bestfirst Decicion Tree (BFTree) classifiers. The proposed approach allows recognize and classify patterns, offering the advantage of giving comprehensive results to the specialists.
Resumo:
Estimation of tropospheric gradients in GNSS data processing is a well-known technique to improve positioning (e.g. Bar-Sever et al., 1998; Chen and Herring, 1997). More recently, several authors also focused on the estimation of such parameters for meteorological studies and demonstrated their potential benefits (e.g. Champollion et al., 2004). Today, they are routinely estimated by several global and regional GNSS analysis centres but they are still not yet used for operational meteorology.This paper discusses the physical meaning of tropospheric gradients estimated from GPS observations recorded in 2011 by 13 permanent stations located in Corsica Island (a French Island in the western part of Italy). Corsica Island is a particularly interesting location for such study as it presents a significant environmental contrast between the continent and the sea, as well as a steep topography.Therefore, we estimated Zenith Total Delay (ZTD) and tropospheric gradients using two software: GAMIT/GLOBK (GAMIT version 10.5) and GIPSY-OASIS II version 6.1. Our results are then compared to radiosonde observations and to the IGS final troposphere products. For all stations we found a good agreement between the ZWD estimated by the two software (the mean of the ZWD differences is 1 mm with a standard deviation of 6 mm) but the tropospheric gradients are in less good agreement (the mean of the gradient differences is 0.1 mm with a standard deviation of 0.7 mm), despite the differences in the processing strategy (double-differences for GAMIT/GLOBK versus zero-difference for GIPSY-OASIS).We also observe that gradient amplitudes are correlated with the seasonal behaviour of the humidity. Like ZWD estimates, they are larger in summer than in winter. Their directions are stable over the time but not correlated with the IWV anomaly observed by ERA-Interim. Tropospheric gradients observed at many sites always point to inland throughout the year. These preferred directions are almost opposite to the largest slope of the local topography as derived from the world Digital Elevation Model ASTER GDEM v2. These first results give a physical meaning to gradients but the origin of such directions need further investigations.
Resumo:
We will deal with the Marxian criticism to the Hegelian notion of "being". it will be shown that historicity and objectivity are determinations of this category (and that categories are always.,forms of being, determinations of existence). So, the analogy between the Hegelian logic and the Marxian theory may sometimes, hide essential aspects of the materialist comprehension of history Here, we intend to prove that, by questioning the treatment dispensed to the matter of being by Hegel, Marx criticizes the Hegelian inversion between subject and predicate in a way that, although dialoguing with Hegel, his conception is the exact opposite at the same time.
Resumo:
Energy requirements to produce ethyl alcohol from three different crops in Brazil (sugarcane, cassava, and sweet sorghum) were calculated. Figures are presented for the agricultural and industrial phases. The industrial phase is always more energy-intensive, consuming from 60 to 75 percent of the total energy. Sugarcane is the more efficient crop for ethyl alcohol production, followed by sweet sorghum and cassava from a net energy viewpoint. The utilization of sweet sorghum stems might increase the total energy gain from this crop to almost the same level as sugarcane. Cassava has a lower energy gain at the present state of agriculture in Brazil. Copyright © 1978 AAAS.