A loucura interrompida nas malhas da subjetividade manicomial

Psychiatric reform occurring in Brazil has progressed significantly during the last two decades, both in the transformation of the help structure and in the treatment of madness. At the same time a paralell movement is observed marked by the maintenance of the hospital centered or psychiatric ward ideology present not only in the psychiatric institutions but also in the substitute services in the cities and , above all, in the ways of contemporary subjectivation. We affirm that the idea of deinstitutionalization is intertwined with capitalistic agent both from the epistomological, assistance, and legal aspect as from the cultural one. This work aims mainly to discuss madness and subjectivity from the ethic esthetic-political perspective, specially the wishes of the psychiatric hospital, which we inhabit and who inhibits our interactions and our desired and creative productivity. We do also want to access the invisible threads that capture and modify madness, which make our cities a means for the production of pathologies, and those that, on the contrary, insinuate a process of resistance, facilitating life and health

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Segmentação fuzzy de imagens coloridas com características texturais: uma aplicação a rochas sedimentares

Image segmentation is the process of labeling pixels on di erent objects, an important step in many image processing systems. This work proposes a clustering method for the segmentation of color digital images with textural features. This is done by reducing the dimensionality of histograms of color images and using the Skew Divergence to calculate the fuzzy a nity functions. This approach is appropriate for segmenting images that have colorful textural features such as geological, dermoscopic and other natural images, as images containing mountains, grass or forests. Furthermore, experimental results of colored texture clustering using images of aquifers' sedimentary porous rocks are presented and analyzed in terms of precision to verify its e ectiveness.

Geração algébrica de malhas bidimensionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Simulação numérica de escoamentos de fluidos pelo método de elementos finitos baseado em volumes de controle em malhas não estruturadas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Reconstrução e geração de malhas em estruturas biomecânicas tridimensionais para análise por elemento finitos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Influência do uso de telas de sombreamento coloridas (azul, vermelha e preta) na fisiologia da produção de mudas de Guanandi (Calophyllum brasiliensis)

Pós-graduação em Ciências Biológicas (Botânica) - IBB

Nas malhas do leitor: um estudo de teses e dissertações sobre leitura/recepção de textos (1980-2003)

Pós-graduação em Letras - FCLAS

Eliminação de ruído impulsivo em imagens coloridas usando um filtro mediano seletivo e retoque digital

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Implementação de um gerador tridimensional de malhas de elementos finitos, com aplicações à simulação computacional em odontologia

Pós-graduação em Matemática - IBILCE

A relação entre competitividade e território no circuito das malhas do sul de Minas

Pós-graduação em Geografia - IGCE

Estresse ocupacional: contribuições das pirâmides coloridas de Pfister no contexto policial militar

O estresse ocupacional constitui-se numa preocupação da Organização Mundial de Saúde - OMS, considerando as suas conseqüências para a qualidade de vida do indivíduo, bem como para o seu desempenho profissional. A atividade policial militar é considerada uma das mais estressantes, estando exposta ao desenvolvimento da síndrome de burnout, em decorrência das peculiaridades das atividades laborais. Este estudo teve como instrumento a técnica projetiva, Pirâmides Coloridas de Pfister, desenvolvida com 56 policiais militares, distribuídos em dois grupos de 28 participantes, onde vivenciaram o estresse em situação diferenciada, um submetido a situações acentuadas de tensão e pressão, provocadas por uma situação especial, curso de qualificação técnico-profissional para participar de um grupamento especializado e o outro vivenciava o estresse do dia-a-dia da atividade policial ostensiva na rua. O objetivo consistia em verificar se houve diferença no desempenho no instrumento utilizado com relação às cores escolhidas, aspecto formal e cores em dupla. Os resultados indicam que o desempenho no teste é pouco afetado pela situação especial vivenciada por um dos grupos. Mas há no desempenho de ambos os grupos indícios de que alguns aspectos de personalidade dos grupos de policiais podem ser requeridos para enfrentar a rotina estressora, sendo sugerido a comparação do seu desempenho com os de outros profissionais civis.

Manifestações da governança territorial no Brasil: uma análise do 'circuito das águas paulista' e do 'circuito das malhas do sul de Minas Gerais'

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

Simplificação de malhas visando representações em multirresolução

The representation of real objects in virtual environments has applications in many areas, such as cartography, mixed reality and reverse engineering. The generation of these objects can be performed through two ways: manually, with CAD (Computer Aided Design) tools, or automatically, by means of surface reconstruction techniques. The simpler the 3D model, the easier it is to process and store it. However, this methods can generate very detailed virtual elements, that can result in some problems when processing the resulting mesh, because it has a lot of edges and polygons that have to be checked at visualization. Considering this context, it can be applied simplification algorithms to eliminate polygons from resulting mesh, without change its topology, generating a lighter mesh with less irrelevant details. The project aimed the study, implementation and comparative tests of simplification algorithms applied to meshes generated through a reconstruction pipeline based on point clouds. This work proposes the realization of the simplification step, like a complement to the pipeline developed by (ONO et al., 2012), that developed reconstruction through cloud points obtained by Microsoft Kinect, and then using Poisson algorithm

Processamento e restituição digital de fotografias aéreas coloridas para estudo da cobertura vegetal

This work aimed to apply geoprocessing techniques to identify and to quantify the types of vegetal coverings in part of the county Botucatu – SP, having been divided into three phases: acquisition of data; georeferencing based on the digital topographic maps in 1:50000 scale and finally the thematic maps were generated. The methodology used to the analogical aerial photographics georeferencing showed efficient, considering that it was based on scientific procedures of residues