O ensino de estatística na ESALQ/USP: personagens, abordagens e problemáticas (1936 - 1959)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Entendimentos a respeito da matemática na educação do campo: questões sobre currículo

Pós-graduação em Educação Matemática - IGCE

Genome-wide association study and ancestral origins of the slick-hair coat in tropically adapted cattle

The slick hair coat (SLICK) is a dominantly inherited trait typically associated with tropically adapted cattle that are from Criollo descent through Spanish colonization of cattle into the New World. The trait is of interest relative to climate change, due to its association with improved thermo-tolerance and subsequent increased productivity. Previous studies localized the SLICK locus to a 4 cM region on chromosome (BTA) 20 and identified signatures of selection in this region derived from Senepol cattle. The current study compares three slick-haired Criollo-derived breeds including Senepol, Carora, and Romosinuano and three additional slick-haired cross-bred lineages to non-slick ancestral breeds. Genome-wide association (GWA), haplotype analysis, signatures of selection, runs of homozygosity (ROH), and identity by state (IBS) calculations were used to identify a 0.8 Mb (37.7-38.5 Mb) consensus region for the SLICK locus on BTA20 in which contains SKP2 and SPEF2 as possible candidate genes. Three specific haplotype patterns are identified in slick individuals, all with zero frequency in non-slick individuals. Admixture analysis identified common genetic patterns between the three slick breeds at the SLICK locus. Principal component analysis (PCA) and admixture results show Senepol and Romosinuano sharing a higher degree of genetic similarity to one another with a much lesser degree of similarity to Carora. Variation in GWA, haplotype analysis, and IBS calculations with accompanying population structure information supports potentially two mutations, one common to Senepol and Romosinuano and another in Carora, effecting genes contained within our refined location for the SLICK locus.

Amazon Rainforest Exchange of Carbon and Subcanopy Air Flow: Manaus LBA Site-A Complex Terrain Condition

On the moderately complex terrain covered by dense tropical Amazon Rainforest (Reserva Biologica do Cuieiras-ZF2-02 degrees 36'17.1 '' S, 60 degrees 12'24.4 '' W), subcanopy horizontal and vertical gradients of the air temperature, CO2 concentration and wind field were measured for the dry and wet periods in 2006. We tested the hypothesis that horizontal drainage flow over this study area is significant and can affect the interpretation of the high carbon uptake rates reported by previous works at this site. A similar experimental design as the one by Tota et al. (2008) was used with a network of wind, air temperature, and CO2 sensors above and below the forest canopy. A persistent and systematic subcanopy nighttime upslope (positive buoyancy) and daytime downslope (negative buoyancy) flow pattern on a moderately inclined slope (12%) was observed. The microcirculations observed above the canopy (38 m) over the sloping area during nighttime presents a downward motion indicating vertical convergence and correspondent horizontal divergence toward the valley area. During the daytime an inverse pattern was observed. The microcirculations above the canopy were driven mainly by buoyancy balancing the pressure gradient forces. In the subcanopy space the microcirculations were also driven by the same physical mechanisms but probably with the stress forcing contribution. The results also indicated that the horizontal and vertical scalar gradients (e. g., CO2) were modulated by these micro-circulations above and below the canopy, suggesting that estimates of advection using previous experimental approaches are not appropriate due to the tridimensional nature of the vertical and horizontal transport locally. This work also indicates that carbon budget from tower-based measurement is not enough to close the system, and one needs to include horizontal and vertical advection transport of CO2 into those estimates.

Comparative study and characterization of starches isolated from unconventional tuber sources

Some properties of canna (Canna indica L.) and bore (Alocasia macrorrhiza) starches were evaluated and compared using cassava starch (Manihot esculenta Crantz) as a reference. Proximate analysis, differential scanning calorimetry (DSC), thermogravimetric analysis (TGA), Fourier transform infrared spectroscopy (FTIR), X-ray diffraction (XRD) and viscosity measurements were performed. Canna and bore starches showed a similar degree of purity as that of the cassava starch. Canna starch exhibited higher thermal stability and viscosity of solution values than those of bore and cassava starches. XRD spectra showed that canna starch crystallizes as a B-type structure; however, bore and cassava starches crystallize as an A-type structure. Results proved that canna and bore starches are promising bio(materials), obtained from unconventional sources, to be used for industrial applications, as their physicochemical properties are similar to those of cassava starch, which it is known has potential applications in this area.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Genetic diversity of EBV-encoded LMP1 in the Swiss HIV Cohort Study and implication for NF-Κb activation

Epstein-Barr virus (EBV) is associated with several types of cancers including Hodgkin's lymphoma (HL) and nasopharyngeal carcinoma (NPC). EBV-encoded latent membrane protein 1 (LMP1), a multifunctional oncoprotein, is a powerful activator of the transcription factor NF-κB, a property that is essential for EBV-transformed lymphoblastoid cell survival. Previous studies reported LMP1 sequence variations and induction of higher NF-κB activation levels compared to the prototype B95-8 LMP1 by some variants. Here we used biopsies of EBV-associated cancers and blood of individuals included in the Swiss HIV Cohort Study (SHCS) to analyze LMP1 genetic diversity and impact of sequence variations on LMP1-mediated NF-κB activation potential. We found that a number of variants mediate higher NF-κB activation levels when compared to B95-8 LMP1 and mapped three single polymorphisms responsible for this phenotype: F106Y, I124V and F144I. F106Y was present in all LMP1 isolated in this study and its effect was variant dependent, suggesting that it was modulated by other polymorphisms. The two polymorphisms I124V and F144I were present in distinct phylogenetic groups and were linked with other specific polymorphisms nearby, I152L and D150A/L151I, respectively. The two sets of polymorphisms, I124V/I152L and F144I/D150A/L151I, which were markers of increased NF-κB activation in vitro, were not associated with EBV-associated HL in the SHCS. Taken together these results highlighted the importance of single polymorphisms for the modulation of LMP1 signaling activity and demonstrated that several groups of LMP1 variants, through distinct mutational paths, mediated enhanced NF-κB activation levels compared to B95-8 LMP1.

Using Blackboard Administered Precourse and Post course Tests to Assess Student Readiness to Learn and Change in Knowledge

Students arrive at classes with a varying social situations and course subject knowledge. Blackboard is a web based course delivery program that permits testing of students before arriving at the first class. A pretest was used to assess preexisting subject knowledge(S) and a survey was used to assess non-subject (N) factors that might impact the student’s final grade. A posttest was administered after all content was delivered and used to access change in S. [See PDF for complete abstract]

Is clipping the preferable technique to perform sympathicotomy? A retrospective study and review of the literature

PURPOSE Thoracoscopic sympathetic surgery is nowadays a broadly accepted technique in the treatment of primary hyperhidrosis as well as facial blushing. The objective of this study was to compare the two currently most commonly used methods for thoracic sympathicotomy: transection (ETS) and clipping (ETC.). METHODS This is a retrospective study on a total of 63 patients, who underwent rib-oriented sympathicotomy, either by transection (n = 36, 57 %) or by clipping (n = 27, 43 %). Moreover, the up-to-date international literature is reviewed concerning which level(s) of the sympathetic trunk should be addressed, depending on the patients underlying condition. Furthermore, the highly controversial topic of reversibility of sympathetic clipping is debated. RESULTS Our results confirm that clipping is at least as effective as transection of the sympathetic chain in the treatment of hyperhidrosis and facial blushing. Furthermore, the analysis of all larger studies on unclipping in humans shows a surprisingly high reported reversal rate between 48 and 77 %. CONCLUSIONS Depending on the symptoms of the patient, different levels of the sympathetic chain should be addressed. When a higher rib level such as R2 is approached, which more likely will result in moderate to severe compensatory sweating, clipping should be preferred as it seems that this technique has indeed a potential for reversibility. As demonstrated, this method is at least as effective as an irreversible transection of the sympathetic chain.

Coherence and Historical understanding in children's Biography and Historical Nonfiction Literature: A Content Analysis of Selected Orbis Pictus Books

The purpose of this study was to investigate a selection of children's historical nonfiction literature for evidence of coherence. Although research has been conducted on coherence of textbook material and its influences on comprehension there has been limited study on coherence in children's nonfiction literature. Generally, textual coherence has been seen as critical in the comprehensibility of content area textbooks because it concerns the unity of connections among ideas and information. Disciplinary coherence concerns the extent to which authors of historical text show readers how historians think and write. Since young readers are apprentices in learning historical content and conventions of historical thinking, evidence of disciplinary coherence is significant in nonfiction literature for young readers. The sample of the study contained 32 books published between 1989 and 2000 ranging in length from less than 90 pages to more than 150 pages. Content analysis was the quantitative research technique used to measure 84 variables of textual and disciplinary coherence in three passages of each book, as proportions of the total number of words for each book. Reliability analyses and an examination of 750 correlations showed the extent to which variables were related in the books. Three important findings emerged from the study that should be considered in the selection and use of children's historical nonfiction literature in classrooms. First, characteristics of coherence are significantly related together in high quality nonfiction literature. Second, shorter books have a higher proportion of textual coherence than longer books as measured in three passages. Third, presence of the author is related to characteristics of coherence throughout the books. The findings show that nonfiction literature offers students content that researchers have found textbooks lack. Both younger and older students have the opportunity to learn the conventions of historical thinking as they learn content through nonfiction literature. Further, the children's literature, represented in the Orbis Pictus list, shows students that authors select, interpret, and question information, and give other interpretations. The implications of the study for teaching history, teacher preparation in content and literacy, school practices, children's librarians, and publishers of children's nonfiction are discussed.

Exchange Rate Stabilization and IMF High Interest Rate Policy: A Critical Reconsideration Using a Dynamic Model

This paper examines whether the IMF high interest rate policy was suitable for crisis-ridden East Asian economies. Using an "overshoot" model similar to that of Dornbusch's (1976), it shows that this sort of policy might cause an unnecessary deflationary adjusting process and have no effect on containing the real depreciation of exchange rates in the long run. The study also demonstrates that Thai economic data coincides quite well with the model presented here. Finally, it points out that the high interest policy itself might provoke high risk-premium, the existence of which, in turn, justifies the policy. This means that the policy has a self-fulfilling property. In conclusion, a "one-size-fits-all" adaptation of high interest rate policy in a currency crisis is very dangerous in general, and was inappropriate for East Asia. The desirable policy would have been to let currencies depreciate and keep interest rates stable.

Skilled emigration and exchange rate : theory and empirics

In this paper we build a theoretical model on the wage effect of skilled emigration to the fluctuations in real exchange rate through the relative prices of nontradables. Our theoretical model predicts that skilled emigration is associated with an increase in the prices of nontradable, which in turn appreciates the exchange rate. We provide robust empirical support to a higher skilled emigration associated with higher prices in nontradables and appreciation of the real effective exchange rate. Based on two samples of countries with 51 and 67 observations, in 1990 and 2000 respectively, we find robust empirical support to a higher skilled emigration associated with higher prices in nontradables and appreciation of the REER. In addition, the support for the remittance-channel of the Dutch disease is also significant; overall, our findings corroborate the remittance-based Dutch disease phenomenon by providing an additional channel through which the labor mobility across borders affects the real exchange rate volatility.

Astros no rock: uma perspectiva sociocultural no uso da canção na educação em ciências

A incorporação de elementos da cultura primeira do estudante no processo de ensino-aprendizagem foi defendida pelo pedagogo francês Georges Snyders (1988) em sua obra \"A Alegria na Escola\". Esta pesquisa contribuiu com essa interface, identificando, no discurso de canções do rock n\' roll, elementos textuais que possibilitem reflexões no âmbito conceitual, epistemológico e sociopolítico sobre a exploração do espaço. O objeto de estudo neste trabalho são canções do período entre as décadas de 1960 e 1970 que possuem representações sobre a astronomia e as missões espaciais. O uso do rock justificou-se pelo fato de temas sobre exploração espacial aparecerem no trabalho de diversos artistas desse gênero musical, permitindo reflexões em nível conceitual, epistemológico e sociopolítico sobre a ciência, a tecnologia e suas relações com a sociedade e o ambiente. Além disso, identificamos que tanto o rock quanto as missões espaciais foram fenômenos culturais que dependeram em sua gênese dos avanços da tecnologia e da ciência e tiveram sua repercussão na sociedade através de processos midiáticos. Essas canções foram selecionadas entre os diversos gêneros de rock, e analisadas a partir de referenciais semiodiscursivos. As atividades foram aplicadas em situações formais de ensino - ensino médio e ensino superior -, em formação continuada de professores e projetos de ensino não formal na escola. No processo de ensinoaprendizagem, foram desenvolvidas atividades que envolviam leitura-comentada da canção, identificando na letra, melodia e harmonia, aspectos que evidenciavam um discurso crítico sobre a ciência e sua relação com a sociedade e o ambiente. Essas atividades envolveram três instâncias: Elaboração, Aplicação e Análise. Como referencial norteador dessas etapas, nos valemos das teorias socioculturais de Vigotski (2001), Snyders (1988) e Freire (2013).