Vozes das formas na poesia concreta do Grupo Noigandres

Pós-graduação em Artes - IA

Formação de professores e avaliação formativa: análise de um projeto de interação universidade-escola

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

Some mathematical aspects and scattering amplitudes in the pure spinor formalism

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

A Universidade Federal do Pará no processo de modernização da gestão universitária

O desafio de encontrar novos meios de administrar as organizações públicas, os quais não estivessem limitados aos indicadores financeiros e contábeis, foi a grande motivação para o surgimento do planejamento estratégico nas instituições de ensino superior, através de um sistema de gestão estratégica que traduz a missão e a estratégia de organizações, análise do ambiente interno e externo a organização. Esta dissertação aborda a questão da modernização da gestão, através de um estudo de caso de caráter descritivo realizado na Universidade Federal do Pará (UFPA), de como foi implantado o processo para “aprimorar o sistema de planejamento institucional” com vistas a buscar soluções conjuntas aos problemas enfrentados pelo fator negativo - precariedade do sistema de planejamento - diagnosticado no Plano de Desenvolvimento Institucional da UFPA 2001-2010, tendo a Pró-Reitoria de Planejamento e Desenvolvimento Institucional – PROPLAN, como Unidade Central de Planejamento, responsável em desenvolver e implantar instrumentos gerenciais, padronizados, uniformizando as diretrizes gerais oferecendo a todos os segmentos da universidade um eixo comum, norteador das políticas da Universidade, observadas as peculiaridades da sua configuração multicampi. O objetivo principal desta dissertação é identificar as ações estabelecidas no processo para “aprimorar o sistema de planejamento institucional visando reduzir a precariedade do sistema de planejamento na Universidade Federal do Pará”. A metodologia utilizada é a pesquisa qualitativa e como técnica de coleta de dados utilizou-se a pesquisa documental. Os resultados encontrados indicam que a preocupação com estratégias na gestão universitária, são fatos relativamente recentes e que se encontra em profundas transformações, sendo que, no período analisado, a preocupação maior se dá nas unidades acadêmicas. Foi possível observar que as fases do processo de planejamento das ações não se realizam completamente em todas as Unidades e Campi, pois o sistema de acompanhamento do processo de planejamento, praticamente não existiu. Por conseguinte, até então, inexistia uma cultura de planejamento na organização, com a ausência de integração das ações de planejamento entre as Unidades Acadêmicas e a Unidade Central de Planejamento, contribuindo, assim, com a precariedade do Sistema de Planejamento Institucional na UFPA. Conclui-se assim, que houve um avanço nas mudanças planejadas e executadas, tornando a UFPA uma organização isomórfica, as unidades da UFPA que enfrentam as mesmas condições ambientais, foram compelidas a imitarem umas as outras, as características organizacionais foram modificadas consensualmente, através de decisões colegiadas, por meio de uma gestão democrática, tornando, assim, os elementos estruturais isomórficos, consistindo então, conforme a teoria, em estruturas organizacionais que refletem uma realidade socialmente construída. Mas, apesar de ter ocorrido um avanço nas mudanças planejadas e executadas, a universidade utiliza determinados mecanismos não porque acredite que a tornem mais eficaz, mas porque são mecanismos impostos, por pressões externas, a universidade tem que cumprir atos formais, regras, leis e sanções, numa relação de dominação e dependência, configurando-se o isomorfismo institucional coercitivo. Como, também, conclui-se conforme informações coletadas que não ocorreu uma mudança organizacional no sentido amplo, e sim, algumas modificações específicas. Avaliando-se, então, pode-se dizer que a UFPA conseguiu tornar suas Unidades homogêneas nas práticas administrativas, especificamente na prática de planejar, na busca de aperfeiçoar o sistema de planejamento das ações da UFPA – ao se observar que, das vinte e oito Unidades regimentalmente constituídas até 2006, dezenove elaboraram Planos de Gestão para o período de 2002 a 2009, representando que 64% das unidades realizaram as ações planejadas na sua totalidade. E, 36%, nove Unidades não constituíram Planos de Gestão, não utilizaram, instrumentos gerenciais padronizados, uniformizando as diretrizes gerais oferecendo a todos os segmentos da universidade um eixo comum, norteador das políticas da Universidade.

Análise do modelo de gestão da incubadora PIEBT sob a perspectiva do isomorfismo organizacional

Este estudo tem como objetivo analisar a gestão de uma incubadora de Empresas, o Programa de Incubação de Empresas de Base Tecnológica (PIEBT). Partindo de uma abordagem qualitativa e quantitativa, buscou-se retratar o processo gerencial da mais antiga Incubadora de empresas amazônica, identificando seu contexto e o nível de adequação de suas práticas ao mais novo modelo de gestão de incubadoras, o Centro de Referência para Apoio a Novos Empreendimentos (CERNE). Para isso, foi discorrido sobre a incubação de empresas, discutindo conceitos de gestão e alguns aspectos da teoria institucional. Os resultados permitiram verificar que a gestão tem foco central no processo de incubação e na captação de recursos e seu nível de adequação ao CERNE encontra-se, predominantemente, em estágio inicial, mas, que, até por pressões de seu campo organizacional, a implementação do modelo é uma meta a ser alcançada. Concluiu-se também que a gestão do PIEBT é circundada por pressões que tendem ao isomorfismo.

Grupos wallpaper e sua relação com cohomologia de grupos

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

O problema do Paralelismo Psicofisiológico segundo a Epistemologia Genética

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

O papel dos stakeholders na adoção de práticas de green supply chain management: estudo de caso em uma cadeia de suprimentos do setor de baterias automotivas

Pós-graduação em Engenharia de Produção - FEB

Sobre certas teorias de cohomologia de grupos e aplicações

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

From the terrible loneliness to the wonderful agreement of human beings

What would be the ""terrible loneliness"" and what would be the ""wonderful agreement"" in the present paper? The ""terrible loneliness"" is the only reality that a person perceives and/or thinks during the now going on. For the person, an enormous quantity of occurrences is in the present moment absent. A very small quantity of occurrences is present. The person is the only being in having this. And, this is only during a little moment. The person never thinks about his loneliness in this moment. On the contrary, he thinks he is plenty of people and full of occurrences. But, if he were thinking about reality, he would live in a terrible loneliness. How does he escape himself from this loneliness? He thinks that the probable occurrences are real occurrences. He may be right in a plenty of times. Going through what I call opening hypotheses-basic hypotheses and non-basic but important hypotheses-and going through what I call simply hypotheses he is able to sanction a wonderful agreement of human beings about the known parts of the Universe. However, they are hypotheses, not absolute realities.

COMMUTATIVE AUTOMORPHIC LOOPS OF ORDER p(3)

A loop is said to be automorphic if its inner mappings are automorphisms. For a prime p, denote by A(p) the class of all 2-generated commutative automorphic loops Q possessing a central subloop Z congruent to Z(p) such that Q/Z congruent to Z(p) x Z(p). Upon describing the free 2-generated nilpotent class two commutative automorphic loop and the free 2-generated nilpotent class two commutative automorphic p-loop F-p in the variety of loops whose elements have order dividing p(2) and whose associators have order dividing p, we show that every loop of A(p) is a quotient of F-p by a central subloop of order p(3). The automorphism group of F-p induces an action of GL(2)(p) on the three-dimensional subspaces of Z(F-p) congruent to (Z(p))(4). The orbits of this action are in one-to-one correspondence with the isomorphism classes of loops from A(p). We describe the orbits, and hence we classify the loops of A(p) up to isomorphism. It is known that every commutative automorphic p-loop is nilpotent when p is odd, and that there is a unique commutative automorphic loop of order 8 with trivial center. Knowing A(p) up to isomorphism, we easily obtain a classification of commutative automorphic loops of order p(3). There are precisely seven commutative automorphic loops of order p(3) for every prime p, including the three abelian groups of order p(3).

Multiparameter twisted Weyl algebras

We introduce a new family of twisted generalized Weyl algebras, called multiparameter twisted Weyl algebras, for which we parametrize all simple quotients of a certain kind. Both Jordan's simple localization of the multiparameter quantized Weyl algebra and Hayashi's q-analog of the Weyl algebra are special cases of this construction. We classify all simple weight modules over any multiparameter twisted Weyl algebra. Extending results by Benkart and Ondrus, we also describe all Whittaker pairs up to isomorphism over a class of twisted generalized Weyl algebras which includes the multiparameter twisted Weyl algebras. (C) 2011 Elsevier Inc. All rights reserved.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Recognizing cultural concepts: Joyce, Woolf, Mann and Musil

The purpose of this thesis is to establish a direct relationship between literature and fields of knowledge such as science and technology, by focusing on some concepts that were fundamental for both science and the humanities at the beginning of the 20th century. The concepts are those of simultaneity, multiple points of view, map, relativity and acausality. In the spirit of several recent ideas, for example Katherine Hayles’ isomorphism notion, the dissertation shows how writers such as James Joyce, Virginia Woolf, Thomas Mann and Robert Musil developed the mentioned concepts within their narratives. The working hypothesis is that those concepts were at a crossroad of human activities, and that those authors used them extensively within their narratives. It is further argued that those same concepts – as developed by Joyce in Ulysses, Woolf’s shorts stories and novels from the end of the 1910’s until the end of the1920’s, Mann’s Der Zauberberg (The Magic Mountain), and Musil’s Der Mann ohne Eigenschaften (The Man Without Qualities) — are still fundamental for our conception of time and space today. The thesis is divided into two parts. The first two chapters will analyse the concepts of simultaneity and multiple points of view and their relationship to cartography as developed within English literature and culture. The next two chapters will address the concepts of relativity and acausality, as developed within German literature and culture.

Preparation of new crystal forms via photochemical, mechanochemical and sol-gel methods

This work of thesis involves various aspects of crystal engineering. Chapter 1 focuses on crystals containing crown ether complexes. Aspects such as the possibility of preparing these materials by non-solution methods, i.e. by direct reaction of the solid components, thermal behavior and also isomorphism and interconversion between hydrates are taken into account. In chapter 2 a study is presented aimed to understanding the relationship between hydrogen bonding capability and shape of the building blocks chosen to construct crystals. The focus is on the control exerted by shape on the organization of sandwich cations such as cobalticinium, decamethylcobalticinium and bisbenzenchromium(I) and on the aggregation of monoanions all containing carboxylic and carboxylate groups, into 0-D, 1-D, 2-D and 3-D networks. Reactions conducted in multi-component molecular assemblies or co-crystals have been recognized as a way to control reactivity in the solid state. The [2+2] photodimerization of olefins is a successful demonstration of how templated solid state synthesis can efficiently synthesize unique materials with remarkable stereoselectivity and under environment-friendly conditions. A demonstration of this synthetic strategy is given in chapter 3. The combination of various types of intermolecular linkages, leading to formation of high order aggregation and crystalline materials or to a random aggregation resulting in an amorphous precipitate, may not go to completeness. In such rare cases an aggregation process intermediate between crystalline and amorphous materials is observed, resulting in the formation of a gel, i.e. a viscoelastic solid-like or liquid-like material. In chapter 4 design of new Low Molecular Weight Gelators is presented. Aspects such as the relationships between molecular structure, crystal packing and gelation properties and the application of this kind of gels as a medium for crystal growth of organic molecules, such as APIs, are also discussed.