• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 442
  • 79
  • 76
  • 38
  • 28
  • 22
  • 9
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • Tagged with
  • 866
  • 98
  • 81
  • 79
  • 70
  • 60
  • 60
  • 57
  • 54
  • 47
  • 47
  • 47
  • 42
  • 41
  • 40
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
571

O Teorema de Borsuk-Ulam: uma versão fraca associada a grupos topológicos / The borsuk-ulam theorem: a weak version associated with topological groups

Marini, Mirela Cristina 25 September 2017 (has links)
Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-16T18:48:37Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T14:06:59Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T18:09:13Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T18:12:23Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T19:44:21Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T11:57:14Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T12:57:56Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T13:16:32Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T13:34:44Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T17:24:54Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T17:29:02Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T12:05:25Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T12:39:44Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T16:47:38Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T17:31:21Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T11:40:49Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T12:31:50Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T13:03:16Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T18:08:08Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T12:13:07Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:22:46Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:31:57Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:37:46Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T19:04:28Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2017-11-30T17:48:32Z (GMT) No. of bitstreams: 1 marini_mc_me_sjrp.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Made available in DSpace on 2017-11-30T17:48:32Z (GMT). No. of bitstreams: 1 marini_mc_me_sjrp.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) Previous issue date: 2017-09-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O Teorema de Borsuk-Ulam clássico afirma que: “Se f : Sn → IRn é uma aplicação contínua, entãoexisteumponto x em Sn talque f(x) = f(−x), ouequivalentemente f(x) = f(A(x)), onde Sn indica a esfera unitária n-dimensional e A : Sn → Sn é a aplicação antipodal”. Se pensamos na superfície terrestre como uma esfera, o caso n = 2 pode ser ilustrado dizendo-se que em cada instante, existe sempre um par de pontos antipodais na superfície da Terra com mesma temperatura e pressão barométrica (supondo que a temperatura e a pressão variam continuamente na superfície). Este trabalho é baseado no artigo “Some generalizations of the Borsuk-Ulam Theorem” de Vendrúsculo, Desideri e Pergher (2011), [8], e tem como principal objetivo apresentar um estudo de uma versão fraca do Teorema de Borsuk-Ulam associada a grupos topológicos. Diz-se que {(X,T);G}, onde X é um espaço topológico equipado por uma involução livre T e G é um grupo topológico, “satisfaz uma versão fraca do Teorema de Borsuk-Ulam”, abreviadamente, “satisfaz WBUT”, se, para cada aplicação contínua f : X → G, temos que o conjunto {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} é diferente do vazio, onde f(T(x))−1 é o simétrico de f(T(x)) em G e 2G = {g ∈ G; g = g−1}. Neste trabalho, relacionamos essa condição fraca com a condição geral de “satisfazer o Teorema de Borsuk-Ulam” (ou “satisfazer BUT”) dada também pelos autores; apresentamos alguns exemplos; considerando G = T2 (toro), detalhamos a demonstração de um resultado que estabelece um critério algébrico para que {(X,T);T2} satisfaça a condição WBUT e de um resultado que dá uma equivalência entre a versão fraca WBUT para triplas {(S,T);T2} e a condição BUT para {(S,T);IR2}, sendo S uma superfície fechada. Por fim, apresentamos um invariante topológico obtido da versão WBUT. Tal invariante, por nós definido, é similar ao obtido da condição BUT e apresentado pelos autores citados. / The classical Borsuk-Ulam Theorem states that: “If f : Sn → IRn is any continuous map, then there exists a point x in Sn such that f(x) = f(−x), or equivalently f(x) = f(A(x)), where Sn denotes the n-dimensional unit sphere and A : Sn → Sn is the antipodal map”. If we think of the Earth’s surface as a sphere, the case n = 2 can be illustrated by saying that at every instant there is always a pair of antipodal points on the Earth’s surface with the same temperature and barometric pressure (assuming that the temperature and pressure vary continuously in the surface). This work is based on the article “Some generalizations of Borsuk-Ulam Theorem” by Ven drúsculo, Desideri and Pergher (2011), [8], and has the main purpose of presenting a study of a weak version of the Borsuk-Ulam Theorem associated with topolog ical groups. It is said that {(X,T);G}, where X is a topological space equipped with a free involution T and G is a topological group “satisfies a Weak version of the Borsuk-Ulam Theorem”, abbreviatedly, “satisfies WBUT” if, given any continuous map f : X → Y , the set {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} is non empty, where f(T(x))−1 is the symmetric of f(T(x)) in G and 2G = {g ∈ G; g = g−1}. In this work, we relate this weak condition with the more general condition of “satisfying the Borsuk-Ulam Theorem” (or “satisfying BUT”) also given by the authors; we present some examples; considering G = T2 (torus), we detail the proof of a result that establishes an algebraic criterion for {(X,T);T2} satisfy the condition WBUT, and of a result that gives an equivalence between the weak version WBUT for triples {(S,T);T2} and the condition BUT for {(S,T);IR2}, where S is a closed surface and T is a free involution on S. Finally, we present a topological invariant obtained from the WBUT version. Such invariant, defined by us, is similar to that obtained from the BUT condition and presented by the cited authors.
572

A pseudoparabolic reaction-diffusion-mechanics system : Modeling, analysis and simulation

Vromans, Arthur January 2018 (has links)
In this thesis, parabolic-pseudoparabolic equations are derived coupling chemical reactions, diffusion, flow and mechanics in a heterogeneous medium using the framework of mixture theory. The weak solvability in 1-D of the obtained models is studied. Furthermore, it is numerically illustrated that approximate solutions according to the Rothe method exhibit expected realistic behaviour. For a simpler model formulation, the periodic homogenization in higher space dimensions is performed. / <p>Research is funded by the Netherlands Organisation of Scientific Research (NWO) with MPE-grant 657.000.004, and a research stay at Karlstads Universitet is funded by NWO cluster Nonlinear Dynamics in Natural Systems (NDNS+).</p>
573

Diálogo institucional e direito à saúde / Institutional dialogue and right to health

Jorge Munhós de Souza 26 August 2011 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O trabalho busca analisar os problemas envolvendo a efetivação do direito à saúde no Brasil, os conflitos alocativos subjacentes à temática e o papel das instituições representativas, do Judiciário e da sociedade civil neste processo. Pretende-se reafirmar a importância da proteção do direito à saúde e, ao mesmo tempo, criticar uma certa euforia doutrinária e jurisprudencial que se instalou nos últimos anos e passou a compreender o Judiciário como o último guardião das promessas constitucionais não cumpridas pelos ramos representativos. O trabalho analisa as experiências constitucionais de países que não apostam no dogma da supremacia judicial e tentam conciliar a revisão judicial com mecanismos mais democráticos. A partir daí propõe o marco teórico das teorias do diálogo institucional como uma alternativa menos unilateral para enfrentar os desafios desencadeados no campo sanitário. No trabalho enfatiza-se a importância pelas preocupações com a efetividade da constituição, mas propõe-se uma reflexão sobre qual seria a melhor alternativa para tanto, chegando-se à conclusão contra-intuitiva de que talvez o caminho mais eficaz passe por um controle judicial fraco, que não despreze as potencialidades do Direito, mas que aposte mais na democracia e na interação sinérgica entre os ramos representativos e a sociedade civil. / The work seeks to analyze problems involving the implementation of the right to health in Brazil, the distributive conflict underlying the theme and the role of representative institutions, the judiciary and civil society in this process. It is intended to reaffirm the importance of protecting the right to health and, at the same time, to criticize a certain euphoria that took place in recent years and came to understand the judiciary as the ultimate guardian of constitutional promises not kept by the representative branches. This article examines the constitutional experiences of countries that do not embrace the doctrine of judicial supremacy and struggle themselves to balance judicial review with more democratic mechanisms. Thereafter it is offered the theoretical framework of theories of institutional dialogue as a less one-sided alternative to meet the challenges triggered in the field of health care. The work emphasizes the importance by concerns about the effectiveness of the constitution, but it proposes a reflection on what would be the best alternative for it, coming to the counterintuitive conclusion that perhaps the most effective way is a weak from of judicial review, which do not disregard the potential of the Law, but that values more democracy and synergistic interaction between the branches and representative civil society.
574

Soluções Fracas para um Sistema Não-Linear Envolvendo o Operador p-Laplaciano

Siqueira, André Francisco Santos 12 August 2010 (has links)
Made available in DSpace on 2015-05-15T11:46:24Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 810707 bytes, checksum: 33aad19ba73032d41420617a7e402095 (MD5) Previous issue date: 2010-08-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we'll prove existence of weak solutions to a coupled mixed problem of nonlinear partial diferential equation in the class of systems of nonlinear Klein- Gordon equations involving pseudo-Laplacian operator. For proving existence of weak solutions we use Faedo-Galerkin's method with compacity and monotonicity properties. / Neste trabalho provaremos a existência de soluções fracas para um problema misto de equações diferenciais parciais n~ao-lineares do tipo Klein-Gordon envolvendo o operador pseudo-Laplaciano. Com esse fim, usaremos o método de Faedo-Galerkin juntamente com argumentos de compacidade e monotonicidade.
575

Intressen i det internationella systemet : En idéanalys av EU:s intervention i Somalia

Westin, Carolina, Östlund, Petra January 2009 (has links)
The main aim of this study is to investigate which structural ideas that lies behind the European Union’s marine operation Atalanta that has been put into motion to counteract piracy and robbery outside the coast of Somalia. In order to do this, we have with the use of the theory of weak states, intervention as well as sovereignty, investigated EU’s document in the question with the use of the idea centered analytical method. The questions that has guided this study, lies both on an empirical and theoretical level. On the basis of a theoretical perspective we have investigatet how the principle of sovereignty and thoughts on intervention affects the international community’s handling of the potential problems in weak states. On the empirical level we investigated which conceptions and structural ideas that can explain EU’s strategy in the set up and execution of operation Atalanta. The study sowed that the humanitarian ideal is the most prominent idea behind this operation. It also showed that there is a realistic view behind the operation. This view means that one always ought to win something on every operation one executes. Further more, we noticed that the principle of sovereignty ever since the Cold War had to stand back in favor of humanitarian interventions. This can be explained by the fact that human rights has become a stronger ideal. However, the question regarding when it is right and who has he right to intervene is still an object of discussion on both a theoretical level and from case to case.   Key words: intervention, weak states, sovereignty, Somlia, Atalanta, EU
576

Fonctions de Lyapunov : une approche KAM faible / Lyapunov functions : a weak KAM approach

Pageault, Pierre 17 November 2011 (has links)
Cette thèse est divisée en trois parties. Dans une première partie, on donne une description nouvelle des points récurrents par chaînes d'un système dynamique comme ensemble d'Aubry projeté d'une barrière ultramétrique. Cette approche permet de munir l'ensemble des composantes transitives par chaînes d'une structure d'espace ultramétrique expliquant leur topologie totalement discontinue, et de retrouver un théorème célèbre de Charles Conley concernant l'existence de fonctions de Lyapunov décroissant strictement le long des orbites non-récurrentes par chaînes. Dans une deuxième partie, on développe une théorie d'Aubry-Mather pour les homéomorphismes d'un espace métrique compact. On introduit dans ce cadre un ensemble d'Aubry métrique, puis topologique, ainsi qu'un ensemble de Mañé. Ces notions, plus fines que la récurrence par chaînes, permettent de mieux comprendre les fonctions de Lyapunov d'un tel système dynamique. Dans une dernière partie, on montre un résultat général de densité de certains contre-exemples au théorème de Sard pour lesquels l'ensemble des points critiques est un arc topologique et on donne des applications dynamiques de ce résultat. Celles-ci sont liées à des problèmes d'unicité, à constantes près, des solutions KAM faibles (ou solutions de viscosité) de certaines équations d'Hamilton-Jacobi. / This thesis is divided into three parts. In the first part, we give a new description of chain-recurrence using an ultrametric barrier. This barrier allows to endow the space of chain-transitive components with an ultrametric structure, explaining its topology and leading to the famous result of Charles Conley about Lyapunov function decreasing along non chain-recurrent orbits. Most of the results, first given in the setting of a continuous map on a compact metric space are then generalised to multivalued map on arbitrary separable metric spaces. In the second part, we develop an Aubry-Mather theory for a homeomorphism on a compact metric space. In this setting, we introduce metric and topological Aubry set and Mañé set, allowing a better understanding of Lyapunov functions arising in such a dynamical system. In the last part, we prove a general density result for some counterexamples of Sard's theorem for which the set of critical points is a topological arc and we give applications to dynamics.
577

Pontos-quânticos: fotodetectores, localização-fraca e estados de borda contra-rotativos / Quantum dots: photodetectors, weak localization and counter-rotating edge states

Ivan Ramos Pagnossin 15 February 2008 (has links)
Apresentamos neste trabalho algumas propriedades do transporte de cargas de heteroestruturas contendo pontos-quânticos. Três tópicos foram explorados: no primeiro, observamos um comportamento anômalo nos platôs do efeito Hall quântico, que atribuímos à existência de estados de borda contra-rotativos; no segundo, determinamos o tempo de decoerência do sistema bidimensional de elétrons em função do estágio evolutivo de pontos-quânticos de InAs autoformados nas suas proximidades. Concluímos que a tensão mecânica acumulada durante o crescimento epitaxial \"congela\" os elétrons, reduzindo a taxa de decoerência; finalmente, testamos algumas das possíveis configurações de heteroestruturas visando a construção de fotodetectores baseados em pontos-quânticos. Observamos que a repetição da região-ativa pode ser utilizada como um parâmetro no controle das mobilidades quânticas e, por conseguinte, das propriedades de operação desses detectores. / In this work we present transport properties of heterostructures with quantum-dots. Three subjects were exploited: on the first one, we observed anomalous quantum Hall plateaus, for wich we attributed to the existence of counter-rotating edge-states; on the second subject, we determined the decoherence time of the bidimensional electron system as a function of the evolutionary stage of nearby self-assembled quantum-dots. We concluded the mechanical stress accumulated during the epitaxial growth \"freezes\" the electrons, reducing the decoherence rate; finally, we tested some base-heterostructures of infrared photodetectors. We observed the stacking of active-regions can be used as a parameter to control quantum-mobilities and, as a consequence, the operation properties of such detectors.
578

Métodos variacionais, desigualdade do tipo Trudinger-Moser e aplicações

Santos, Izabela Andrade dos 16 February 2017 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we are interested in establishing some variational methods, together with applications, that determine the existence and non uniqueness of weak solutions for the nonlinear elliptic partial differential equation −div (K(x)-u) = K(x)f(u) + h, x E R2, where K is an exponential weight, h is a linear functional and f is the nonlinearity that presents critical exponential growth. First of all, for the sake of convenience of the reader, this study shows detailed proofs of some classic results of the theory that involves these methods as, for example, the deformation and mountain pass theorems; and Ekeland’s variational principle. Second of all, we work with a Trudinger-Moser inequality that is related to a Sobolev space with weight K in order to achieve our aim. / Neste trabalho, estamos interessados em apresentar alguns Métodos Variacionais, juntamente com aplicações, que determinam existência e a não unicidade de soluções fracas para uma específica Equação Diferencial Parcial Elíptica não linear −div (K(x)-u) = K(x)f(u) + h, x E R2, onde K é um peso exponencial, h é um funcional linear e f é a não linearidade que apresenta crescimento exponencial crítico. Em um primeiro momento, para uma maior comodidade do leitor, estabelecemos provas detalhadas de alguns resultados clássicos da teoria que contém esses métodos como, por exemplo, os Teoremas da Deformação e do Passo da Montanha; e o Princípio Variacional de Ekeland. Em seguida, trabalhamos com uma Desigualdade do tipo Trudinger-Moser em um Espaço de Sobolev com peso K com o objetivo de alcançarmos nossa meta.
579

A forma fraca do teorema de peano em espaços de banach de dimensão infinita

Mendes, Abraão Caetano 12 August 2015 (has links)
Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-09-02T13:30:29Z No. of bitstreams: 1 Dissertação - Abraão C Mendes.pdf: 596466 bytes, checksum: 828e2e3d4596502c864741954a15b161 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-09-16T15:31:26Z (GMT) No. of bitstreams: 1 Dissertação - Abraão C Mendes.pdf: 596466 bytes, checksum: 828e2e3d4596502c864741954a15b161 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-09-16T15:35:33Z (GMT) No. of bitstreams: 1 Dissertação - Abraão C Mendes.pdf: 596466 bytes, checksum: 828e2e3d4596502c864741954a15b161 (MD5) / Made available in DSpace on 2015-09-16T15:35:34Z (GMT). No. of bitstreams: 1 Dissertação - Abraão C Mendes.pdf: 596466 bytes, checksum: 828e2e3d4596502c864741954a15b161 (MD5) Previous issue date: 2015-08-12 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / For a long time one was looking for an answer of Peano’s theorem in infinitedimensional Banach spaces. In 1974, Godunov proved that the Peano’s theorem holds in a Banach space X if and only if X has finite dimension. In the following, he turned all his attention to the weak form of Peano’s theorem in the infinite-dimensional case. In 2003, Shkarin proved that if X is a Banach space containing a complemented subspace with an unconditional Schauder basis, then the weak form of Peano’s theorem does not hold. In this work we try to show all details of the proof. / Por muito tempo procurou-se responder à questão da validade (ou não-validade) do Teorema de Peano em espaços de Banach de dimensão infinita. Mas, em 1974, Godunov mostrou que o Teorema de Peano é válido em um espaço de Banach X se, e somente se, X tem dimensão finita (veja [13]). Voltou-se, então, a atenção para a Forma Fraca do Teorema de Peano no caso de dimensão infinita. Em 2003, Shkarin mostrou que se X é um espaço de Banach contendo um subespaço complementado com base de Schauder incondicional, então a Forma Fraca do Teorema de Peano não é válida (veja [14]). Veremos os detelhes deste resultado ao longo deste trabalho.
580

Geração semi-automática de extratores de dados da web considerando contextos fracos / Semi-automatic generation of web data extractors considering weak contexts

Oliveira, Daniel Pereira de 03 March 2006 (has links)
Made available in DSpace on 2015-04-11T14:03:04Z (GMT). No. of bitstreams: 1 Daniel Pereira de Oliveira.pdf: 1962605 bytes, checksum: 022c425ec0a87d2146c7cae3f274903b (MD5) Previous issue date: 2006-03-03 / In the current days, the Internet has become the largest information repository available. However, this huge variety of information is mostly represented in textual format and it necessarily requires human intervention to be effectively used. On the other hand, there exists a large set of Web pages that are in fact composed of collections of implicit data objects. For instance, on-line catalogs, digital libraries and e-commerce Web sites in general. Extracting the contents of these pages and identifying the structure of the data objects available allow for more sophisticated forms of processing besides hyperlink browsing and keyword-based searching. The task of extracting data from Web pages is usually executed by specialized programs called wrappers. In the present work we propose and evaluate a new approach to the wrapper development problem. In this approach, the user is only responsible for providing examples for the atomic items that constitute the objects of interest. Based on these examples, our method automatically generates expressions for extracting other atomics items similar to those presented as example and infers a plausible and meaningful structure to organize them. Our method for generating extraction expression uses techniques inherited from solutions for the multiple string alignment problem. The method is able to produce good extraction expressions that can be easily encoded as regular expressions. Inferring a meaningful structure for the objects whose atomic values were extracted is the task of the HotCycles algorithm, that were previously proposed and which we have revised and extended in this work. The algorithm assembles an adjacency graph for these atomic values, and executes a structural analysis over this graph, looking for patterns that resemble structural constructs such as tuples and lists. From such constructs, a complex object type can be assigned to the extracted data. The experiments carried out using 21 collections of real Web pages have demonstrated the feasibility of our extraction method, reaching 94% of effectiveness using no more than 10 examples for each attribute. The HotCycles algorithm was able to infer a meaningful structure for the objects present in all used collections. Its effectiveness, combined with our atom extraction method, reached 97% of structures correctly inferred, also using no more than 10 examples per attribute. The association of these two methods has demonstrated to be extremely feasible. The high number of correctly inferred structures together with the high precision and recall values of the extraction process demonstrates that this new approach is indeed a promising one. / Hoje em dia a Web se apresenta como o maior repositório de informações da humanidade. Contudo, essa imensa gama de informação é formada principalmente por conteúdo textual e necessariamente requer interpretação humana para se tornar útil. Por outro lado, existe uma grande quantidade de páginas na Web que são, na verdade, formadas por um conjunto implícito de objetos. Isso ocorre, por exemplo, em páginas oriundas de sites de catálogos on-line, bibliotecas digitais e comércio eletrônico em geral. A extração desse conteúdo e a identificação da estrutura dos objetos disponíveis permite uma forma mais sofisticada de processamento além da tradicional navegação por hiperlinks e consultas por palavras-chave. A tarefa de extrair dados de páginas Web é executada por progamas chamados extratores ou wrappers. Neste trabalho propomos uma nova abordagem para o desenvolvimento de extratores. Nessa abordagem o usuário se restringe a fornecer exemplos de treinamento para os atributos que constituem os objetos de interesse. Baseado nesses exemplos, são gerados automaticamente padrões para extrair dados inseridos em contextos similares áqueles fornecidos como exemplos. Em seguida, esses dados são automaticamente organizados segundo uma estrutura plausível. Nosso método de geração de padrões de extração utiliza técnicas herdadas de soluções para o problema do alinhamento múltiplo de seqüências. O método é capaz de produzir padrões de extração que podem ser facilmente transformados em expressões regulares. A tarefa de inferir uma estrutura plausível para os objetos extraídos é realizada pelo algoritmo HotCycles, que foi previamente proposto e que foi revisto e ampliado neste trabalho. O algoritmo constrói um grafo de adjacências para esses dados, e realiza nele, uma análise estrutural em busca de padrões que indiquem construtores estruturais como tuplas e listas. A partir de tais construtores, é associado um tipo aninhado aos dados que foram extraídos da página. Experimentos realizados em 21 coleções de páginas reais da Web demonstram a viabilidade do método de extração de valores atômicos, obtendo um desempenho superior a 94% e utilizando no máximo 10 exemplos de treinamento por atributo. O algoritmo HotCycles foi capaz de inferir uma estrutura plausível para os objetos em todas as coleções utilizadas. Seu desempenho combinado com o método de extração de valores atômicos chegou a 97% de estruturas corretamente inferidas com a utilização também até 10 exemplos por atributo. A combinação desses dois métodos demonstrou-se extremamente viável. Os altos índices de estruturas corretamente inferidas juntamente com os elevados índices de precisão e revocação do processo de extração demonstram que esta é sem dúvida uma abordagem promissora.

Page generated in 0.2618 seconds