CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

A casa moderna em Porto Alegre : projetos residenciais de Edgar Albuquerque Graeff 1949 - 1961

Esta pesquisa tem como núcleo o estudo de residências projetadas pelo arquiteto Edgar Albuquerque Graeff em Porto Alegre. Formado em 1947 pela Faculdade Nacional de Arquitetura da Universidade do Brasil no Rio de Janeiro, Graeff revelou grande influência da arquitetura moderna carioca em seu trabalho. Partindo do estudo mais abrangente da produção residencial em Porto Alegre entre 1940 e 1960, em seu contexto e suas peculiaridades, buscase uma compreensão dos caminhos da arquitetura moderna na cidade de Porto Alegre em sua origem e desenvolvimento. Pretende-se sustentar através de registros históricos, depoimentos e dos próprios projetos, o caráter pioneiro e singular do trabalho de Edgar Graeff em Porto Alegre, sua contribuição para o surgimento local de uma arquitetura moderna com fortes referências à obra de Lúcio Costa, Oscar Niemeyer e outros expoentes da escola carioca. O trabalho compreende a revisão e o estudo das diferentes influências e orientações arquitetônicas locais nas primeiras décadas do século XX, registrando a evolução do cenário porto-alegrense até o momento de introdução do modernismo na cidade. Na década de 40 Edgar Graeff contribuiu para a evolução desta arquitetura, sendo arquiteto praticante, teórico e professor do curso de arquitetura da UFRGS. O impacto de residências como a projetada para Edvaldo P. Paiva foi um marco divisor no campo das idéias, dos costumes e da cultura arquitetônica em Porto Alegre, transpondo para o nosso contexto local estratégias e elementos de arquitetura que até então eram usadas principalmente por arquitetos do Rio de Janeiro e São Paulo. Tais propostas arquitetônicas manifestaram localmente o pensamento moderno preconizado por Le Corbusier.

Inovações na produção de estoques residenciais e a formação de padrões na sua distribuição em uma área de Porto Alegre

O trabalho inicia com uma revisão de fenômenos em que a estrutura dos usos do solo urbano, marcada por diferenciação residencial, é definida pelo exercício de preferências de localização. Diversos modelos de escolha são abordados, verificando-se sua relevância e possibilidade de aplicação a contextos de decisão de localização residencial. Os processos de acumulação de capital no ambiente construído, enquanto determinados estruturalmente mas, também, como conseqüência de decisões locais, são apontados, bem como os agentes responsáveis por sua promoção. Como elemento metodológico, os conceitos de centralidade, externalidades de vizinhança, convenção urbana, inovação e imitação espacial, aglomeração e padrões espaço-temporais são articulados. A aplicação desses conceitos a uma situação real é buscada na cidade de Porto Alegre, delimitando- se uma área de estudo, a qual tem sido destino de deslocamento de demanda por habitação, resultando em intensa produção de estoques residenciais e, em conseqüência, no aumento da densidade e da taxa de ocupação do solo. Tais estoques, produzidos ao longo das últimas duas décadas, aproximadamente, são descritos e enquadrados como resultantes de um processo no qual um sistema auto-organizado, composto por estoques e agentes, busca produzir e reproduzir padrões de diferenciação residencial. As implicações para o planejamento urbano das decisões de localização e de produção de estoques residenciais, realizadas por um grande número de agentes privados, são apresentadas. Ao final, são feitas recomendações para a continuidade da pesquisa, no sentido de poderem ser realizadas descrições mais abrangentes e precisas do fenômeno estudado.

A educação infantil em Porto Alegre : um estudo das creches comunitárias

A Educação Infantil em Porto Alegre: Um estudo das Creches Comunitárias é uma pesquisa teórica e empírica que pretende construir um espaço de debate em torno da parceria público/privado na oferta da educação infantil, no município de Porto Alegre. Com isso, quer provocar a discussão da alternativa posta em prática, no Município, para o atendimento da primeira etapa da educação básica que envolve o movimento popular comunitário e o poder público municipal, responsável pela educação das crianças pequenas da cidade. Neste processo, através da parceria, além dos atores diretamente envolvidos, quais sejam movimento comunitário e Prefeitura Municipal, entram, em muitas delas, outros parceiros e as famílias das crianças que pagam por este serviço. O referencial teórico para esta investigação parte, originariamente, de autores que analisam as crises do capital e as estratégias de superação a elas propostas, enfocando, dentre outras, o neoliberalismo, a Terceira Via e o Terceiro Setor e sua funcionalidade ao capital. A minimização do Estado, presente em todas estas estratégias, e a precarização das políticas sociais, com destaque para a educação infantil, tema desta dissertação, trazem subjacente a necessidade de alternativas para a educação e o cuidado das crianças de zero a seis anos. As construções sociais próprias da política de participação institucional no Município e a necessidade do atendimento às crianças oriundas de famílias pobres da periferia da cidade encaminham soluções criativas, mas necessitam ser analisadas quanto à sua permanência como política pública para a educação infantil. Esta dissertação pretende refletir sobre a parceria instituída em 1993, em Porto Alegre, e vigente até hoje (2005), avaliando o convênio firmado entre o poder público e a sociedade civil, buscando abrir novas perspectivas para avançar sobre o que coletivamente foi construído no Município até então.

Caracterização de genes de quitanases do entomopatógeno e acaricida Metarhizium anisopliae

O fungo entomopatogênico e acaricida Metarhizium anisopliae é patógeno de uma vasta gama de insetos, sendo extensivamente utilizado em experimentos, bem como, no controle efetivo de alguns insetos-praga. Seu potencial uso para o controle de carrapatos como Boophilus microplus é também considerável. O processo de infecção de M. anisopliae é o melhor caracterizado entre os fungos entomopatogênicos, e combina pressão mecânica, por diferenciação do apressório, síntese e secreção de enzimas hidrolíticas altamente reguladas como proteases e, provavelmente, quitinases e lipases. As quitinases em fungos também são importantes em processos que requerem digestão celular, como germinação, crescimento e ramificação das hifas e autólise, visto que a quitina é o maior constituinte da parede celular desses organismos, sendo um sistema altamente regulado. Objetivamos neste trabalho, obter mais informações sobre o sistema quitinolitico do fungo M. anisopliae var. anisopliae linhagem E6 durante o processo de infecção do hospedeiro ou na morfogênese e crescimento. Com o objetivo de analisarmos o gene chi2 de M. anisopliae E6, clonamos e caracterizamos sua seqüência genômica, incluindo a região flanqueadora 5’. O gene chi2 é interrompido por dois pequenos íntrons típicos, de 210 pb e 75 pb, respectivamente. A ORF do gene chi2 apresenta 1.545 pb e codifica uma proteína predita de 419 aminoácidos (denominada CHI2), com massa molecular estimada de 44 kDa. Um peptídeo sinal característico com sítio de clivagem no aminoácido V19 está presente. A forma madura dessa proteína tem uma massa molecular estimada de 42 kDa e um pI teórico de 4,8. Análise por Southern de DNA genômico indica cópia única de chi2 no genoma de M. anisopliae. A seqüência de consenso SXGG, correspondendo ao sítio de ligação à quitina, foi identificada e a seqüência NGFDFDIE, que compõem o domínio catalítico de quitinases, está presente em CHI2. A construção de uma árvore filogenética determinou que a quitinase CHI2 pertence a um grupo diferente daquele da CHIT42 a qual provavelmente não está envolvida na patogenicidade. Uma análise in sílico da seqüência 5’ franqueadora do gene chi2 para determinação de possíveis elementos regulatórios foi efetuada. A regulação da transcrição dos genes chit1 e chi2 em M. ansisoplaie frente a diferentes fontes de carbono e em diferentes tempos de cultivo foi analisada. Os genes chit1 e chi2 apresentaram uma expressão tardia no fungo, a partir de 30 horas. O gene chi2 foi expresso majoritariamente em cultivos com quitina e sua expressão foi reprimida por glicose. O gene chit1 foi induzido em presença de fontes de carbono facilmente assimiláveis, como glicose e NAcGlc. Ambos os genes, chit1 e chi2, apresentaram alta expressão quando a fonte de carbono já estava exaurida e o fungo estava em autólise, sugerindo o requerimento dessas enzimas nessa fase. O cDNA do chit1 foi inserido em um vetor de expressão, em ambas orientações senso e antisenso, sob regulação do promotor do gene tef1α de M. anisopliae e o terminador do gene trpC de A. nidulans. Os transformantes com o gene chit1 na orientação senso mostraram superexpressão de atividade de quitinase e o transformante com o gene na orientação antisenso apresentou uma redução na atividade de quitinase. Também construímos quatro deleções na região flanqueadora 5’ do gene chit1 fusionadas com a proteína repórter SGFP, para localizar seqüências reguladoras no promotor e, destas construções, três foram transformadas em M. anisopliae.

Proibição de tributos com efeito de confisco

A norma do art. 150, IV da Constituição Federal, que veda à União, aos Estados, ao Distrito Federal e aos Municípios utilizar tributo com efeito de confisco, contém expressão ( “com efeito de confisco” ) com característica de vagueza, que se inclui entre os conceitos jurídicos indeterminados, ou seja, termos que não têm apenas uma periferia de textura aberta, mas são centralmente vagos. A maior determinação de seu conteúdo adquire especial relevância quando as crescentes necessidades do erário público levam a significativa elevação das exações tributárias. Neste trabalho, procuramos estudar a previsão constitucional da vedação nas Cartas de alguns países, a noção de confisco e de efeito ou alcance confiscatório e sua evolução em vários sistemas jurídicos ( argentino, norte-americano, espanhol, alemão e brasileiro ). A seguir, examinamos as diferentes espécies de normas jurídicas, ou seja, princípios e regras, e indagamos da posição da norma do art. 150, IV da CF em tal divisão, concluindo tratar-se de norma de colisão, com função de solucionar conflitos entre princípios jurídicos e que o desempenho desta função reclama prévia concreção da noção de efeito confiscatório, que se faz com o emprego do princípio da razoabilidade. Entendemos necessário, em conseqüência, melhor explicitar o conteúdo da razoabilidade que, à luz das construções a respeito nos sistemas jurídicos que lhe deram mais efetiva utilização, identificamos como pertinência entre meios empregados e fins colimados, conformidade com exigências de moralidade, não-arbitrariedade, eqüidade, justificabilidade através de argumentação prática-racional e aceitação por parcela considerável da sociedade. Examinamos qual a finalidade da vedação à utilização de tributo com efeito de confisco, assentando que ultrapassa a mera função de garantia do direito de propriedade, pois responde à realização do valor de justiça do sistema tributário. Após, perquirimos sobre a relação entre o objeto de nosso estudo, com outros princípios constitucionais tributários e sobre seu âmbito de incidência, buscando identificar as espécies tributárias às quais se aplica e os parâmetros para sua utilização, em relação a cada um dos tributos previstos em nosso ordenamento, sustentando sua referibilidade tanto a cada tributo isoladamente, como ao sistema tributário como um todo. Finalmente, discutimos se a determinação do conteúdo da expressão “efeito de confisco” deve ser objeto de solução normativa ( em texto legal ) ou jurisdicional, concluindo caber tal função precipuamente à jurisdição constitucional, solucionando, com o emprego desta norma de colisão, situações de conflito entre princípios; da reiteração de tais soluções surgirão regras, a delimitar mais concretamente a conformação da norma constitucional objeto de nosso estudo, algumas das quais foram sugeridas neste estudo, como contribuição à tarefa doutrinária de fornecer subsídios teóricos à jurisprudência, para que possa melhor cumprir a tarefa de extrair a plenitude de significado e operatividade da norma constitucional sob estudo.

Educação física no PPGCMH/UFRGS : uma visão a partir da análise de citações e perfil dos pesquisadores

Este trabalho analisa o perfil dos professores e 1.171 citações de teses do Programa de Pós-graduação em Ciência do Movimento Humano da Escola de Educação Física da Universidade Federal do Rio Grande do Sul defendidas entre os anos 2003 e 2004, com os objetivos de detectar as características das fontes de informação utilizadas pelos doutores; contribuir para aos estudos epistemológicos do campo, sob o prisma da ciência da informação; caracterizar os elementos textuais e explorar suas potencialidades, visando ao conhecimento do campo científico da educação física. O estudo está centrado na descoberta de indícios nas citações que possibilitem o conhecimento da área. O referencial teórico está fundamentado em diversificados campos do conhecimento: na história, mais especificamente do método indiciário, utilizado neste estudo; na sociologia do conhecimento, com ênfase na sociologia da ciência; na ciência da informação, salientando a bibliometria, a análise de citações e a comunicação científica, abordando três teorias importantes sobre comunidades científicas (Kuhn, Bordieu e Knorr-Cetina); e, por último, da educação física. Do primeiro campo buscam-se os fundamentos para o uso de dados e fatores indiciários para o desvelamento de uma realidade; do segundo, o caminho que percorrem os saberes para seu estabelecimento no mundo científico e acadêmico, e a origem das citações em documentos. Do terceiro, utilizam-se ferramentas e técnicas, bem como as construções teóricas a respeito de comunicação científica e produção acadêmica. Ao quarto corresponde o objeto desta pesquisa, o campo de conhecimento denominado, por alguns autores, ciência do movimento humano e, por outros, educação física, desenvolvido em seus aspectos históricos gerais e locais. Foram identificados e relacionados os seguintes indicadores: tipo de autoria, autores citados, tipo de documento, idioma, obsolescência, título de periódico e assunto das citações. As 1.171 referências estudadas revelaram que: artigo de periódico é o tipo de documento mais utilizado (49,53%); inglês é o idioma predominante nos documentos das citações (55,85%); as publicações do período de 1991-2000 cobrem 56,02% das citações, com pico em 1998 e provável meia-vida dos documentos da área em torno de cinco anos; 41,76% dos documentos citados são escritos por um único autor; e 54,23%, por mais de um autor. Os assuntos predominantes que fazem a interdisciplinaridade do campo são, nesta ordem: ciências sociais, medicina, biofísica, esportes, educação, filosofia, ensino e forma física. Foram citados 1.825 diferentes autores evidenciando uma grande dispersão na área e entre os mais representativos estão Morin, Foucault e Lapierre. Há dispersão tanto em autores quanto em títulos de periódicos: 80,71% foram citados somente uma vez; e 37,11%, mais de uma vez. Apenas seis periódicos foram citados em mais de uma tese, sendo cinco estrangeiros e um nacional. As linhas de pesquisas predominantes no PPGCMH são da área de concentração Movimento humano, saúde e performance, que privilegia projetos de caráter biológico. O mesmo ocorre com o número de teses, sendo 89% delas da mesma área de concentração. Há necessidade de maior produção nacional em termos teóricos para a área de educação física. A análise realizada propiciou verificar que os campos científicos e as suas respectivas comunidades se desenvolvem de forma contingencial e contextual. O método indiciário possibilitou costurar os indícios apresentados pelas variáveis analisadas e mostrou ser um método possível em estudos de bibliometria e análise de citações. Há indícios de hábitos de citação doméstica e endogenia, mas não foram comprovados neste estudo.