Prevalência de nematódeos em ovinos (Ovis aries) pertencentes a diferentes microrregiões do estado de São Paulo, Brasil

Pós-graduação em Medicina Veterinária - FCAV

Teorias dos sistemas, cultura e espaços rurais de reforma agrária

Fundamentals of Theoretical Ecology and the principles governing ecosystems are discussed in relation to the anthropological concept of culture. These principles have been formed along with the development of Ecology and the advancement of other sciences not necessarily biologically based, such as Mathematics and Physics. A deeper understanding of Ecology in interdisciplinary projects is important because it is both a holistic Science, encompassing several disciplines of the field of knowledge, as a Science, whose principles can be applied to any other science. Its origin and evolution differ from modern sciences that emerged from Renaissance, because, taking place at the turn of the nineteenth to the twentieth century, developing itself along with the theories of systemic thinking at the beginning of this century, Ecology inspired this new thinking, culminating with the emergence of General Systems Theory in search of a "transdisciplinar" unification proposed by today's New Science. By applying the System Theory to the analysis of the behaviors of the individual and of the group, it is possible to approach the Agrarian Reform in a more comprehensive way.

O acordo ortográfico da língua portuguesa e a meta de simplificação e unificação

The aim of this paper is to evaluate the Acordo Ortográfico da Língua Portuguesa within a historic context that continually demands simplification and unification to the orthographic fixations. The theoretical and methodological orientation is based on the metaorthography and the linguistic historiography directed towards the language orthographic issue. With this focus, a review of the Portuguese language orthographic agreements is done, paying attention not to the details of the several changes, but to the directions that governed all these orthographic agreements, concluding with an evaluation of the historical validity of this new measure.

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)

Em torno da instância da imagem ao vivo

Este artigo procura resumir a hipótese da «instância da imagem ao vivo» a partir da descrição da natureza do espaço público, entendido aqui como um ambiente comunicacional, mais que institucional ou jurídico. A instância da imagem ao vivo é apresentada não como sendo a imagem ao vivo em si mesma, mas o plano de representação em que ela se inscreve, plano este que se põe como o principal fator de unificação do espaço público em seu sentido mais amplo. Segundo a presente hipótese, as novas possibilidades tecnológicas da era digital não revogam esse plano: apenas o revigoram à medida que o problematizam

Coupled Boltzmann calculation of mixed axion/neutralino cold dark matter production in the early universe

We calculate the relic abundance of mixed axion/neutralino cold dark matter which arises in R-parity conserving supersymmetric (SUSY) models wherein the strong CP problem is solved by the Peccei-Quinn (PQ) mechanism with a concommitant axion/saxion/axino supermultiplet. By numerically solving the coupled Boltzmann equations, we include the combined effects of 1. thermal axino production with cascade decays to a neutralino LSP, 2. thermal saxion production and production via coherent oscillations along with cascade decays and entropy injection, 3. thermal neutralino production and re-annihilation after both axino and saxion decays, 4. gravitino production and decay and 5. axion production both thermally and via oscillations. For SUSY models with too high a standard neutralino thermal abundance, we find the combined effect of SUSY PQ particles is not enough to lower the neutralino abundance down to its measured value, while at the same time respecting bounds on late-decaying neutral particles from BBN. However, models with a standard neutralino underabundance can now be allowed with either neutralino or axion domination of dark matter, and furthermore, these models can allow the PQ breaking scale f(a) to be pushed up into the 10(14) - 10(15) GeV range, which is where it is typically expected to be in string theory models.

Wh plus missing-E-T signature from gaugino pair production at the LHC

In SUSY models with heavy squarks and gaugino mass unification, the gaugino pair production reaction pp -> (W) over tilde (+/-)(1)(Z) over tilde (2) dominates gluino pair production for m (g) over tilde less than or similar to 1 TeV at LHC with root s = 14 TeV (LHC14). For this mass range, the two-body decays (W) over tilde (1) -> W (Z) over tilde (1) and (Z) over tilde (2) -> h (Z) over tilde (1) are expected to dominate the chargino and neutralino branching fractions. By searching for lb (b) over tilde + is not an element of(T) events from (W) over tilde (+/-)(1)Z(2) production, we show that LHC14 with 100 fb(-1) of integrated luminosity becomes sensitive to chargino masses in the range m((W) over tilde1) similar to 450-550 GeV corresponding to m (g) over tilde similar to 1.5-2 TeV in models with gaugino mass unification. For 10(3) fb(-1), LHC14 is sensitive to the Wh channel for m((W) over tilde1) similar to 300-800 GeV, corresponding to m (g) over tilde similar to 1-2.8 TeV, which is comparable to the reach for gluino pair production followed by cascade decays. The Wh + is not an element of(T) search channel opens up a new complementary avenue for SUSY searches at LHC, and serves to point to SUSYas the origin of any new physics discovered via multijet and multilepton + is not an element of(T) channels.

A UML profile for the OBO relation ontology

Background: Ontologies have increasingly been used in the biomedical domain, which has prompted the emergence of different initiatives to facilitate their development and integration. The Open Biological and Biomedical Ontologies (OBO) Foundry consortium provides a repository of life-science ontologies, which are developed according to a set of shared principles. This consortium has developed an ontology called OBO Relation Ontology aiming at standardizing the different types of biological entity classes and associated relationships. Since ontologies are primarily intended to be used by humans, the use of graphical notations for ontology development facilitates the capture, comprehension and communication of knowledge between its users. However, OBO Foundry ontologies are captured and represented basically using text-based notations. The Unified Modeling Language (UML) provides a standard and widely-used graphical notation for modeling computer systems. UML provides a well-defined set of modeling elements, which can be extended using a built-in extension mechanism named Profile. Thus, this work aims at developing a UML profile for the OBO Relation Ontology to provide a domain-specific set of modeling elements that can be used to create standard UML-based ontologies in the biomedical domain. Results: We have studied the OBO Relation Ontology, the UML metamodel and the UML profiling mechanism. Based on these studies, we have proposed an extension to the UML metamodel in conformance with the OBO Relation Ontology and we have defined a profile that implements the extended metamodel. Finally, we have applied the proposed UML profile in the development of a number of fragments from different ontologies. Particularly, we have considered the Gene Ontology (GO), the PRotein Ontology (PRO) and the Xenopus Anatomy and Development Ontology (XAO). Conclusions: The use of an established and well-known graphical language in the development of biomedical ontologies provides a more intuitive form of capturing and representing knowledge than using only text-based notations. The use of the profile requires the domain expert to reason about the underlying semantics of the concepts and relationships being modeled, which helps preventing the introduction of inconsistencies in an ontology under development and facilitates the identification and correction of errors in an already defined ontology.

Gestão do empréstimo unificado nas bibliotecas da Universidade de São Paulo

Apresenta a implantação do empréstimo unificado nas Bibliotecas do Sistema Integrado de Bibliotecas da Universidade de São Paulo (SIBiUSP), coordenado pelo Grupo de Gestão do Empréstimo Unificado. Introduz o cenário inicial das bibliotecas da Universidade, destacando a autonomia para definir políticas locais. Descreve as iniciativas isoladas que culminaram com unificação da política do empréstimo utilizada por todas as bibliotecas. Estabelece comparação entre os procedimentos adotados antes e depois da implantação e conclui relatando os benefícios obtidos pelos 138 mil usuários das bibliotecas USP e na padronização de procedimentos e rotinas adotadas pelas bibliotecas em seus 1,7 milhões de empréstimos domiciliares.

Essays on the political economy of European integration

Recently, a rising interest in political and economic integration/disintegration issues has been developed in the political economy field. This growing strand of literature partly draws on traditional issues of fiscal federalism and optimum public good provision and focuses on a trade-off between the benefits of centralization, arising from economies of scale or externalities, and the costs of harmonizing policies as a consequence of the increased heterogeneity of individual preferences in an international union or in a country composed of at least two regions. This thesis stems from this strand of literature and aims to shed some light on two highly relevant aspects of the political economy of European integration. The first concerns the role of public opinion in the integration process; more precisely, how economic benefits and costs of integration shape citizens' support for European Union (EU) membership. The second is the allocation of policy competences among different levels of government: European, national and regional. Chapter 1 introduces the topics developed in this thesis by reviewing the main recent theoretical developments in the political economy analysis of integration processes. It is structured as follows. First, it briefly surveys a few relevant articles on economic theories of integration and disintegration processes (Alesina and Spolaore 1997, Bolton and Roland 1997, Alesina et al. 2000, Casella and Feinstein 2002) and discusses their relevance for the study of the impact of economic benefits and costs on public opinion attitude towards the EU. Subsequently, it explores the links existing between such political economy literature and theories of fiscal federalism, especially with regard to normative considerations concerning the optimal allocation of competences in a union. Chapter 2 firstly proposes a model of citizens’ support for membership of international unions, with explicit reference to the EU; subsequently it tests the model on a panel of EU countries. What are the factors that influence public opinion support for the European Union (EU)? In international relations theory, the idea that citizens' support for the EU depends on material benefits deriving from integration, i.e. whether European integration makes individuals economically better off (utilitarian support), has been common since the 1970s, but has never been the subject of a formal treatment (Hix 2005). A small number of studies in the 1990s have investigated econometrically the link between national economic performance and mass support for European integration (Eichenberg and Dalton 1993; Anderson and Kalthenthaler 1996), but only making informal assumptions. The main aim of Chapter 2 is thus to propose and test our model with a view to providing a more complete and theoretically grounded picture of public support for the EU. Following theories of utilitarian support, we assume that citizens are in favour of membership if they receive economic benefits from it. To develop this idea, we propose a simple political economic model drawing on the recent economic literature on integration and disintegration processes. The basic element is the existence of a trade-off between the benefits of centralisation and the costs of harmonising policies in presence of heterogeneous preferences among countries. The approach we follow is that of the recent literature on the political economy of international unions and the unification or break-up of nations (Bolton and Roland 1997, Alesina and Wacziarg 1999, Alesina et al. 2001, 2005a, to mention only the relevant). The general perspective is that unification provides returns to scale in the provision of public goods, but reduces each member state’s ability to determine its most favoured bundle of public goods. In the simple model presented in Chapter 2, support for membership of the union is increasing in the union’s average income and in the loss of efficiency stemming from being outside the union, and decreasing in a country’s average income, while increasing heterogeneity of preferences among countries points to a reduced scope of the union. Afterwards we empirically test the model with data on the EU; more precisely, we perform an econometric analysis employing a panel of member countries over time. The second part of Chapter 2 thus tries to answer the following question: does public opinion support for the EU really depend on economic factors? The findings are broadly consistent with our theoretical expectations: the conditions of the national economy, differences in income among member states and heterogeneity of preferences shape citizens’ attitude towards their country’s membership of the EU. Consequently, this analysis offers some interesting policy implications for the present debate about ratification of the European Constitution and, more generally, about how the EU could act in order to gain more support from the European public. Citizens in many member states are called to express their opinion in national referenda, which may well end up in rejection of the Constitution, as recently happened in France and the Netherlands, triggering a European-wide political crisis. These events show that nowadays understanding public attitude towards the EU is not only of academic interest, but has a strong relevance for policy-making too. Chapter 3 empirically investigates the link between European integration and regional autonomy in Italy. Over the last few decades, the double tendency towards supranationalism and regional autonomy, which has characterised some European States, has taken a very interesting form in this country, because Italy, besides being one of the founding members of the EU, also implemented a process of decentralisation during the 1970s, further strengthened by a constitutional reform in 2001. Moreover, the issue of the allocation of competences among the EU, the Member States and the regions is now especially topical. The process leading to the drafting of European Constitution (even if then it has not come into force) has attracted much attention from a constitutional political economy perspective both on a normative and positive point of view (Breuss and Eller 2004, Mueller 2005). The Italian parliament has recently passed a new thorough constitutional reform, still to be approved by citizens in a referendum, which includes, among other things, the so called “devolution”, i.e. granting the regions exclusive competence in public health care, education and local police. Following and extending the methodology proposed in a recent influential article by Alesina et al. (2005b), which only concentrated on the EU activity (treaties, legislation, and European Court of Justice’s rulings), we develop a set of quantitative indicators measuring the intensity of the legislative activity of the Italian State, the EU and the Italian regions from 1973 to 2005 in a large number of policy categories. By doing so, we seek to answer the following broad questions. Are European and regional legislations substitutes for state laws? To what extent are the competences attributed by the European treaties or the Italian Constitution actually exerted in the various policy areas? Is their exertion consistent with the normative recommendations from the economic literature about their optimum allocation among different levels of government? The main results show that, first, there seems to be a certain substitutability between EU and national legislations (even if not a very strong one), but not between regional and national ones. Second, the EU concentrates its legislative activity mainly in international trade and agriculture, whilst social policy is where the regions and the State (which is also the main actor in foreign policy) are more active. Third, at least two levels of government (in some cases all of them) are significantly involved in the legislative activity in many sectors, even where the rationale for that is, at best, very questionable, indicating that they actually share a larger number of policy tasks than that suggested by the economic theory. It appears therefore that an excessive number of competences are actually shared among different levels of government. From an economic perspective, it may well be recommended that some competences be shared, but only when the balance between scale or spillover effects and heterogeneity of preferences suggests so. When, on the contrary, too many levels of government are involved in a certain policy area, the distinction between their different responsibilities easily becomes unnecessarily blurred. This may not only leads to a slower and inefficient policy-making process, but also risks to make it too complicate to understand for citizens, who, on the contrary, should be able to know who is really responsible for a certain policy when they vote in national,local or European elections or in referenda on national or European constitutional issues.

Memory hierarchy and data communication in heterogeneous reconfigurable SoCs

The miniaturization race in the hardware industry aiming at continuous increasing of transistor density on a die does not bring respective application performance improvements any more. One of the most promising alternatives is to exploit a heterogeneous nature of common applications in hardware. Supported by reconfigurable computation, which has already proved its efficiency in accelerating data intensive applications, this concept promises a breakthrough in contemporary technology development. Memory organization in such heterogeneous reconfigurable architectures becomes very critical. Two primary aspects introduce a sophisticated trade-off. On the one hand, a memory subsystem should provide well organized distributed data structure and guarantee the required data bandwidth. On the other hand, it should hide the heterogeneous hardware structure from the end-user, in order to support feasible high-level programmability of the system. This thesis work explores the heterogeneous reconfigurable hardware architectures and presents possible solutions to cope the problem of memory organization and data structure. By the example of the MORPHEUS heterogeneous platform, the discussion follows the complete design cycle, starting from decision making and justification, until hardware realization. Particular emphasis is made on the methods to support high system performance, meet application requirements, and provide a user-friendly programmer interface. As a result, the research introduces a complete heterogeneous platform enhanced with a hierarchical memory organization, which copes with its task by means of separating computation from communication, providing reconfigurable engines with computation and configuration data, and unification of heterogeneous computational devices using local storage buffers. It is distinguished from the related solutions by distributed data-flow organization, specifically engineered mechanisms to operate with data on local domains, particular communication infrastructure based on Network-on-Chip, and thorough methods to prevent computation and communication stalls. In addition, a novel advanced technique to accelerate memory access was developed and implemented.

Pasta secca e identità nazionale. Note di storia dell'alimentazione

In the wide range of data that the nutrition subject offers to the historical observation, this investigation focuses on one of the functions that food serves in the social context: that is, to signify cultural identity. In this context, we will analyse the ways in which industrially produced pasta has come to its status as one of the symbolic forms of twentieth-century Italian food, contributing to a sense of social identity that forms part of the process of nation-building developed during the XX century. The nature of the relationship between pasta and Italian food is analysed for a period of almost a century (1886-1984) through a variety of different sources: government enquiries, cookery books, gastronomic guides and menus of official dinners. The assemblage of such documents in one study allows investigation of certain themes throughout a wide range of gastronomical cultures active within the national borders. In this way, links are made between the production, adoption, reception and dissemination of the ingredients and Italian Unification.This method has made it possible to restore one possible form of historical knowledge of twentieth-century gastronomy and of the experiences by which it was influenced.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Vergleichende Phylogenie der Gimpel (Aves: Fringillidae: Pyrrhula Brisson, 1760)

Mit dieser Arbeit wird am Beispiel der Gimpel der Gattung Pyrrhula (Aves: Fringillidae) eine vergleichende phylogenetische Methodik angewandt. Der dafür gewählte Untersuchungsansatz beinhaltet v.a. molekulargenetische und morphologische Methoden, deren Ergebnisse vor dem biogeographischen Hintergrund der Gattung analysiert werden. Diese Arbeit bestätigt die traditionelle Abgrenzung der Gimpel gegenüber den anderen Formen der Finkenfamilie. Die Gattung stellt eine monophyletische Gruppe dar und ist sowohl anhand molekulargenetischer als auch morphologischer Merkmale hervorragend umgrenzbar. Eine Vereinigung mit der Schwestergattung Pinicola ist demgegenüber nicht gerechtfertigt. Die mit klassischen Untersuchungsverfahren bestimmten Gruppierungen der Gattung lassen sich auch mit modernen Methoden bestätigen. Pyrrhula besteht aus drei Hauptverwandtschaftsgruppen: „Südostasiatische Gimpel“ (P. nipalensis und P. leucogenis), „Himalayagimpel“ (P. aurantiaca, P. erythaca, P. erythrocephala) und „Eurasische Gimpel“ (P. pyrrhula s.l.). Innerhalb von P. pyrrhula s.l. lassen sich drei genetisch und morphologisch unterschiedlich differenzierte Untergruppierungen mit eigenständige Merkmalskombinationen ausmachen: P. (p.) murina, P. (p.) cineracea und P. (p.) griseiventris. Das Entstehungszentrum von Pyrrhula befand sich vermutlich im südöstlichen Asien. Anhand der molekulargenetischen und biogeographischen Daten lassen sich ungefähre Ausbreitungs- und Diversifizierungsprozesse datieren. Vom Entstehungszentrum ging eine präpleistozäne Ausbreitungswelle aus, die die Aufspaltung der Stammlinienvertreter der Südostasiatischen Gimpel und später die der Himalayagimpel-Stammlinie zur Folge hatten. Etwa zeitgleich begann die Ausbreitung der Vorfahren der Eurasischen Gimpel bis ins westliche Südeuropa. Im frühen Pleistozän spalteten sich die Vorläufer des rezenten P. aurantica ab, gefolgt von der Trennung der südostasiatischen Stammlinie in die Vorfahren von P. nipalensis und P. leucogenis. Daraufhin folgten rasche spätpleistozäne Ausbreitungen und Diversifizierungen, die das Überdauern von Gimpeln in südostchinesischen bzw. mediterranen Glazialrefugien nahelegen. Dabei trennten sich die Stammlinien von P. erythrocephala und P. erythaca ungefähr gleichzeitig mit jenen der Stammlinien von P. pyrrhula s.str., P. (p.) murina und P. (p.) griseiventris. Die P. (p.) cineracea-Stammlinie folgte wiederum etwas später. Die Vorläufer der heutigen P. pyrrhula s.str. nahmen im späten Pleistozän mehrfach ostwärts gerichtete Ausbreitungen vor, während derer sie sich über weite Teile Eurasiens bis nach Kamtschatka verbreiteten. Die morphologischen Differenzierungen der einzelnen Formen wurden wahrscheinlich stark durch die geographischen Verhältnisse beeinflusst. Neben Isolationseffekten auf Inseln (murina) spielten vermutlich auch pleistozäne Refugialgebiete der Mandschurei und Japans für die Entstehung der heutigen griseiventris und das nordmongolische Refugium für cineracea eine große Rolle. Der gefiedermorphologische Geschlechtsmonomorphismus von P. nipalensis und P. leucogenis könnte dabei einen stammesgeschichtlich ancestralen Zustand darstellen, jener von murina ist dagegen sicher eine sekundäre Reduktionserscheinung. Auf Grundlage des Biospezieskonzeptes erlauben die erarbeiteten phylogenetischen Daten, die Gattung Pyrrhula entweder in sechs oder in neun Arten (inkl. zweier Superspezies) zu unterteilen. Der zahlenmäßige Unterschied entsteht dabei durch die unterschiedliche Klassifikation der Formen murina, cineracea und griseiventris, die entweder P. pyrrhula als Subspezies angeschlossen werden oder als Angehörige einer Superspezies P. [pyrrhula] Artrang erhalten.

Alla ricerca della sostenibilità: lo sviluppo dell'agricoltura dall'Unità d'Italia alla Green Economy

L’elaborato finale presentato per la tesi di Dottorato analizza e riconduce a unitarietà, per quanto possibile, alcune delle attività di ricerca da me svolte durante questi tre anni, il cui filo conduttore è l'impatto ambientale delle attività umane e la promozione dello sviluppo sostenibile. Il mio filone di ricerca è stato improntato, dal punto di vista di politica economica, sull'analisi storica dello sviluppo del settore agricolo dall'Unità d'Italia ai giorni nostri e dei cambiamenti avvenuti in contemporanea nel contesto socio-economico e territoriale nazionale, facendo particolare riferimento alle tematiche legate ai consumi e alla dipendenza energetica ed all'impatto ambientale. Parte della mia ricerca è stata, infatti, incentrata sull'analisi dello sviluppo della Green Economy, in particolare per quanto riguarda il settore agroalimentare e la produzione di fonti di energia rinnovabile. Enfasi viene posta sia sulle politiche implementate a livello comunitario e nazionale, sia sul cambiamento dei consumi, in particolare per quanto riguarda gli acquisti di prodotti biologici. La Green Economy è vista come fattore di sviluppo e opportunità per uscire dall'attuale contesto di crisi economico-finanziaria. Crisi, che è strutturale e di carattere duraturo, affiancata da una crescente problematica ambientale dovuta all'attuale modello produttivo, fortemente dipendente dai combustibili fossili. Difatti la necessità di cambiare paradigma produttivo promuovendo la sostenibilità è visto anche in ottica di mitigazione del cambiamento climatico e dei suoi impatti socio-economici particolare dal punto di vista dei disastri ambientali. Questo punto è analizzato anche in termini di sicurezza internazionale e di emergenza umanitaria, con riferimento al possibile utilizzo da parte delle organizzazioni di intervento nei contesti di emergenza di tecnologie alimentate da energia rinnovabile. Dando così una risposta Green ad una problematica esacerbata dall'impatto dello sviluppo delle attività umane.