233f. / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-04-09T16:24:49Z No. of bitstreams: 3 luisclaudiocampospt3.pdf: 36751 bytes, checksum: 27aaa05485cc7fa2baab48e3c6e9cdec (MD5) luisclaudiocampospt2.pdf: 3344070 bytes, checksum: afef5aa5743eb9dda302f662f97af4df (MD5) luisclaudiocampospt1.pdf: 1763833 bytes, checksum: 964d965a231058dac57f07466ea525d6 (MD5) / Approved for entry into archive by Lêda Costa(lmrcosta@ufba.br) on 2013-04-18T12:35:54Z (GMT) No. of bitstreams: 3 luisclaudiocampospt3.pdf: 36751 bytes, checksum: 27aaa05485cc7fa2baab48e3c6e9cdec (MD5) luisclaudiocampospt2.pdf: 3344070 bytes, checksum: afef5aa5743eb9dda302f662f97af4df (MD5) luisclaudiocampospt1.pdf: 1763833 bytes, checksum: 964d965a231058dac57f07466ea525d6 (MD5) / Made available in DSpace on 2013-04-18T12:35:54Z (GMT). No. of bitstreams: 3 luisclaudiocampospt3.pdf: 36751 bytes, checksum: 27aaa05485cc7fa2baab48e3c6e9cdec (MD5) luisclaudiocampospt2.pdf: 3344070 bytes, checksum: afef5aa5743eb9dda302f662f97af4df (MD5) luisclaudiocampospt1.pdf: 1763833 bytes, checksum: 964d965a231058dac57f07466ea525d6 (MD5) Previous issue date: 2009 / A pesquisa sistematiza o processo de confecção de objetos com abordagem diferenciada sobre relíquia, memória e história, na intenção de transpor limites ao uso de materiais e técnicas de arte, conceituando em reflexões prático-teóricas lembranças e recordações, portanto uma poética que traz a “ausência” do imaginário, tecido de memória, distância, passado e saudade. A importância de se trabalhar com relíquias em linguagens artísticas reside na visibilidade da aproximação das distâncias entre o passado e o presente, trazendo ao contemporâneo o significado do passado como alicerce de nossas ações. Tomando como base o processo de criação na construção da obra de arte discutido por Cecília Salles, assumo o conceito de criação em rede como, forma de compreender as implicações em adotar essa perspectiva ao pensar na prática artística. Esses modos de “pensar” e “fazer” serviram de guia e, até mesmo, contribuíram para que a escolha dos materiais na elaboração das obras acontecesse a partir do momento que o suporte pudesse dialogar com o conceito. Imaginei cada obra e as registrei em estudos, desenhos, rascunhos que serviram para elaborar as peças. As modificações sofridas durante a gênese de uma delas é a evidência de que esse processo é ativo e repleto de diversas possibilidades. Fatos lembrados e vividos foram agregados às obras, de forma consciente ou não, transformando as peças marcadas pela ausência de temporalidade no pensamento e ato criador em registros do passado. Tomo Santo Agostinho e Henri-Louise Bergson como Filósofos norteadores para compreender as questões relacionadas ao tempo e a memória. Em momentos específicos recorro a Merleau-Ponty (aspectos fenomenológicos) e Gaston Bachelard (aspectos relacionados ao mobiliário). Faço aproximações e distanciamentos com obras de artistaspesquisadores, como Joseph Cornell, Farnese de Andrade, Sebastião Pedrosa, Graziano Spinosi, Anish Kapoor, Eriel Araújo, Graça Ramos e VigaGordilho. As reflexões e a prática no atelier apontaram caminhos e possíveis soluções que abraçam o dialogo com o espectador para conquista de novos conhecimentos. A síntese das pesquisas foi mostrada na exposição Rememoráveis, com a apresentação de três objetos e seis instalações. / Salvador

A temática das ausências no desenho foi pesquisada neste estudo com a pretensão de verificar se elas o comporiam do mesmo modo que as áreas quando recebem inscrições repetitivas ou intervenções sequenciais. Investigou-se, também, em que medida a ação de apagar pode ser considerada como investimento na construção cfo trabalho. Referendada na minha produção, aprofundei as instâncias: áreas de não desenho, áreas de apagamento e áreas de desgaste de inscrições. Pelos preceitos da Poiética na abordagem de René Passeron e pelos aportes da teoria da Formatividade de Luigi Pareyson, desenvolvi a análise da fatura desses trabalhos que resultam de ações repetitivas e automatizadas, considerando-se aspectos como: manualidade, os tipos de gestos, a escolha dos materiais e a passagem do tempo. As teorias apresentadas pelos filósofos Flusser e Focillon sobre os gestos, bem como os conceitos de Gilles Deleuze sobre diferença e repetição são aprofundados na pesquisa. As lacunas, as retiradas de matéria e os borrados que acontecem nos desenhos afetam o corpo do suporte. Em relação a este tema, Jacques Derrida apresenta reflexões importantes referentes à presença do suporte em trabalhos de pintura, de desenho e na escrita. São importantes para este estudo os referenciais de Roland Barthes, quando utiliza o termo acontecimento ao analisar a relação do artista e a obra que está concebendo, como uma cena em que algo se sucede. Procurou-se, através do cruzamento dos aportes teóricos referidos, obter um instrumento de análise para pensar a ausência no desenho como uma instância possível. / This study investigates the issue of the absent in drawing. lt was intended to verify if the absence in drawing would compose it in the same way that an area that receives repetitive entries ar sequential interventions. lt investigates to which extent the acting of erasing can be considerate as an investment in the construction of a work. Referenced in my production I deepen the instances: non drawing areas, erasing areas and wear areas of inscription. From poetic's percept in René Passeron's approach and by the contribution of Formativity Theory from Luigi Pareyson, I developed an analysis of my work's production that result from repetitive and automated actions considering aspects as: manual activity the types of gestures, the choice of material and the passage of time, the material choice and the time passage. The theories presented by the philosophers Flusser and Focillon about gestures, as well as Gilles Deleuze's concepts on difference and repetition are referenced in the research. The gaps, the withdraw of matter and the blurred that happen in the drawings affect the body's support. Relating to this topic, Jacques Derrida presents important insights regarding the presence of support in painting, drawing and writing. The references to Roland Barthes are important for this study when using the term event to analyze the relationship of the artist and the work that is conceived as a scene in where something ensues. This work searches through the intersection of theoretical contributions mentioned, to obtain an analytical tool to think about the absence in the drawing as a possible instance.

Made available in DSpace on 2014-06-11T19:25:37Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-06-22Bitstream added on 2014-06-13T18:29:10Z : No. of bitstreams: 1 vicentini_cr_me_araca.pdf: 492962 bytes, checksum: 35594dbc59fd4b949ff25f49aa1194b7 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Diversas situações provocam alterações significativas na estrutura óssea, tais como a permanência de astronautas no espaço, imobilizações ortopédicas e permanência prolongada de pacientes em leito. A atividade física é contra medida para a recuperação dessas alterações causadas no sistema ósseo. O objetivo deste estudo foi avaliar a influência da suspensão, do treinamento físico e da movimentação livre, através de análises biomecânicas, densitométricas e histomorfométricas em terço médio de fêmures de ratos. Foram utilizados setenta e cinco ratos machos, distribuídos em cinco grupos experimentais. Destes, dois utilizados como controle CI (21 dias) e CII (42 dias) e três suspensos por 21 dias. Dos suspensos um foi sacrificado logo após a suspensão, S, outro foi submetido a período de atividade física em esteira por 21 dias, SE, e o terceiro à movimentação livre por 21 dias, SL. A análise biomecânica não expressou diferenças significativas nos grupos SE e SL em nenhum dos parâmetros analisados (Força Máxima, Rigidez e Resiliência), já o grupo S apresentou redução significativas em todas as propriedades mecânicas estudadas. Na análise de densidade óssea, pelo Principio de Arquimedes, encontrou-se diferença significativa entre o grupo S e CI e em relação aos grupos SE e SL. Ocorreu diferença entre o grupo SE e SL. Na densidade óssea, pela Densitometria Radiográfica, o grupo S diferiu do CI, SE e SL e não ocorreu diferença entre os grupos SE e SL. A espessura óssea compacta pela análise histomorfométrica não sugeriu diferença significativa entre os grupos analisados. A suspensão de ratos pela cauda provocou reduções importantes nos valores de propriedades mecânicas e densitométricas do osso, o treinamento físico em esteira foi mais eficiente que a movimentação livre apenas na variável de densidade óssea pelo Princípio de Arquimedes. / Different situations provoke significant alterations in bone structure. The permanence of astronauts in the space, orthopedics immobilizations and drawn out permanence of patients in stream bed. The physical activity is against measure for the recovery of these alterations caused in the bone system. The objective of this study was to evaluate the influence of the suspension, the physical training and the released movement, through biomechanical, densitometry and histomorphometry analyses in mid third of femurs of rats. Seventy-five male rats were used, distributed in five experimental groups. Of these, two were used as control CI (21 days) and CII (42 days) three were suspended by 21 days. One of the suspended groups, S, was sacrificed soon after suspension, other one was submitted to 21 days treadmill physical exercise, SE, and the third group was submitted to 21 days released walking, SL. The biomechanical analysis did not express significant differences in SE and SL groups in none of the analyzed parameters (Maximum Force, Rigidity and Resilience), the S group presented significant reduction in all the mechanical properties analyzed. In the bone density analysis by Archimedes method, significant difference between group S and CI and in relation to groups SE and SL were found. Differences between group SE and SL occurred. In bone density, by Radiographic Densitometry, group S differed from the CI, SE and SL and did not occur difference between SE and SL groups. The histomorphometry analyses had not suggested significant differences between the analyzed groups. The suspension of rats by the tail provoked important reductions in the values of mechanical properties and densitometry of the bone tissue, the treadmill physical training was more efficient than the released walking only in the variable of bone density by Archimedes Method.

Made available in DSpace on 2016-06-02T20:06:02Z (GMT). No. of bitstreams: 1 2299.pdf: 552812 bytes, checksum: 2850eae9547732d0f7921feb333884a5 (MD5) Previous issue date: 2008-09-05 / In this work we present a detailed study of the logistic regression model with missing data in the independent variables. Several techniques are considered such as Complete Case, Mean Imputation and Corrected Complete Case. We present a new estimator, denoted EMVGM, given by the combination between the Complete Case estimator and the ML-estimator with the use of Gaussian quadrature. A simulation study is carried out to evaluate the performance of the ML-estimators obtained in each technique above mentioned. In general, the alternative estimador, EMVGM, presents a better performance taking into account the variance, the bias and the mean quadratic error. / Neste trabalho apresentamos um estudo detalhado do modelo de regressão logística na presença de valores missing nas covariáveis considerando as técnicas Caso Completo, Imputação pela Média e Caso Completo Corrigido. Um novo método, denotado EMVGM, dado pela combinação entre os estimadores de Caso Completo e os estimadores obtidos via Máxima Verossimilhança com uso da Quadratura Gaussiana, é sugerido. No desenvolvimento do estudo são realizadas simulações para a verificação do desempenho dos estimadores de máxima verossimilhança obtidos em cada técnica citada acima. A avaliação mostra que a qualidade dos parâmetros estimados obtidos por meio de cada técnica varia de acordo com o tamanho da amostra e com o número de dados missing e que, em geral, o estimador sugerido, EMVGM, apresenta os melhores estimadores levando em conta as métricas variância estimada, vício estimado e erro quadrático médio estimado.

Made available in DSpace on 2014-06-11T19:27:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-12-10Bitstream added on 2014-06-13T18:55:54Z : No. of bitstreams: 1 meira_ps_me_araca.pdf: 865581 bytes, checksum: 9d2686f43c3dd346235734077461d701 (MD5) / A resposta do metabolismo ósseo está diretamente relacionada a fatores hormonais e ao estímulo mecânico que o osso está exposto. A energia ultrassônica na cicatrização do reparo ósseo têm se mostrado de fundamental importância para o estímulo e melhora na qualidade do tecido neoformado durante o processo de cicatrização óssea. O objetivo deste estudo foi analisar a ação do ultrassom de baixa intensidade no reparo ósseo de tíbias osteotomizadas de ratos submetidos à suspensão pela cauda, por meio das análises histológica e histomorfométrica. Dezoito Rattus novergicus albinus, Wistar adultos foram divididos em três grupos, (G1, G2 e G3), dispostos da seguinte maneira: G1 (n=6), que permaneceram livres por um período de 15 dias; G2 (n=5), suspenso pela cauda por um período de 15 dias e G3 (n=7), suspensos pela cauda por um período de 36 dias. Todos os animais foram submetidos à cirurgia para confecção do defeito ósseo experimental na região medial da diáfise, em ambas as tíbias. A tíbia direita foi tratada com ultrassom pulsado (frequência de 1,5 MHz, ciclo 1:4, 30mW/cm2), por 12 sessões de 20 minutos, e o membro contralateral foi o controle. As amostras das tíbias foram submetidas à análise histológica, às cegas, com microscopia de luz comum e a análise histomorfométrica, pelo software específico Image-pro 6.1. As médias percentuais de neoformação óssea foram submetidas à análise de variância em parcela subdividida e teste de comparação múltipla “Student-Newman- Keuls” (SNK), com nível de significância de 5%. Os valores das médias e desvios padrão, da porcentagem de osso neoformado para os grupos, demonstraram uma menor quantidade no reparo ósseo do G1t(13,62  4,88) - G1c (8,68  4,16) quando comparado aos grupos G2t (27,17  11,36) - G2c (10,10  7,90) e G3t (23,19  5,61) - G3c (15,74  7,08). No entanto... / The response of bone metabolism is directly related to hormonal factors and mechanical stimulation to the bone is exposed. The ultrasonic energy on the healing of bone repair have been shown to be of fundamental importance to promoting and improving the quality of newly formed tissue during the bone healing process. The objective of this study was to analyze the action of low-intensity ultrasound on bone healing of tibial osteotomy in rats subjected to tail suspension, by means of histological and histomorphometric analysis. Eighteen Rattus novergicus Albinus, Wistar rats were divided into three groups (G1, G2 and G3), arranged as follows: G1 (n = 6), who remained free for a period of 15 days, G2 (n = 5), suspended by the tail for a period of 15 days and G3 (n = 7), suspended by the tail for a period of 36 days. All animals underwent surgery to make the experimental bone defect on the medial aspect of the diaphysis in both tibias. The right tibia was treated with pulsed ultrasound (frequency of 1,5 MHz, duty cycle 1:4, 30mW/cm2), for 12 sessions of 20 minutes, and the contralateral limb was the control. Samples of tibia were subjected to histological analysis, blindly, with common light microscopy and histomorphometric analysis by specific software Image-Pro 6.1. The average percentage of new bone formation were subjected to analysis of variance in a split plot test and multiple comparison Student-Newman-Keuls (SNK), with a significance level of 5%. The mean values and standard deviations of the percentage of newly formed bone for the groups showed a smaller amount in the healing of G1T (13,62  4,88) - G1C (8,68  4,16) in comparison with the G2T (27,17  11,36) - G2C (10,10  7,90) and G3t (23,19  5,61) - G3C (15,74  7,08). However, the mean values and standard deviations... (Complete abstract click electronic access below)

A temática das ausências no desenho foi pesquisada neste estudo com a pretensão de verificar se elas o comporiam do mesmo modo que as áreas quando recebem inscrições repetitivas ou intervenções sequenciais. Investigou-se, também, em que medida a ação de apagar pode ser considerada como investimento na construção cfo trabalho. Referendada na minha produção, aprofundei as instâncias: áreas de não desenho, áreas de apagamento e áreas de desgaste de inscrições. Pelos preceitos da Poiética na abordagem de René Passeron e pelos aportes da teoria da Formatividade de Luigi Pareyson, desenvolvi a análise da fatura desses trabalhos que resultam de ações repetitivas e automatizadas, considerando-se aspectos como: manualidade, os tipos de gestos, a escolha dos materiais e a passagem do tempo. As teorias apresentadas pelos filósofos Flusser e Focillon sobre os gestos, bem como os conceitos de Gilles Deleuze sobre diferença e repetição são aprofundados na pesquisa. As lacunas, as retiradas de matéria e os borrados que acontecem nos desenhos afetam o corpo do suporte. Em relação a este tema, Jacques Derrida apresenta reflexões importantes referentes à presença do suporte em trabalhos de pintura, de desenho e na escrita. São importantes para este estudo os referenciais de Roland Barthes, quando utiliza o termo acontecimento ao analisar a relação do artista e a obra que está concebendo, como uma cena em que algo se sucede. Procurou-se, através do cruzamento dos aportes teóricos referidos, obter um instrumento de análise para pensar a ausência no desenho como uma instância possível. / This study investigates the issue of the absent in drawing. lt was intended to verify if the absence in drawing would compose it in the same way that an area that receives repetitive entries ar sequential interventions. lt investigates to which extent the acting of erasing can be considerate as an investment in the construction of a work. Referenced in my production I deepen the instances: non drawing areas, erasing areas and wear areas of inscription. From poetic's percept in René Passeron's approach and by the contribution of Formativity Theory from Luigi Pareyson, I developed an analysis of my work's production that result from repetitive and automated actions considering aspects as: manual activity the types of gestures, the choice of material and the passage of time, the material choice and the time passage. The theories presented by the philosophers Flusser and Focillon about gestures, as well as Gilles Deleuze's concepts on difference and repetition are referenced in the research. The gaps, the withdraw of matter and the blurred that happen in the drawings affect the body's support. Relating to this topic, Jacques Derrida presents important insights regarding the presence of support in painting, drawing and writing. The references to Roland Barthes are important for this study when using the term event to analyze the relationship of the artist and the work that is conceived as a scene in where something ensues. This work searches through the intersection of theoretical contributions mentioned, to obtain an analytical tool to think about the absence in the drawing as a possible instance.

A temática das ausências no desenho foi pesquisada neste estudo com a pretensão de verificar se elas o comporiam do mesmo modo que as áreas quando recebem inscrições repetitivas ou intervenções sequenciais. Investigou-se, também, em que medida a ação de apagar pode ser considerada como investimento na construção cfo trabalho. Referendada na minha produção, aprofundei as instâncias: áreas de não desenho, áreas de apagamento e áreas de desgaste de inscrições. Pelos preceitos da Poiética na abordagem de René Passeron e pelos aportes da teoria da Formatividade de Luigi Pareyson, desenvolvi a análise da fatura desses trabalhos que resultam de ações repetitivas e automatizadas, considerando-se aspectos como: manualidade, os tipos de gestos, a escolha dos materiais e a passagem do tempo. As teorias apresentadas pelos filósofos Flusser e Focillon sobre os gestos, bem como os conceitos de Gilles Deleuze sobre diferença e repetição são aprofundados na pesquisa. As lacunas, as retiradas de matéria e os borrados que acontecem nos desenhos afetam o corpo do suporte. Em relação a este tema, Jacques Derrida apresenta reflexões importantes referentes à presença do suporte em trabalhos de pintura, de desenho e na escrita. São importantes para este estudo os referenciais de Roland Barthes, quando utiliza o termo acontecimento ao analisar a relação do artista e a obra que está concebendo, como uma cena em que algo se sucede. Procurou-se, através do cruzamento dos aportes teóricos referidos, obter um instrumento de análise para pensar a ausência no desenho como uma instância possível. / This study investigates the issue of the absent in drawing. lt was intended to verify if the absence in drawing would compose it in the same way that an area that receives repetitive entries ar sequential interventions. lt investigates to which extent the acting of erasing can be considerate as an investment in the construction of a work. Referenced in my production I deepen the instances: non drawing areas, erasing areas and wear areas of inscription. From poetic's percept in René Passeron's approach and by the contribution of Formativity Theory from Luigi Pareyson, I developed an analysis of my work's production that result from repetitive and automated actions considering aspects as: manual activity the types of gestures, the choice of material and the passage of time, the material choice and the time passage. The theories presented by the philosophers Flusser and Focillon about gestures, as well as Gilles Deleuze's concepts on difference and repetition are referenced in the research. The gaps, the withdraw of matter and the blurred that happen in the drawings affect the body's support. Relating to this topic, Jacques Derrida presents important insights regarding the presence of support in painting, drawing and writing. The references to Roland Barthes are important for this study when using the term event to analyze the relationship of the artist and the work that is conceived as a scene in where something ensues. This work searches through the intersection of theoretical contributions mentioned, to obtain an analytical tool to think about the absence in the drawing as a possible instance.

The increase of computer systems complexity has led to a direct increase in the difficulty of verifying their correctness. For mastering this complexity, formal methods can be used in the development of systems providing techniques for both design and verification. Regarding concurrent and distributed systems, the necessity of a formal approach is more prominent given the substantial increase in complexity due to the countless number of interactions between their constituent systems. Unfortunately, however, current methods are not capable of dealing with the automated analysis of such systems in general, even if we consider only classical properties such as deadlock freedom; the state explosion problem is the main reason for this ineffectiveness. This work is a contribution in this direction. Particularly, considering networks of CSP processes, this work proposes a local strategy for deadlock analysis based on the notion of process refinement. The locality of this strategy prevents the state explosion problem generated by the interaction of constituent systems, which represents a major asset of our strategy. We define a refinement assertion for checking conflict freedom between pairs of processes in the network; this can be used for the local verification of networks with an acyclic communication topology. Concerning networks with a cyclic communication topology, we propose three patterns that prevent deadlocks: the resource allocation, the client/server and the async dynamic. These patterns impose behavioural and structural restrictions to prevent deadlocks. The behavioural restrictions are also captured by refinement assertions, which enable one to automatically verify these conditions using a refinement checker. Besides this, we develop four case studies to evaluate the efficiency of our strategy in practice: a ring buffer, a dining philosopher, and two variations of a leadership election algorithm. One of the variations of the leadership election algorithm consists of a model used in practice by the B&O Company, an industrial partner. In this study, we compare our strategy with two other techniques for deadlock freedom verification, the SSD algorithm of the Deadlock Checker tool and the built-in deadlock freedom assertion of FDR. This study demonstrates how our strategy can be used and that it might be a useful alternative to analysing complex industrial systems for deadlock freedom. / Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T16:54:41Z No. of bitstreams: 2 DISSERTAÇÃO Pedro Ribeiro Gonçalves Antônio.pdf: 921372 bytes, checksum: 64def1c3ae98cbca7868d944c1f786f2 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T17:34:41Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Pedro Ribeiro Gonçalves Antônio.pdf: 921372 bytes, checksum: 64def1c3ae98cbca7868d944c1f786f2 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-03-31 / Com o aumento da complexidade dos sistemas computacionais, houve também um aumento da dificuldade na tarefa de verificação de sistemas. Para lidar com essa complexidade, métodos formais podem ser usados no desenvolvimento de sistemas, fornecendo técnicas para a modelagem e verificação. No contexto de sistemas concorrentes e distribuídos, a necessidade de uma abordagem formal é ainda mais proeminente, dadas as inúmeras possibilidades de interação entre seus sistemas componentes. Entretanto, infelizmente, os métodos atuais não se encontram, de forma geral, completamente aptos a lidar com a análise automática desses sistemas, mesmo em se tratando de propriedades clássicas como a ausência de deadlocks. A explosão do espaço de estados a ser analisado é o principal fator para essa ineficácia por parte desses sistemas. O trabalho apresentado é uma contribuição nesta direção. Considerando o conceito de redes de processos CSP, o presente trabalho propõe uma estratégia local para a análise de deadlocks baseada na noção de refinamento de processos. A localidade dessa estratégia previne a explosão de espaço de estados causada pela interação de sistemas componentes, o que constitui uma vantajosa característica da nossa estratégia. O trabalho define uma expressão de refinamento capturando o conceito de ausência de conflito, que pode ser usado para verificar localmente que uma rede de processos com uma topologia de comunicação acíclica é livre de deadlocks. Para as redes com topologia cíclica, o trabalho sistematiza e formaliza três padrões comportamentais que impedem deadlocks: o alocação de recursos, o cliente/servidor e o assíncrono dinâmico. Esses padrões impõem restrições comportamentais e estruturais para prevenir deadlocks. Essas restrições comportamentais também são capturadas através de expressões de refinamento, o que possibilita a verificação automática dessas condições com o uso de um verificador de refinamento. Além disso, são apresentados quatro estudos de caso usados para avaliar o desempenho da nossa técnica na prática: um buffer circular, um jantar dos filósofos e duas variações de um algoritmo para eleição de líder. Uma dessas variações consiste num modelo usado na prática pela empresa B&O, um parceiro industrial. Nesse estudo, avaliamos a nossa técnica em comparação com outras duas técnicas para verificação de ausência de deadlocks, o algoritmo SSD da ferramenta Deadlock Checker e a asserção de verificação de deadlocks padrão do verificador de modelos FDR. Esse estudo demonstra como a nossa estratégia é aplicada e que ela pode ser uma alternativa vantajosa para a verificação de sistemas complexos.

Como tentativa para compensar a ausência de resposta, aplicou-se o estimador ponderado por pesos amostrais nos dados de um inquérito domiciliar que registrou uma taxa global de resposta igual a 79,10 por cento . O procedimento procurou viabilizar a aplicação do ajuste ao nível dos elementos, usando os pesos obtidos a partir da taxa diferencial de resposta verificada na amostra composta pelas famílias. Fixado o número de cômodos do domicílio como a variável critério para a formação das classes ponderadas, calcularam-se as médias ajustadas e suas variâncias para o peso e a estatura dos menores de 19 anos, usando-se as estimativas calculadas na amostra constituída pelos elementos pertencentes às famílias que efetivamente responderam ao inquérito. A consistência dos resultados obtidos sugere que estudos devem ser desenvolvidos a fim de buscar soluções que minimizem as pressuposições necessárias à aplicação do procedimento e determinem níveis de abrangência que possam ser considerados satisfatórios. / The weighting adjustment by sample weights was applied on the data from a survey sampling with a total response rate of 79,10 per cent , in order to compensate for the unit nonresponse. The weighting factors were gotten by the differential response rate calculated on the household sample to facilitate the application procedure. The variable used to define the weighting classes was the number of rooms of the dwellings. Also, the adjusted means and their variances were calculaled for weight and height of persons with ages under 19 years, using the measures obtained from the same age group individuals related to the respondent households. The consistency of the results support the sugestion that more research has to be done to search for procedures that will minimize the necessary assumptions that underlie them and that can assure wider application levels.

Orientadores: Iscia Teresinha Lopes Cendes, Vinicius D'Ávila Bitencourt Pascoal / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Ciências Médicas / Made available in DSpace on 2018-08-22T15:13:21Z (GMT). No. of bitstreams: 1 Matos_AlexandreHilarioBerenguerde_M.pdf: 2928972 bytes, checksum: d4db9f154891dd3379d9e02aacc7279f (MD5) Previous issue date: 2013 / Resumo: Wistar audiogenic rat (WAR) é um modelo genético de epilepsia de crises audiogênicas desencadeadas após alta intensidade de estimulação sonora. Outro modelo genético recentemente identificado é o da epilepsia generalizada com crises de ausência (GEAS). O objetivo do presente estudo foi caracterizar o perfil de expressão gênica destas duas cepas através de uma análise em larga escala. Para os estudos de expressão foi utilizada inicialmente a tecnologia de microarranjos seguida da validação dos resultados por técnica quantitativa de PCR em tempo real. Os resultados foram analisados em ambiente R, utilizando os pacotes AFFY e RankProd do bioconductor, utilizando o algoritmo MAS 5 os array foram normalizados e calculou-se a intensidade do sinal e a detecção (presença ou ausência de expressão). Após a detecção, os transcritos que estavam ausentes foram removidos. Para a análise estatística foi utilizado o teste RankProd, que é biologicamente projetado para testar e detectar genes diferencialmente expressos em experimentos de microarranjos. Foi utilizado um valor de p ? 0,01 e pfp ? 0,05, a fim de considerar os transcritos diferencialmente expressos. No geral, nossos resultados mostram uma assinatura molecular similar nos dois modelos de ratos genéticos analisados. Houve uma sobreposição na lista de genes diferencialmente expressos encontrados em ambos os modelos, quando comparado com controles. Além disso, descobrimos que duas importantes vias moleculares para epileptogênese: neurotransmissão GABAérgica e potencialização de longo prazo pós-sináptica NMDA-dependente, foram encontrados em ambos os modelos, quando combinamos os dados dos animais WAR e GEAS. No entanto, algumas diferenças nas vias de sinalização expressas nos dois modelos também foram identificadas. Portando os resultados mostram claramente a natureza heterogênea e complexa dos mecanismos moleculares envolvidos na epileptogênese / Abstract: Wistar audiogenic rat (WAR) is a genetic epilepsy model susceptible to audiogenic seizures, after high-intensity sound stimulation. Another genetic model we have recently identified is the generalized epilepsy with absence seizures (GEAS) rat. The aim of the present study was to characterize and compare the genetic profile of these two strains using gene expression analysis. Experiments were performed initially using microarray technology followed by quantitative real-time PCR. Results were analyzed in R environment using the Affy and RankProd packages from Bioconductor, using the algorithm MAS 5 we normalized the arrays and calculated the signal intensity and the detection (presence or absence of expression), after the detection, transcripts which were absent in all samples were removed. For statistical analysis we used the Rank Product test, which is biologically motivated and designed to test and detect differentially expressed genes in replicated microarray experiments. This is a simple non-parametric statistical method based on ranks of fold changes. We used a p-value ? 0.01 and a pfp ? 0.05 in order to consider a given transcript to be differentially expressed Overall, the results show a different molecular signature in the two genetic rat models analyzed, since different enriched gene ontology categories were found. However, there was some overlap in the list of genes differentially expressed found in both models when comparing to controls. In addition, we found that two important molecular pathways for epileptogenesis: GABAergic neurotransmission and: Neurophysiological process NMDA-dependent postsynaptic long-term potentiation in CA1 hippocampal neurons, were found to be present in both models when combining data from WAR and GEAS animals. In conclusion, our results clearly show the heterogeneous and intricate nature of the molecular mechanisms involved in epileptogenesis as well as the importance of studies looking at different regulatory pathways at once, in order to better appreciate this complexity / Mestrado / Neurociencias / Mestre em Ciências