Fatores que afetam o nível de satisfação e o uso dos espaços abertos comuns em conjuntos habitacionais populares : estudo de caso - Santo Tomé (Argentina) e São Borja (Brasil)

O presente trabalho investiga a adequação, o desempenho e a respectiva importância, para os usuários dos espaços abertos comuns com fins de recreação em conjuntos habitacionais populares, e traz as principais conclusões da análise comparativa realizada, em dois desses conjuntos: Santo Tomé (Argentina) e São Borja (Brasil). Esta pesquisa de avaliação pós-ocupação utiliza, como indicadores, o comportamento e a satisfação dos seus usuários, para avaliar o desempenho desses espaços abertos comuns. É feita uma análise comparativa da percepção dos usuários de seus ambientes de recreação, nos dois conjuntos habitacionais, de modo a entender-se melhor como eles se apropriam, utilizam e avaliam os espaços abertos comuns, com o objetivo de identificar os principais fatores que afetam positiva ou negativamente o uso desses espaços e o seu nível de satisfação e, conseqüentemente o desempenho dos conjuntos habitacionais para a vida coletiva. Pretende produzir informações e reflexões que realimentem projetos futuros semelhantes. Igualmente este estudo, impulsionado pelo processo de integração do Mercosul, se propõe a tentar viabilizar a iniciação de estudos integrados entre países limítrofes, em temas de interesse comum, como o do planejamento urbano.

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-π.

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.