Made available in DSpace on 2015-04-14T14:49:51Z (GMT). No. of bitstreams: 1 439881.pdf: 4189361 bytes, checksum: cc72da8cbd69a8a5387851bb140f1b30 (MD5) Previous issue date: 2012-03-30 / This work aims to study conceptual structures based on the Formal Concept Analysis method. We build these structures based on lexico-semantic information extracted from texts, among which we highlight the semantic roles. In our research, we propose ways to include semantic roles in concepts produced by this formal method. We analyze the contribution of semantic roles and verb classes in the composition of these concepts through structural measures. In these studies, we use the Penn Treebank Sample and SemLink 1.1 corpora, both in English. We test, also for English, the applicability of our proposal in the Finance and Tourism domains with text extracted from the Wikicorpus 1.0. This applicability was extrinsically analyzed based on the text categorization task, which was evaluated through functional measures traditionally used in this area. We also performed some preliminary studies for a corpus in Portuguese: PLN-BR CATEG. In our studies, we obtained satisfactory results which show that the proposed approach is promising. / Este trabalho tem como prop?sito estudar estruturas conceituais geradas seguindo o m?todo Formal Concept Analysis. Usamos na constru??o dessas estruturas informa??es lexicossem?nticas extra?das dos textos, dentre as quais se destacam os pap?is sem?nticos. Em nossa pesquisa, propomos formas de inclus?o de tais pap?is nos conceitos produzidos por esse m?todo formal. Analisamos a contribui??o dos pap?is sem?nticos e das classes de verbos na composi??o dos conceitos, por meio de medidas de ordem estrutural. Nesses estudos, utilizamos os corpora Penn TreeBank Sample e SemLink 1.1, ambos em L?ngua Inglesa. Testamos, tamb?m para L?ngua Inglesa, a aplicabilidade de nossa proposta nos dom?nios de Finan?as e Turismo com textos extra?dos do corpus Wikicorpus 1.0. Essa aplicabilidade foi analisada extrinsecamente com base na tarefa de categoriza??o de textos, a qual foi avaliada a partir de medidas de ordem funcional tradicionalmente usadas nessa ?rea. Realizamos ainda alguns estudos preliminares relacionados ? nossa proposta para um corpus em L?ngua Portuguesa: PLN-BR CATEG. Obtivemos, nos estudos realizados, resultados satisfat?rios os quais mostram que a abordagem proposta ? promissora.

Made available in DSpace on 2015-04-14T14:49:57Z (GMT). No. of bitstreams: 1 444969.pdf: 8863468 bytes, checksum: d6f97c49279c5546c9619f8479b0b679 (MD5) Previous issue date: 2011-06-27 / The use of software development processes in the IT organizations has become common. This happens because the quality product is related to the process quality. The main interest of the IT companies is to adopt one or more well-defined software development processes and tailor them when necessary to meet the projects specific needs. However, since the amount of elements and relationships of a software development process is huge, defining and tailoring a software development process are not trivial activities. Inconsistencies may easily be introduced into a software development process when certain precautions are not taken. As a consequence, an inadequate software development process may be created to a software project causing errors during its enactment. Considering the need to avoid inconsistencies in a software development process, this research proposes a consistence infrastructure that enables defining and tailoring consistent software development processes based on SPEM 2.0 metamodel. The proposed infrastructure is composed by an extension to the SPEM 2.0 metamodel, a set of well-formedness rules related to the consistency of the software development processes and a tool prototype that supports automatically the proposed metamodel and well-formedness rules. / O uso de processos de desenvolvimento de software nas organiza??es de TI tem se tornado cada vez mais comum. Um dos motivos ? que a qualidade do produto de software est? relacionada com a qualidade do processo utilizado na sua constru??o. Nesse contexto, o interesse das organiza??es ? estabelecer um ou mais processos de desenvolvimento de software bem definidos; adaptando-os, quando necess?rio, para atender metas espec?ficas dos projetos de software. Contudo, devido ? grande quantidade de elementos e relacionamentos que um processo de desenvolvimento de software possui, as atividades de defini??o e adapta??o de processos s?o tarefas n?o triviais. Quando alguns cuidados n?o s?o tomados, inconsist?ncias podem ser facilmente introduzidas em um processo de desenvolvimento de software, fato que pode, muitas vezes, ocasionar a gera??o de um processo inadequado que acarretar? em erros durante a execu??o de um projeto de software. Considerando a necessidade de evitar inconsist?ncias em um processo de desenvolvimento de software, esta pesquisa prop?e uma infraestrutura que viabiliza a defini??o e adapta??o dos processos de desenvolvimento de software consistentes baseados no metamodelo SPEM 2.0. A infraestrutura definida ? composta por uma extens?o ao metamodelo SPEM 2.0, um conjunto de regras de boa-forma??o para consist?ncia dos processos de desenvolvimento de software e um prot?tipo de ferramenta que auxilia o uso do metamodelo proposto e das regras de boa-forma??o.

Made available in DSpace on 2015-04-14T14:50:01Z (GMT). No. of bitstreams: 1 448653.pdf: 3845852 bytes, checksum: 42fed21d426d0772e6f918691f47833c (MD5) Previous issue date: 2013-03-13 / Recent advances in High Performance Computing have opened a wide range of new research opportunities. Modern parallel and distributed architectures present each time more and more processing units seeking for a higher computational power. At the same time, the gain of performance obtained with those platforms is followed by an increase in energy consumption. In this scenario, researches in energy efficient high performance environments have emerged as a way to find the causes of excessive energy consumption and propose alternative solutions. Nowadays, one of the most representative high performance platforms is the computational grid which is used in many scientific and academic projects all over the world. In this work, we propose the use of energy-aware scheduling algorithms to efficiently manage the energy consumption in computational grids trying to avoid excessive performance losses. Our solution is based on: (i) an efficient management of idle resources; (ii) a clever use of active resources; (iii) the development of a procedure to accurately estimate the energy consumed in a given platform; (iv) the proposal of several new energy-aware scheduling algorithms for computational grids. We evaluate our approach using the SimGrid simulation environment and we compared our algorithms against five traditional scheduling algorithms for computational grids that are not energy-aware and one new algorithm recently proposed in the literature that deals with energy consumption issues. Our results show that in some experimental scenarios using our algorithms it is possible to achieve up to 221,03% of reduction in the energy consumption combined with 34,60% of performance loss. This example confirms our assumption that it is possible to significantly decrease the energy consumption on a grid platform without compromising proportionally the performance. / Os recentes avan?os da Computa??o de Alto Desempenho abrem um largo espectro de possibilidades para as pesquisas na ?rea. Arquiteturas paralelas e distribu?das modernas apresentam cada vez mais capacidade de processamento em busca de um maior poder computacional. Ao mesmo tempo, o ganho de desempenho obtido com as plataformas ? seguido por um aumento do consumo de energia. Neste cen?rio, pesquisas sobre efici?ncia energ?tica em ambientes de alto desempenho t?m surgido como uma forma de encontrar as causas e propor solu??es para o consumo excessivo de energia. Atualmente, uma das mais representativas plataformas de alto desempenho ? a grade computacional, que ? usada em muitos projetos cient?ficos e acad?micos em todo mundo. Neste trabalho, propomos o uso de algoritmos de escalonamento de tarefas energeticamente eficientes para a gest?o do consumo de energia em grades computacionais sem causar perdas significativas de desempenho. A solu??o ? baseada em: (i) gest?o eficiente de recursos ociosos; (ii) uso inteligente de recursos ativos; (iii) desenvolvimento de um mecanismo para estimar com precis?o a energia consumida por uma determinada plataforma; (iv) proposta de novos algoritmos de escalonamento energeticamente eficientes para grades computacionais. A abordagem criada foi avaliada utilizando o ambiente de simula??o SimGrid. Comparamos nossos algoritmos com cinco algoritmos de escalonamento tradicionais para grades computacionais, que n?o consideram quest?es de energia, e um algoritmo recentemente proposto na literatura que lida com quest?es de consumo de energia. Os resultados mostram, em alguns cen?rios, uma redu??o no consumo de energia de 221,03%, combinada com uma perda de desempenho de 34,60%, com o uso de um dos algoritmos desenvolvidos neste trabalho. Este exemplo confirma a nossa hip?tese de que ? poss?vel reduzir significativamente o consumo de energia em uma grade computacional sem comprometer de forma proporcional o desempenho.

Made available in DSpace on 2015-04-14T14:50:10Z (GMT). No. of bitstreams: 1 457280.pdf: 1466158 bytes, checksum: 50a287eaebe41a6c016dd9b8f5bac19d (MD5) Previous issue date: 2013-03-08 / Many tasks in Natural Language Processing involves the provision of a large number of variables, which depend on each other. Structured prediction methods are essentially a combination of classification and modeling based on graphs. They combine the power of classification methods with the ability of this type of modeling to play compactly, multivariate data. The classification methods perform prediction using a large set of features as input. Conditional Random Fields (CRF) is a probabilistic method for predicting structured and has been widely applied in various areas such as natural language processing, including the Named Entity Recognition (NER), computer vision, and bioinformatics. Therefore, this dissertation proposes the application of CRF to NER for the Portuguese Language and to evaluate their performance based on the HAREM corpus. Finally, comparative tests of similar approaches were performed, illustrating the efficiency and competitiveness of the proposed system. / Muitas tarefas de Processamento da Linguagem Natural envolvem a previs?o de um grande n?mero de vari?veis, as quais dependem umas das outras. M?todos de predi??o estruturada s?o, essencialmente, uma combina??o de classifica??o e de modelagem baseada em grafo. Eles unem a compet?ncia dos m?todos de classifica??o com a capacidade desse tipo de modelagem de reproduzir, compactamente, dados multivariados. Os m?todos de classifica??o realizam a predi??o usando um grande conjunto de features como entrada. Conditional Random Fields (CRF) ? um m?todo probabil?stico de predi??o estruturada e tem sido amplamente aplicado em diversas ?reas, tais como processamento da linguagem natural, incluindo o Reconhecimento de Entidades Nomeadas (REN), vis?o computacional e bioinform?tica. Sendo assim, neste trabalho ? proposta a aplica??o do CRF para o REN em textos da L?ngua Portuguesa e, sequencialmente, avaliar o seu desempenho com base no corpus do HAREM. Finalmente, testes comparativos da abordagem determinada versus a similar da literatura foram realizados, ilustrando a competitividade e efic?cia do sistema proposto.

Made available in DSpace on 2015-04-14T14:50:13Z (GMT). No. of bitstreams: 1 458957.pdf: 14358950 bytes, checksum: 7458b8a1472071b48772b030a52573a6 (MD5) Previous issue date: 2014-02-25 / Analysis by Transcriptogram was developed as a solution to noise reduction, usually present in the microarray measuring technique of the Transcriptome, and has demonstrated potential to be applied as a method of disease diagnostics. The noise reduction in the measure is achived by the protein interaction network ordering, allowing gene expression analysis in whole genome scale. The Transcriptogram's efficiency to noise reduction was analyzed, however, it still lacks an analisys of the ordering quality, so that the best parameter setting for the ordering algorithm is used by the Transcriptogram. So far, this analysis is hindered by the high runtime of the ordering algorithm. In this work, an analysis of the ordering algorithm stages allows some optimizations, and consequent reduction in execution time, also allowing further analysis on which parameters settings have the greatest influence on the ordering quality. Applying the Transcriptogram to a diagnostic problem, the diagnostic measure is used to characterize the influence of the parameters of the ordering algorithm to achive better diagnoses. The results show that the protein network used in previous works doesn't produce the best diagnostics. Moreover, the ordering minimization, achieved by executing the ordering algorithm for longer periods, does not necessarily increase the probability to find better diagnosis compared to random ordering. Eventhough the experimental diagnostic results could not statistically difFerentiate random ordering from optimized ordering, these results cannot be considered conclusive since a single disease has been evaluated. / A an?lise por Transcriptograma foi desenvolvida como uma solu??o para a redu??o de ru?do, comum nas medidas do Transcriptoma provenientes da t?cnica de microarranjo, e tem demonstrando potencial se aplicada como m?todo para diagn?sticos de doen?as. A redu??o do ru?do existente nas medidas se d? pelo ordenamento da rede de intera??es proteicas do organismo, permitindo a an?lise da express?o g?nica em escala de genoma completo. A efici?ncia do Transcriptograma para a redu??o do ru?do j? foi analisada, entretanto, ainda carece a avalia??o da qualidade do ordenamento, definindo para isso, amelhor configura??o de par?metros para o algoritmo de ordenamento utilizado pelo Transcriptograma. At? o momento, essa an?lise ? dificultada pelo elevado tempo de execu??o do algoritmo de ordenamento. Neste trabalho, uma an?lise das etapas do algoritmo de ordenamento possibilita a realiza??o de otimiza??es, e consequente redu??o no tempo de execu??o, al?m de permitir a an?lise mais aprofundadadas configura??es dos par?metros que tem maior influ?ncia na qualidade do ordenamento. Aplicando o Transcriptograma a um problema de diagn?stico, utiliza-se a medida do diagn?stico para caracterizar a influ?ncia dos par?metros do algoritmo de ordenamento na obten??o de melhores diagn?sticos. Observa-se nos resultados, que a rede proteica utilizada em trabalhos anteriores n?o apresenta os melhores diagn?sticos. Al?m disso, a minimiza??o do ordenamento, alcan?ada por meio da execu??o prolongada do algoritmo de ordenamento, n?o necessariamente aumenta a probabilidade de encontrar um melhor diagn?stico comparado com o ordenamento aleat?rio. Mesmo que os resultados experimentais com o diagn?stico n?o diferenciem estatisticamente o ordenamento aleat?ria do ordenamento otimizado, estes resultados n?o podem ser considerados conclusivos pois uma ?nica doen?a foi avaliada.

Made available in DSpace on 2015-04-14T14:50:26Z (GMT). No. of bitstreams: 1 397342.pdf: 6244320 bytes, checksum: 1ad9082d42e6883bb7678a8782a81d49 (MD5) Previous issue date: 2006-01-27 / No desenvolvimento de aplica??es paralelas, al?m da an?lise de aspectos ligados ao desempenho, torna-se tamb?m importante a an?lise das propriedades funcionais do sistema para garantir, por exemplo, que a estrat?gia de paraleliza??o escolhida ? adequada ao problema sendo abordado, ou que ela pode convergir para um resultado esperado, ou mesmo para identificar a possibilidade de um cen?rio de bloqueio na computa??o. A garantia de corre??o sobre o modelo de uma aplica??o paralela, al?m de aumentar o grau de confian?a nos resultados, pode tamb?m ser um fator de economia, j? que possibilita a redu??o no tempo despendido no desenvolvimento e depura??o da aplica??o. Por?m, uma vez identificados os problemas e corre??es no modelo analisado, ainda existe a necessidade de se mapear as mudan?as necess?rias ? aplica??o original. Nesse sentido, verifica??o formal e gera??o autom?tica de c?digo podem ser utilizadas como ferramentas complementares durante o desenvolvimento, possibilitando tanto a an?lise do comportamento do sistema quanto a r?pida gera??o do c?digo correspondente ao modelo proposto. Este trabalho apresenta o uso de Gram?tica de Grafos Baseada em Objetos (GGBO) para a constru??o de aplica??es paralelas, a partir da defini??o de um m?todo de tradu??o de modelos GGBO para c?digo C, utilizando MPI como plataforma de comunica??o.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-18T20:27:24Z No. of bitstreams: 1 DIS_CLEVERSON_LOPES_LEDUR_COMPLETO.pdf: 8709735 bytes, checksum: f6e5e2cfc62a7f7472f2e7e521dda480 (MD5) / Made available in DSpace on 2016-07-18T20:27:24Z (GMT). No. of bitstreams: 1 DIS_CLEVERSON_LOPES_LEDUR_COMPLETO.pdf: 8709735 bytes, checksum: f6e5e2cfc62a7f7472f2e7e521dda480 (MD5) Previous issue date: 2016-03-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Funda??o de Amparo ? Pesquisa do Estado do Rio Grande do Sul - FAPERGS / Data generation has increased exponentially in recent years due to the popularization of technology. At the same time, information visualization enables the extraction of knowledge and useful information through data representation with graphic elements. Moreover, a set of visualization techniques may help in information perception, enabling finding patterns and anomalies in data. Even tought it provides many benefits, the information visualization creation is a hard task for users with a low knowledge in computer programming. It becomes more difficult when these users have to deal with big data files since most tools do not provide features to abstract data preprocessing. In order to bridge this gap, we proposed GMaVis. It is a Domain-Specific Language (DSL) that offers a high-level description language for creating geospatial data visualizations through a parallel data preprocessor and a high-level description language. GMaVis was evaluated using two approaches. First we performed a programming effort analysis, using an analytical software to estimate development effort based on the code. This evaluation demonstrates a high gain in productivity when compared with programming effort required by other tools and libraries with similar purposes. Also, a performance evaluation was conducted in the parallel module that performs data preprocessing, which demonstrated a performance gain when compared with the sequential version. / A gera??o de dados tem aumentado exponencialmente nos ?ltimos anos devido ? populariza??o da tecnologia. Ao mesmo tempo, a visualiza??o da informa??es permite a extra??o de conhecimentos e informa??es ?teis atrav?s de representa??o de dados com elementos gr?ficos. Diferentes t?cnicas de visualiza??o auxiliam na percep??o de informa??es sobre os dados, tal como a identifica??o de padr?es ou anomalias. Apesar dos benef?cios, muitas vezes a gera??o de uma visualiza??o pode ser uma tarefa dif?cil para os usu?rios com baixo conhecimento em programa??o de computadores. E torna-se mais dif?cil quando esses usu?rios precisam lidar com grandes arquivos de dados, uma vez que a maioria das ferramentas n?o oferece os recursos para abstrair o pr?-processamento de dados. Considerando este contexto, neste trabalho ? proposta e descrita a GMaVis, uma linguagem espec?fica de dom?nio (DSL), que permite uma descri??o de alto n?vel para a cria??o de visualiza??es usando dados geoespaciais atrav?s de um pr?-processador de dados paralelo e um gerador de visualiza??es. GMaVis foi avaliada utilizando duas abordagens. Na primeira foi realizada uma an?lise de esfor?o de programa??o, atrav?s de um software para estimar o esfor?o de desenvolvimento com base no c?digo. Esta avalia??o demonstrou um alto ganho em produtividade quando comparado com o esfor?o de programa??o exigido com APIs ou bibliotecas que possuem a mesma finalidade. Na segunda abordagem foi realizada uma avalia??o de desempenho no pr?-processador de dados paralelo, que demonstrou um ganho de desempenho quando comparado com a vers?o sequencial.

Made available in DSpace on 2016-04-28T20:18:30Z (GMT). No. of bitstreams: 1 2008 - Rodrigo Mencalha Moreira.pdf: 2348355 bytes, checksum: 249dc9822a474bb30086d8952df6f1f2 (MD5) Previous issue date: 2008-08-28 / Brain serotonin (5-HT) depletion during the neonatal period lead a plastic cytoarchitecture change of the serotonergic system influencing directly several brain systems ontogeny development. This dissertation was aimed to elucidate the influence of brain 5-HT depletion during the neonatal period on the metabolic programming and the behavioral expression of adulthood rats. Brain 5-HT depletion was raised with the subcutaneous (s.c) administration of 100 mg. Kg-1 para-chlorophenylalanine (pCPA), a competitive inhibitor of the tryptophan hydroxylase enzyme, from the eighth at sixteenth post-natal days. In order to investigate the influence of pCPA on the subject metabolic programming, during and after treatment, the milk intake and body weight gain from the neonatal period to adulthood were evaluated. Furthermore, evaluating indirectly this influence on the energetic metabolism, the repercussions on the glycemic homeostasis through of the glycemia baseline measurements and under fasting in the adult rat were investigated. Around the ingestive behavior, baseline conditions paradigm and under fasting were made. In these experimental trials, water intake, ration, 2% sucrose and 0.3M NaCl were evaluated. Also, the 0.3 M NaCl intake after sodium depletion (furosemide 20mg. Kg-1, s.c) and water intake after hypertonic stimulus (1.0 M NaCl, s.c) were measured. The behavioral expression was evaluated through models involved with emotional-behavioral signals. In this analysis, the rat s anxiety status was investigated through of open field test, elevated plus-maze (EPM), social interaction and forced swimming. The results showed that treatment with pCPA reduces milk intake (P˂0.001) and therefore the body weight gain in the neonatal period (P˂0.001), claiming to be smaller until adulthood (P˂0.01). The glycemic homeostasis was also affected reflected in lower pCPA-male (P˂0.01) and pCPA-female (P˂0.001) levels after 24 hours of fasting. About to baseline intake, a higher pCPA-female sodium appetite (P˂0.05), related to a greater demand for 2% sucrose solution in both females (P˂0,001) were observed. Under fasting, a lower male-pCPA cumulative ration intake at 60 min (P˂0.05) and a higher female pCPA at 60 (P˂0.05) and 120 min (P˂0.01) were observed. Furthermore, after water deprivation, a higher pCPA-female cumulative water intake at 120 min (P˂0.05) compared with pCPA-male was rated. Was also observed a greater pCPA-male water intake at 120 and 180 min (P˂0.001) after hypertonic stimulus, however, it was not observed significant difference in the natriorexigenic responses in sodium depleted rats. In addition, pCPA male showed a evident anxiolytic activity in EPM test expressed by the higher time spent in the open arm (O.A) (P˂0.05), higher head-dipping in the O.A episodes (P˂0.001), less S.A.P. (P˂0.001) and grooming episodes (P˂0.01). Therefore, these results showed that 5-HT depletion during the neonatal period programme the energetic metabolic homeostasis and the behavioral expression of adulthood rats. / A deple??o cerebral de serotonina (5-HT) durante o per?odo neonatal acarreta uma altera??o pl?stica na citoarquitetura do sistema seroton?rgico influenciando diretamente o desenvolvimento ontog?nico de diversos sistemas cerebrais. Nesta disserta??o objetivou-se elucidar a influ?ncia da deple??o cerebral de 5-HT durante o per?odo neonatal sobre a programa??o metab?lica energ?tica e express?o comportamental de ratos adultos. A deple??o cerebral de 5-HT foi evocada com a administra??o subcut?nea (s.c) de 100 mg. Kg-1, de para-clorofenilalanina (pCPA), um inibidor competitivo da enzima triptofano hidroxilase, do oitavo ao d?cimo sexto dias p?s-natais. A fim de investigar a influ?ncia da pCPA, durante e ap?s o tratamento, sobre a programa??o metab?lica do indiv?duo, foram avaliadas a ingest?o de leite e o ganho de peso corporal do per?odo neonatal ? vida adulta. Ademais, avaliando indiretamente esta influ?ncia sobre o metabolismo energ?tico, foram investigadas as repercuss?es sobre a homeostase glic?mica atrav?s da mensura??o basal e sob jejum da glicemia do rato adulto. Em rela??o ao comportamento ingestivo foram realizados protocolos em condi??es basais e sob jejum. Nestes ensaios experimentais foram avaliadas as ingest?es de ?gua, ra??o, sacarose 2% e NaCl 0,3 M. Outrossim, foram mensuradas as ingest?es de NaCl 0,3 M ap?s deple??o de s?dio (furosemida 20mg. Kg-1, s.c) e de ?gua ap?s est?mulo hipert?nico (NaCl 1,0 M, s.c). A express?o comportamental foi avaliada atrav?s de modelos envolvidos com aspectos afetivo-comportamentais. Nesta an?lise, foi investigado o status de ansiedade dos ratos atrav?s dos testes de campo aberto, labirinto em cruz elevado (LCE), intera??o social e nata??o for?ada. Os resultados demonstraram que o tratamento com pCPA diminui a ingest?o de leite (P˂0,001) e conseq?entemente o ganho de peso corporal no per?odo neonatal (P˂0,001), sustentando-se menor at? a vida adulta (P˂0,01). A homeostase glic?mica tamb?m foi afetada refletida nos menores n?veis glic?micos em machos-pCPA (P˂0,01) e f?meas pCPA (P˂0,001) ap?s jejum alimentar de 24 horas. Em rela??o ?s ingest?es basais, foi observado um maior apetite por s?dio em f?meas-pCPA (P˂0,05), al?m de uma maior procura pela solu??o de sacarose 2% em ambas as f?meas (P˂0,001). Sob jejum alimentar, foi observada uma menor ingest?o cumulativa de ra??o em machos-pCPA aos 120 min (P˂0,05) e maior ingest?o em f?meas-pCPA aos 60 (P˂0,05) e 120 min (P˂0,01). Ademais, ap?s jejum h?drico, foi notada uma maior ingest?o cumulativa de ?gua em f?meas-pCPA aos 120 min (P˂0,05) em rela??o aos machos-pCPA. Observou-se ainda uma maior ingest?o de ?gua nos machos-pCPA aos 120 e 180 min (P˂0,001) ap?s est?mulo hipert?nico, por?m, n?o foi observada diferen?a significativa na resposta natriorexig?nica em ratos s?dio-depletados. Al?m disso, foi observada uma evidente atividade ansiol?tica no LCE expressa pelo maior tempo gasto no bra?o aberto (B.A) (P˂0,05), maior n?mero de epis?dios de head-dipping no B.A (P˂0,001), menos epis?dios de S.AP. (P˂0,001) e grooming (P˂0,01). Em resumo, estes resultados demonstram que a deple??o de 5-HT durante o per?odo neonatal programa a homeostase metab?lica energ?tica e a express?o comportamental de ratos adultos.

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 SamaraPCM.pdf: 423447 bytes, checksum: 456d500c5d740d1624cc15f51c602aa1 (MD5) Previous issue date: 2006-05-19 / The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization / O uso do tipo intervalar em v?rias ?reas favorece a id?ia de se ter uma estrutura b?sica reutiliz?vel, ou seja, um construtor intervalar que seja aplicado a um tipo de dados para se obter os intervalos desse tipo. Como um intervalo, intuitivamente ? o conjunto de elementos que est?o entre dois extremos, sua constru??o presup?e a no??o de ordem, e portanto ? razo?vel que este construtor trabalhe sobre tipos munidos de uma ordem parcial. Por outro lado, como o que se quer ? operar com intervalos de objetos de um certo tipo como se opera com esses objetos, ent?o tamb?m ? razo?vel querer que as propriedades alg?bricas desses objetos sejam preservadas no seu tipo intervalar. Assim, o construtor intervalar fornece uma fundamenta??o te?rica para o tipo intervalo parametrizado, ou seja, intervalos cujo par?metro ? generalizado podendo ser, por exemplo, n?meros reais, complexos, etc. A aplica??o do intervalo em certas estruturas alg?bricas nem sempre garante a preserva??o de suas caracter?sticas, por exemplo, quando se trabalha com intervalos de n?meros reais, seria conveniente que estes pudessem se comportar como se fossem os reais. Isto n?o acontece pois os reais satisfazem as propriedades alg?bricas de corpo, j? os intervalos de reais n?o (por exemplo, n?o suporta a propriedade distributiva). Para superar esta dificuldade Santiago introduziu a teoria da igualdade local numa forma de enfraquecer a no??o de igualdade forte fazendo com que propriedades satisfeitas localmente sejam relevantes, propriedades estas que antes poderiam ser descartadas. A generaliza??o da aritm?tica intervalar prop?e a aplica??o do construtor intervalar em estruturas alg?bricas ordenadas e enfraquecidas pela igualdade local, objetivando a manuten??o de suas propriedades alg?bricas. Como os intervalos s?o importantes em aplica??es que trabalhem com dados cont?nuos, ? interessante descrever esta teoria usando uma linguagem de especifica??o que permita o desenvolvimento de sistemas computacionais que usem tipos intervalares de modo disciplinado, confi?vel e seguro. Atualmente, as linguagens de especifica??es alg?bricas, que se baseiam em modelos matem?ticos, t?m sido muito usadas para este proposito. Dentre as v?rias linguagens deste tipo existentes, foi escolhida CASL (Common Algebraic Specification Language) por conter diversas caracter?sticas relevantes para especifica??o do tipo intervalar parametrizado como, por exemplo, admitir parametriza??o e parcialidade

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-11-06T21:11:35Z No. of bitstreams: 1 MaraliceMagalhaesDeFreitas_DISSERT.pdf: 2146532 bytes, checksum: 13c7fc80b9d038f9108e5d14a1b8147a (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-11-20T23:24:32Z (GMT) No. of bitstreams: 1 MaraliceMagalhaesDeFreitas_DISSERT.pdf: 2146532 bytes, checksum: 13c7fc80b9d038f9108e5d14a1b8147a (MD5) / Made available in DSpace on 2017-11-20T23:24:32Z (GMT). No. of bitstreams: 1 MaraliceMagalhaesDeFreitas_DISSERT.pdf: 2146532 bytes, checksum: 13c7fc80b9d038f9108e5d14a1b8147a (MD5) Previous issue date: 2017-09-01 / Esta disserta??o analisa a Comunica??o P?blica enquanto instrumento de constru??o da cidadania, de emancipa??o popular e de compromisso com as quest?es sociais, diferenciando a express?o de outras formas de comunica??o custeadas com recursos p?blicos. A investiga??o se d? em di?logo com autores brasileiros, como Brand?o (2012), Duarte (2012), Matos (2012), Haswani (2013) e Bucci (2014), tendo, ainda, como base te?rica os estudos de Habermas (2003) e Z?mor (1995), refer?ncias mundiais no assunto. A partir dessa sustenta??o intelectual, o trabalho exp?e as especificidades que caracterizam e separam os sistemas de radiodifus?o privado, p?blico e estatal, sobretudo no aspecto ?programa??o?. Nesse cen?rio, apresenta-se o Estudo de Caso que analisa um programa jornal?stico da R?dio Universit?ria FM de Natal, da Universidade Federal do Rio Grande do Norte. Para atingir os objetivos, o estudo qualitativo de car?ter descritivo utiliza as pesquisas bibliogr?fica e documental; aplica??o de question?rio e de entrevista estruturada com quest?es abertas junto aos sujeitos respons?veis pelo programa no per?odo compreendido entre agosto de 2015 e fevereiro de 2017; al?m da audi??o de cinco edi??es do programa por meio de grava??es. A an?lise de conte?do tem como fundamenta??o os princ?pios universalidade, diversidade, independ?ncia e diferencia??o, propostos pela Organiza??o das Na??es Unidas para Educa??o, Ci?ncia e Cultura (UNESCO, 2001) como caracterizadores de um ve?culo de radiodifus?o p?blica. Os quatro crit?rios foram reunidos e interpretados de forma a dar corpo a uma metodologia de avalia??o do car?ter p?blico da radiodifus?o jornal?stica no Brasil. Os dados coletados apontam para uma programa??o que preza pela veracidade dos fatos e pela pluralidade de vozes, apesar da falta de intera??o da equipe com o ouvinte; confere visibilidade ?s manifesta??es culturais, mas de forma discreta e pouco efetiva; apresenta uma car?ncia no aprofundamento de assuntos pol?micos e na promo??o do debate de ideias; repete temas e abordagens encontrados em emissoras privadas sem conferir experimenta??o e originalidade ao conte?do. A pesquisa inferiu ainda que a participa??o da comunidade acad?mica como fonte de informa??o qualificada ? expressiva, mas a equipe age com autonomia em rela??o ?s autoridades p?blicas e ao mercado. Por fim, pretende-se contribuir com uma reflex?o sobre o papel de uma emissora custeada com recursos p?blicos inserida em um contexto universit?rio e com sugest?es para aperfei?oar e fortalecer o trabalho jornal?stico em um canal p?blico. / This thesis analyzes Public Communication as an instrument for building citizenship, popular emancipation and commitment to social issues, differentiating the expression of other forms of communication funded with public resources. The research is done in dialogue with Brazilian authors, such as Brand?o (2012), Duarte (2012), Matos (2012), Haswani (2013) and Bucci (2014). It also has, as a theoretical basis, the studies of Habermas (2003) and Z?mor (1995), world references on the subject. Based on this intellectual support, the work presents the specificities that characterize and separate the private, public and state broadcasting systems, especially in the "programming" aspect. In this scenario, we present the Case Study that analyzes a journalistic program of R?dio Universit?ria FM de Natal, of the Federal University of Rio Grande do Norte. To reach the objectives, the qualitative study of a descriptive character uses bibliographical and documentary research; application of questionnaire and structured interview with open questions with the subjects responsible for the program in the period between August 2015 and February 2017; In addition to the auditioning of five program editions through recordings. The content analysis is based on the principles of universality, diversity, independence and differentiation, as proposed by the United Nations Organization for Education, Science and Culture (UNESCO, 2001) as the characterization of a public broadcasting vehicle. The four criteria were gathered and interpreted to form a methodology for evaluating the public character of journalistic broadcasting in Brazil. The collected data point to a programming that values the truthfulness of the facts and the plurality of voices, despite the lack of interaction of the team with the listener; gives visibility to cultural manifestations, but in a discreet and not very effective way; presents a lack of deepening of controversial issues and of the promotion of the debate of ideas; repeats themes and approaches found in private broadcasters without giving experimentation and originality to content. The research also inferred that the participation of the academic community as a source of qualified information is expressive, but the team of the newspaper acts with autonomy in relation to the public authorities and to the market. Finally, it intends to contribute with a reflection on the role of a broadcaster funded with public resources inserted into a university context and with suggestions to improve and strengthen the journalistic work in a public channel.