Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Governando os comuns ou para os comuns?: gestão de áreas protegidas e os arranjos institucionais da política ambiental no Estado de São Paulo

Desde o século XIX, quando foi instituído o primeiro parque nacional, a gestão de áreas protegidas foi evoluindo e se aprimorando, sendo um importante mecanismo para a conservação da biodiversidade e uma das ações de maior intervenção estatal. Neste sentido, esta dissertação apresenta uma análise dos arranjos institucionais da política ambiental que impactam o uso comum dos recursos naturais por populações residentes do Parque Estadual da Serra do Mar. Para esta discussão, são analisados: o embate teórico entre ambientalismo e socioambientalismo; a problemática do uso de acesso comum, associada a necessidade, ou não, de intervenção governamental; os programas e ações do Governo do Estado de São Paulo para a consolidação das unidades de conservação de proteção integral; e as variáveis que compõe os arranjos institucionais da política ambiental dos casos avaliados, na Cota 400 e Água Fria, no município de Cubatão. Face aos arranjos institucionais da política ambiental para gestão de áreas protegidas, esta dissertação busca compreender qual a melhor situação para a conservação dos recursos naturais, com estudos aplicados a luz do modelo proposto por Elinor Ostrom. A análise dos casos permitiu verificar uma performance institucional frágil da comunidade para o uso sustentável dos recursos de acesso comum.

Tendências e ciclos comuns entre consumo e renda e a importância relativa dos choques permanentes e transitórios : uma análise dos dados agregados brasileiros

Neste trabalho buscamos evidências, para o caso brasileiro, da Hipótese da Renda Permanente. Primeiro, investigamos a existência de tendências e ciclos comuns entre as séries de consumo e renda per capita. Então, usando o resultado de co-movimentos entre as variáveis decompomos cada série em tendência e ciclo, através dos modelos de componentes não observados de Harvey (1989). Por fim, usando os modelos de vetores autorregressivos, decompomos a variância dos erros de previsão, seguindo a metodologia de Blanchard e Quah (1989), com o objetivo de avaliarmos a importância relativa dos choques permanentes e transitórios para as variações do consumo. Os resultados apontam que as inovações permanentes são responsáveis pela maior parte das variações no consumo. Este resultado embora rejeite a Hipótese da Renda Permanente, indica que o consumo responde pouco a variações transitórias na renda, ou seja, os choques temporários têm pouca importância para o consumo.

Suspensão e estranhamento : possibilidades (in)comuns

Suspensão e Estranhamento: possibilidades (in)comuns é uma pesquisa em Poéticas Visuais que aborda uma relação entre a suspensão e o estranhamento, termos discutidos a partir de considerações visuais e conceituais. As reflexões feitas, recortadas sob esse eixo, partem sempre de situações apontadas nos trabalhos selecionados, relativos a minha produção, executados entre os anos de 1997 e 2004. Nesse período, a produção plástica, em seu andamento, indicou questões que traçaram as análises feitas, apresentadas no texto a seguir. Entre elas situam-se de modo abrangente, três movimentos básicos. O primeiro deles se coloca através da relação entre a suspensão e o seu uso como uma disposição potencializadora para aspectos materiais. O segundo privilegia a dimensão e a configuração como elementos articuladores para um processo de associação e reconhecimento. Já, o terceiro traz, num momento posterior, a escolha do uso do objeto, como modelo, para um estranhamento dado por desvios e contrastes. No entrosamento desses aspectos, cria-se então uma estrutura de diálogos que vai desvendando e aprofundando as particularidades próprias a esta pesquisa.

Cooperação em sagüis comuns callithrix jacchus: condições e restrições

The cooperative behavior is no longer a dilemma for the theory of evolution, since there are models that explain the evolution of this behavior by means of natural selection at the individual level. However, there have been few studies on the proximal factors that interfere with cooperative behavior. In the study of the influence of cognition on cooperation, many authors have been interested in situations in which individuals decide whether to act cooperatively and select partners with different qualities to cooperate. Of the factors studied, we highlight the need for understanding the apparatus and communication between partners to the occurrence of cooperation. Recently, highlight is the proposal that the ability to cooperate would be greater in species with cooperative breeding system. Thus, the common marmoset (Callithrix jacchus) is a New World monkey which stands as a valuable species for this type of study because it presents cooperative actions in nature, such as sharing food and protection of the community territory. Our experiment investigated whether common marmosets unrelated females (n = 6) were able to cooperate using an electrical and a mechanical apparatus, if this cooperation is a byproduct of individual actions or involve social attention, if it occurs inter-individual variation in the use of devices and formation of roles (producer / scrounger) in dyads. We use the number of rewards obtained by animals (Ratio of Correct Pulls) as indicators of cooperation and glances for partners (Ratio of Correct Glances) as indicators of social attention and communication. The results indicate that the type of apparatus was not a constraint for the occurrence of cooperation between the marmosets, but still has not been verified formation of roles in the dyads. The performance of animals in the two devices showed a large variation in the learning time, not having relationship with the performance in the tests phase. In both devices the level of social glances at control phases were casually correlated with any other phase, but the data showed that there was not social attention, that is, the monkeys realized that they gave food to the partners, but the partners did

Expressão de genes imediatos induzidos por vocalizações em sagüis-comuns (Callithrix jacchus)

Immediate-early genes (IEGs) expression has been widely used as a valuable tool to investigate brain areas activated by specific stimuli. Studies of natural vocalizations, specially in songbirds, have largely benefited from this tool. Here we used IEGs expression to investigate brain areas activated by the hearing of conspecific common marmoset (Callithrix jacchus) vocalizations and/or utterance of antiphonal vocalizations. Nine adult male common marmosets were housed in sound-attenuating cages. Six animals were stimulated with playbacks of freely recorded natural long distance vocalizations (phee calls and twitters; 45 min. total duration). Three of them vocalized in response (O/V group) and three did not (O/n group). The control group (C) was composed by the remaining animals, which neither heard the playbacks nor spontaneously vocalized. After one hour of the stimulation onset (or no stimulation, in the case of the C group), animals were perfused with 0,9% phosphate-saline buffer and 4% paraformaldehyde. The tissue was coronally sectioned at 20 micro meter in a cryostat and submitted to immunohistochemistry for the IEGs egr-1 and c-fos. Marked immunoreactivity was observed in the auditory cortex of O/V and O/n subjects and in the anterior cingulate cortex, the dorsomedial prefrontal cortex and the ventrolateral prefrontal cortex of O/V subjects. In this study, brain areas activated by vocalizations of common marmosets were investigated using IEGs expression for the first time. Our results with the egr-1 gene indicate that potential plastic phenomena occur in areas related to hearing and uttering conspecific vocalizations.

Prevalência e fatores de risco para transtornos mentais comuns entre estudantes de medicina

OBJETIVO: Estimar a prevalência de transtornos mentais comuns entre estudantes de medicina e respectivos fatores de risco. MÉTODOS: Estudo transversal realizado com 551 universitários de um curso de medicina de Botucatu, SP. Utilizou-se questionário auto-aplicável investigando aspectos sócio demográficos, relacionados ao curso e o Self Reporting Questionnaire. Para análise dos dados empregaram-se os testes de qui-quadrado e regressão logística. RESULTADOS: Participaram 82,6% dos alunos matriculados no curso, predominando mulheres (61%), jovens (60% 20-23 anos), procedentes de outros municípios (99%). A prevalência de transtornos mentais comuns foi de 44,7% associando-se independentemente a: dificuldade para fazer amigos (RC=2,0), avaliação ruim sobre desempenho escolar (RC=1,7), pensar em abandonar o curso (RC=5,0), não receber o apoio emocional de que necessita (RC=4,6). Embora na primeira análise a prevalência tenha se mostrado associada ao ano do curso, esta associação não se manteve na análise multivariada. CONCLUSÕES: A prevalência de transtornos mentais comuns mostrou-se elevada entre os estudantes de medicina, associando-se a variáveis relacionadas à rede de apoio. As experiências emocionalmente tensas como o contato com pacientes graves, formação de grupos, entre outras, vividas nos últimos anos do curso, são provavelmente potentes estressores, especialmente para sujeitos com uma rede de apoio considerada deficiente. Sugere-se que instituições formadoras estejam atentas a esse fato, estabelecendo intervenções voltadas ao acolhimento e ao cuidado com o sofrimento dos estudantes.

Transtornos mentais comuns e uso de psicofármacos: impacto das condições socioeconômicas

OBJETIVO: Avaliar a influência das condições socioeconômicas na associação entre transtornos mentais comuns, uso de serviços de saúde e de psicofármacos. MÉTODOS: Estudo transversal populacional conduzido na cidade de Botucatu, SP, com amostragem probabilística, estratificada e por conglomerados. Foram realizadas entrevistas domiciliares com 1.023 sujeitos de 15 anos ou mais de idade, entre 2001 e 2002. Transtorno mental comum foi avaliado utilizando o Self Reporting Questionnaire (SRQ-20). O uso de serviços foi investigado com relação à quinzena anterior à entrevista e uso de psicotrópicos, nos três dias anteriores. Utilizou-se regressão logística para análise multivariável, considerando o efeito do desenho. RESULTADOS: No total da amostra, 13,4% (IC 95%: 10,7;16,0) procuraram serviços de saúde na quinzena anterior à entrevista. A procura de serviços de saúde se associou ao sexo feminino (OR=2,0) e à presença de transtorno mental comum (OR=2,2). Na amostra 13,3% (IC 95%: 9,2;17,5) referiram ter usado ao menos um psicotrópico, destacando-se os antidepressivos (5,0%) e os benzodiazepínicos (3,1%). Na análise multivariável, sexo feminino e presença de transtorno mental comum mantiveram-se associados ao uso de benzodiazepínicos. Renda per capita mostrou-se direta e independentemente associada ao uso de psicofármacos, conforme aumento da renda. CONCLUSÕES: Menor renda associou-se à presença de transtorno mental comum, mas não ao uso de psicotrópicos. A associação entre transtorno mental comum e uso de psicotrópicos e maior renda reforça a hipótese da existência de iniqüidades no acesso à assistência médica na população estudada.

Condições de trabalho e transtornos mentais comuns em trabalhadores da rede básica de saúde de Botucatu (SP)

Os transtornos mentais comuns (TMC) apresentam elevada prevalência em populações gerais e de trabalhadores, com consequências individuais e sociais importantes. Este estudo, transversal e descritivo, explora a relação entre demandas psicológicas, grau de controle e presença de suporte social no trabalho e prevalência de TMC em trabalhadores da rede básica de saúde de Botucatu (SP). A coleta de dados foi feita por meio de questionário autoaplicável, não identificado, com destaque para itens relativos à demanda-controle-suporte e presença de TMC (Self Reporting Questionnaire, SRQ-20). As informações foram inseridas em banco de dados construído com Excel/Office XP 2003 e a análise estatística, efetuada com o programa SAS. Constatou-se que 42,6% dos trabalhadores apresentavam TMC. A observação de associação - alta prevalência de TMC com elevado desgaste (classificação de Karasek) e baixa prevalência de TMC com baixo desgaste - indica que, no município estudado, as condições de trabalho na atenção básica constituem fator contributivo não negligenciável ao adoecimento dos trabalhadores. Revela-se a necessidade de intervenções direcionadas ao cuidado aos trabalhadores, melhoria das condições de trabalho e aumento do suporte social no trabalho.