Neste trabalho abordamos o problema de programação de tarefas em um ambiente flow shop permutacional com mais de duas máquinas. Restringimos o estudo para o caso em que todas as tarefas têm uma data de entrega comum e restritiva, e onde o objetivo é minimizar a soma total dos adiantamentos e atrasos das tarefas em relação a tal data de entrega. É assumido também um ambiente estático e determinístico. Havendo soluções com o mesmo custo, preferimos aquelas que envolvem menos tempo de espera no buffer entre cada máquina. Devido à dificuldade de resolver o problema, mesmo para instâncias pequenas (o problema pertence à classe NP-difícil), apresentamos uma abordagem heurística para lidar com ele, a qual está baseada em busca local e faz uso de um algoritmo linear para atribuir datas de conclusão às tarefas na última máquina. Este algoritmo baseia-se em algumas propriedades analíticas inerentes às soluções ótimas. Além disso, foi desenvolvida uma formulação matemática do problema em programação linear inteira mista (PLIM) que vai permitir validar a eficácia da abordagem. Examinamos também o desempenho das heurísticas com testes padrões (benchmarks) e comparamos nossos resultados com outros obtidos na literatura. / In this work we approach the permutational flow shop scheduling problem with more than two machines. We restrict the study to the case where all the jobs have a common and restrictive due date, and where the objective is to minimize the total sum of the earliness and tardiness of jobs relative to the due date. A static and deterministic environment is also assumed. If there are solutions with the same cost, we prefer those that involve less buffer time between each machine. Due to the difficulty of solving the problem, even for small instances (the problem belongs to the NP-hard class), we present a heuristic approach to dealing with it, which is based on local search and makes use of a linear algorithm to assign conclusion times to the jobs on the last machine. This algorithm is based on some analytical properties inherent to optimal solutions. In addition, a mathematical formulation of the problem in mixed integer linear programming (MILP) was developed that will validate the effectiveness of the approach. We also examined the performance of our heuristics with benchmarks and compared our results with those obtained in the literature.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Esta dissertaÃÃo tem por objetivo compreender a relaÃÃo da campesinidade com a terra, tomando como campo de descriÃÃo e anÃlise empÃrica a comunidade conhecida pelo nome de Bonitinho, no municÃpio de CanindÃ-CE. Busquei, por meio de uma abordagem etnogrÃfica, conhecer a visÃo de mundo expressa pelos agricultores no referente ao sentimento de pertencer a determinado territÃrio e no que concerne à organizaÃÃo social e ao saber agrÃcola de moradores que cultivam gÃneros alimentares em roÃados da famÃlia, por descenderem de um patriarca comum. Esse territÃrio à definido por seus moradores como âterras de heranÃaâ. O trabalho de pesquisa, que ocorreu entre os anos de 2005 e 2013, focalizou, portanto, a apreensÃo dos valores e visÃo de mundo desses camponeses que orientam sua relaÃÃo com a terra atravÃs de normas estabelecidas pela prÃpria comunidade. Nesses termos foram observadas singularidades na apropriaÃÃo dos recursos naturais consubstanciada no usufruto e sucessÃo da terra, bem como na aquisiÃÃo de bens mÃveis e imÃveis a partir de relaÃÃes sociais solidÃrias estabelecidas mediante o critÃrio do parentesco. / The objective of this paper is to understand the relationship between peasants and land, taking as field of description and empirical analysis the community of Bonitinho, in CanindÃ-CearÃ-Brazil. The present study tried to comprehend, through an ethnographical approach, the world-view of the farmers regarding the feeling of belonging to a certain area, and also as regard to the social organization and knowledge of the agricultural residents, who grow food in the plantings of the family by the fact of descend from a common patriarch. This area is defined by its residents as âland of heritageâ. The research, which was carried out between the years 2005 and 2013, focused on the process of value apprehension of these residents and their worldview, which are responsible for guiding them in their relationship with the land through the standards established by the very community. Thus were observed singularities in the way they use the natural resources based on the right of use and heritage of the land, as well as in the acquisition of movable and immovable property through the supportive social relations established according to the degree of relatedness.

A abertura econômica (1990) e a consolidação do tratado do Mercosul (1995) provocaram mudanças nas estruturas de produção e comercialização da cebola no Brasil na década de 90. A principal mudança observada foi com a integração comercial entre Brasil e Argentina, quando o mercado brasileiro (que era auto-suficiente) passou a ter maior participação da cebola do país vizinho e os agentes do mercado passaram a diferenciar produto estrangeiro em relação ao doméstico. Assim, o presente trabalho procurou estimar funções de oferta e demanda do bulbo importado para o Brasil. Para análise foram desenvolvidos um modelo teórico e um modelo gráfico, que auxiliaram na especificação do modelo econométrico para o produto em estudo. O modelo foi ajustado por equações simultâneas utilizando o método de Mínimos Quadrados de Dois Estágios. Os coeficientes encontrados apresentaram sinais coerentes com o modelo econômico teórico definido. Os resultados obtidos permitiram interpretar a dinâmica do mercado importador de cebola argentina. Ficou claro que há um efeito importante do preço (e, portanto, da disponibilidade) de cebola nacional sobre o preço que será pago à cebola argentina. Os argentinos comportam-se como tomadores de preços e são altamente sensíveis ao comportamento do mercado brasileiro. O volume exportado pelos argentinos responde expressivamente ao preço pago no Brasil e à taxa de câmbio da moeda brasileira. O Mercosul gerou uma efetiva integração do mercado da cebola entre Brasil e Argentina, a qual trouxe conseqüências para a produção e o consumo em ambos. / The economic market opening (1990) and the consolidation of the Mercosul agreement (1995) promoted changes in the framework of production and marketing of onion in Brazil in the 1990’s. The main change noticed was the market integration between Brazil and Argentina, when the Brazilian market - which was self-sufficient then – started to have more participation in the market of the neighbor country and the market agents started to differ foreign from domestic products. Thus, this current study aimed to estimate the supply and demand for the bulb imported to Brazil. For the analysis, a theoretical and a graphic model were developed, which helped specify the econometric model for the product of study. The model was adjusted by the simultaneous equations of Minimum Square of Two Stages. The coefficients found showed coherent signs to the defined economic theoretical model. The results obtained allowed to interpret the dynamic of the Argentine onion importing market. It was clear that there is an important effect of price (and, therefore, of the availability) of domestic onion to the price which will be paid for the Argentine onion. The Argentine behaves as price takers and are highly sensitive to the Brazilian market behavior. The amount exported by the Argentina are affected expressively the prices practiced in Brazil and by the exchange rate of the Brazilian currency. The Mercosul generated an effective integration between Brazil and Argentina, which has brought consequences to the production and consumption in both countries.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / No universo dos estudos fraseolÃgicos, investigaram-se os pragmatemas do portuguÃs brasileiro. A Ãnfase foi dada Ãs expressÃes que se constituem como atos de fala, ocorrem de modo rotineiro, cumprem funÃÃes pragmÃticas especÃficas e estÃo prontas para ser usadas em determinadas situaÃÃes comunicativas (IRIARTE SANROMÃN, 2001; GLENK, 2007; ALVARADO ORTEGA, 2008; BLANCO, 2010; MONTEIRO-PLANTIN, 2012). O motivo mais forte para empreender a pesquisa foi contribuir com os estudos de aprendizes de portuguÃs como lÃngua estrangeira (PLE) e a esse aliaram-se mais dois: o auxÃlio ao trabalho de tradutores e a carÃncia de manual ou dicionÃrio, impresso ou eletrÃnico, que contemple essas estruturas. Com o objetivo de estabelecer as bases teÃricas para a elaboraÃÃo de um dicionÃrio eletrÃnico (WELKER, 2006; LEFFA, 2006; KRIEGER, 2007; PONTES, 2010 e 2011), foram realizados o levantamento, a categorizaÃÃo e a descriÃÃo dos pragmatemas presentes em obras gerais da Fraseologia brasileira e em interaÃÃes comunicativas de corpora orais disponÃveis na Internet. A ferramenta AntConc 3.4.4w (2014) foi utilizada para auxiliar na busca de candidatos a pragmatemas e os resultados obtidos foram armazenados numa base de dados criada por meio do programa Microsoft Access. A base de dados foi alimentada com 565 expressÃes pragmÃticas, descritas em dez campos: tipologia, funÃÃo social, expressividade, registro, modalidade, pragmatema, sentido, variantes/equivalentes, contexto e exemplos. Foram analisadas as quinze primeiras expressÃes detectadas e, para ter acesso a todas elas, foram criadas duas formas: a primeira, pela expressÃo propriamente dita e a outra, por um nome temÃtico que reflete a expressividade do falante. Assim, concluiu-se pela exequibilidade de um dicionÃrio eletrÃnico dos pragmatemas, utilizando-se, ao mesmo tempo, as tÃcnicas lexicogrÃficas onomasiolÃgicas e semasiolÃgicas, a fim de facilitar a busca para estudantes em contexto de aprendizagem do portuguÃs brasileiro como lÃngua estrangeira e materna, professores e tradutores. / In the universe of phraseological studies, we investigated the pragmatemes of the Brazilian Portuguese. Emphasis was given to expressions that considered speech acts which occur routinely, fulfill specific pragmatic functions and are ready to be used in certain communicative situations (IRIARTE SANROMÃN, 2001; GLENK, 2007; ALVARADO ORTEGA, 2008; BLANCO, 2010; MONTEIRO-PLANTIN, 2012). The strongest reason for undertaking the research was to contribute to the studies of Portuguese as a Foreign Language. The other two other objectives of this research were to help translators in their hard work of translation and to try to compensate the lack of printed or electronic dictionaries/manuals which cover these structures. In order to establish the theoretical basis for the development of an electronic dictionary (WELKER, 2006; LEFFA, 2006; KRIEGER, 2007; PONTES, 2010 and 2011) one carried out the survey, categorization and description of pragmatemes present in general works of Brazilian phraseology and communicative interactions of oral corpora available on the Internet. The AntConc 3.4.4w tool (2014) was used to assist in the search for possible pragmatemes and the results were stored in a database created by Microsoft Access(c) program. The database was fed with 565 pragmatic expressions, described in ten fields: type, social function, expressiveness, record mode, pragmateme, direction, variants / equivalent, context and examples. The first nine detected expressions were analyzed and in order to have access to all of them two forms of search were created: first, the expression itself and the other by a theme name that reflects the expression of the speaker. Thus, in conclusion, it is possible to say that an electronic dictionary of pragmatemes is completely feasible if it is used at the same time onomasiological, semasiological and lexicographical techniques, with the aim to facilitate the search method by students in the context of the Brazilian Portuguese learning as a foreign and mother language, teachers and translators.

Esta tese investiga as relações entre os bens comuns intelectuais e a mercantilização, e os efeitos dessas relações, principalmente para o universo da educação. Seus objetivos centrais são: apresentar as principais teorias sobre bens comuns, e avaliá-las quanto à capacidade de detectar e equacionar essas relações, e quanto à adequação para abordar bens comuns intelectuais; analisar se bens comuns e mercantilização são incompatíveis, e até que ponto podem coexistir; verificando, em casos existentes de novos modelos de negócio que envolvem o compartilhamento de bens intelectuais, se a mercantilização pode surgir a partir de bens comuns intelectuais, e indicando, em caso positivo, se o saldo resultante de compartilhamento e mercantilização nesses diferentes modelos é socialmente positivo ou não. A análise da mercantilização é feita de uma perspectiva conceitual (baseada em Marx e Polanyi) e histórica, abordando a transição do feudalismo ao capitalismo (e sua relação com o cercamento dos bens comuns), a ascensão do neoliberalismo, e o avanço de mecanismos específicos de mercantilização de bens intelectuais (a propriedade intelectual e os sistemas de travas tecnológicas). A análise das teorias de bens comuns centra-se numa leitura crítica da corrente mais consolidada: a neoinstitucionalista, formada em torno dos trabalhos de Elinor Ostrom; avalia-se seus principais méritos (a refutação empírica da noção da tragédia dos comuns; e a identificação dos design principles frequentes em bens comuns longevos), pressupostos (como o individualismo metodológico e a teoria da escolha racional) e limitações (como pontos cegos em relação a poder e desigualdade, e a restrição à escala local). Discute-se ainda autores que apresentam abordagens alternativas, como aqueles mais próximos ao marxismo (e, em particular, Hardt & Negri), e as complementaridades e contrapontos que oferecem à corrente neoinstitucionalista, particularmente quanto às limitações nela identificadas. Em relação à aplicação dessas teorias a bens intelectuais, detecta-se a ampla influência da categorização econômica de bens (utilizada na corrente neoinstitucionalista), e argumenta-se pela necessidade de uma categorização mais dialética; recomenda-se ainda uma nova abordagem para o princípio das fronteiras. Discute-se as relações da educação com a mercantilização e os bens comuns, apontando os efeitos de ambos sobre as possibilidades de acesso e apropriação de bens intelectuais. Por fim, a tese apresenta e analisa cinco casos relacionados a novos modelos de negócio que envolvem compartilhamento de bens intelectuais. Conclui-se que em todos eles há a possibilidade de surgimento de mercantilização, de diversas formas, mas que o saldo resultante de mercantilização e compartilhamento varia; esses casos são, do melhor ao pior saldo: o crowdfunding (em que pode ocorrer mercantilização dos serviços de intermediação); o acesso aberto ouro (em que há mercantilização do espaço de publicação, que assume forma particularmente nociva nos periódicos predatórios); dois casos ligados à participação de empresas no desenvolvimento do software livre (o Android e os patches ck, em que os projetos podem ser direcionados na gestão e pelo custeio de modo a favorecer estrategias comerciais de empresas); e a publicidade comportamental online (em que ocorre uma mercantilização de segunda ordem: a da audiência). / This thesis investigates the relations between intellectual commons and commodification, and the effects of these relations, particularly for the domain of education. Its main objectives are: presenting the main theories about commons, and evaluating them regarding their capacity to detect and account for these relations, and regarding their adequacy to approach intellectual goods; analyzing whether commons and commodification are incompatible and up to which point they can coexist; verifying, in existing cases of new business models around the sharing of intellectual goods, if commodification can spring from within intellectual commons, and if so indicating whether the resulting balance of sharing and commodification in those different models is socially positive. The analysis of commodification is made from a conceptual perspective (based on Marx and Polanyi) and a historical one, by addressing the transition from feudalism to capitalism (and its relationship with the enclosure of the commons), the rise of neoliberalism, and the advances in mechanisms for commodification of intellectual goods (intellectual property and DRMs). The analysis of the theories about commons focuses on a critical reading of the more consolidated theoretical school: the neoinstitutionalist, formed around the work of Elinor Ostrom; its main merits are evaluated (the empirical refutation of the notion of the tragedy of the commons and the identification of design principles that are usual in long enduring commons), as well as its assumptions (such as methodological individualism and rational choice theory) and limitations (such as blind spots regarding power and inequality, and its restriction to the local scale). Authors who present alternative approaches are discussed, such as those related to Marxism (and in particular, Hardt & Negri), and the complementarities and counterpoints they offer to the neo-institutionalist schoolparticularly with regard to the limitations previously identified in itare mentioned. Regarding the application of these theories to intellectual goods, the thesis acknowledges the pervasive influence of the economic categorization of goods (used in the neo-institutionalist school), and argues for the need of a more dialectical categorization; it further recommends a new approach to the first design principle (boundaries). The linkages of education with commodification and commons are discussed, and the effects of both on the possibilities of access to and appropriation of intellectual goods are pointed out. Finally, the thesis presents and analyzes five cases related to new business models that involve sharing of intellectual goods. It is concluded that in all of them there is the possibility of the emergence of commodification, in various forms, but that the balance resulting from commodification and sharing varies; these cases are, from best to worst balance: crowdfunding (where commodification of intermediary services may occur); gold open access (where there is commodification of the publishing space, which assumes particularly harmful forms with predatory journals); two cases related to companies participation in free software development (Android and the ck patches, in which the projects can be directedthrough management and fundingto favor companies commercial strategies); and online behavioral advertising (where there occurs a commodification of second order occurs: the commodification of the audience).

Estresses abióticos como seca, alta salinidade e baixas temperaturas, afetam o crescimento e a produtividade em culturas de interesse comercial como o feijoeiro comum. Proteínas DREB (Dehydration Responsive Element Binding) são fatores de transcrição que regulam genes específicos envolvidos na tolerância ao estresse abiótico. Para determinar como as plantas toleram condições ambientais adversas, variedades tolerantes, biologia molecular e bioinformática podem ser aplicadas para identificar e caracterizar genes que controlam mecanismos de adaptação a estresses. Baseado nas informações disponíveis nos bancos de dados públicos, a sequência da Orf completa do gene Phvul.009G029600.1| PACid:27146455 contendo 1062 pb foi encontrada e usada para o desenho dos primers e para o sequenciamento. A nova sequência é muito similar ao AtRAP2.4 e foi nomeada como PvDREB6A, segundo a análise filogenética. Ferramentas de predição mostraram que a sequência apresenta 354 aminoácidos e possui uma cópia do domínio AP2, que se dobra em uma estrutura com três ?-folhas e uma ?-hélice apresentando resíduos importantes e motivos específicos de reconhecimento e de ligação ao DNA. Além disso, um peptídeo trânsito foi detectado na porção N-terminal com um sítio de clivagem no resíduo 52. A interação deste fator de transcrição com seu domínio de ligação ao DNA foi validada por Electro Mobility Shift Assay (EMSA). A localização subcelular da proteína foi realizada e expressão da Green Fluorescent Proteín (GFP) foi detectada no núcleo. A transformação genética para a superexpressão do gene PvDREB6A em plantas de Arabidopsis thaliana Columbia-0 e mutantes nocaute para o gene AtRAP2.4 (Salk_020767C) foi realizada. Quatro eventos com cópia única e melhor expressão do gene PvDREB6A denominados Col-0/pFEC2.1 #1, Salk_020767C/pFEC2.1 #13.1, Salk_020767C/ pFEC2.1 #19.7 e Salk_020767C/ pFEC2.1 #23.7, foram selecionados. O evento Salk_020767C/pFEC2.1 #23.7 mostrou melhor expressão do gene PvDREB6A e foi visualizado sob luz UV. A análise funcional revelou que as plantas transgênicas submetidas ao déficit hídrico, à alta salinidade e ao frio, apresentaram maior taxa de sobrevivência. Plantas transgênicas superexpressando o gene PvDREB6A apresentaram menor taxa de desidratação e de vazamento de eletrólitos quando submetidas a estresses abióticos. Uma análise da expressão de genes relacionados à tolerância foi conduzida. A quantificação revelou que a expressão de 18 genes: AtDC1.2, AtUSP, AtKIN1, AtERF69, AtGolS3, AtMT2A, AtCAP160, AtNTR1.7, AtGPR7, AtPDC2, AtLTI78, AtCOR15a, AtCOR15b, AtCOR47, AtCOR413, AtLEA6, AtLEA9 e AtLEA14, relacionados a tolerância a seca, sal e frio foram up-regulated devido à superexpressão do gene PvDREB6A de feijoeiro nas plantas transgênicas / Abiotic stresses like drought, high salinity and low temperatures affect growth and productivity in crops of economic interest such as common bean. DREB (Dehydration Responsive Element Binding) proteins are transcription factors that activate specific genes involved in tolerance to abiotic stress. To generate new information on the research for drought and other abiotic stresses, tolerant varieties, molecular biology and bioinformatics can be applied to identify and characterize genes that control plant defense and adaptation mechanisms to water deprivation, to excessive salt and to high/low temperature. Based on public databases, a common bean DREB sequence was found and an in silico study was carried out. A complete Orf sequence Phvul.009G029600.1 |PACid:27146455 containing 1062 bp was found and used for primer design and sequencing. The new sequence was very similar to AtRAP2.4 and named as PvDREB6A, according to phylogenetic analysis. Prediction tools showed that the deduced 354 aa sequence has one copy of the AP2 domain, folding in a three ?-sheets and one ?-helix structure, and presenting important residues and motifs for DNA contacting and binding specificity. In addition, a chloroplast transit peptide was detected at the N-terminal region with cleavage site in the 52 residue. Binding activity of this transcription factor was validated by Electro Mobility Shift Assay (EMSA). Subcellular localization was verified by transient expression of PvDREB6A::GFP in Nicotiana benthamiana and the expression of GFP was detected at the nucleus. Genetic transformation for overexpression of PvDREB6A gene in Arabidopsis thaliana wild type and knockout mutant for AtRAP2.4 gene was conducted. Four single copy events with better expression of the PvDREB6A named Col-0/pFEC2.1 #1, Salk_020767C/pFEC2.1 #13.1, Salk_020767C/pFEC2.1 #19.7 and Salk_020767C/pFEC2.1 #23.7 were selected. The event Salk_020767C/pFEC2.1 #23.7 showed the best expression of PvDREB6A and was visualized under UV light. Functional analysis, revealed that transgenic plants under water deficit, high salt, and cold showed higher survival rate. Transgenic plants overexpressing the PvDREB6A exhibited lower water loss rate and electrolyte leakage rate under abiotic stress. A gene expression analysis with tolerant-related genes was conduted. The quantification revealed that 18 genes, AtDC1.2, AtUSP, AtKIN1, AtERF69, AtGolS3, AtMT2A, AtCAP160, AtNTR1.7, AtGPR7, AtPDC2, AtLTI78, AtCOR15a, AtCOR15b, AtCOR47, AtCOR413, AtLEA6, AtLEA9 e AtLEA14, related to drought, salt and cold tolerance, were up-regulated due to the overexpression of PvDREB6A from common bean in the transgenic plants

A Imunodeficiência de Variável Comum (ICV) é caracterizada por baixos níveis de imunoglobulinas com susceptibilidade a. Analisamos a distribuição de linfócitos, apoptose espontânea e a expressão gênica de receptores de morte, ligantes, adaptadores, moléculas reguladoras, inibidoras e anti-apotóticas em células CD4+ e CD8+ de 19 pacientes ICV e 19 controles. Pacientes com ICV apresentam diminuição na frequência de linfócitos TCD4+ e CD4+CD45RA+ e menor relação CD4/CD8 que indivíduos saudáveis. O grupo de pacientes mostrou maior frequência de apoptose espontânea em linfócitos totais e CD4+. Células CD4+ dos indivíduos afetados apresentaram menor expressão gênica de TRAIL-R, BCL-2, FLIPL e FADD; células CD8+ apresentaram diminuição da expressão gênica de TRAIL, FADD, BCL-2, BCL -xL e um aumento de FLIPs. Os resultados sugerem um desequilíbrio nos mecanismos que controlam a apoptose de linfócitos nestes pacientes, o que pode ajudar a elucidar as alterações observadas no compartimento de células T dos pacientes com ICV. / Common Variable Immunodeficiency (CVID) is is characterized by low immunoglobulins levels with susceptibility to infections. We have analyzed T cell distribution and spontaneous apoptosis in peripheral blood of CVID, as well as gene expression of several molecules involved in apoptosis, including death receptors, ligands, adapters, regulatory and anti-apototic molecules in CD4+ and CD8+ cells of 19 CVID patients and 19 healthy subjects. CVID subjects present decreased frequency of TCD4+ and CD4+ CD45RA+ cells and lower CD4/CD8 ratio than healthy controls. CVID group also presented higher frequency of spontaneous apoptosis in lymphocytes and CD4+ cells. CD4+ showed lower expression of TRAIL-R, BCL-2, FLIPL and FADD; CD8+ cells presented lower expression of TRAIL, FADD, BCL-2, BCL-xL and a augment of FLIP. Results suggest an imbalance in mechanisms controlling cell death of those patients lymphocytes, which might help to elucidate the changes observed in T cell compartment of CVID patients.

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-11T19:03:04Z No. of bitstreams: 2 TESE Clarice Marinho de Castro.pdf: 2687041 bytes, checksum: dce1690dc5de11a21995358c7edaae0a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T19:03:05Z (GMT). No. of bitstreams: 2 TESE Clarice Marinho de Castro.pdf: 2687041 bytes, checksum: dce1690dc5de11a21995358c7edaae0a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / CAPES / A computação em nuvem encontra-se rapidamente se desenvolvendo e oferecendo inúmeras vantagens à indústria da Tecnologia da Informação (TI). Ela tem permitido a realização do antigo sonho da computação tornar-se uma ‘utilidade’. Todavia, esta realidade apresenta riscos e desafios em diferentes áreas, sobretudo no âmbito legal, e nos contratos de consumo em particular. Assim, considerando a complexidade da computação em nuvem, torna-se essencial a busca de um menor grau de incerteza na relação fornecedor-consumidor. A presente pesquisa tem por objetivo analisar e caracterizar as transações de computação em nuvem, tanto nos contratos de serviço, como nos contratos de fornecimento de conteúdo digital. Para tanto, esta tese examinará legislações de natureza internacional e nacional, bem como contratos, que poderão ser utilizados na regulamentação das atividades em nuvem no Brasil. De início, será realizada uma apreciação crítica quanto à possibilidade de aplicação da legislação relativa a um "Direito Europeu Comum de Compra" - denominada na língua inglesa de “Common European Sales Law (CESL) - nos contratos de fornecimento de conteúdo digital realizados entre o Brasil e os Países Membros da União Européia. Em seguida, serão examinadas algumas regras gerais presentes no Código de Defesa do Consumidor brasileiro a fim de ser discutida a aplicabilidade do referido Código nos contratos de computação em nuvem. Por fim, serão estudados três contratos de computação em nuvem oferecidos pelo Google no Brasil com o objetivo de apontar os sérios riscos apresentados para os consumidores ao firmar tais acordos, bem como a adequação de tais instrumentos em face da legislação nacional. / The paradigm of cloud computing has been developing quickly and offers many new advantages to the information technology industry. It is turning the long-held dream of computing as a utility, into a reality. However, it also poses risks and challenges in different fields, especially in the legal area, that may affect the stakeholders of this market. Given the complexity of cloud computing, it is essential to assure that there is little uncertainty in the provider-consumer relationship. This research aims to analyse and characterise cloud computing transactions from a legal perspective, both as a service contract, and as a contract for the provision of digital content. Thus, in this thesis we examine international and national legislation, as well as contracts, which may govern the relationship between cloud stakeholders. Given the international and cross-border nature of the proposed Common European Sales Law (CESL), which may eventually be applied between Brazilian and European contracts, and due to the legal rules which it is based sharing some similarities to the civil law system in Brazil, we begin offering a critical view of the possibility of applying this proposal on a Common European Sales Law to some cloud computing transactions when they supply digital content. Next, we turn to examine whether the Brazilian Consumer Protection Code (CDC), with its existing general rules relating to ‘goods’ and ‘services’, and some other definitions, could be broad enough to cover the necessities of cloud consumers in Brazil. Lastly, we examine the issue of regulating cloud computing through contract. In particular, we identify a set of key legal issues to be considered by consumers when entering into a cloud contract. In order to illustrate their importance, we perform a detailed evaluation of some Google cloud-based agreements to check if they are compatible with existing laws in Brazil.

Made available in DSpace on 2014-06-12T17:22:21Z (GMT). No. of bitstreams: 2 arquivo6081_1.pdf: 1004723 bytes, checksum: f0cfff34e9524fd40639afcfc79de004 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / O presente estudo trata da livre circulação de trabalhadores, na etapa mercado comum, do processo de integração econômica regional do Mercado Comum do Sul (Mercosul). Inicialmente, esta pesquisa procura identificar as questões jurídicas indispensáveis à concretização da livre circulação de trabalhadores, em qualquer etapa mercado comum dos processos de integração econômica regional. A partir da referida identificação, aborda especificamente a livre circulação de trabalhadores no Mercosul. Também analisa, de forma crítica, o tratamento jurídico brasileiro aplicável à circulação dos trabalhadores estrangeiros, atualmente composto pelo Estatuto do Estrangeiro (Lei n. 6.815, de 19 de agosto de 1980) e pelo Decreto que o regulamenta (Decreto n. 86.715, de 10 de dezembro de 1981). Pretende verificar, essencialmente, o grau de adequação dos referidos diplomas legais às exigências da futura livre circulação de trabalhadores no interior do bloco regional Mercosul

O problema do Máximo Subgrafo Induzido Comum (MSIC) pertence a classe NP-difícil e possui aplicações em diversas áreas. Apesar de sua complexidade, ainda é importante conhecer soluções exatas para instâncias deste problema. Os algoritmos exatos encontrados na literatura buscam resolvê-lo através de técnicas de backtracking ou através de sua redução para o problema da Clique Máxima. Neste trabalho procuramos dar uma solução exata para o MSIC, tratando-o diretamente através da utilização de modelos de Programação Linear Inteira (PLI) e técnicas de combinatória poliédrica. Assim, realizamos um estudo teórico do poliedro do MSIC e fomos capazes de encontrar algumas desigualdades válidas fortes, inclusive com provas de que algumas delas representam facetas daquele poliedro. Adicionalmente, provamos que existe uma equivalâencia entre o modelo PLI aqui apresentado para o MSIC e uma formulação bem conhecida para o problema da Clique Máxima. Posteriormente, foram implementados algoritmos de Branch-and-Bound (B&B) e Branch-and-Cut (B&C) utilizando as desigualdades encontradas e algumas técnicas para tentar tornar os algoritmos mais eficientes. Experimentos foram executados com os algoritmos implementados neste trabalho e, também, com um algoritmo já existente para resolver o problema da Clique, chamado Cliquer. Os resultados foram comparados e, dentre os algoritmos de PLI, constatamos que o mais eficiente foi aquele que utilizou uma formulação para o MSIC que chamamos de Clique-IS, utilizando B&B e técnicas mais básicas que outros algoritmos. Este algoritmo mostrou-se mais eficiente, inclusive, que um algoritmo PLI com um modelo baseado no problema da Clique Máaxima. Este fato sugere que para uma abordagem baseada em PLI, vale a pena utilizar uma formulação do MSIC diretamente, ao invés de uma que se apóie na redução deste para o problema da Clique Máxima. Ja a comparaçao do melhor algoritmo desenvolvido neste trabalho com o Cliquer, mostrou que este último é mais eficiente. Para que um algoritmo baseado em PLI (utilizando uma formulação com as mesmas variáveis usadas por nós) tivesse alguma chance de vencer um algoritmo combinatório como o Cliquer, seria necessário conhecer mais desigualdades que estivessem ativas na solução ótima do problema._________________________________________________________________________________________ ABSTRACT: The Maximum Common Subgraph problem (MSIC) is in MV-hard and has applications in several fields. Despite its complexity, it is still important to know exact solutions for instances of this problem. The exact algorithms found in literature try to solve it through backtracking techniques or through its reduction to the Maximum Clique problem. In this work we try to give an exact solution to MSIC by addressing it directly, using Linear Integer Programming (PLI) and polyhedral combinatorics techniques. So, we performed a study of the MSIC polyhedron and we were able to find some strong valid inequalities, including some that were proven to define facets of that polyhedron. Additionally, we proved that an equivalence between the PLI model presented here for MSIC and a well known formulation for the Maximum Clique problem exists. Later, Branch-and-Bound (B&B) and Branch-and-Cut (B&C) algorithms were implemented using the inequalities found and some techniques to try to render the algorithms more efficient. Experiments were performed with the algorithms implemented in this work and, also, with an already existing algorithm to solve the Maximum Clique problem, called Cliquer. The results were compared and, among the PLI algorithms, we found that the most efficient was the one that used the formulation which we called Clique-IS, using B&B and more basic techniques than other algorithms. This algorithm was even more efficient than a PLI algorithm with a Clique-based model. This fact suggests that for a PLI approach it is worth to use a formulation based on the MSIC polyhedron instead of one based on its reduction to the Maximum Clique problem. The comparison of the best algorithm developed in this work with Cliquer, though, showed that the latest is more efficient. In order to some PLI-based algorithm (using a formulation with the same variables used by us) to have any chance of outperforming a combinatorial algorithm like Cliquer, it would be necessary to know more inequalities that are active in the problem's optimal solution.