Espaço migrante: entre enunciações e olhares

Pós-graduação em Educação - IBRC

The status of biodiversity and bioprospecting efforts in the Caribbean subregion

Includes bibliography

Poe diante do espelho: uma nova leitura da literatura fantástica

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

Temperatura, embalagem e radiação gama na conservação pós-colheita de maná cubiu

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

A novel association between Rhodnius neglectus and the Livistona australis palm tree in an urban center foreshadowing the risk of Chagas disease transmission by vectorial invasions in Monte Alto City, Sao Paulo, Brazil

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

Effects of excessive energy intake and supplementation with chromium propionate on insulin resistance parameters in nonlactating dairy cows

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

Decreased rate of protein synthesis, caspase-3 activity, and ubiquitin-proteasome proteolysis in soleus muscles from growing rats fed a low-protein, high-carbohydrate diet

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

Action of the salivary microorganisms having sorbitol as substratum

Microorganisms living in the saliva are able to ferment some sweetener types and to promote the fall of pH that has its critical point around 5.5; in this situation, they equal the input and the calcium output in the processes of remineralization and demineralization. For iteration of the three essential factors to the installation of the dental caries (microorganism, host and diet) suggested the accomplishment of a work that involved one of these factors. This work aims to study this issue, through the indication of substitute sweetener of the saccharose, whenever possible, it solved to evaluate pH of the saliva, exposed to sorbitol.

Um conceito plural: a ἄτη na tragédia grega

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

The South Omaha Community Scholarship Program: A Qualitative Study of Persistence of Hispanic Students at Bellevue University

The purpose of this case study was to determine the impact of the South Omaha Community Scholarship Program on the persistence of the Hispanic students who participated. Previous research on Hispanic student persistence has focused on the reasons why students do not persist and more recent research has been conducted on programs and retention efforts, colleges and universities are implementing on their campuses. This study researched a specific program, The South Omaha Community Scholarship Program, designed to provide financial, academic and other needed resources to help Hispanic students persist to graduation. The researcher believes this study was important because it provided an overview of how the South Omaha Community Scholarship Program is affecting students both on campus and in their community. Eight interviews were conducted, with eligible students, in person. Students eligible for the study were current students or recent graduates of the South Omaha Community Scholarship Program and had attained at least junior or senior status as of the fall of 2009, as defined by Bellevue University. Research questions were based on the four components of the program and the affect the program had on the student’s life, outside of Bellevue University. The four components of the program were: financial aid, academic advising, the scholarship aid, and the Professional Enrichment Program. The results of the study were broken into five components with an additional section that provided other themes that were derived from the interviews. The five components were: (a) financial aid counseling, (b) academic advising, (c) scholarship aid, (d) Professional Enrichment Program, and (e) the South Omaha Community Scholarship Program beyond Bellevue University. Other themes that were derived from the interviews were: class format, deciding on a college, higher education class, campus resources, and a sense of community on-campus. The research found that the scholarship, provided by the South Omaha Community Scholarship Program, was the primary motivating factor for students to attend Bellevue University and persist in college. The interviewed students also commented on how the scholarship had given them the opportunity to attend college, even though that opportunity had seemed out of reach. The interviewed students also commented on their academic advising experience, campus resources, and feeling a sense of community on-campus as other campus related areas that were affected by the South Omaha Community Scholarship Program. Finally, students provided examples of how the South Omaha Community Scholarship Program impacted their connection to their South Omaha community through volunteer and employment opportunities. Adviser: Richard Hoover

HIGHLIGHTS OF BIRD CONTROL RESEARCH IN ENGLAND, FRANCE, HOLLAND, AND GERMANY

The purpose of this paper is to present a brief review of the research being conducted in England, France, Germany, and The Netherlands on problems caused by nuisance and depredating birds. Much of the information presented has been obtained through correspondence with collaborators. In the fall of 1962, I discussed depredating bird and bird-airport problems with research workers in these countries, and also attended the meeting of the International Union of Applied Ornithology held in Frankfurt/Main. In November 1963, I attended an international symposium about the bird-airport problem, held in Nice, France. This paper will draw attention to the current research which I think will interest American investigators, but will not report every aspect of the foreign investigations. Details appear in the publications that are listed.

Deleterious Effect of Hypothermia in Myocardial Protection Against Cold Ischemia: A Comparative Study in Isolated Rat Hearts

Background. There is a growing need to improve heart preservation benefit the performance of cardiac operations, decrease morbidity, and more important, increase the donor pool. Therefore, the objective of this study was to evaluate the cardioprotective effects of Krebs-Henseleit buffer (KHB), Bretschneider-HTK (HTK), St. Thomas No. 1 (STH-1), and Celsior (CEL) solutions infused at 10 degrees C and 20 degrees C. Methods. Hearts isolated from male albino Wistar rats and prepared according to Langendorff were randomly divided equally into 8 groups according to the temperature of infusion (10 degrees C or 20 degrees C) and cardioprotective solutions (KHB, HTK, STH-1, and CEL). After stabilization with KHB at 37 degrees C, baseline values were collected (control) for heart rate (HR), left ventricle systolic pressure (LVSP), coronary flow (CF), maximum rate of rise of left ventricular pressure during ventricular contraction (+dP/dt) and maximum rate of fall of left ventricular pressure during left ventricular relaxation (-dP/dt). The hearts were then perfused with cardioprotective solutions for 5 minutes and kept for 2 hours in static ischemia at 20 degrees C. Data evaluation used analysis of variance (ANOVA) in all together randomized 2-way ANOVA and Tukey's test for multiple comparisons. The level of significance chosen was P < .05. Results. We observed that all 4 solutions were able to recover HR, independent of temperature. Interestingly, STH-1 solution at 20 degrees C showed HR above baseline throughout the experiment. An evaluation of the corresponding hemodynamic values (LVSP, +dP/dt, and -dP/dt) indicated that treatment with CEL solution was superior at both temperatures compared with the other solutions, and had better performance at 20 degrees C. When analyzing performance on CF maintenance, we observed that it was temperature dependent. However, when applying both HTK and CEL, at 10 degrees C and 20 degrees C respectively, indicated better protection against development of tissue edema. Multiple comparisons between treatments and hemodynamic variable outcomes showed that using CEL solution resulted in significant improvement compared with the other solutions at both temperatures. Conclusion. The solutions investigated were not able to fully suppress the deleterious effects of ischemia and reperfusion of the heart. However, these results allow us to conclude that temperature and the cardioprotective solution are interdependent as far as myocardial protection. Although CEL solution is the best for in myocardial protection, more studies are needed to understand the interaction between temperature and perfusion solution used. This will lead to development of better and more efficient cardioprotective methods.

Scorpiodinipora costulata (Canu & Bassler, 1929) (Bryozoa, Cheilostomata), a taxonomic and biogeographic dilemma: complex of cryptic species or human-mediated cosmopolitan colonizer?

Despite implausible cosmopolitanism, the species Scorpiodinipora costulata (Canu & Bassler, 1929) has been attributed with reservations to small encrusting colonies with similar morphological features whose known distribution is scattered in tropical and subtropical seas: Pacific Ocean (Philippines), Indian Ocean (Oman), Red Sea, SE Mediterranean, SE Atlantic (Ghana) and SW Atlantic (Brazil). This material raised questions about its generic assignment. The genus Scorpiodinipora Balavoine, 1959 is redescribed with Schizoporella costulata Canu & Bassler, 1929, from the Philippines as the type species, as Balavoine misidentified the specimens to define the genus as Cellepora bernardii Audouin, 1826. Moreover, SEM examination of the cotypes of S. costulata showed that Canu & Bassler confused two genera among them. A lectotype and paralectorype were thus chosen from Canu & Bassler's syntypes corresponding with the present morphotype. Hippodiplosia ottomuelleriana var. parva Marcus, 1938, from Brazil, which presents the same morphotype, is provisionally considered as the junior synonym of S. costulata. Considering the broad allopatric distribution of this morphotype across the oceans and the low capacity of dispersal of species with short-lived larvae, it is likely that this material includes several sibling species. However, the role of man-mediated dispersal is not excluded, at least in regions with high shipping activity, such as that comprising the Suez Canal.

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.

Analyzing convergence of Agricultural and Rural Areas in the Enlarged EU: The case of Hungary

The fall of the Berlin Wall opened the way for a reform path – the transition process – which accompanied ten former Socialist countries in Central and South Eastern Europe to knock at the EU doors. By the way, at the time of the EU membership several economic and structural weaknesses remained. A tendency towards convergence between the new Member States (NMS) and the EU average income level emerged, together with a spread of inequality at the sub-regional level, mainly driven by the backwardness of the agricultural and rural areas. Several progresses were made in evaluating the policies for rural areas, but a shared definition of rurality is still missing. Numerous indicators were calculated for assessing the effectiveness of the Common Agricultural Policy and Rural Development Policy. Previous analysis on the Central and Eastern European countries found that the characteristics of the most backward areas were insufficiently addressed by the policies enacted; the low data availability and accountability at a sub-regional level, and the deficiencies in institutional planning and implementation represented an obstacle for targeting policies and payments. The next pages aim at providing a basis for understanding the connections between the peculiarities of the transition process, the current development performance of NMS and the EU role, with particular attention to the agricultural and rural areas. Applying a mixed methodological approach (multivariate statistics, non-parametric methods, spatial econometrics), this study contributes to the identification of rural areas and to the analysis of the changes occurred during the EU membership in Hungary, assessing the effect of CAP introduction and its contribution to the convergence of the Hungarian agricultural and rural. The author believes that more targeted – and therefore efficient – policies for agricultural and rural areas require a deeper knowledge of their structural and dynamic characteristics.