Manuais Didáticos e literatura infantil: as leituras infantis no Brasil e em Portugal

The school textbook is an important pedagogic resource in the classroom, and it is frequently the only one. But, an analysis of the Maternal Language’s textbooks in Brazil and in Portugal allowed us to detect serious didactic obstacles to the learning of the language in its semiotic omnifuncionality. In this paper we are going to present the results of a project that involves the presence of a children’s literature book in the classroom instead of the textbook adaptations. We developed activities before, during and after the reading in a fourth grade class of an Elementary School in Brazil and Portugal having the aim of build readers.

Linguagens expressivas e a formação de professores para a educação infantil: um estudo de projeto pedagógico

Pós-graduação em Educação Escolar - FCLAR

Estudo lipidômico em folhas de cultivares de cana-de-açúcar e avaliação do papel desses metabólicos na ferrugem alaranjada

Pós-graduação em Química - IQ

Mídia radical: análise comparativa entre a opinião da grande imprensa e da mídia radical no novo código florestal

The objective of this work is to compare how manifests the ideological positioning in the hegemonic media productions, according to Gramsci's conception, in relation to the radical alternative media, proposed by John Downing. The research has as opinionated content sample printed newspaper O Estado de s. Paulo, contrasting with the expressions of NON-PROFIT bauruense environmental “Instituto Ambiental Vidágua on the proposals of the new Brazilian forest Code. The analysis will hold in an interval between the adoption of the code by the Chamber of deputies in April 2012, and the provisional measure of President Dilma Rousseff with 32 modifications, after vetoing 12 articles proposed initially in may 2012. To support the study, will be crafted Gramsci hegemony; What is the alternative and radical media as it manifests itself; the relationship between the environmental journalism with the environmental NGOs; opinionated journalism and journalistic genres opinionated; theories of journalism and framing of matter

Língua wauja (arawak): uma descrição fonológica e morfossintática

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

O percurso da memória nos romances de Antônio Torres: a constituição do eu na fronteira entre o sertão e a cidade

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

Ação do extrato de glândulas salivares de fêmeas do carrapato Rhipicephalus sanguineus (Latreille, 1806) sobre a inibição da proliferação de células de linhagem tumoral

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

Evaluation of pH effects on genomic integrity in adipose-derived mesenchymal stem cells using the comet assay

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

Funções e formas de provimento dos diretores das redes estaduais paulista e paranaense

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

Diagnóstico laboratorial de Mycobacterium spp. em Botucatu e região, utilizando a técnica Reação em Cadeia da Polimerase (PCR) em material biológico e avaliação de condições associadas

Pós-graduação em Saúde Coletiva - FMB

Aplicação de um jogo digital e análise de conceitos da teoria cinética dos gases

Pós-graduação em Educação para a Ciência - FC

Lithium in M 67: From the main sequence to the red giant branch

Context. Lithium abundances in open clusters are a very effective probe of mixing processes, and their study can help us to understand the large depletion of lithium that occurs in the Sun. Owing to its age and metallicity, the open cluster M 67 is especially interesting on this respect. Many studies of lithium abundances in M 67 have been performed, but a homogeneous global analysis of lithium in stars from subsolar masses and extending to the most massive members, has yet to be accomplished for a large sample based on high-quality spectra. Aims. We test our non-standard models, which were calibrated using the Sun with observational data. Methods. We collect literature data to analyze, for the first time in a homogeneous way, the non-local thermal equilibrium lithium abundances of all observed single stars in M 67 more massive than similar to 0.9 M-circle dot. Our grid of evolutionary models is computed assuming a non-standard mixing at metallicity [Fe/H] = 0.01, using the Toulouse-Geneva evolution code. Our analysis starts from the entrance into the zero-age main-sequence. Results. Lithium in M 67 is a tight function of mass for stars more massive than the Sun, apart from a few outliers. A plateau in lithium abundances is observed for turn-off stars. Both less massive (M >= 1.10 M-circle dot) and more massive (M >= 1.28 M-circle dot) stars are more depleted than those in the plateau. There is a significant scatter in lithium abundances for any given mass M <= 1.1 M-circle dot. Conclusions. Our models qualitatively reproduce most of the features described above, although the predicted depletion of lithium is 0.45 dex smaller than observed for masses in the plateau region, i.e. between 1.1 and 1.28 solar masses. More work is clearly needed to accurately reproduce the observations. Despite hints that chromospheric activity and rotation play a role in lithium depletion, no firm conclusion can be drawn with the presently available data.

Diversity and genetic structure in natural populations of Hancornia speciosa var. speciosa Gomes in northeastern Brazil

Hancornia speciosa Gomes is a fruit tree native from Brazil that belongs to Apocinaceae family, and is popularly known as Mangabeira. Its fruits are widely consumed raw or processed as fruit jam, juices and ice creams, which have made it a target of intense exploitation. The extractive activities and intense human activity on the environment of natural occurrence of H. speciosa has caused genetic erosion in the species and little is known about the ecology or genetic structure of natural populations. The objective of this research was the evaluation of the genetic diversity and genetic structure of H. speciosa var. speciosa. The genetic variability was assessed using 11 allozyme loci with a sample of 164 individuals distributed in six natural populations located in the States of Pernambuco and Alagoas, Northeastern Brazil. The results showed a high level of genetic diversity within the species (e= 0.36) seeing that the most of the genetic variability of H. speciosa var. speciosa is within its natural populations with low difference among populations ( or = 0.081). The inbreeding values within ( = -0.555) and among populations ( =-0.428) were low showing lacking of endogamy and a surplus of heterozygotes. The estimated gene flow ( m ) was high, ranging from 2.20 to 13.18, indicating to be enough to prevent the effects of genetic drift and genetic differentiation among populations. The multivariate analyses indicated that there is a relationship between genetic and geographical distances, which was confirmed by a spatial pattern analysis using Mantel test (r = 0.3598; p = 0.0920) with 1000 random permutations. The high genetic diversity index in these populations indicates potential for in situ genetic conservation.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

OGRE: analisi di un motore grafico 3D

In questa tesi descriveremo e analizzeremo il motore grafico OGRE, acronimo di Object-Oriented Graphics Rendering Engine. La scelta di analizzare proprio questo motore grafico è legata a diverse considerazioni. Innanzitutto, OGRE è rilasciato con licenza open source e quindi rende disponibile il suo codice sorgente. Questo è molto importante, in un contesto di studio e sperimentazione come quello universitario, perché permette di comprendere e analizzare anche il funzionamento interno del motore grafico. Inoltre, OGRE è un progetto maturo e stabile con una vasta comunità di sviluppatori e utilizzatori alle spalle. Esiste molta documentazione a riguardo, tra wiki, libri e manuali, e un forum molto attivo per la richiesta di aiuto e consigli. A conferma, sia della bontà del progetto che delle ottime prestazioni del motore grafico, basta dire che OGRE è utilizzato anche da applicazioni commerciali, come videogame, editor 3D e simulatori. Infine, la caratteristica che contraddistingue OGRE da tutti gli altri motori grafici è il fatto di essere "solamente" un motore di rendering puro. Ciò significa che qualsiasi funzionalità non direttamente legata al rendering, come ad esempio la gestione degli input dell'utente, non è supportata da OGRE. Anche se questo può sembrare un difetto, in realtà ciò permetterà di concentrarci solamente sugli aspetti legati al rendering che, in un motore grafico, costituiscono la parte fondamentale.