Bullfrog hemogram under management stress

Stress is one of the major obstacles in frog culture and can be caused by factors such as inappropriate farming systems; inadequate management among other situations. The objective of the present study was to assess the hemogram, erythrogram and leukogram of bullfrogs (L. catesbeianus) when exposed to stress caused by different types of management: density and handling (manipulation), developed in the laboratory and repeated in the field for the appropriate comparisons in a experimental period of 30 days. The density experiment was conducted with four treatments: 70 animals m(-2) (D70); 100 animals m(-2) (D100), Control; 150 animals m(-2) (D150) and 200 animals m(-2) (D200), with 10, 14, 21 and 28 animals/box in the laboratory, respectively. Each treatment was performed with three simultaneous replicates. The handling experiment was conducted with three treatments: Treatment Without Handling (WH); Treatment with Partial Handling (PH) every 15 days and Treatment with Total Handling (TH) every 15 days. Each treatment was performed with four simultaneous replications. The methodology of the blood analysis followed international recommendations. In the present study we could observe that the animals of the field experiment did not reflect the same stress response observed in the laboratory in both experiment, which demonstrated the plasticity of these animals.

O Primo Basílio e a relação espaço e tempo no audiovisual

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

Contribuições da psicanálise de Freud e Lacan e do materialismo histórico para a terapia ocupacional: uma clínica do desejo e do carecimento na saúde coletiva

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

O mapa de ponta-cabeça

Joaquin Torres Garcia reversed the position of the map of the continent, reaching South America north. This little drawing illustrates an article by Torres García, 1935, in which he advocates the creation of a "Escuela del Sur". This image illustrates a need in Latin America to seek their own ways. Torres-Garcia was inspired by the preColumbian American heritage for their symbolic and Constructivism proposes that Latin America look to the popular ancestral and cultural traditions and build an art itself through which the continent would no longer be a tributary of European culture. As production visual modern and contemporary Latin American context of globalization, takes the center / periphery relationship? The colonizer's model center/periphery relationship persists in the Latin American visual production? The technologies offered other ways of representation that break with the culture of repetition? These questions guide our research.

O silêncio cartográfico de João Teixeira Albernaz I nas representações da costa brasileira

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

Pedagogia histórico-crítica e alfabetização: elementos para uma perspectiva histórico-crítica do ensino da leitura e da escrita

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

Um rio de imagens

O presente artigo apresenta uma reflexão sobre a imagem dos rios ao longo da história da arte, a partir da pesquisa realizada por mim para a tese de doutorado “Poéticas Líquidas: a água na arte contemporânea“. Os rios são estudados tanto a partir de suas representações pictóricas de interesse histórico, como também enquanto suporte para a realização de obras de arte contemporânea. São identificadas conotações simbólicas e espirituais dos rios, como metáfora para o transcorrer da vida e para as transformações, assim como também suas questões mais terrenas, ligadas à ecologia e à sua relação com as cidades. Como reflexão final, apresento alguns trabalhos plásticos realizados por mim ao longo dos anos, que discutem a presença dos rios na vida contemporânea, a partir de proposições estéticas que refletem as conflituosas relações entre o homem e a natureza na atualidade.

Necessidades de saúde, políticas públicas e gênero: a perspectiva das práticas profissionais

Examina-se a relação entre políticas públicas e práticas dos profissionais, relativamente às necessidades de saúde. Em abordagem teórico-conceitual, as práticas são definidas como desempenhos permeados por determinantes técnico-cien­tíficos e sócio-históricos para a produção social de um trabalho, analisando-se suas possibilidades de mudanças culturais, éticas e políticas, para um agir crítico das desigualdades de gênero. Tomando-se a atenção integral à saúde dos homens, examina-se a relevância da distinção entre necessidades masculinas e femininas, enquanto realidades parciais não necessariamente convergentes na (re)produção daquelas desigualdades. Igualmente se examinam as práticas profissionais, como realidade parcial e distinta das políticas, estabelecendo relações não imediatas. Desenvolve-se que são obstáculos simbólicos e práticos para mudanças: a normalização biomédica redutora das necessidades, a cultura do trabalho autônomo e da abordagem individualizante das necessidades, a cultura tradicional de gênero conservando práticas desiguais para homens e mulheres e a ausência de inscrição dos direitos como parte do agir profissio­nal. Isto exige propostas específicas às práticas de saúde e às necessidades masculinas para maior convergência com as reformas das políticas.

Combinatorial-topological framework for the analysis of global dynamics

We discuss an algorithmic framework based on efficient graph algorithms and algebraic-topological computational tools. The framework is aimed at automatic computation of a database of global dynamics of a given m-parameter semidynamical system with discrete time on a bounded subset of the n-dimensional phase space. We introduce the mathematical background, which is based upon Conley's topological approach to dynamics, describe the algorithms for the analysis of the dynamics using rectangular grids both in phase space and parameter space, and show two sample applications. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4767672]

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

La comunicazione della cooperazione allo sviluppo: gli Enti Pubblici. Analisi discorsive dei Siti Web

Our research takes place in the context of a discipline kwown as Communication for Development, sited inside the field of Communication for Social Change, characterized by the use of interpersonal ad mass communication theories and tools, applyied to international development cooperation. Our study aims at pointing out a change of paradigm in this field: our object is Public Administration’s communication, therefore, what we suggest is a shift from Communication for Development, to Development Communication. The object of our study, hence, becomes the discourse itself, in its double action of representation and construction of reality. In particular, we are interested in the discourse’s tribute to the creation of a collective immagination, wich is the perspective towards which we have oriented the analysis, through a structuralist semoitics-based methodology integrated with a socio-semiotic approach. Taking into consideartion the fact that in our contemporary society (that is to say a ‘Western’ and ‘First World’ society), the internet is a crucial public space for the mediation and the management of collective immagination, we chose the web sites of Public Bodies which are dedicated to International Cooperation has our analysis corpus. This, due to their symbolic and ideologic significance, as well as for the actual political responsibility we think these web sites should have. The result of our analysis allows us to suggest some discoursive strategies used in the web sites of Public Bodies. In these sites, there is a tendency to shift the discourses around international cooperation from the ideological axis - avoiding in so doing to explicit a political statement about the causes of injustices and un-balances which lead to the necessity of a support in development (i.e. avoiding to mention values such as social justice and democracy while acknowledging socio-economical institutions which contribute to foster underdevelopment on a global scale) -, to the ethical axis, hence referring to moral values concerning the private sphere (human solidarity and charity), which is delegated mainly to non governamental associations.

Il teatro e Derek Walcott. Prospettive postcoloniali e multiculturali

This thesis explores the function of the theatre in Derek Walcott's literary achievements. Focusing on the semiotic theories that characterize the study of drama as a literary text and as a staged text, the initial approach aims at creating a relationship between semiotics and postcolonial theories. In particular Pavis's concept of intercultural semiotics and Peter Brook's innovative visions about the regenerative function of the space of the theatre represent a useful theoretical basis to consider the specificity of postcolonial theatre as an innovative space, where new cultural meanings emerge. Derek Walcott's dramatic production is studied according to this approach, in order to be defined as a new hybrid, syncretic and multicultural space. After considering the development of drama from a postcolonial and Caribbean perspective, this study begins with an insight into Walcott's views on theatre, taking into consideration his linguistic depth, linked to the European tradition, but also his strong concern with the Caribbean public's cultural needs. The double tension characterizing Walcott's cultural identity as well as his art represents an essential element to analyse his dramatic texts. With an ambivalent approach, which takes into consideration language and performance, this thesis offers an insight into Walcott's plays to detect their postcolonial and multicultural elements. The analysis of the different texts are divided into two chapters (third and fourth). The third chapters - mainly focused on postcolonial themes - explores issues such as language, identity and space, whereas the fourth chapter centers on multiculturalism in text and performance. Dealing with interracial interactions, issues like re-writing classical texts and the manipulation of personal and collective memory as a way to re- establish new historical perspectives, the last part of the thesis aims at demonstrating the idea that Walcott has created a new space in the theatre made by the harmonic fusion of different and opposed cultural elements, which are visible in the literary as well as in the staged text. The textual perspective of Walcott's drama fits into Pavis's definition of intercultural semiotics, as the faithful representation of a multicultural creole society: that of the West Indies.

Aspects of Integrability in Gauge/String Correspondence

In this thesis, we present our work about some generalisations of ideas, techniques and physical interpretations typical for integrable models to one of the most outstanding advances in theoretical physics of nowadays: the AdS/CFT correspondences. We have undertaken the problem of testing this conjectured duality under various points of view, but with a clear starting point - the integrability - and with a clear ambitious task in mind: to study the finite-size effects in the energy spectrum of certain string solutions on a side and in the anomalous dimensions of the gauge theory on the other. Of course, the final desire woul be the exact comparison between these two faces of the gauge/string duality. In few words, the original part of this work consists in application of well known integrability technologies, in large parte borrowed by the study of relativistic (1+1)-dimensional integrable quantum field theories, to the highly non-relativisic and much complicated case of the thoeries involved in the recent conjectures of AdS5/CFT4 and AdS4/CFT3 corrspondences. In details, exploiting the spin chain nature of the dilatation operator of N = 4 Super-Yang-Mills theory, we concentrated our attention on one of the most important sector, namely the SL(2) sector - which is also very intersting for the QCD understanding - by formulating a new type of nonlinear integral equation (NLIE) based on a previously guessed asymptotic Bethe Ansatz. The solutions of this Bethe Ansatz are characterised by the length L of the correspondent spin chain and by the number s of its excitations. A NLIE allows one, at least in principle, to make analytical and numerical calculations for arbitrary values of these parameters. The results have been rather exciting. In the important regime of high Lorentz spin, the NLIE clarifies how it reduces to a linear integral equations which governs the subleading order in s, o(s0). This also holds in the regime with L ! 1, L/ ln s finite (long operators case). This region of parameters has been particularly investigated in literature especially because of an intriguing limit into the O(6) sigma model defined on the string side. One of the most powerful methods to keep under control the finite-size spectrum of an integrable relativistic theory is the so called thermodynamic Bethe Ansatz (TBA). We proposed a highly non-trivial generalisation of this technique to the non-relativistic case of AdS5/CFT4 and made the first steps in order to determine its full spectrum - of energies for the AdS side, of anomalous dimensions for the CFT one - at any values of the coupling constant and of the size. At the leading order in the size parameter, the calculation of the finite-size corrections is much simpler and does not necessitate the TBA. It consists in deriving for a nonrelativistc case a method, invented for the first time by L¨uscher to compute the finite-size effects on the mass spectrum of relativisic theories. So, we have formulated a new version of this approach to adapt it to the case of recently found classical string solutions on AdS4 × CP3, inside the new conjecture of an AdS4/CFT3 correspondence. Our results in part confirm the string and algebraic curve calculations, in part are completely new and then could be better understood by the rapidly evolving developments of this extremely exciting research field.

Algorithmische Methoden zur Berechnung von Vierbeinfunktionen

Die vorliegende Arbeit beschäftigt sich mit derAutomatisierung von Berechnungen virtuellerStrahlungskorrekturen in perturbativen Quantenfeldtheorien.Die Berücksichtigung solcher Korrekturen aufMehrschleifen-Ebene in der Störungsreihenentwicklung istheute unabdingbar, um mit der wachsenden Präzisionexperimenteller Resultate Schritt zu halten. Im allgemeinen kinematischen Fall können heute nur dieEinschleifen-Korrekturen als theoretisch gelöst angesehenwerden -- für höhere Ordnungen liegen nur Teilergebnissevor. In Mainz sind in den letzten Jahren einige neuartigeMethoden zur Integration von Zweischleifen-Feynmandiagrammenentwickelt und im xloops-Paket in algorithmischer Formteilweise erfolgreich implementiert worden. Die verwendetenVerfahren sind eine Kombination exakter symbolischerRechenmethoden mit numerischen. DieZweischleifen-Vierbeinfunktionen stellen in diesem Rahmenein neues Kapitel dar, das durch seine große Anzahl vonfreien kinematischen Parametern einerseits leichtunüberschaubar wird und andererseits auch auf symbolischerEbene die bisherigen Anforderungen übersteigt. Sie sind ausexperimenteller Sicht aber für manche Streuprozesse vongroßem Interesse. In dieser Arbeit wurde, basierend auf einer Idee von DirkKreimer, ein Verfahren untersucht, welches die skalarenVierbeinfunktionen auf Zweischleifen-Niveau ganz ohneRandbedingungen an den Parameterraum zu integrierenversucht. Die Struktur der nach vier Residuenintegrationenauftretenden Terme konnte dabei weitgehend geklärt und dieKomplexität der auftretenden Ausdrücke soweit verkleinertwerden, dass sie von heutigen Rechnern darstellbar sind.Allerdings ist man noch nicht bei einer vollständigautomatisierten Implementierung angelangt. All dies ist dasThema von Kapitel 2. Die Weiterentwicklung von xloops über Zweibeinfunktionenhinaus erschien aus vielfältigen Gründen allerdings nichtmehr sinnvoll. Im Rahmen dieser Arbeit wurde daher einradikaler Bruch vollzogen und zusammen mit C. Bauer und A.Frink eine Programmbibliothek entworfen, die als Vehikel fürsymbolische Manipulationen dient und es uns ermöglicht,übliche symbolische Sprachen wie Maple durch C++ zuersetzen. Im dritten Kapitel wird auf die Gründeeingegangen, warum diese Umstellung sinnvoll ist, und dabeidie Bibliothek GiNaC vorgestellt. Im vierten Kapitel werdenDetails der Implementierung dann im Einzelnen vorgestelltund im fünften wird sie auf ihre Praxistauglichkeituntersucht. Anhang A bietet eine Übersicht über dieverwendeten Hilfsmittel komplexer Analysis und Anhang Bbeschreibt ein bewährtes numerisches Instrument.

Formale Struktur, Narrativitaet und Wahrnehmung des Zuschauers

Die vorliegende Arbeit untersucht, wie sich Greenaways Filme selbstreflexiv zur Problematik des filmischen Mediums stellen, d.h. wie der Illusions- und Artefaktcharakter des Films im Film selbst thematisiert wird. Die Untersuchung der Selbstreflexion wird konkret unter drei Untersuchungsaspekten erfolgt, nämlich die systematisch und künstlich organisierte formale Struktur, die Narrativität und die Wahrnehmungsweise des Zuschauers. Greenaways Filme veranschaulichen auf der formalen Ebene:· daß die Filmbilder diskontinuierlich und uneinheitlich sind, · wie einzelnen visuellen, akustischen und technischen Zeichen systematisch und künstlich organisiert sind und schließlich· wie die diskontinuierlichen und uneinheitlichen Filmbilder durch die systematische und künstliche Organisation der Zeichen kontinuierlich und einheitlich wirken. Seine Filme thematisieren auch auf der allegorischen, symbolischen und metaphorischen Ebene das Verhältnis zwischen der formalen Struktur, der Geschichte und der interaktiven Wahrnehmungsweise des Zuschauers, und die Beziehung zwischen dem Zuschauer, dem Film, dem Filmemacher. Die männliche Hauptfigur metaphorisiert den Zuschauer. Die Frauenfiguren allegorisieren die zwei Seiten des Films, die Form und den Inhalt des Films. Die sexuelle Beziehung zwischen der männlichen Hauptfigur und den Frauen umfaßt auf der metaphorischen Ebene die Interaktivität des Zuschauers mit dem Film.