Ilustração: o texto não verbal em livros infantis

This work presents the reading process in yours several levels, emphasizes the aspect of the image reading in children's books aimed at the pre-reader and the initial reader. In the book-image, the narrative text is based on actions involving the characters, time, space and conflict; this text consists of the sequence of illustrations so as to guide the reader by reading the images. Theoretical work enables the production of a book-image authored by researcher and describes the entire creative process until finalization as a physical product

Entre santos e demônios: a percepção do mal na teologia e hagiografias do Reino Visigodo de Toledo (séculos VI-VII)

Pós-graduação em História - FCLAS

A cultura escrita nos anos iniciais do ensino fundamental: implicações pedagógicas da Teoria Histórico- Cultural

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

Alguns procedimentos na poética de João Cabral e sua relação com a poesia contemporânea (década de 80 e 90)

Pós-graduação em Letras - IBILCE

Habitação social em centros urbanos consolidados: análise dialógica desde o percurso do projeto ao uso social: São Paulo (Brasil) e Roma (Itália)

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

Identificação de Physciaceae s.l. foliosas brasileiras

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

Comunicação e linguagem: diálogos, trânsitos e interditos

Este trabalho indica alguns referenciais teóricos que podem colaborar na discussão acerca dos vínculos entre comunicação e linguagem. Para tanto, remete a autores que fixaram categorias, sobretudo no âmbito verbal – das quais são exemplos multicentralidade, diálogo, interação, jogo, contrato, ação –, com potencial para permitir análises mais proficientes dos textos comunicacionais mediados tecnologicamente.

Gastroesophageal reflux, dental erosion, and halitosis in epidemiological surveys: a systematic review

In published studies, it has been suggested that dental wear is associated with gastroesophageal reflux disease (GERD). This systematic review was carried out to evaluate the association of GERD, dental erosion, and halitosis and to compare the indices adopted in epidemiological surveys. The Medline database (until October, 2011) was searched systematically to identify studies evaluating the prevalence of oral alterations, such as dental erosion and halitosis, in patients with GERD symptoms. Two reviewers analyzed all reports and the selected studies were evaluated according to the quality of evidence, using the validated Newcastle–Ottawa Quality Assessment Scale. Full-text copies of a total of 32 publications were obtained in duplicate. Sixteen publications were identified among the citations in the Bibliographic lists of studies that fulfilled the exclusion/inclusion criteria and quality of evidence. The relationship between dental erosion and GERD patients was significant in only seven studies. According to three studies, halitosis could be one of several extraesophageal symptoms or manifestations in GERD patients. In one study, it was found that the mucosa of GERD patients was significantly more acidic in comparison with that of the control group. This systematic review showed that there is a relationship between GERD and oral diseases (dental erosion and halitosis). The epidemiological surveys used different indices to analyze GERD and dental erosion. Further research could investigate the best method for assessing the two diseases.

Periódicos de Ciência da Informação nas bases de dados internacionais

PO artigo demonstra as interações entre algumas bases de dados internacionais na disponibilização de periódicos da área de Ciência da Informação. Para isso, foram investigadas seis bases de dados com acesso a texto completo dentro da área de Ciência da Informação. Foram elas: Web of Science, Scopus, Library, Information Science & Technology Abstracts, Information Science & Technology Abstracts, Library Literature Information Science – full text e Library Information Science Abstract. No desenvolvimento da pesquisa foram utilizados conceitos, princípios e equações da ‘teoria ingênua dos conjuntos’, o que permitiu observar as bases de dados como conjuntos compostos por elementos, aqui considerados os títulos de periódicos, bem como conferir consistência aos resultados. A análise dos dados foi dividida em três etapas, a saber: a) a primeira priorizou o cruzamento entre as duas maiores bases de dados utilizadas para levantamento bibliográfico (Web of Science e Scopus), seguido do cruzamento com a mais utilizada na Ciência da Informação, a Library and Information Science Abstracts; b) a segunda etapa tratou somente do cruzamento das bases especialistas da área; c) a terceira e última etapa tratou da interseção de todas as bases de dados do estudo. O resultado mostra que 10 títulos de periódicos constituem a interseção dos seis conjuntos de bases de dados. Foi possível identificar, também, o número de periódicos disponibilizados exclusivamente por uma base de dados, demonstrando que as necessidades de pesquisas bibliográficas exaustivas passam, obrigatoriamente, pelo levantamento em todas as bases de dados aqui elencadas.

O canteiro do poeta-arquiteto: a conduta criativa de João Cabral de Melo Neto à luz de seus manuscritos

Neste artigo repensamos a metáfora do "poeta-engenheiro", ou "poeta-arquiteto", que geralmente caracteriza o processo criativo de João Cabral de Melo Neto, à luz de uma leitura genética de manuscritos de A educação pela pedra. Veremos que o "arquiteto" da metáfora provém da teoria de Le Corbusier, na qual o desenho (a concepção) determina o canteiro (a execução). No entanto, a análise de transformações de estruturas por meio de reformulações textuais nos manuscritos do poeta mostra que, por vezes, o projeto, ou intenção, se transforma nos trabalhos da página-canteiro.

O envolvimento da atenção na codificação da informação visuoespacial integrada

O objetivo deste estudo foi investigar o envolvimento de recursos da atenção na codificação e manutenção da informação visual e espacial na memória de trabalho. Utilizou-se um paradigma de tarefas duplas em que uma tarefa primária de localização espacial foi realizada simultaneamente a uma tarefa atentiva secundária de discriminação de tons. O desempenho dos participantes (n = 20) na tarefa primária foi afetado pela presença e pela similaridade entre os tons da tarefa secundária, e também, pela instrução de priorizar uma ou outra tarefa. Os resultados indicam que recursos atentivos (do executivo central) estão envolvidos na codificação e na manutenção ativa da informação integrada na memória visuoespacial, assim como na manutenção dos objetivos das tarefas a serem realizadas simultaneamente.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Expressiveness in biologically inspired languages

A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.

Fonti cartografiche di Toscana e Catalogna di Età Moderna e Contemporanea. Ricostruire con il GIS, comunicare con WebGIS

The aim of this study is the creation of a Historical GIS that spatially reference data retrieved from Italian and Catalan historical sources and records. The generation of locates these metasource was achieved through the integral acquisition of source-oriented records and the insertion of mark-up fields, yet maintaining, where possible, the original encoding of the source documents. In order to standardize the set of information contained in the original documents and thus allow queries to the database, additional fields were introduced. Once the initial phase of data research and analysis was concluded the new virtual source was published online within an open WebGIS source. As a conclusion we have created a dynamic and spatially referenced database of geo-historical information. The configuration of this new source is such to guarantee the best possible accessibility.

L'area dei Lungarni di Pisa nel tardo Medioevo (XIV-XV secolo). un tentativo di ricostruzione in 3D.

Lo scopo di questa ricerca è la ricostruzione dei Lungarni di Pisa nel Tardo Medioevo (XIV-XV secolo); lo studio intende sottolineare le trasformazioni urbanistiche che hanno cambiato il volto di Pisa nel corso del tempo e ricordare che l’area fluviale ebbe un ruolo di primo piano come baricentro commerciale ed economico della città, vocazione che si è in gran parte persa con l’età moderna e contemporanea. La metodologia seguita, affinata e perfezionata durante la partecipazione al progetto Nu.M.E. (Nuovo Museo Elettronico della Città di Bologna), si basa sull’analisi e il confronto di fonti eterogenee ma complementari, che includono precedenti studi di storia dell’urbanistica, un corpus di documentazione di epoca medievale (provvedimenti amministrativi come gli Statuti del Comune di Pisa, ma anche descrizioni di cronisti e viaggiatori), fonti iconografiche, tra cui vedute e mappe cinquecentesche o successive, e fonti materiali, come le persistenze medievali ancora osservabili all’interno degli edifici ed i reperti rinvenuti durante alcune campagne di scavo archeologiche. Il modello 3D non è concepito come statico e “chiuso”, ma è liberamente esplorabile all’interno di un engine tridimensionale; tale prodotto può essere destinato a livelli di utenza diversi, che includono sia studiosi e specialisti interessati a conoscere un maggior numero di informazioni e ad approfondire la ricerca, sia semplici cittadini appassionati di storia o utenti più giovani, come studenti di scuole medie superiori e inferiori.