As representações sociais da Geografia escolar: um olhar sobre a prática didático-pedagógica

To present research had for study object to understand the social representations of the school geography for the students of the Municipal Schools Lions Prata and Dr. Francisco Brasileiro, located in the neighborhood of Catolé, and in Santa Terezinha District, respectively, in the municipal district of Campina Grande/PB. The objective of that study consisted of identifying, to understand and to analyze those apprehensions in the form as they are communicated and executed at the school and in the society. That search is due to the fact that the constant reproduction of the same ones in the current world context in that we are inserted doesn't to the understanding of the being's complexity and of the knowledge in the educational and social extent. Like this, we considered urgent their dialogues in practice didactic-pedagogic of the geography for ressignificar the geographical knowledge produced in the city. Authors as Moscovici; Jodelet; Bourdieu; Tuan; Foucault; Castoriadis; Morin among others contributed in the reflexive mediation of the imaginary symbolic emitted by the interior speeches of the 281 (two hundred and eighty and a) researched students. Those corresponded to 64,0% (sixty four) integral of the enrolled ones in the two schools of the municipal public system of teaching (INEP, 2005). A qualitative-quantitative survey was used and its answers were categorized by using the statistical description of the Statistical Package for the Social Sciences SPSS Program. The freeassociation of words technique was also used in order to verify some information. The results revealed that the social representations of geography are still grounded in fragmented, content-based, positivistic and functional conceptions of man, society and the world. Manifestation of a traditional and organicistic teaching, this unveiling excludes the historical capacity of the students creative construction of knowledge, as well as a competent and demanding educational mediation

Elementos de política de indexação em biblioteca universitária da área médica

In the context of university libraries, the optimization and streamlining of services and processes related to informational content indexing and retrieval are strongly influenced by the indexing policy adopted. This article is aimed at researching the indexing policy elements that are more suitable for medical university libraries. To achieve our objective, we applied three instruments: organizational culture analysis, individual verbal protocol and evaluation of indexing. Results emphasize the importance of developing an indexing policy to improve the processes and services offered by university libraries, as well as the retrieval of information by the user community. More studies are necessary in the medical area involvoving catalogers, experts, users and managers for the development of the indexing manual.

Inclusão de alunos com deficiência na aula de educação física: identificando dificuldades, ações e conteúdos para prover a formação do professor

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

Elementos de política de indización para bibliotecas universitarias del área médica

In the context of university libraries, the optimization and streamlining of services and processes related to informational content indexing and retrieval are strongly influenced by the indexing policy adopted. This article is aimed at researching the indexing policy elements that are more suitable for medical university libraries. To achieve our objective, we applied three instruments: organizational culture analysis, individual verbal protocol and evaluation of indexing. Results emphasize the importance of developing an indexing policy to improve the processes and services offered by university libraries, as well as the retrieval of information by the user community. More studies are necessary in the medical area involvoving catalogers, experts, users and managers for the development of the indexing manual.

Sistema de recomendação de produtos online baseado em palavras-chave

This project aims to explore the many methods used for the development of recommendation systems to user ’ s items and apply the content - based recommendation method on a prototype system whose purpose is to recommend books to users. This paper exposes the most popular methods for creating systems capable of providing items (products) according to user preferences, such as collaborat ive filtering and content - based. It also point different techniques that can be applied to calculate the similarity between two entities, for items or users, as the Pearson ’s method, calculating the cosine of vectors and more recently, a proposal to use a Bayesian system under a Dirichlet distribution. In addition, this work has the purpose to go through various points on the design of an online application, or a website, dealing not only oriented algorithms issues, but also the definition of development to ols and techniques to improve the user’s experience. The tools used for the development of the page are listed, and a topic about web design is also discussed in order to emphasize the importance of the layout of the application. At the end, some examples of recommender systems are presented for curiosity , learning and research purposes

Monitoramento hidrossedimentlógico da bacia hidrográfica do alto rio Sucuriú (MS) contribuinte da PCH Costa Rica

The growing demand for electricity in Brazil has stimulated the implementation of Small Hydro Power (PCH) in various regions of the country. However, the silting of reservoirs is a major problem faced by power plants and power plants. In this context, this study aimed to evaluate the data hydrosedimentological strategic points of the watershed of the Alto Rio Sucuriú (MS) to identify the possible causes siltation of the reservoir PCH Costa Rica and suggest mitigation measures. Hydrosedimentological surveys were conducted during the rainy season (February / March 2012) and drought (August 2012), and obtained data flow, discharge liquid, suspended solids and bottom and organic matter content. Based on these results it was determined that the points 2, 4, 7 and 9 are the largest contributors to sedimentation, and point 4 got most liquid discharge (38,20 m3s-1), point 7 largest discharge of solid suspension (906,3 mg L-1), points 2 and 4 major discharges solid totals (231,59 t dia-1 and 238,185 t dia-1 respectively) and point 9 higher organic matter content (22,18%) . Found greater fraction of fine sand and very fine suspended solids and solid medium sand in the background. As mitigation measures for the process of silting of the reservoir PCH Costa Rica (MS) highlights the orientation of landowners in adopting conservation measures and planting of leguminous species native to the region in symbiosis with nitrogen-fixing bacteria

Combining ALOS/PALSAR derived vegetation structure and inundation patterns to characterize major vegetation types in the Mamiraua Sustainable Development Reserve, Central Amazon floodplain, Brazil

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

Utilização de imagens omnidirecionais georreferenciadas como controle de campo para orientação de imagens orbitais

Pós-graduação em Ciências Cartográficas - FCT

Gamificação: abordagem e construção conceitual para aplicativosem TV Digital Interativa

The deployment of Digital TV in Brazil opens up space for the development of educative content based on the concepts of t-learning and edutertainment. The study proposes the application of the gamification as a link of communication to encourage and modify the users’ behavior. However, bumps into itself on the conceptual problem, once the literature brings several definitions that vary according to the application context. The objective this study, exploratory, is to propose a conceptual approach, in order to build a delimited concept that substantiates the gamification system in Interactive Digital TV.

Mineralogia da fração argila dos solos do Planalto Ocidental Paulista

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

Aboutness em Análise Documental de textos literários infanto-juvenis: perspectivas para o aprimoramento da representação de conteúdo

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

Process of construction of an educational booklet for health promotion of pregnant women

This study aimed to describe the production process of an educational booklet focusing on health promotion of pregnant women. The action research method was used in this process composed of the following steps: choice of the content based on the needs of pregnant women, creation of illustrations, content preparation based on scientific literature, validation of the material by experts and pregnant women. This work resulted in the final version of the booklet, which was entitled "Celebrating life: our commitment with the health promotion of pregnant women". Active participation of health professionals and pregnant women through dialogue and collective strategy permeated the process of development of the booklet. The opinions of pregnant women and experts who considered the booklet enriching and enlightening justify the use of it as an additional resource of educational activities carried out during the prenatal care.

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.

Utilizzo metrico di immagini panoramiche satellitari CORONA

CAPITOLO 1 INTRODUZIONE Il lavoro presentato è relativo all’utilizzo a fini metrici di immagini satellitari storiche a geometria panoramica; in particolare sono state elaborate immagini satellitari acquisite dalla piattaforma statunitense CORONA, progettata ed impiegata essenzialmente a scopi militari tra gli anni ’60 e ’70 del secolo scorso, e recentemente soggette ad una declassificazione che ne ha consentito l’accesso anche a scopi ed utenti non militari. Il tema del recupero di immagini aeree e satellitari del passato è di grande interesse per un ampio spettro di applicazioni sul territorio, dall’analisi dello sviluppo urbano o in ambito regionale fino ad indagini specifiche locali relative a siti di interesse archeologico, industriale, ambientale. Esiste infatti un grandissimo patrimonio informativo che potrebbe colmare le lacune della documentazione cartografica, di per sé, per ovvi motivi tecnici ed economici, limitata a rappresentare l’evoluzione territoriale in modo asincrono e sporadico, e con “forzature” e limitazioni nel contenuto informativo legate agli scopi ed alle modalità di rappresentazione delle carte nel corso del tempo e per diversi tipi di applicazioni. L’immagine di tipo fotografico offre una rappresentazione completa, ancorché non soggettiva, dell’esistente e può complementare molto efficacemente il dato cartografico o farne le veci laddove questo non esista. La maggior parte del patrimonio di immagini storiche è certamente legata a voli fotogrammetrici che, a partire dai primi decenni del ‘900, hanno interessato vaste aree dei paesi più avanzati, o regioni di interesse a fini bellici. Accanto a queste, ed ovviamente su periodi più vicini a noi, si collocano le immagini acquisite da piattaforma satellitare, tra le quali rivestono un grande interesse quelle realizzate a scopo di spionaggio militare, essendo ad alta risoluzione geometrica e di ottimo dettaglio. Purtroppo, questo ricco patrimonio è ancora oggi in gran parte inaccessibile, anche se recentemente sono state avviate iniziative per permetterne l’accesso a fini civili, in considerazione anche dell’obsolescenza del dato e della disponibilità di altre e migliori fonti di informazione che il moderno telerilevamento ci propone. L’impiego di immagini storiche, siano esse aeree o satellitari, è nella gran parte dei casi di carattere qualitativo, inteso ad investigare sulla presenza o assenza di oggetti o fenomeni, e di rado assume un carattere metrico ed oggettivo, che richiederebbe tra l’altro la conoscenza di dati tecnici (per esempio il certificato di calibrazione nel caso delle camere aerofotogrammetriche) che sono andati perduti o sono inaccessibili. Va ricordato anche che i mezzi di presa dell’epoca erano spesso soggetti a fenomeni di distorsione ottica o altro tipo di degrado delle immagini che ne rendevano difficile un uso metrico. D’altra parte, un utilizzo metrico di queste immagini consentirebbe di conferire all’analisi del territorio e delle modifiche in esso intercorse anche un significato oggettivo che sarebbe essenziale per diversi scopi: per esempio, per potere effettuare misure su oggetti non più esistenti o per potere confrontare con precisione o co-registrare le immagini storiche con quelle attuali opportunamente georeferenziate. Il caso delle immagini Corona è molto interessante, per una serie di specificità che esse presentano: in primo luogo esse associano ad una alta risoluzione (dimensione del pixel a terra fino a 1.80 metri) una ampia copertura a terra (i fotogrammi di alcune missioni coprono strisce lunghe fino a 250 chilometri). Queste due caratteristiche “derivano” dal principio adottato in fase di acquisizione delle immagini stesse, vale a dire la geometria panoramica scelta appunto perché l’unica che consente di associare le due caratteristiche predette e quindi molto indicata ai fini spionaggio. Inoltre, data la numerosità e la frequenza delle missioni all’interno dell’omonimo programma, le serie storiche di questi fotogrammi permettono una ricostruzione “ricca” e “minuziosa” degli assetti territoriali pregressi, data appunto la maggior quantità di informazioni e l’imparzialità associabili ai prodotti fotografici. Va precisato sin dall’inizio come queste immagini, seppur rappresentino una risorsa “storica” notevole (sono datate fra il 1959 ed il 1972 e coprono regioni moto ampie e di grandissimo interesse per analisi territoriali), siano state molto raramente impiegate a scopi metrici. Ciò è probabilmente imputabile al fatto che il loro trattamento a fini metrici non è affatto semplice per tutta una serie di motivi che saranno evidenziati nei capitoli successivi. La sperimentazione condotta nell’ambito della tesi ha avuto due obiettivi primari, uno generale ed uno più particolare: da un lato il tentativo di valutare in senso lato le potenzialità dell’enorme patrimonio rappresentato da tali immagini (reperibili ad un costo basso in confronto a prodotti simili) e dall’altro l’opportunità di indagare la situazione territoriale locale per una zona della Turchia sud orientale (intorno al sito archeologico di Tilmen Höyük) sulla quale è attivo un progetto condotto dall’Università di Bologna (responsabile scientifico il Prof. Nicolò Marchetti del Dipartimento di Archeologia), a cui il DISTART collabora attivamente dal 2005. L’attività è condotta in collaborazione con l’Università di Istanbul ed il Museo Archeologico di Gaziantep. Questo lavoro si inserisce, inoltre, in un’ottica più ampia di quelle esposta, dello studio cioè a carattere regionale della zona in cui si trovano gli scavi archeologici di Tilmen Höyük; la disponibilità di immagini multitemporali su un ampio intervallo temporale, nonché di tipo multi sensore, con dati multispettrali, doterebbe questo studio di strumenti di conoscenza di altissimo interesse per la caratterizzazione dei cambiamenti intercorsi. Per quanto riguarda l’aspetto più generale, mettere a punto una procedura per il trattamento metrico delle immagini CORONA può rivelarsi utile all’intera comunità che ruota attorno al “mondo” dei GIS e del telerilevamento; come prima ricordato tali immagini (che coprono una superficie di quasi due milioni di chilometri quadrati) rappresentano un patrimonio storico fotografico immenso che potrebbe (e dovrebbe) essere utilizzato sia a scopi archeologici, sia come supporto per lo studio, in ambiente GIS, delle dinamiche territoriali di sviluppo di quelle zone in cui sono scarse o addirittura assenti immagini satellitari dati cartografici pregressi. Il lavoro è stato suddiviso in 6 capitoli, di cui il presente costituisce il primo. Il secondo capitolo è stato dedicato alla descrizione sommaria del progetto spaziale CORONA (progetto statunitense condotto a scopo di fotoricognizione del territorio dell’ex Unione Sovietica e delle aree Mediorientali politicamente correlate ad essa); in questa fase vengono riportate notizie in merito alla nascita e all’evoluzione di tale programma, vengono descritti piuttosto dettagliatamente gli aspetti concernenti le ottiche impiegate e le modalità di acquisizione delle immagini, vengono riportati tutti i riferimenti (storici e non) utili a chi volesse approfondire la conoscenza di questo straordinario programma spaziale. Nel terzo capitolo viene presentata una breve discussione in merito alle immagini panoramiche in generale, vale a dire le modalità di acquisizione, gli aspetti geometrici e prospettici alla base del principio panoramico, i pregi ed i difetti di questo tipo di immagini. Vengono inoltre presentati i diversi metodi rintracciabili in bibliografia per la correzione delle immagini panoramiche e quelli impiegati dai diversi autori (pochi per la verità) che hanno scelto di conferire un significato metrico (quindi quantitativo e non solo qualitativo come è accaduto per lungo tempo) alle immagini CORONA. Il quarto capitolo rappresenta una breve descrizione del sito archeologico di Tilmen Höyuk; collocazione geografica, cronologia delle varie campagne di studio che l’hanno riguardato, monumenti e suppellettili rinvenute nell’area e che hanno reso possibili una ricostruzione virtuale dell’aspetto originario della città ed una più profonda comprensione della situazione delle capitali del Mediterraneo durante il periodo del Bronzo Medio. Il quinto capitolo è dedicato allo “scopo” principe del lavoro affrontato, vale a dire la generazione dell’ortofotomosaico relativo alla zona di cui sopra. Dopo un’introduzione teorica in merito alla produzione di questo tipo di prodotto (procedure e trasformazioni utilizzabili, metodi di interpolazione dei pixel, qualità del DEM utilizzato), vengono presentati e commentati i risultati ottenuti, cercando di evidenziare le correlazioni fra gli stessi e le problematiche di diversa natura incontrate nella redazione di questo lavoro di tesi. Nel sesto ed ultimo capitolo sono contenute le conclusioni in merito al lavoro in questa sede presentato. Nell’appendice A vengono riportate le tabelle dei punti di controllo utilizzati in fase di orientamento esterno dei fotogrammi.