Classical and quantum satisfiability

We present the linear algebraic definition of QSAT and propose a direct logical characterization of such a definition. We then prove that this logical version of QSAT is not an extension of classical satisfiability problem (SAT). This shows that QSAT does not allow a direct comparison between the complexity classes NP and QMA, for which SAT and QSAT are respectively complete.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Exploring Super-Resolution for Face Recognition

Biometric recognition is part of many aspects of modern society. With the popularization of smartphones, facial recognition gains space in this environment of biometric technologies. With the diversity of image capture devices, of different brands and qualities, the images will not always be in the ideal standard to be recognized. This article tests and compares different scenarios and situations to assess the results obtained by facial recognition in different environments. For this, the quantity method of data analysis was used. In the first scenario, all images were submitted without changes. In the following, we have the reduction of image resolution, which may or may not be followed by enlargement to the original resolution via bicubic interpolation or through the Image Super-Resolution algorithm, these images can be all, or only that undergo tests. Results indicate that the first scenario obtained the best performance, followed by only the tests images change. The worst performance occurs where the properties of all images are affected. In situations where there is a reduction and enlargement are optional, the enlargement option performs better, so the bicubic enlargement has an advantage over the ISR, the situation in which only the reduction occurs has the worst performance.Biometric recognition is part of many aspects of modern society. With the popularization of smartphones, facial recognition gains space in this environment of biometric technologies. With the diversity of image capture devices, of different brands and qualities, the images will not always be in the ideal standard to be recognized. This article tests and compares different scenarios and situations to assess the results obtained by facial recognition in different environments. For this, the quantity method of data analysis was used. In the first scenario, all images were submitted without changes. In the following, we have the reduction of image resolution, which may or may not be followed by enlargement to the original resolution via bicubic interpolation or through the Image Super-Resolution algorithm, these images can be all, or only that undergo tests. Results indicate that the first scenario obtained the best performance, followed by only the tests images change. The worst performance occurs where the properties of all images are affected. In situations where there is a reduction and enlargement are optional, the enlargement option performs better, so the bicubic enlargement has an advantage over the ISR, the situation in which only the reduction occurs has the worst performance

Aspecto do signo como palavra elaborada na relação Voz (fala) e Sentido

Resumo: Este artigo propõe um diálogo com o filósofo Jacques Derrida em algumas de suas obras, juntamente com alguns comentaristas acerca de uma temática cara ao filósofo, ou seja, uma investigação que nos permita abordar a questão do signo como mediador na relação entre voz e sentido. Advertimos o leitor que não temos pretensão de atingir perspectivas únicas, porém, aspectos possíveis deste tema.Palavras-chave: signo; palavra; elaboração; fala e sentido.Abstract: This article proposes a dialogue with the philosopher Jacques Derrida in some of his works, along with some commentators about a theme dear to philosopher, i.e. an investigation that will enable us to address the issue of the sign as a mediator in the relationship between voice and sense. We warn the reader that we claim to achieve unique perspectives, however, possible aspects of this theme.Keywords: sign; word; preparation; speech and sense

Discriminação baseada no peso: representações sociais de internautas sobre a gordofobia

The concept of fat phobia has been usually used to define ways of discrimination towards overweight bodies. The present work aimed to know the social representations of fat phobia elaborated by internet users. A documental research was conducted based on internet comments on an article about fat phobia published by the Superinteressante magazine. Selected opinions comprised a textual corpus which was submitted to a lexical analysis through IRAMUTEQ, revealing five thematic classes: (i) "Health as discourse to justify discrimination", (ii) "Fat versus Slim: instituting differences", (iii) "Weight loss: reinforcement versus deconstruction of the standard", (iv) "Fat phobia: invention or reality?" and (v) "Fat phobia and the (in)appropriateness of affirmative actions". Anchored on the technical and scientific argument which affirms that obesity is an epidemic disease, the representations of internet users legitimized discrimination and prejudice processes against overweight people. Moreover, ironic propositions against quota policy for overweight people showed a dissatisfaction about the existence of affirmative actions that promote equality among social groups, ratifying the idea that the privileges cannot be granted to “inferior groups” or depreciated groups, and these groups, in order to be respected by society, should try to fit their bodies into the refined standard. In this context, aiming to make fat phobia an irrelevant topic, disqualifying the magazine’s approach on this topic, representational strategies directed to deny its existence by comparing suffering between groups or setting differences (fats x thins) was observed. Considering the lack of researches about discrimination against overweight in Brazil, other studies on this topic are suggested

Formas de alteração e avaliação da degradação dos granitos da cantaria da igreja de Santa Rita, Paraty-RJ

Esse estudo visa avaliar os efeitos do intemperismo sobre as rochas de cantaria utilizadas em fachadas de um prédio histórico da Cidade de Paraty, levando-as a degradação. O objeto de estudo é a Igreja de Santa Rita, cujas rochas de cantaria estão submetidas a um ambiente fortemente intempérico devido a sua localização próxima ao mar e às condições do clima local. Com o objetivo de avaliar a intensidade do intemperismo e seus mecanismos de alteração, foi realizado o mapeamento das morfologias de alteração observadas na fachada da igreja. Ensaios não destrutivos (esclerometria, perfis de rugosidade e absorção de água) foram empregados para quantificar o grau de degradação das rochas. Utilizou-se a microscopia de luz transmitida para caracterização do principal tipo litológico e a difração de raios-X foi utilizada para verificar a presença de minerais secundários. Foi realizada ainda análise catiônica por via úmida para avaliação da presença de sais. Conclui-se que os principais resultados da alteração são a alteração cromática e a perda de massa, inclusive com a formação de lacunas na argamassa de assentamento. Há redução de resistência e aumento da absorção de água, comprovando a degradação pelo intemperismo. Há necessidade de restauração com processos de consolidação, limpeza de crostas e substituição das argamassas danificadas. Esta abordagem é útil para a documentação e avaliação dos danos, servindo para posteriores estudos de ações de conservação-restauração deste patrimônio histórico