Made available in DSpace on 2015-03-03T15:32:44Z (GMT). No. of bitstreams: 1 AntonioMBN_DISSERT.pdf: 717546 bytes, checksum: 381030bb759313d7ef41203fde24db9f (MD5) Previous issue date: 2014-02-14 / The central objective of a study Non-Homogeneous Markov Chains is the concept of weak and strong ergodicity. A chain is weak ergodic if the dependence on the initial distribution vanishes with time, and it is strong ergodic if it is weak ergodic and converges in distribution. Most theoretical results on strong ergodicity assume some knowledge of the limit behavior of the stationary distributions. In this work, we collect some general results on weak and strong ergodicity for chains with space enumerable states, and also study the asymptotic behavior of the stationary distributions of a particular type of Markov Chains with finite state space, called Markov Chains with Rare Transitions / O objetivo central de estudo em Cadeias de Markov N?o-Homog?neas e o conceito de ergodicidade fraca e forte. Uma cadeia ? erg?dica fraca se a depend?ncia da distribui??o inicial desaparece com o tempo, e ? erg?dica forte se ? erg?dica fraca e converge em distribui??o. A maioria dos resultados te?ricos sobre a ergodicidade forte sup?e algum conhecimento do comportamento limite das distribui??es estacion?rias. Neste trabalho, reunimos alguns resultados gerais sobre ergodicidade fraca e forte para cadeias com espa?oo de estados enumer?vel, e tamb?m estudamos o comportamento assint?tico das distribui??es estacion?rias de um tipo particular de Cadeias de Markov com espa?o de estados nito, chamadas Cadeias de Markov com Transi??es Raras

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work formalizes four methods based on Linear Logic for the verification of interorganizational workflow processes modelled by Interorganizational Workflow nets, which are Petri nets that model such processes. The first method is related to the verification of the Soundness criteria for interorganizational workflow processes. The method is based on the construction and analysis of Linear Logic proof trees, which represent the local processes as much as they do the global processes. The second and third methods are related, respectively to Soundness criteria verification, Relaxed Soundness and Weak Soundness for the interorganizational workflow processes. These are obtained through the analysis of reutilized Linear Logic proof trees that have been constructed for the verification of the Soundness criteria. However, the fourth method has the objective of detecting the deadlock free scenarios in interorganizational workflow and is based on the construction and analysis of Linear Logic proof trees, which initially takes into consideration the local processes and communication between such, and thereafter the candidate scenarios. A case study is carried out in the context of a Web services composition check, since there is a close correlation between the modelling of the interorganizational workflow process and a Web services composition. Therefore, the four methods proposed in the interorganizational workflow process context, are applied to a Web services composition. The evaluation of the obtained results shows that the reutilization of Linear Logic proof trees initially constructed for verifying the Soundness criteria, in fact occurs in the context of verifying the Relaxed Soundness andWeak Soundness criteria. In addition, the evaluation shows how the Linear Logic sequents and their proof trees explicitly show the possibilities for existing collaborations in a Web service composition. An evaluation that takes into account the number of constructed linear logic proof trees shows that this number can be significantly reduced in the deadlock-freeness scenarios detection method. An approach for resource planning based on the symbolic date calculation, which considers data extracted from Linear Logic proof trees is presented and validated through simulations performed on the CPN tools simulator. Two approaches for the monitoring of deadlockfreeness scenarios are introduced and show how data obtained from the Linear Logic proof trees can be used to guide the execution of such scenarios. / Este trabalho formaliza quatro métodos baseados na Lógica Linear para verificação de processos de workflow interorganizacionais modelados por WorkFlow nets interorganizacionais, que são redes de Petri que modelam tais processos. O primeiro método está relacionado com a verificação do critério de correção Soundness para processos de workflow interorganizacionais. O método é baseado na construção e análise de árvores de prova da Lógica Linear que representam tanto os processos locais quanto o processo global. O segundo e terceiro métodos estão relacionados, respectivamente, com a verificação dos critérios de correção Relaxed Soundness e Weak Soundness para processos de workflow interorganizacionais, e são obtidos através da análise de árvores de prova da Lógica Linear reutilizadas, construídas para a prova do critério de correção Soundness. Já o quarto método tem por objetivo a detecção dos cenários livres de deadlock em processos de workflow interorganizacionais e é baseado na construção e análise de árvores de prova da Lógica Linear que consideram, inicialmente, os processos locais e as comunicações entre estes e, posteriormente, os cenários candidatos. Um estudo de caso é realizado no contexto da verificação de composições de serviços Web, uma vez que há uma relação estreita entre a modelagem de um processo de workflow interorganizacional e uma composição de serviços Web. Assim, os quatro métodos propostos no contexto dos processos de workflow interorganizacionais são aplicados a uma composição de serviços Web. A avaliação dos resultados mostra que o reuso de árvores de prova da Lógica Linear construídas inicialmente para a prova do critério de correção Soundness de fato ocorre no contexto da verificação dos critérios de correção Relaxed Soundness e Weak Soundness. Além disso, a avaliação mostra como os sequentes da Lógica Linear e suas árvores de prova explicitam as possibilidades de colaboração existentes em uma composição de serviços Web. Uma avaliação que leva em conta o número de árvores de prova da Lógica Linear construídas mostra que este número pode ser significativamente reduzido no método para detecção de cenários livres de deadlock. Uma abordagem para planejamento de recursos, baseada no cálculo de datas simbólicas, que considera dados extraídos de árvores de prova da Lógica Linear, é apresentada e validada através de simulações realizadas no simulador CPN Tools. Duas abordagens para a monitoração dos cenários livres de deadlock são introduzidas e mostram como dados obtidos nas árvores de prova da Lógica Linear podem ser utilizados para guiar a execução de tais cenários. / Doutor em Ciência da Computação

This work aims at introducing and analyzing financing development possibilities of The Region of South Bohemia, namely the evaluation of drawing financial resources from the Programme of renewal of rural areas and the Programme of the development of economically weak and structurally disabled regions of South Bohemia. The priority of the development, investment projects fixed on them and quantity of financial resources were to be submitted, expressed in numbers and described their development in time. The contribution of this work consists especially in the contribution of absorbed financial resources from those given to the Programmes of The Region of South Bohemia. The resources from the Programme of rural areas and the Programme of the development of economically weak and structurally disabled regions that The Region of South Bohemia is gong to absorb in terms of single endowment titles of these programmes, is gong to significantly make for achievement aims given by the development plan. The essential characteristics of realized projects should include: creating new jobs, support of entrepreneurial activities, improving the quality of local roads, improving travelling for inhabitants of south bohemian villages and attaching to these communication on main regional highways, improvement of offers and services in the field of tourism.

A sight disadvantaged person is an individual whose sight impairment influences in a way the performance of daily activities and cannot by sufficiently solved using common optical correction. The typhlopedia / the ofthalmopedia is a special education branch focused of education, trainig and development of sight disadvanced persons. The general awareness on typhlopedia and the right approach towards the sight disadvantaged persons was investigated and the current attitude of the general public towards to sight disadvantaged persons was mapped. Tha inquiry method (data collection technique using questionnaire/ questionnaire method) was used. The research was carried out in a common Czech city (České budějovice). Generally, two hypothesis were postulated. The first hypothesis was defined as the public awareness on typhlopedia and the right approach towards the sight disadvantaged persons being average (to insufficient). The other hypothesis was that the public attitude towards the sight disadvantaged persons is positive. Finally, the both hypothesis were conformed.

Made available in DSpace on 2014-07-29T16:02:23Z (GMT). No. of bitstreams: 1 silvio sandro.pdf: 761623 bytes, checksum: 55f280c9ca185766a1ed91423c5edfad (MD5) Previous issue date: 2010-06-28 / The group of weak commutativity for bijection G(H;K;σ) = {H;K|[h;hσ] = 1, for all h H} belongs is defined as the quotient of the free product H * K the normal closure of {[h;hσ] : h belongs to all H} in H * K. In this dissertation, we studied the results obtained in 2009 by Sidka and Oliveira [7] that support the following conjecture: If H,K ~= Zp X...X Zp, then G(H,K,σ)is a p-group. / O grupo de comutatividade fraca por bijeção G(H;K;σ) = {H;K|[h;hσ] = 1, para todo h pertence H} é definido como sendo o quociente do produto livre H * K pelo fecho normal de {[h;hσ] : para todo h pertence H} emH * K. Nessa dissertação, estudamos os resultados obtidos em 2009 por Oliveira e Sidki [7] que suportam a seguinte conjectura: Se H,K ~= Zp X...X Zp, então G(H,K,σ) é um p-grupo.

Neste trabalho apresentamos alguns jogos topológicos e suas aplicações à análise. Com esse fim, se fornece condições necessárias para que funções aproximadamente contínuas se tornem contínuas, se caracteriza os conjuntos estritamente pseudo-completos nos espaços de Banach e, assim também, se constrói um espaço de diferenciabilidade Gâteaux que não é Asplund fraco. / In this work we present some topological games and their applications to analysis. For this purpose, necessary conditions are given for nearly continuous functions to become continuous, we characterize the strictly pseudo-complete sets in the Banach spaces and we also construct a Gâteaux differentiability space that is not weak Asplund.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-26T17:30:30Z No. of bitstreams: 1 ceilimarcolinomoreira.pdf: 628590 bytes, checksum: 89404f2fdb6f6a266713327a91a21c05 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-29T19:02:09Z (GMT) No. of bitstreams: 1 ceilimarcolinomoreira.pdf: 628590 bytes, checksum: 89404f2fdb6f6a266713327a91a21c05 (MD5) / Made available in DSpace on 2017-05-29T19:02:09Z (GMT). No. of bitstreams: 1 ceilimarcolinomoreira.pdf: 628590 bytes, checksum: 89404f2fdb6f6a266713327a91a21c05 (MD5) Previous issue date: 2014-03-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho, apresentamos métodos envolvendo sub e supersolução para estudar a existência de solução, no sentido fraco, para três classes de problemas elípticos de segunda ordem com condição de fronteira de Dirichlet homogênea. Nos dois primeiros casos encontramos solução em W1,2 0 (Ω) e no terceiro caso encontramos solução em L1(Ω) com algumas restrições. / This paper presents methods involving sub and supersolution in order to learn the existence of weak solutions of three classes of second order elliptic problems with homogeneous Dirichlet boundary conditions. In the first two cases we find solution in W1,2 0 (Ω) and in the third case we find solution in L1(Ω) with some restrictions.

Submitted by Lucas Pimentel Vilela (lvilela@fgvmail.br) on 2013-10-07T17:22:14Z No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2013-10-08T21:33:30Z (GMT) No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2013-10-14T14:44:28Z (GMT) No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) / Made available in DSpace on 2013-10-14T14:45:02Z (GMT). No. of bitstreams: 2 Dissertação Final.pdf: 665295 bytes, checksum: b54a14202e41e19e863a73328cfb2123 (MD5) Supplement.pdf: 2259071 bytes, checksum: 19718d483c50f35f3878c81521b0acf9 (MD5) Previous issue date: 2013-09-17 / This dissertation deals with the problem of making inference when there is weak identification in models of instrumental variables regression. More specifically we are interested in one-sided hypothesis testing for the coefficient of the endogenous variable when the instruments are weak. The focus is on the conditional tests based on likelihood ratio, score and Wald statistics. Theoretical and numerical work shows that the conditional t-test based on the two-stage least square (2SLS) estimator performs well even when instruments are weakly correlated with the endogenous variable. The conditional approach correct uniformly its size and when the population F-statistic is as small as two, its power is near the power envelopes for similar and non-similar tests. This finding is surprising considering the bad performance of the two-sided conditional t-tests found in Andrews, Moreira and Stock (2007). Given this counter intuitive result, we propose novel two-sided t-tests which are approximately unbiased and can perform as well as the conditional likelihood ratio (CLR) test of Moreira (2003). / Esta dissertação trata do problema de inferência na presença de identificação fraca em modelos de regresso com variáveis instrumentais. Mais especificamente em testes de hipóteses com relação ao parâmetro da variável endógena quando os instrumentos são fracos. O principal foco é nos testes condicionais unilaterais baseados nas estatísticas de razão de máxima verossimilhança, score e Wald. Resultados teóricos e numéricos mostram que o teste t condicional unilateral baseado no estimador de mínimos quadrados em dois estágios tem uma boa performance mesmo na presença de instrumentos fracamente correlacionados com a variável endógena. A abordagem condicional corrige uniformemente o tamanho do teste t e quando a estatística F populacional é tão pequena quanto dois, o poder do teste é próximo ao power envelope tanto de testes similares quanto de não similares. Tal resultado é surpreendente visto a má performance dos testes t’s condicionais bilaterais relatada em (6, Andrews, Moreira and Stock (2007)). Dado esse resultado aparentemente contra intuitivo, apresentamos novos testes t’s condicionals bilaterais que são aproximadamente não viesados e performam, em alguns casos, tão bem quanto o teste condicional baseado na estatística de razão de verossimilhança de ( 19 , Moreira (2003)).

We study combinatorial optimization problems on graphs in the mean-field model, which assigns independent and identically distributed random weights to the edges of the graph. Specifically, we focus on two generalizations of minimum weight matching on graphs. The first problem of minimum cost edge cover finds application in a computational linguistics problem of semantic projection. The second problem of minimum cost many-to-one matching appears as an intermediate optimization step in the restriction scaffold problem applied to shotgun sequencing of DNA. For the minimum cost edge cover on a complete graph on n vertices, where the edge weights are independent exponentially distributed random variables, we show that the expectation of the minimum cost converges to a constant as n →∞ For the minimum cost many-to-one matching on an n x m complete bipartite graph, scaling m as [ n/α ] for some fixed α > 1, we find the limit of the expected minimum cost as a function of α. For both problems, we show that a belief propagation algorithm converges asymptotically to the optimal solution. The belief propagation algorithm yields a near optimal solution with lesser complexity than the known best algorithms designed for optimality in worst-case settings. Our proofs use the machinery of the objective method and local weak convergence, which are ideas developed by Aldous for proving the ζ(2) limit for the minimum cost bipartite matching. We use belief propagation as a constructive proof technique to supplement the objective method. Recursive distributional equations(RDEs) arise naturally in the objective method approach. In a class of RDEs that arise as extensions of the minimum weight matching and travelling salesman problems, we prove existence and uniqueness of a fixed point distribution, and characterize its domain of attraction.

Cette thèse expérimentale s’est attachée à l’étude des effets induits par l’extension spatiale desplasmons de surface sur l’émission de matériaux organiques et inorganiques. Le système estformé d’un ensemble d’émetteurs localisés émettant principalement des plasmons de surfacedélocalisés. Dans un premier temps, nous nous sommes intéressés à l’imagerie par microscopieplasmon, technique de plus en plus utilisée dans divers domaines, notamment la biologie. Nousavons montré que l’émission détectée en un point provient essentiellement de l’environnementet non du point observé, définissant ainsi un cercle d’influence lié à la longueur de propagationdu plasmon de surface. Quand le plasmon interagit plus fortement avec des émetteurs, ilpeut entrer en régime de couplage fort. Ce couplage fort se traduit par un changement dansles énergies du système et par l’apparition de nouveaux états hybrides excitons-plasmons, lespolaritons. Les différents émetteurs localisés (des chaines de colorants agrégés) ne sont alorsplus indépendants entre eux. Des mesures de diffusion montrent un effet collectif induit par lecouplage fort. Ces expériences ont été confirmées par des mesures de cohérence spatiale, réaliséesen ajoutant une expérience de fentes d’Young au dispositif de microscopie plasmon. Ilapparait qu’un état cohérent étendu sur plusieurs microns se forme, conformément aux prévisionsthéoriques. L’ensemble d’émetteurs se comporte alors comme une macromolécule, dontl’interaction est induite par le plasmon de surface. / This experimental thesis studies effects induced by the spatial extension of surface plasmonpolaritons on the emission properties of organic and inorganic materials. First, we focused onleakage radiation microscopy images, a technic which is now widely used in a lot of differentscientific fields, as biology for exemple. We showed that the detected emission at a given point ofthe fluorescence image of an assembly of emitters mostly comes from the environment and notfrom the observed point, defining an influence circle related to the surface plasmon propagationlength. When the surface plasmon strongly interact with emitters, the strong coupling leadsto energy modifications in the system and new hybride states excitons-plasmons appear calledpolaritons. All the different localized emitters (aggregated dye chains) are not independantanymore. Diffusion measurments showed a collective effect induced by the strong-coupling.Two Young’s slits experiment added on the optical system confirm that an extended coherentstate of several micrometers is created as predicted by theory. All emitters behave as only onemacromolecule where the interaction is mediated by the surface plasmon.