Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2015-05-26T15:06:41Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Denise.pdf: 985273 bytes, checksum: 8f727fd2da4cbb1ffb74254bcf6b15b7 (MD5) / Made available in DSpace on 2015-05-26T15:06:41Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Denise.pdf: 985273 bytes, checksum: 8f727fd2da4cbb1ffb74254bcf6b15b7 (MD5) Previous issue date: 2014-02-27 / CAPES / A compreensão de textos envolve três dimensões que se relacionam: uma dimensão social, uma dimensão cognitiva e uma dimensão linguística. O presente estudo versa sobre a dimensão cognitiva e linguística, tratando das inferências e das características estruturais dos textos. Adota-se o modelo de Construção-Integração proposto por Kintsch, em que as inferências assumem lugar de destaque na compreensão de textos. Assim, o objetivo geral da pesquisa é examinar as relações entre compreensão de texto e tipos de textos que apresentam características estruturais distintas, como ocorre com os testos narrativos e argumentativos. De modo especifico, examinou-se as relações entre o estabelecimento de inferências de diferentes tipos (causais, de estado e de previsão) e tipos de textos. Participaram do estudo 100 crianças (8 e 9 anos), de classe média, alunos do 3º e 4º anos do ensino fundamental de escolas particulares. Cada criança foi entrevistada individualmente em duas sessões. A tarefa envolvia a leitura interrompida de um texto narrativo e de um texto argumentativo divididos em partes. Este procedimento de apresentação dos textos é denominado de metodologia on-line. Após a leitura de cada parte eram feitas perguntas inferenciais de diferentes tipos: causais, de estado e de previsão. As respostas às perguntas inferenciais foram analisadas por juízes independentes, sendo assim classificadas: Categoria I (não responde); Categoria II (incoerente e/ou improvável); e Categoria III (coerente e/ ou provável, mas incompleta) e a Categoria IV (coerente e/ou provável). De modo geral, comparações entre os textos narrativo e argumentativo e entre os diferentes tipos de inferências (causais, de estado e de previsão) mostraram que o tipo de inferência influencia o tipo de resposta dada pela criança, uma vez que as inferências causais e de estado eram mais fáceis de serem estabelecidas dos que as inferências de previsão. Outro dado, também de natureza geral, foi que tanto no texto narrativo como no argumentativo as crianças tendiam ater um bom nível de compreensão. No entanto, no texto argumentativo as crianças tendiam a dar respostas apropriadas, porém eram incompletas; enquanto que no texto narrativo, elas tendiam a fornecer respostas apropriadas e completas. Observou-se ainda que as relações inferenciais, sejam elas de causalidade, de estado ou de previsão, variam em função do tipo de texto que está sendo compreendido, assumindo características relacionadas às propriedades do texto.

Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. / This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.

Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. / This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.

Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. / This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.

Se evaluó el efecto de tres tipos de empadre y dos tipos de alimentación sobre parámetros reproductivos, empleando 210 hembras y 30 machos en un diseño de bloques completos al azar con arreglo factorial 2 (tipos de alimentación) x 3 (tres tipos de empadre: postparto, post destete y post descanso. La evaluación correspondió a información de segundo y tercer parto. Se encontró efecto (p<0.05) del tipo de empadre sobre las variables peso promedio al nacimiento, número de partos por año y uso eficiente del celo y un efecto marginal (p<0.057) para la tasa de fertilidad. También hubo efecto del tipo de alimentación (p<0.05) sobre la variable peso promedio al nacimiento. Asimismo se identificó efecto de la interacción tipo de alimento por tipo de empadre cuya interpretación señala que la suplementación tiende a mejorar la tasa de fertilidad, el tamaño de camada y el índice de productividad anual estimado en el empadre post parto y tiende a reducirlo en los empadres post destete y post parto proporcionalmente al tiempo trascurrido desde el parto al inicio del empadre. Se recomienda emplear para crianzas de cuyes en Sierra el empadre post parto con suplementación energética a una ración de forraje verde a discreción o el empadre post destete con alimentación de solo forraje verde a discreción. / This paper evaluated the effect of three kind of mating and two feeding types on reproductive parameters using a sample of 210 females and 30 males with a complete block design with a factorial arrangement of 2 (feeding types) per 3 (mating types: postpartum, postweaning, post break). The evaluation came from the information of the second and third birth. The results showed an impact (p<0.05) of mating types over variables such average birth weight, numbers of birth per year and the efficient use of heat, on the other hand, there's a marginal effect (p<0.057) on fertility rate. Additionally, there’s an influence of the type of feeding (p<0.05) on the average birth weight. Also, other data identify the effect of the interaction between feeding type and mating type which interpretation demonstrated that supplementation tends to improve fertility rate, average birth size and estimated annual productivity index during the mating and postpartum, likewise, it tends to reduce in matings with post weaning and post partum according to the time since the birth to the beginning of the mating. In conclusion, it’s recommended to guinea pig breeding the mating post partum with energetic supplementation with a ration of green forage to discretion o the mating post weaning with a feeding based only in a green forage to discretion. / Tesis

La presente tesis muestra de manera comparativa los distintos tipos de sostenimiento que se usan actualmente en la Mina Cobriza. Tomamos como referencia además el uso del Shotcrete vía húmeda como método de ensayo, por ser este un sistema de sostenimiento relativamente nuevo usado por Doe Run desde el año 1999 hasta la actualidad en las labores de la Mina Cobriza su principal unidad de explotación y productor de concentrado.

Seminario para optar al título de Ingeniero Comercial, Mención Administración / Tomando como punto de partida la Teoría de la Paridad del Poder de Compra, este trabajo revisa parte de la evidencia empírica relacionada con el fin de analizar las debilidades y fortalezas de cada metodología, considerando los puntos críticos expuestos como contexto univariado o multivariado y la elección del índice que sustituye el ratio de precios.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-11-09T19:27:14Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2019-01-25T17:02:05Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) / Made available in DSpace on 2019-01-25T17:02:05Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) Previous issue date: 2015-07-25 / CAPES / O presente trabalho tem como objetivo o estudo de uma entidade computacional conhecida como caminhos computacionais. Proposta originalmente por QUEIROZ; OLIVEIRA (2011) como ’sequências de reescritas’, a ideia é que os caminhos computacionais funcionam como os termos do tipo identidade da Teoria dos Tipos de Martin-Löf’. Esse trabalho expande essa ideia, mostrando uma formalização completa do tipo identidade a partir dos caminhos computacionais. É mostrado que os caminhos computacionais tornam o tipo identidade uma entidade muito mais intuitiva e simples, quando comparado com a abordagem tradicional. Um outro foco desse trabalho é o estudo das propriedades matemáticas dos caminhos computacionais. Em particular, o interesse é em explorar a relação entre os caminhos e a teoria das categorias. Especificamente, é provado que os caminhos computacionais são capazes de induzir uma estrutura algébrica conhecida como grupóide. Esse resultado está de acordo com os resultados obtidos por HOFMANN; STREICHER (1994), que mostram que a abordagem tradicional do tipo identidade induzem um modelo de grupóide. / The current work aims to study a computational entity known as computational paths. Originally proposed by QUEIROZ; OLIVEIRA (2011) as ’sequence of rewrites’, the idea is that computational paths are terms of Martin-Löf’s identity type. This work expands this idea, showing a complete formalization of the identity type using computational paths. It is shown that computational paths makes the identity type a much simpler and more intuitive entity, when compared to the tradional approach. Another focus of this work is the study of the mathematical properties of computational paths. In particular, the main aim is the relation between computational paths and category theory. Specifically, this work shows that computational paths are capable of inducing an algebraic structure known as groupoid. This results is on a par with the one obtained by HOFMANN; STREICHER (1994), which shows that the traditional approach of the identity type also induces a grupoid model.

El presente trabajo engloba un estudio de la prevalencía de la maloclusion clase II esquelética de los pacientes del post grado de ortodoncia de la UMSA gestión 2005-2007, de los cuales se realizo un levantamiento de la prevalencía de la clase II tanto esquelética como dental. Se contó con una muestra de 140 pacientes de ambos géneros, se evaluaron las radiografías lateral de cráneo, de cada paciente nueve medidas cefalométricas del análisis de Ricketts correspondientes a maloclusiones clase II, entran dentro este estudio todos aquellos que presentaban los cuatro primeros molares permanentes, excluyendo a los pacientes que tengan alguna malformación esquelética o malformación congénita, los que cumplieron con los criterios de inclusión a los cuales se realizo el trazado cefalometrico y la observación de las llaves molares en los modelos de estudio en los 140 pacientes. Se determino que la prevalencía de maloclusion esquelética es la clase II, mientras que la maloclusion dental de mayor prevalencía es la clase I molar

Made available in DSpace on 2016-08-29T15:08:46Z (GMT). No. of bitstreams: 1 tese_4664_DISSERTACAO - MÁRIO A. ALVES Jr..pdf: 677407 bytes, checksum: 4334fbf9073cc92755a706930e10762d (MD5) Previous issue date: 2011-02-18 / Esta pesquisa objetiva investigar o comportamento das expressões rotuladoras em textos pertencentes a gêneros do domínio jornalístico/midiático, apoiando-se em uma perspectiva sociointeracional e discursiva de linguagem e orientando-se pela proposta bastante difundida de que o processo de rotulação atua do nível textual ao enunciativo por vias de sua multifuncionalidade: ele opera a organização da superfície textual e do discurso, e desempenha importante papel semântico-argumentativo. Seguindo esta linha de análise, este trabalho se concentra nos tópicos recorrentes na pesquisa sobre o tema da rotulação, bem como em outras questões que merecem discussões mais ampliadas, como a relação entre a rotulação e as sequências tipológicas. Além disso, as análises desenvolvidas também dão conta da função de modalização enunciativa evidenciada pelo emprego dos rótulos nos textos. Os rótulos, portanto, não apenas organizam os textos, mas carregam informações acerca do conteúdo cotextual e opiniões do locutor acerca de determinados tópicos, situando-se, com alta frequência, em enunciados do tipo comentário. Ao longo dos textos, esses comentários aparecem operando a ligação entre unidades textuais de estatuto mais complexo, os quais Bronckart classifica como tipos de discurso. Palavras-chaves: Referenciação; Rotulação; Argumentação; Tipos de discurso.