• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 882
  • 26
  • 8
  • 7
  • 7
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 1
  • 1
  • Tagged with
  • 927
  • 582
  • 235
  • 234
  • 145
  • 128
  • 106
  • 100
  • 99
  • 96
  • 93
  • 92
  • 89
  • 84
  • 77
  • 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.
111

Inspeção sanitária em serviços de saúde: um estudo de caso

Albuquerque, Marly Gonçalves January 2012 (has links)
Submitted by Maria Creuza Silva (mariakreuza@yahoo.com.br) on 2013-07-29T17:46:30Z No. of bitstreams: 1 Dissertação MP. Marly Albuquerque 2012.pdf: 810974 bytes, checksum: 5c98805146b267b44c031752ae092e7c (MD5) / Approved for entry into archive by Maria Creuza Silva(mariakreuza@yahoo.com.br) on 2013-07-29T17:49:47Z (GMT) No. of bitstreams: 1 Dissertação MP. Marly Albuquerque 2012.pdf: 810974 bytes, checksum: 5c98805146b267b44c031752ae092e7c (MD5) / Made available in DSpace on 2013-07-29T17:49:47Z (GMT). No. of bitstreams: 1 Dissertação MP. Marly Albuquerque 2012.pdf: 810974 bytes, checksum: 5c98805146b267b44c031752ae092e7c (MD5) Previous issue date: 2012 / A Vigilância Sanitária (VISA) como integrante do SUS é responsável pelo controle sanitário de produtos e serviços de interesse da saúde, para tanto a VISA, utiliza-se de tecnologias de intervenção e dentre elas a inspeção sanitária. Este estudo descreve a inspeção sanitária em serviços de saúde, realizada pela Vigilância Sanitária do Estado da Bahia (VISA-BA), em hospitais públicos de alta complexidade. Trata-se de um estudo de caso único desenvolvido na VISA-BA, tendo como unidade de análise a inspeção sanitária nesses hospitais. Utilizou-se das estratégias metodológicas de pesquisa documental, com análise das informações contidas nos prontuários dos hospitais arquivados na VISA-BA e entrevistas semi-estruturadas com informantes chaves dessa vigilância. As perguntas das entrevistas foram estruturadas em quatro categorias de análise: estrutura organo-funcional, processo de trabalho, monitoramento do serviço e estrutura relacionada a recursos humanos. Os dados coletados dos prontuários foram sistematizados em matrizes de análise e as entrevistas constituíram um banco de dados, onde as pontuações de cada entrevistado foram classificadas de acordo com um escore estabelecido para cada categoria de análise pesquisada. Para a identificação da adequabilidade do desempenho da inspeção sanitária nos hospitais estudados foi construído um escore de pontos baseado no resultado das entrevistas que estabelece três níveis de classificação para a inspeção sanitária: inadequada, necessitando de adequações e inspeção adequada. Os resultados apontaram dissonância entre as fontes de dados estudadas, revelando fragilidades da inspeção sanitária principalmente nas categorias de infra-estrutura relacionada a recursos humanos, estrutura organo-funcional da VISA e monitoramento do serviço de saúde após inspeção. A consolidação dos dados permitiu a classificação do desempenho da inspeção sanitária em hospitais de alta complexidade realizada pela VISA-BA, necessitando de adequações. Este estudo identificou a necessidade de um planejamento e uma reestruturação da inspeção sanitária em hospitais de alta complexidade na perspectiva do alcance do objetivo da proteção da saúde individual e coletiva. / Salvador
112

Estudo sobre fatores de competitividade organizacional e seu impacto nas condições operacionais

Roman, Darlan José 26 October 2012 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Sócio-Econômico, Programa de Pós-Graduação em Administração, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T06:00:11Z (GMT). No. of bitstreams: 1 289215.pdf: 1850220 bytes, checksum: e9bb548fdfc0058f15715c0de2f44110 (MD5) / Nesta dissertação realizou-se uma pesquisa com o objetivo de caracterizar e validar Fatores de Competitividade Organizacional. Discute-se também as contribuições da abordagem complexa no contexto das organizações empresariais, focando a área de produção. Uma das motivações deste trabalho é contribuir para a construção de um instrumento de diagnóstico que vem sendo desenvolvido pelo NIEPC (Núcleo Interdisciplinar de Estudos em Gestão da Produção e Custos) da UFSC. Inicia-se com a apresentação dos aspectos teóricos do estudo. Nesta linha, descreve-se aspectos importantes sobre a Administração da Produção em Organizações. Em seguida, discute-se as contribuições do pensamento complexo no sentido de melhorar o desempenho de sistemas de produção e a importância das relações complexas no sistema. Neste sentido, descreve-se a idéia dos fatores de competitividade como elementos capazes de fortalecer as inter-relações de um sistema de produção, potencializando, desta forma, os resultados, conforme os princípios sugeridos pela abordagem complexa. O trabalho desenvolve-se a partir da análise de conteúdo de artigos científicos que tratam sobre assuntos relacionados à competitividade, produtividade, eficiência, desempenho e performance organizacional no Portal de Periódicos da CAPES, no período de 2000 a 2009. A partir da análise de 486 artigos científicos identificaram-se 15 fatores de competitividade organizacional. A validação dos fatores foi feita com pesquisadores e profissionais da área de produção. A primeira etapa do processo de validação foi realizada com 198 pesquisadores da área de produção. Para concluir a validação, entrevistou-se gestores de duas empresas industriais, selecionadas a partir do método de amostragem por conveniência. Os resultados sugerem que os 15 fatores apresentados influenciam na competitividade do sistema de produção. No que se refere à validação com os pesquisadores, destaca-se Qualidade, Inovação, Conhecimento, Capital Humano e Relacionamento com Clientes como fatores mais importantes. Na validação com a empresa SPA todos os fatores analisados foram considerados importantes para a competitividade, com destaque para Flexibilidade, Qualidade, Relacionamento com Clientes e Sistemas de Controle. Já na validação com a empresa CPK, houve alguma restrição para o fator Custos. Por outro lado, Confiabilidade, Conhecimento, Flexibilidade, Qualidade, Inovação e Responsabilidade Social foram considerados indispensáveis para a competitividade. Conclui-se que as organizações produtivas podem prover melhorias no desempenho a partir da observação e incorporação dos 15 fatores de competitividade nas suas atividades operacionais e estratégicas.
113

Direito animal à luz do pensamento sistêmico-complexo

Souza, Rafael Speck de January 2017 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas, Programa de Pós-Graduação em Direito, Florianópolis, 2017. / Made available in DSpace on 2017-04-18T04:22:31Z (GMT). No. of bitstreams: 1 346687.pdf: 1452100 bytes, checksum: 89342c18005d5a1bf3ac7fb55cadc9f9 (MD5) Previous issue date: 2017 / Esta pesquisa versa sobre a interação do Direito Animal e do Pensamento Sistêmico-Complexo a partir da previsão constitucional que protege a fauna e proíbe quaisquer práticas que submetam os animais à crueldade. Desta interação (ou seja, deste vínculo de ações recíprocas), parte-se em busca de elementos que permitam um enfoque integrador da atual crise socioambiental ? crise esta que tem como uma de suas expressões a violência inaudita cometida contra os animais não humanos, mas também aos ecossistemas planetários e aos próprios seres humanos em condições de vulnerabilidade. A dissertação inicia tendo como fio condutor o contexto da crise socioambiental. Inicialmente, busca-se abordar a etiologia da crise e seus condicionantes estruturais. Mostra-se como se deu a ecologização do Direito, a partir do estudo do enfoque clássico da Ecologia e sua evolução até chegar às Ciências Sociais do Ambiente e a denominada Ecologia Sistêmica. Na última seção do primeiro capítulo, adentra-se no Pensamento Sistêmico e seu desenrolar até chegar ao Pensamento Complexo. No intuito de fornecer ferramentas epistemológicas para um novo pensar, adentra-se nos princípios orientadores do pensamento complexo trazidos por Edgar Morin, e nos métodos de integração (inter e transdisciplinar) do conhecimento científico. No segundo capítulo, analisa-se o status complexo dos animais não humanos, nos sistemas moral e jurídico. De início, faz-se uma análise panorâmica do itinerário histórico-filosófico do conceito de dignidade, para então ingressar-se no estatuto moral dos animais, especificamente, nas teorias dos autores contemporâneos mais influentes no âmbito da Ética Animal: os filósofos Peter Singer e Tom Regan. A seguir, aborda-se o estatuto jurídico dos animais, notadamente a partir das teorias de dois juristas que também são referência: Steven Wise e Gary Francione. No terceiro e último capítulo, aborda-se as interações sistêmico-complexas do Direito Animal e como este ramo do Direito passou a se consolidar, tendo como fonte material as normas de proteção animal trazidas na CF/1988. Desenvolvem-se articulações para uma proteção integrada dos animais, como a necessidade de integração dos estatutos jurídicos, da visão não dual em prol dos animais, da linguagem do Direito e da Educação como vias de proteção dos animais e do repensar a noção de desenvolvimento sustentável. O método de abordagem utilizado foi o indutivo e o método de procedimento adotado o monográfico. As técnicas de pesquisa foram a bibliográfica e a documental.<br> / Abstract : The object of this research is the interaction of Animal Law and Systemic-Complex Thinking, from the vantage point of the constitutional provision that protects wildlife and prohibits any practices that subject animals to cruelty (art. 225, §1º, of the Federal Constitution of 1988). From this interaction (that is, from this bond of reciprocal actions) we look for elements which permit an integrative approach to the present environmental crisis a crisis that has as one of its expressions unprecedented violence inflicted on nonhuman animals, but also on planetary ecosystems and human beings, themselves in vulnerable conditions. The dissertation begins taking as a guide the context of the socio- environmental crisis. In the first chapter, we seek to address the etiology of the crisis and its structural conditions. Next, aiming to show how the greening of Law developed, we explore the study of the classical approach of ecology and its evolution up to the Social Environmental Sciences and Systemic Ecology. The last section of this chapter is dedicated to examining Systemic Thinking and its development up to Complex Thought. In order to provide epistemological tools for new ways of thinking, we examine the guiding principles of complex thought developed by Edgar Morin, and the methods of (inter- and transdisciplinary) integration of scientific knowledge. In the second chapter the complex status of nonhuman animals in the moral and legal systems is analyzed. Firstly, we present an overview of the historical-philosophical itinerary of the concept of dignity, in order to then address the moral status of animals, specifically in the theories of the most influential contemporary authors in the field of Animal Ethics: the philosophers Peter Singer and Tom Regan. Secondly, we approach the legal status of animals, particularly from the point of view of the lawyers who are also references in the area: Steven Wise and Gary Francione. In the third and final chapter, we address the systemic interactions of Animal Law and how this branch of law began to consolidate, having as a material source the animal protection norms of the Federal Constitution of 1988. We develop coordination for an integrated protection of animals, such as the need of integration of legal status, a non-dual vision for animals, the language of Law and Education as ways of protecting animals and the rethinking of the notion of sustainable development. The method used was the inductive and the procedure method adopted was the monographic. The research technique will include bibliographical and documentary.
114

Espaços e atratores: estratégias de categorização na emergência de interferências sobre a conceitualização de violência / Spaces and attractors: categorization strategies in emergency interference on the conceptualization of violence

Almeida Júnior, Antenor Teixeira January 2013 (has links)
ALMEIDA JÚNIOR, Antenor Teixeira. Espaços e atratores: estratégias de categorização na emergência de interferências sobre a conceitualização de violência. 2013. 184f. – Tese (Doutorado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2013. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2016-01-19T18:35:33Z No. of bitstreams: 1 2013_tese_atajunior.pdf: 2885641 bytes, checksum: 4f0fc10c7ba0f795d9a6a874f8c74b94 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2016-01-20T10:53:28Z (GMT) No. of bitstreams: 1 2013_tese_atajunior.pdf: 2885641 bytes, checksum: 4f0fc10c7ba0f795d9a6a874f8c74b94 (MD5) / Made available in DSpace on 2016-01-20T10:53:28Z (GMT). No. of bitstreams: 1 2013_tese_atajunior.pdf: 2885641 bytes, checksum: 4f0fc10c7ba0f795d9a6a874f8c74b94 (MD5) Previous issue date: 2013 / In this research, I analyzed the characteristics and mechanisms that make categorization, as a cognitive process, a Complex Adaptive System and the strategies of categorization that work in the emergency of inferences for the conceptualization of the category VIOLENCE and subcategory URBAN VIOLENCE. The theoretical support for the investigation of the research aims are the assumptions of the paradigm of chaos, complexity and complex systems, as outlined by Bertalanffy (1977), Morin (2005), Holland (1995, 1998) and Larsen-Freeman and Cameron ( 2008; 2012), who propose the concepts of systems, complexity, attractors, phase space and characteristics and mechanisms of a Complex Adaptive System. In the case of inferential process, I sought theoretical support in Relevance Theory, as proposed by Sperber and Wilson (1995, 2001), Feltes (1999, 2007), Alves and Gonçalves (2006) and Yus (2008, 2013). To get to the characterization of categorization as a Complex Adaptive System, I considered the properties presented by Holland (1995) and Larsen-Freeman and Cameron (2008), seeking to expand the concept and explain the instability of the categorical system based on the complexity theory (Morin, 1977). For this investigation, based on the complexity theory, it was also necessary to include the concept of system, phase space and attractors so relevant to the methodological approach used in this research. Such a procedure resulted in a typology of categorization strategies for the analysis and explanation of how the various feasible spaces for the conceptualizing of VIOLENCE are triggered. The category "VIOLENCE" was chosen for analysis in view of its update status in the last twenty years and the various researches on the subject carried out by Larsen-Freeman and Cameron, Macedo and Feltes, scholars whose studies served as basis for the methodological proposal of this thesis. In order to verify the research hypotheses, a methodological design which involved intensive direct observation of 33 categorizers was used. The participants answered questionnaires about the categorization of VIOLENCE and participated of verbal protocols to verify the inference mechanisms involved in the process. The analyses result allow for the following conclusions: VIOLENCE categorization has the properties and mechanisms of Complex Adaptive Systems because the systems present, in whole and in parts, variation within a stable range. The categorizers use the inferential process to trigger the attractors that lead to the phase space in which diverse knowledge about violence is available for its conceptualization in a strategic way. / Nesta pesquisa, analisamos as características e mecanismos que tornam a categorização, como processo cognitivo, um Sistema Adaptativo Complexo e as estratégias de categorização que atuam na emergência de inferências para a conceitualização da categoria VIOLÊNCIA e a subcategoria VIOLÊNCIA URBANA. Nosso suporte teórico para a investigação dos nossos objetivos são os pressupostos do paradigma do caos, da complexidade e dos sistemas complexos, conforme delineados por Bertalanffy (1977), Morin (2005), Holland (1995; 1998) e Larsen- Freeman e Cameron (2008; 2012), que propõem os conceitos de sistemas, complexidade, atratores, espaço fase e características e mecanismos de um Sistema Adaptativo Complexo. No caso do processo inferencial, buscamos amparo teórico na Teoria da Relevância, conforme proposta por Sperber e Wilson (1995; 2001), Feltes (1999; 2007), Alves e Gonçalves (2006) e Yus (2008; 2013). Para chegarmos à caracterização da categorização como Sistema Adaptativo Complexo, levamos em consideração as propriedades apresentadas por Holland (1995) e Larsen- Freeman e Cameron (2008), buscando ampliar o conceito e explicar a instabilidade do sistema categorizacional à luz da complexidade (MORIN, 1977). Para essa investigação com base na complexidade foi necessário ainda incluir o conceito de sistema, espaço fase e atratores tão caros à abordagem metodológica utilizada. Esse procedimento resultou em uma tipologia de estratégias de categorização para análise e explicitação de como se aciona os diversos espaços possíveis para conceitualização de VIOLÊNCIA. Escolhemos a categoria VIOLÊNCIA para investigar nosso objetivo tendo em vista a atualização do assunto nos últimos vinte anos e pelos trabalhos com essa categoria realizados por Larsen-Freeman e Cameron, Macedo e Feltes, cujos estudos serviram de base para nossa proposta metodológica. Para verificarmos nossas hipóteses, utilizamos como desenho metodológico uma pesquisa com observação direta e intensiva de 33 categorizadores que responderam a questionários sobre a categorização de VIOLÊNCIA e participaram de protocolos verbais para verificação dos mecanismos de inferenciação. Os resultados das análises permitem as seguintes conclusões: a categorização de VIOLÊNCIA possui propriedades e mecanismos dos Sistemas Adaptativos Complexos, pois os sistemas apresentam no todo e nas partes, variedade dentro de uma estabilidade. Os categorizadores utilizam o processo inferencial para acionar os atratores que levam ao espaço fase em que se encontram diversos conhecimentos sobre violência para sua conceitualização de forma estratégica.
115

Coloração em convexidade em grafos / Graph Coloring and Graph Convexity

Araújo, Júlio César Silva January 2012 (has links)
ARAÚJO, Júlio César Silva. Coloração em convexidade em grafos. 2012. 207 f. Tese (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-08-04T12:28:10Z No. of bitstreams: 1 2012_tese_jcsaraujo.pdf: 2148108 bytes, checksum: 966c00be231160cb1e161402770627d6 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-08-05T15:46:03Z (GMT) No. of bitstreams: 1 2012_tese_jcsaraujo.pdf: 2148108 bytes, checksum: 966c00be231160cb1e161402770627d6 (MD5) / Made available in DSpace on 2016-08-05T15:46:03Z (GMT). No. of bitstreams: 1 2012_tese_jcsaraujo.pdf: 2148108 bytes, checksum: 966c00be231160cb1e161402770627d6 (MD5) Previous issue date: 2012 / In this thesis, we study several problems of Graph Theory concerning Graph Coloring and Graph Convexity. Most of the results contained here are related to the computational complexity of these problems for particular graph classes. In the first and main part of this thesis, we deal with Graph Coloring which is one of the most studied areas of Graph Theory. We first consider three graph coloring problems called Greedy Coloring, Weighted Coloring and Weighted Improper Coloring. Then, we deal with a decision problem, called Good Edge-Labeling, whose de finition was motivated by the Wavelength Assignment problem in optical networks. The second part of this thesis is devoted to a graph optimization parameter called (geodetic) hull number. The de finition of this parameter is motivated by an extension to graphs of the notions of convex sets and convex hulls in the Euclidean space. Finally, we present in the appendix other works developed during this thesis, one about Eulerian and Hamiltonian directed hypergraphs and the other concerning distributed storage systems. / Nesta tese, estudamos vários problemas de teoria dos grafos relativos à coloração e convexidade em grafos. A maioria dos resultados contidos aqui são ligados à complexidade computacional destes problemas para classes de grafos particulares. Na primeira, e principal, parte desta tese, discutimos coloração de grafos que é uma das áreas mais importantes de teoria dos grafos. Primeiro, consideramos três problemas de coloração chamados coloração gulosa, coloração ponderada e coloração ponderada imprópria. Em seguida, discutimos um problema de decisão, chamado boa rotulagem de arestas, cuja de finição foi motivada pelo problema de atribuição de frequências em redes óticas. A segunda parte desta tese é dedicada a um parâmetro de otimização em grafos chamado de número de fecho (geodético). A de finição deste parâmetro é motivada pela extensão das noções de conjuntos e fecho convexos no espaço Euclidiano. Por m, apresentamos em anexo outros trabalhos desenvolvidos durante esta tese, um em hipergrafos dirigidos Eulerianos e Hamiltonianos e outro sobre sistemas de armazenamento distribuído.
116

Complexidade descritiva da lógica de ponto fixo relacional inflacionário / The descriptive complexity of logics with relational fixed-point

Farias, Márcia Roberta Falcão de January 2016 (has links)
FARIAS, Márcia Roberta Falcão de. Complexidade descritiva da lógica de ponto fixo relacional inflacionário. 2016. 114 f. Tese (Doutorado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Anderson Silva Pereira (anderson.pereiraaa@gmail.com) on 2017-01-10T20:51:08Z No. of bitstreams: 1 2016_tese_mrffarias.pdf: 875367 bytes, checksum: b080a902e479415aafe748ca7f2224e9 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-01-11T15:46:49Z (GMT) No. of bitstreams: 1 2016_tese_mrffarias.pdf: 875367 bytes, checksum: b080a902e479415aafe748ca7f2224e9 (MD5) / Made available in DSpace on 2017-01-11T15:46:49Z (GMT). No. of bitstreams: 1 2016_tese_mrffarias.pdf: 875367 bytes, checksum: b080a902e479415aafe748ca7f2224e9 (MD5) Previous issue date: 2016 / Descriptive Complexity is a field of Finite Model Theory, which is interested in characterizing computational complexity classes in terms of the logical resources that are required to express all the problems belonging to the class. The seminal result in the area is the celebrated Fagin's Theorem, which proves that the class NP is captured by the existential fragment of second order logic. On the other side of the spectrum, we have the well known fact that first-order logic is not sufficiently expressive to define even such simple problems as graph connectivity. The introduction of fixed-point operators is a standard technique to increase the expressive power of a logic in a controlled way. Indeed, Immerman and Vardi prove that first-order logic with the least fixed-point operator, denoted LFP, is able to capture the class P over the set of ordered structures. We generalize the classical fixed-point logics using relations instead of operators. The basic idea is that we use loops in a relation instead of fixed-points of a function, that is, X is a fixed-point of the relation R in case the pair (X,X) belongs to R. We introduce the notion of initial fixed-point of an inflationary relation R and the associated operator rifp. We denote by RIFP the first-order logic with the inflationary relational fixed-point operator rifp and show that it captures the polynomial hierarchy using a translation to second-order logic. We also consider the fragment RIFP1 with the restriction that the rifp operator can be applied at most once. We show that RIFP1 captures the class NP and compare our logic with the nondeterministic fixed-point logic proposed by Abiteboul, Vianu and Vardi, that introduces the notion of non-deterministic fixed-points and proves that the first-order logic with such operators captures the class NP. The results of this work will be published in 11th Workshop on Logical and Semantic Frameworks, with Applications - LSFA. / Complexidade Descritiva é um ramo da Teoria dos Modelos Finitos que está interessada em caracterizar classes de complexidade computacionais em termos dos recursos lógicos necessários para expressar todos os problemas que estão contidos na classe. O resultado mais celebrado da área é o Teorema de Fagin que prova que a classe NP é capturada pelo fragmento existencial de segunda ordem. Por outro lado, a lógica de primeira ordem (FO) não é expressiva o suficiente para definir problemas simples como o problema da conectividade de grafos. A introdução de operadores de ponto fixo é uma técnica padrão para acrescentar poder expressivo à lógica de maneira controlada. De fato, Immerman e Vardi provam que FO com o operador de menor ponto fixo, denotada por LFP, é capaz de capturar a classe P sobre estruturas finitas e ordenadas. Neste trabalho, seguiremos uma abordagem diferente e definiremos a noção de ponto fixo sobre uma relação arbitrária. Nós generalizamos as lógicas clássicas de ponto fixo usando relações no lugar de operadores. A ideia básica é que usamos laços em uma relação no lugar de pontos fixos de uma função, isto é, X é ponto fixo de uma relação R no caso do par (X,X) pertencer à relação R. Nós introduzimos a noção de ponto fixo inicial de uma relação inflacionária R e o operador rifp associado. Chamamos de RIFP a lógica FO com o operador de ponto fixo relacional inflacionário e mostramos que essa lógica captura a hierarquia polinomial usando uma tradução para a lógica de segunda ordem. Também consideramos o fragmento RIFP1 com a restrição do operador rifp poder ser aplicado no máximo uma vez. Mostramos que RIFP1 captura a classe NP e comparamos nossa lógica com a lógica de ponto fixo não-determinístico proposta por Abiteboul, Vianu e Vardi, que introduz a noção do ponto fixo não-determinístico e prova que a lógica FO com o operador de ponto fixo não-determinístico captura a classe NP sobre estruturas ordenadas. Os resultados deste trabalho foram aceitos para publicação em 11th Workshop on Logical and Semantic Frameworks, with Applications - LSFA.
117

O problema da atribuição conexa / The connected assignment problem

Soares, Joel Cruz January 2016 (has links)
SOARES, Joel Cruz. O problema da atribuição conexa. 2016. 96 f. Dissertação (Mestrado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Anderson Silva Pereira (anderson.pereiraaa@gmail.com) on 2017-01-11T20:06:15Z No. of bitstreams: 1 2016_dis_jcsoares.pdf: 739371 bytes, checksum: 4e1d4ee45a126992e8308bc1b1333469 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-01-12T12:52:08Z (GMT) No. of bitstreams: 1 2016_dis_jcsoares.pdf: 739371 bytes, checksum: 4e1d4ee45a126992e8308bc1b1333469 (MD5) / Made available in DSpace on 2017-01-12T12:52:08Z (GMT). No. of bitstreams: 1 2016_dis_jcsoares.pdf: 739371 bytes, checksum: 4e1d4ee45a126992e8308bc1b1333469 (MD5) Previous issue date: 2016 / We present a problem with application in resource allocation in mobile networks, that we name Connected Assignment in Arrays (CAA). This problem has as input a set of symbols $I=\{1,2,\dots,M\}$, an array $v$ indexed by $J=\{1,2,\dots,N\}$, and a gain value $\rho_{ij}$ of allocating $i \in I$ to position $j$ of $v$. We want to find an assignment of symbols to positions so as to maximize the gain, under the constraint that repeated symbols are adjacent in the array. We demonstrate that CAA is an NP-Hard problem by a reduction from the Convex Path Recoloring Problem (CPR). We present an approximate algorithm for a particular case of this problem ($k$-CAA). We propose three ILP formulations and theoretically compare their linear relaxation. We study the polyhedron $\mathcal{P}$ associated with the tightest formulation. We determine all facet-defining inequalities with right-hand side equal to 1 and show that they suffice, together with the non-negativeness constraints, to describe $\mathcal{P}$ when $M=2$ or $N=2$. We generalize this class of valid inequalities while keeping the property of being facet inducing. Finally, we propose 5 heuristics for the problem and compare them by results of computational experiments. / Apresentamos um problema com aplicação em alocação de recursos em redes de comunicações móveis, que denominamos de Problema da Atribuição Conexa em Vetores (ACV). Este problema tem como entrada um conjunto de símbolos $I=\{1,2,\dots,M\}$, um vetor $v$ indexado por $J=\{1,2,\dots,N\}$, e um valor de ganho $\rho_{ij}$ ao alocar $i \in I$ à posição $j$ de $v$. Desejamos encontrar uma atribuição dos símbolos ao vetor que tenha o maior ganho possível, sob a restrição de que símbolos repetidos sejam adjacentes no vetor. Demonstramos que ACV é um problema NP-Difícil a partir de uma redução do Problema de Recoloração Convexa de Caminhos (RCC). Apresentamos um algoritmo aproximativo para um caso particular deste problema ($k$-ACV). Propomos três formulações de Programação Inteira e comparamos teoricamente suas relaxações lineares. Estudamos o poliedro $\mathcal{P}$ associado à formulação mais forte. Determinamos todas as desigualdades indutoras de facetas com lado direito igual a 1 e mostramos que elas, junto com as restrições de não-negatividade, descrevem $\mathcal{P}$ quando $M=2$ ou $N=2$. Generalizamos essa classe de desigualdades válidas, mantendo a propriedade de que induzem facetas. Ao final, propomos 5 heurísticas para o problema e as comparamos através de resultados de experimentos computacionais.
118

On the analysis of centrality measures for complex and social networks

Grando, Felipe January 2015 (has links)
Recentemente, as medidas de centralidade ganharam relevância nas pesquisas com redes complexas e redes sociais, atuando como preditores comportamentais, na identificação de elementos de poder e influência, na detecção de pontos estratégicos para a comunicação e para a transmissão de doenças. Novas métricas foram criadas e outras reformuladas, mas pouco tem sido feito para que se entenda a relação existente entre as diferentes medidas de centralidades, assim como sua relação com outras propriedades estruturais das redes em que elas são frequentemente aplicadas. Nossa pesquisa visa analisar e estudar essas relações para que sirvam de guia na aplicação das medidas de centralidade existentes em novos contextos e aplicações. Nós apresentamos também evidencias que indicam um desempenho superior das medidas conhecidas como Walk Betweenness, Information, Eigenvector and Betweenness na distinção de vértices das redes somente pelas suas características estruturais. Ainda, nós propiciamos detalhes sobre o desempenho distinto de cada métrica de acordo com o tipo de rede em que se trabalha. Adicionalmente, mostramos que várias das medidas de centralidade apresentam um alto nível de redundância e concordância entre si (com correlação superior a 0,8). Um forte indício que o uso simultâneo de várias métricas é improdutivo ou pouco eficaz. Os resultados da nossa pesquisa reforçam a ideia de que para usar apropriadamente as medidades de centralidade é de extrema importância que se saiba mais sobre o comportamento e propriedades das mesmas, fato que salientamos nessa dissertação. / Over the last years, centrality measures have gained importance within complex and social networks research, e.g., as predictors of behavior, identification of powerful and influential elements, detection of critical spots in communication networks and in transmission of diseases. New measures have been created and old ones reinvented, but few have been proposed to understand the relation among measures as well as between measures and other structural properties of the networks. Our research analyzes and studies these relations with the objective of providing a guide to the application of existing centrality measures for new environments and new purposes. We shall also present evidence that the measures known as Walk Betweenness, Information, Eigenvector and Betweenness are substantially better than other metrics in distinguishing vertices in a network by their structural properties. Furthermore, we provide evidence that each metric performs better with respect to distinct kinds of networks. In addition, we show that most metrics present a high level of redundancy (over 0.8 correlation) and its simultaneous use, in most cases, is fruitless. The results achieved in our research reinforce the idea that to use centrality measures properly, knowledge about their underlying properties and behavior is valuable, as we show in this dissertation.
119

A Complexidade do Lugar Turístico em Fortaleza: Uma Análise do Bairro Praia de Iracema / The Complexity of Turistic place in Fortaleza: An Analisys to Praia de Iracema

Ribeiro, Antonio José Castelo Branco January 2007 (has links)
RIBEIRO, A. J. C. B. A Complexidade do Lugar Turístico em Fortaleza: Uma Análise do Bairro Praia de Iracema. 2007. 107 f. Dissertação (Mestrado em Geografia) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2007. / Submitted by José Jairo Viana de Sousa (jairo@ufc.br) on 2014-02-26T19:12:49Z No. of bitstreams: 1 2007_dis_ajcbribeiro.pdf: 7254978 bytes, checksum: f12db0da4ab967e6a16306c726c311ad (MD5) / Approved for entry into archive by José Jairo Viana de Sousa(jairo@ufc.br) on 2014-02-26T19:13:13Z (GMT) No. of bitstreams: 1 2007_dis_ajcbribeiro.pdf: 7254978 bytes, checksum: f12db0da4ab967e6a16306c726c311ad (MD5) / Made available in DSpace on 2014-02-26T19:13:13Z (GMT). No. of bitstreams: 1 2007_dis_ajcbribeiro.pdf: 7254978 bytes, checksum: f12db0da4ab967e6a16306c726c311ad (MD5) Previous issue date: 2007 / The present study has the objective of analyzing some geographic aspects of Fortaleza city tourist spaces. The reference space is Praia de Iracema, chosen for its prominence in the tourist context of the indicated city. The study took as temporal interval from 1980 to 2007. This is the period in which the tourism activity gained prominence in the state of Ceará economy. The work was carried through observations, bibliographical materials review, and interviews. These procedures made possible the comprehension of the tourist variables that are pertinent to the quarter of Praia de Iracema. The research demonstrated that the understanding of the social and space aspects of the quarter goes beyond the understanding of the locality and that it involves temporal and space questions. The “magnificent” landscape that it is propagated by the promoters of the tourism is embedded of elements that get mixed in space terms and get separated in the social level. It was understood that the problems that took place in the study locality is fruit of a global process that reaches the most diverse parts of the planet. However, it is presented with particularities due to the specificity of such localities and that, in the quarter in of the study, these are well delineated particularities. / O presente trabalho tem como objetivo analisar os aspectos dos espaços turísticos em Fortaleza. O espaço de referência é o da Praia de Iracema, por destacar-se dentro do contexto turístico de nossa cidade. O estudo está compreendido na temporalidade de 1980 a 2007, período em que o turismo ganhou destaque na economia cearense. O trabalho foi realizado através de observações, leituras bibliográficas e entrevistas que possibilitaram a compreensão acerca das variáveis que são pertinentes ao bairro da Praia de Iracema. A pesquisa demonstrou que a compreensão dos aspectos sociais e espaciais do bairro vai além da compreensão da localidade, envolvendo questões temporais e espaciais. A paisagem “magnífica” que é veiculada pelos promotores do turismo está imbricada de elementos que se misturam em termos espaciais e se separam a nível social. A problemática que se apresenta na localidade de estudo é fruto de um processo global que atinge as mais longínquas partes do planeta, porém se apresenta com particularidades devido às especificidades de tais localidades e que, no bairro em estudo, essas particularidades são evidentes.
120

[en] A GENERAL FORMULATION ON SENSITIVITY ANALYSIS OF DIGITAL LINEAR FILTERS MODELED BY STATE VARIABLES / [pt] FORMULAÇÃO GERAL DA TEORIA DE SENSIBILIDADE DE FILTROS DIGITAIS LINEARES E INVARIANTES

FATIMA NELSIZEUMA SOMBRA DE MEDEIROS 27 December 2006 (has links)
[pt] Este trabalho apresenta uma formulação geral da teoria de sensibilidade de filtros digitais lineares e invariantes no tempo, representados por variáveis de estado nas formas canônicas Diagonal e Jordan, com relação aos seus coeficientes quantizados devido ao tamanho finito da palavra. É estabelecida uma estrutura única que permite a análise de sensibilidade com respeito aos vários parâmetros do modelo de estado. São estudados sistemas compostos por cascatas de blocos e feita a análise de sensibilidade, considerando que há presença de elementos quantizados de blocos. É feita a análise de complexidade computacional das formulações estudadas. / [en] This work presents a general formulation on sensitivity analysis of digital linear filters modeled by state variables in canonical forms (Diagonal and Jordan), with respect to its coeficients which are aproximated due to the finite size of the word. We studied systems of cascated blocks which present quantization in its coefficients. It is established one block structure that permits the sensitivity analysis with respect to all the parameters of the state model. At last, the expressions complexity computational is calculated.

Page generated in 0.0544 seconds