Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-05-09T16:17:46Z No. of bitstreams: 1 Vinicius José Schmidt_.pdf: 1328036 bytes, checksum: 6da7dd7865c3b2470fda338536aa5d69 (MD5) / Made available in DSpace on 2016-05-09T16:17:46Z (GMT). No. of bitstreams: 1 Vinicius José Schmidt_.pdf: 1328036 bytes, checksum: 6da7dd7865c3b2470fda338536aa5d69 (MD5) Previous issue date: 2016-02-29 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho apresenta um modelo de metaheurística baseado em interação social de agentes inteligentes, utilizando-se do aprendizado social reproduzido por uma população de agentes para alcançar a otimização de problemas. O método aqui descrito é focado em interação social de seres humanos, tais como: comparação de status social, tendência da sociedade baseada nas pessoas mais influentes, troca de conhecimento, pessoas menos influentes seguindo os mais influentes no seu grupo e a busca de uma pessoa pelo local onde ela alcança seu melhor desempenho. A influência de um agente é medida através de seu status social, sendo assim, cada agente possui um raio de influência proporcional ao seu status. Esses conceitos foram modelados para a criação da técnica, sendo o aprendizado entre agentes ocorrido quando um agente menos influente encontra-se na região de influência de um agente mais bem-sucedido que ele. Resultados de testes, tanto de benchmark quanto de problemas reais, são apresentados e discutidos. Os testes indicam que a metaheurística é um modelo populacional promissor. / This work presents a metaheuristic model based on intelligent agents social interaction, using the social learning of a population of agents to achieve problems optimization. The method described here is based on humans social interaction, such as: comparison of social status, trend of society based on the most influential people, knowledge exchange, less influential people following the ones with most influential in their group and the search of a person where he achieves its best performance. An agent’s influence is measured through its social status, therefore, each agent have an influence radius proportional to its status. These concepts were modeled to create the technique, the learning among agents occurs when a less influential agent is located inside the influence region of an agent with more social status than him. Tests results, benchmark and real life problems, are presented and discussed. Those tests indicate that the model is a promising population metaheuristic.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-06-13T18:17:55Z No. of bitstreams: 1 Milene Martini Petry_.pdf: 1260504 bytes, checksum: 1fec3855497e4548d9954d1fcc13e6ae (MD5) / Made available in DSpace on 2016-06-13T18:17:55Z (GMT). No. of bitstreams: 1 Milene Martini Petry_.pdf: 1260504 bytes, checksum: 1fec3855497e4548d9954d1fcc13e6ae (MD5) Previous issue date: 2016-03-31 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Atualmente o mundo globalizado vem mudando a rotina das pessoas de um modo geral. Cada vez mais elas têm uma vida estressante, sofrendo inúmeras pressões e desenvolvendo angústias. Com isso, muitas delas acabam desenvolvendo transtornos mentais como, por exemplo, depressão. Nos dias de hoje já existem várias pesquisas e aplicativos disponíveis para auxiliar pessoas que sofrem ou já sofreram de depressão. O diferencial deste trabalho é identificar em ações diárias e nas interações sociais do usuário, ações semelhantes às de crises anteriores através dos diversos dispositivos que o mesmo utiliza. Através da coleta de informações de utilização de e-mails, redes sociais e da localização do usuário, a fim de identificar se o mesmo está desenvolvendo novamente características de seu próprio perfil depressivo. Ele realiza o monitoramento das interações dos usuários que já sofreram da doença e identifica padrões semelhantes às crises anteriores. Sempre que um padrão de ações for identificado algum familiar ou amigo indicado pelo usuário, aqui chamados de auxiliares, e o médico responsável, caso haja, serão avisados, evitando assim a reincidência de uma crise. Outro diferencial do trabalho é que as informações são coletadas sem que ocorra intervenção do usuário. O usuário apenas aceita que haja o monitoramento e as interações são coletadas e avaliadas. Dentre as pesquisas encontradas, a maioria realiza testes ou iterações nas quais o usuário pode abstrair alguns dados, como por exemplo, sintomas e fatos importantes para a detecção de um sintoma relevante da doença. Hígia propõe a não intervenção do usuário, pois desta forma, não há abstração de informações. Além disso, envolve dados de interações sociais que ainda não foram muito exploradas em conjunto. Hígia tem como objetivo constituir trilhas usuais para identificar possíveis sinais depressivos semelhantes aos vividos em momentos anteriores pelo usuário e avisar pessoas vinculadas o quanto antes, a fim de que providências possam ser tomadas. Isso é feito através da avaliação constante de características do usuário em redes sociais, e-mails e interações com o smartphone, o computador ou outros dispositivos, além de sua localização. Foi implementado um protótipo da solução desenhada. Participaram da avaliação sete pessoas que utilizaram o protótipo para que as trilhas fossem formadas. A utilização do protótipo se deu por um período de sete dias e gerou uma análise baseada no comportamento do protótipo, nas trilhas geradas e nas comparações realizadas. Também foram questionados profissionais da área da psicologia e sua opinião sobre a utilidade das trilhas geradas para ajudar em diagnósticos futuros. Sobre os resultados com os usuários os percentuais tiveram resultados bastante positivos. Os usuários foram confiantes em relação ao uso do Hígia e entenderam a necessidade e as funcionalidades da aplicação. Sobre os resultados do trabalho relatados pelos médicos e especialistas todos disseram que a aplicação poderia trazer benefícios para o tratamento e para os pacientes. / The globalized world is changing people's routine of life. Increasingly, they have a stressful life, suffering numerous pressures and developing anxieties. Thereby, much of them, develop mental diseases like depression for example. Nowadays, there are several researches and applications available to assist people who suffer or have suffered from depression. This essay aims to identify users’ daily actions and social interactions, similar to those already identified of previous crises through via various devices it them might uses. Through the collection of e-mail usage information, social networks and the user's location, this model intends to identify whether the user is developing again features of its own depressive profile. The proposed model performs monitoring of user interactions that have already suffered the disease and identifies similar patterns of previous crises. Whenever a pattern of actions is identified, a family member or friend indicated by the user, here called auxiliary, and the doctor in charge, if any, will be notified, thus avoiding the recurrence of a crisis. The model created proposes that the information is collected without user intervention. They just have to accept that there will be monitoring and their interactions will be recorded and evaluated. In the related studies found, most of the interactions with the users might lead them to manipulate the results, such as symptoms and facts to detect a significant symptom of the disease. Hígia proposes no user intervention, because this way, there is no abstraction of information. Furthermore, it analysis social data interactions. These set of features have not been explored together related work researched. Hígia aims to build usual trails to identify possible depressive signs similar to those experienced in previous times by the user and warn related people as soon as possible so that arrangements can be made. This is done through constant evaluation of user characteristics on social networks, e-mails and interactions with your its smartphone, computer or other devices, as well as its location. A prototype of the designed solution was implemented. In order to evaluate the results, seven people were invited to use the prototype, for the period of seven days. Assessment attended seven people who used the prototype for the tracks were formed. The use of the prototype is given for a period of seven days and generated based on an analysis prototype behavior in the generated track, and the comparisons made. Professional psychology area and their opinion on the usefulness of tracks generated to aid in future diagnosis were also questioned. The summary of the results evaluated was presented to some psychologists and their teams, in order to identify the usefulness of tracks generated to help in future diagnosis. Regarding the results with the users, there were a high percentage of positive feedbacks. Users were confident about the use of the application and model and understand the importance of the application functionality. In the feedback received by doctors and specialists all said that the application could be beneficial for the treatment and for patients.

Submitted by Thais Lopes (th.lopes1598@gmail.com) on 2018-11-05T14:54:52Z No. of bitstreams: 1 PROJETO_PPGECIM_ELIZE_dissertação_ Elize_versão final.pdf: 2825853 bytes, checksum: 32140261167a08e83c6087868baaad5a (MD5) / Approved for entry into archive by Marcos Roberto Gomes (mrobertosg@gmail.com) on 2018-11-05T17:57:30Z (GMT) No. of bitstreams: 1 PROJETO_PPGECIM_ELIZE_dissertação_ Elize_versão final.pdf: 2825853 bytes, checksum: 32140261167a08e83c6087868baaad5a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-11-05T18:47:32Z (GMT) No. of bitstreams: 1 PROJETO_PPGECIM_ELIZE_dissertação_ Elize_versão final.pdf: 2825853 bytes, checksum: 32140261167a08e83c6087868baaad5a (MD5) / Made available in DSpace on 2018-11-05T18:47:32Z (GMT). No. of bitstreams: 1 PROJETO_PPGECIM_ELIZE_dissertação_ Elize_versão final.pdf: 2825853 bytes, checksum: 32140261167a08e83c6087868baaad5a (MD5) Previous issue date: 2018-06-08 / Within the scenario of constant changes, transformations in all dimensions of life and in the world, new ideas and conceptions are triggered by the emergence of new paradigms. Faced with this situation, the school performs an important role in the development of citizenship, and as a consequence in the professional life of our young people who seek to insert themselves in the world of work and society. However, reality in educational institutions is based on the old paradigm of traditional education, valuing reason and forgetting the multidimensions that the subject (student) is constituted, besides the context to which it belongs of a complex nature. From our teaching experience, currently in the IFAM-CMA, we perceive the disconnected form that the discipline of Physics is placed in relation to the professional and citizen formation by the students of the institution. Therefore, seeks to satisfy and / or contribute to the growth of students in their preparation for a 21st century life, developing skills and abilities through actions within the Project Methodology. For this purpose, the present research has as main objective, to develop a system of didactic methodological work that satisfies an integral formation of the students of Professional Education in the context of Physics Teaching. The work was structured in a proposal qualitative, descriptive and exploratory approach, taking as instruments of data collection, participant observation, questionnaires to the students and semi-structured interviews to the teachers. The target audience was a 3rd grade class of the Technical Course in Computer Science at the IFAM Campus Maués. The analysis and interpretation of the data was mediated by Content Analysis, bringing as satisfactory results of the stages of the work system, the development of General Competences of Representation and Communication, Interpretation and Understanding and Sociocultural Contextualization, as well as attributes essential to society, namely, solidarity, sustainable thinking, curiosity and motivation to the study of Physics, collaborating with an integral formation of the students. / Dentro do cenário de mudanças constantes, transformações em todas as dimensões da vida e no mundo, novas ideias e concepções são desencadeadas pelo aparecimento de novos paradigmas. Diante dessa situação, a escola exerce um papel importante no desenvolvimento da cidadania, e como consequência na vida profissional de nossos jovens que almejam inserir-se no mundo do trabalho e na sociedade. Entretanto, a realidade nas instituições de ensino está pautada no antigo paradigma da educação tradicional, valorizando a razão e esquecendo das multidimensões que o sujeito (aluno) é constituído, além do contexto ao qual pertence de natureza complexa. De nossa experiência docente, atualmente no IFAM-CMA, percebemos a forma desconexa que a disciplina de Física é colocada em relação à formação profissional e cidadã pelos alunos da instituição. Diante disso, busca-se satisfazer e/ou contribuir para o crescimento dos educandos em seu preparo para uma vida do século XXI, desenvolvendo competências e habilidades por meio de ações dentro da Metodologia de Projetos. Para isso, a presente pesquisa tem como objetivo principal, desenvolver um sistema de trabalho didático metodológico que satisfaça uma formação integral dos alunos da Educação Profissional no contexto do Ensino de Física. O trabalho estruturou-se em uma proposta abordagem qualitativa, descritiva e exploratória, tomando como instrumentos de coleta de dados, a observação participante, questionários aos alunos e entrevistas semiestruturadas aos professores. O público-alvo foi uma turma de 3º ano do Curso Médio Técnico em Informática do IFAM Campus Maués. A análise e interpretação dos dados foi mediada pela Análise de Conteúdo, trazendo como resultados satisfatórios das etapas do sistema de trabalho, o desenvolvimento de Competências Gerais de Representação e Comunicação, Interpretação e Compreensão e Contextualização Sociocultural, além de atributos essenciais à sociedade, a saber, a solidariedade, o pensamento sustentável, a curiosidade e a motivação ao estudo da Física, colaborando com uma formação integral dos discentes.

Submitted by Vandermi Silva (vandermi@ufam.edu.br) on 2018-11-06T02:30:00Z No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) teseVerBancaFinalRevisaoFinalEntregar.pdf: 3541738 bytes, checksum: 6c4fd9dcbb1ae72d2a72ffa86a9bb570 (MD5) Carta de Autorização de EncaminhamentoVandermi.pdf: 86854 bytes, checksum: bd9d084ef9f1ba5fde24aad1bde91e7f (MD5) 41 ATA de Defesa - Vandermi (Assinada).pdf: 683686 bytes, checksum: ef22a95b9e51ca26c6a81533a229f8b1 (MD5) 41 Folha de Aprovação - Vandermi (Assinado).pdf: 505367 bytes, checksum: 3215076e956a00285d58d8cf42a95f40 (MD5) / Approved for entry into archive by Secretaria PPGI (secretariappgi@icomp.ufam.edu.br) on 2018-11-06T13:33:23Z (GMT) No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) teseVerBancaFinalRevisaoFinalEntregar.pdf: 3541738 bytes, checksum: 6c4fd9dcbb1ae72d2a72ffa86a9bb570 (MD5) Carta de Autorização de EncaminhamentoVandermi.pdf: 86854 bytes, checksum: bd9d084ef9f1ba5fde24aad1bde91e7f (MD5) 41 ATA de Defesa - Vandermi (Assinada).pdf: 683686 bytes, checksum: ef22a95b9e51ca26c6a81533a229f8b1 (MD5) 41 Folha de Aprovação - Vandermi (Assinado).pdf: 505367 bytes, checksum: 3215076e956a00285d58d8cf42a95f40 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-11-06T14:59:15Z (GMT) No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) teseVerBancaFinalRevisaoFinalEntregar.pdf: 3541738 bytes, checksum: 6c4fd9dcbb1ae72d2a72ffa86a9bb570 (MD5) Carta de Autorização de EncaminhamentoVandermi.pdf: 86854 bytes, checksum: bd9d084ef9f1ba5fde24aad1bde91e7f (MD5) 41 ATA de Defesa - Vandermi (Assinada).pdf: 683686 bytes, checksum: ef22a95b9e51ca26c6a81533a229f8b1 (MD5) 41 Folha de Aprovação - Vandermi (Assinado).pdf: 505367 bytes, checksum: 3215076e956a00285d58d8cf42a95f40 (MD5) / Made available in DSpace on 2018-11-06T14:59:15Z (GMT). No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) teseVerBancaFinalRevisaoFinalEntregar.pdf: 3541738 bytes, checksum: 6c4fd9dcbb1ae72d2a72ffa86a9bb570 (MD5) Carta de Autorização de EncaminhamentoVandermi.pdf: 86854 bytes, checksum: bd9d084ef9f1ba5fde24aad1bde91e7f (MD5) 41 ATA de Defesa - Vandermi (Assinada).pdf: 683686 bytes, checksum: ef22a95b9e51ca26c6a81533a229f8b1 (MD5) 41 Folha de Aprovação - Vandermi (Assinado).pdf: 505367 bytes, checksum: 3215076e956a00285d58d8cf42a95f40 (MD5) Previous issue date: 2018-10-08 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / The use of context and interactive applications is increasingly present and needs further study especially where the scenarios are constantly changing, for example, those involving Ambient Intelligence (AmI) and ubiquitous computing. Traditional automation systems require human intervention and often must be preset using remote controls or even embedded applications on mobile devices. However, the environmental context and user preferences are not taken into consideration. A system that integrates the healthcare services, entertainment, health and safety, among others, need to access several databases and most are not contextualized, hindering the aggregation of personalized services to each system user. Computational intelligence techniques and ubiquitous computing coupled with a contextual database can facilitate the provision of customized services according to user characteristics and data from sensors. The aim of this work is to specify, develop and validate a Patient Information System to assist in the contextualized medical data of patients, through an automated system, which considers medical prescription data, environment and sensor and device data furniture of the residence. The system counts with a template of measures for health and auxiliary of nursing to follow up of 96%. / O uso do contexto em aplicações interativas é cada vez mais presente e necessita de um estudo mais aprofundado especialmente nos casos em que os cenários estão em constantes mudanças, por exemplo, os que envolvem Ambient Intelligence (AmI) e computação ubíqua. Os sistemas de automação tradicionais necessitam da intervenção humana e muitas vezes devem ser pré-ajustados usando controles remotos ou mesmo por aplicativos embarcados em dispositivos móveis. No entanto, o contexto do ambiente e preferências do usuário não é levado em consideração. Um sistema que integre os serviços de healthcare necessita acessar diversas bases de dados e a maioria não é contextualizada, dificultando assim a agregação de serviços personalizados a cada usuário do sistema. Técnicas de inteligência computacional e computação ubíqua somada a uma base de dados contextual podem facilitar a disponibilização de serviços customizados de acordo com as características do usuário e dados provenientes de sensores. Este trabalho tem como objetivo especificar, construir e validar um Sistema Integrado de Mensagens para Auxiliar na Aderência à Medicação baseado em dados contextualizados de pacientes, por meio de um sistema automatizado, que considera os dados da receita médica, o ambiente e os dados de sensores e de dispositivos móveis da residência. O sistema possui uma camada de razão composta por algoritmos de árvore de decisão para auxiliar médicos e equipes de saúde no acompanhamento da adesão de medicamentos com acurácia de 96%. / O trabalho aplica técnicas de árvore de decisão para melhorar a adesão a medicamentos.

Submitted by Victor Oliveira (victor.oliveira023@gmail.com) on 2018-11-16T12:15:38Z No. of bitstreams: 1 Mestrado (2).pdf: 3223397 bytes, checksum: 2c4550dd364e7fa71ca5d5a76b209159 (MD5) / Rejected by Secretaria PPGI (secretariappgi@icomp.ufam.edu.br), reason: O arquivo apresentado não contém a Ficha Catalográfica nos moldes requeridos pela UFAM. O problema pode ser sanado através do link: http://fichacatalografica.ufam.edu.br/fichacatalografica/ficha/create. on 2018-11-16T12:35:49Z (GMT) / Submitted by Victor Oliveira (victor.oliveira023@gmail.com) on 2018-11-17T19:33:27Z No. of bitstreams: 1 Mestrado-merged.pdf: 3210603 bytes, checksum: 4fea5a7049497b21bd4c3d65b5a740c0 (MD5) / Approved for entry into archive by Secretaria PPGI (secretariappgi@icomp.ufam.edu.br) on 2018-11-19T17:31:25Z (GMT) No. of bitstreams: 1 Mestrado-merged.pdf: 3210603 bytes, checksum: 4fea5a7049497b21bd4c3d65b5a740c0 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-11-19T19:41:51Z (GMT) No. of bitstreams: 1 Mestrado-merged.pdf: 3210603 bytes, checksum: 4fea5a7049497b21bd4c3d65b5a740c0 (MD5) / Made available in DSpace on 2018-11-19T19:41:51Z (GMT). No. of bitstreams: 1 Mestrado-merged.pdf: 3210603 bytes, checksum: 4fea5a7049497b21bd4c3d65b5a740c0 (MD5) Previous issue date: 2018-08-28 / The number of people who buy products on e-commerce sites has been growing in recent years. The ease and comfort coupled with the growing security of the websites made it possible for more people to buy products with just a few clicks. In this universe, one of the first systems that a user encounters in the purchase process is the Automatic Query Complement, which suggests queries and products for each letter entered in the search box by the buyer. Knowing which queries to suggest to each letter typed and sorting them in the best possible way is the challenge of this system. This work focuses on knowing the best source of these queries and examines strategies for sorting queries in E-Commerce. In all of our research we did not find a paper that studies this theme in this scenario, making this work the pioneer in the subject. The strategies implemented in this paper were tested in Brazilian and Latin American retail real stores. The results were different in each store. The MRR at a Brazilian cosmetics store, for example, using one of the strategies developed in this paper, reached almost 0.8 for prefixes with three typed letters and 0.6 for an Appliances store with the same prefix size. / O número de pessoas que compram produtos em sites de comércio eletrônico vem crescendo nos últimos anos. A facilidade e conforto aliado à crescente segurança dos sites possibilitou que mais pessoas comprem produtos com apenas alguns cliques. Neste universo, um dos primeiros sistemas que um usuário se depara no processo de compra é o Complemento Automático de Consultas, que sugere consultas e produtos a cada letra digitada na caixa de busca pelo comprador. Saber quais consultas sugerir a cada letra digitada e ordená-las da melhor forma possível é o desafio deste sistema. Este trabalho se concentra em saber qual é a melhor fonte de geração dessas consultas e estuda estratégias de ordenação destas no cenário do E-Commerce. Em toda nossa pesquisa não achamos um trabalho que estuda esse tema neste cenário específico, fazendo este trabalho ser o pioneiro no assunto. As estratégias implementadas neste trabalho foram testadas em lojas reais do varejo online brasileiro e latino-americano e os resultados foram diferentes em cada loja. O MRR em uma loja brasileira de cosméticos, por exemplo, usando uma das estratégias deste trabalho, atingiu quase 0,8 para prefixos com três letras digitadas e 0,6 para uma loja de Eletrodomésticos com o mesmo tamanho de prefixo.

Submitted by Erickson Alves (erickson.higor@gmail.com) on 2018-11-22T22:41:27Z No. of bitstreams: 1 capa de aprovação de Erickson.pdf: 159098 bytes, checksum: 53aadfbcf021e94fca0a6734d55714f0 (MD5) / Approved for entry into archive by PPGEE Engenharia Elétrica (mestrado_engeletrica@ufam.edu.br) on 2018-11-23T12:51:53Z (GMT) No. of bitstreams: 1 capa de aprovação de Erickson.pdf: 159098 bytes, checksum: 53aadfbcf021e94fca0a6734d55714f0 (MD5) / Rejected by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br), reason: O depósito está incompleto. É necessário fazer o upload da Dissertação, da Carta de Encaminhamento assinada pelo orientador. Segue orientações no link http://biblioteca.ufam.edu.br/servicos/teses-e-dissertacoes Dúvidas? ddbc@ufam.edu.br on 2018-11-23T14:01:34Z (GMT) / Submitted by Erickson Alves (erickson.higor@gmail.com) on 2018-11-29T00:18:47Z No. of bitstreams: 3 capa de aprovação de Erickson.pdf: 159098 bytes, checksum: 53aadfbcf021e94fca0a6734d55714f0 (MD5) carta_encaminhamento.pdf: 373281 bytes, checksum: 057300b8bfec478dcee8902fab4d381b (MD5) dissertação.pdf: 627984 bytes, checksum: cfec6a01af6780eda1337a48143def43 (MD5) / Approved for entry into archive by PPGEE Engenharia Elétrica (mestrado_engeletrica@ufam.edu.br) on 2018-11-29T13:12:34Z (GMT) No. of bitstreams: 3 capa de aprovação de Erickson.pdf: 159098 bytes, checksum: 53aadfbcf021e94fca0a6734d55714f0 (MD5) carta_encaminhamento.pdf: 373281 bytes, checksum: 057300b8bfec478dcee8902fab4d381b (MD5) dissertação.pdf: 627984 bytes, checksum: cfec6a01af6780eda1337a48143def43 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-11-29T14:29:30Z (GMT) No. of bitstreams: 3 capa de aprovação de Erickson.pdf: 159098 bytes, checksum: 53aadfbcf021e94fca0a6734d55714f0 (MD5) carta_encaminhamento.pdf: 373281 bytes, checksum: 057300b8bfec478dcee8902fab4d381b (MD5) dissertação.pdf: 627984 bytes, checksum: cfec6a01af6780eda1337a48143def43 (MD5) / Made available in DSpace on 2018-11-29T14:29:30Z (GMT). No. of bitstreams: 3 capa de aprovação de Erickson.pdf: 159098 bytes, checksum: 53aadfbcf021e94fca0a6734d55714f0 (MD5) carta_encaminhamento.pdf: 373281 bytes, checksum: 057300b8bfec478dcee8902fab4d381b (MD5) dissertação.pdf: 627984 bytes, checksum: cfec6a01af6780eda1337a48143def43 (MD5) Previous issue date: 2018-09-14 / Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização. A principal novidade dessa abordagem é a ideia de reproduzir um comportamento defeituoso em uma versão sequencial do programa concorrente. De forma a apontar linhas defeituosas, analizam-se os contraexemplos gerados por um verificador de modelos para o programa sequencial instrumentado e procura-se um valor para uma variável de diagnóstico, o qual corresponde a linhas reais no programa original. Essa abordagem é útil para aperfeiçoar o processo de depuração para programas concorrentes, já que ela diz qual linha deve ser corrigida e quais valores levam a uma execução bem-sucedida. Essa abordagem foi implementada como uma transformação código-a-código de um programa concorrente para um não-determinístico sequencial, o qual é então usado como entrada para ferramentas de verificação existentes. Resultados experimentais mostram que a abordagem descrita é eficaz e é capaz de localizar falhas na maioria dos casos de teste utilizados, extraídos da suíte da International Competition on Software Verification 2015. / Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização. A principal novidade dessa abordagem é a ideia de reproduzir um comportamento defeituoso em uma versão sequencial do programa concorrente. De forma a apontar linhas defeituosas, analizam-se os contraexemplos gerados por um verificador de modelos para o programa sequencial instrumentado e procura-se um valor para uma variável de diagnóstico, o qual corresponde a linhas reais no programa original. Essa abordagem é útil para aperfeiçoar o processo de depuração para programas concorrentes, já que ela diz qual linha deve ser corrigida e quais valores levam a uma execução bem-sucedida. Essa abordagem foi implementada como uma transformação código-a-código de um programa concorrente para um não-determinístico sequencial, o qual é então usado como entrada para ferramentas de verificação existentes. Resultados experimentais mostram que a abordagem descrita é eficaz e é capaz de localizar falhas na maioria dos casos de teste utilizados, extraídos da suíte da International Competition on Software Verification 2015.

Submitted by Roberto Fonseca (rcf2@icomp.ufam.edu.br) on 2018-11-18T00:36:14Z No. of bitstreams: 2 rcidadef-final-dissertacao-mestrado.pdf: 998750 bytes, checksum: 1738deb5326e881be7192f444ccedb86 (MD5) 315 ATA de Defesa - Roberto Cidade (Assinada).pdf: 531920 bytes, checksum: 51157459356b7ee8be9be278b4579378 (MD5) / Approved for entry into archive by Secretaria PPGI (secretariappgi@icomp.ufam.edu.br) on 2018-11-19T17:31:42Z (GMT) No. of bitstreams: 2 rcidadef-final-dissertacao-mestrado.pdf: 998750 bytes, checksum: 1738deb5326e881be7192f444ccedb86 (MD5) 315 ATA de Defesa - Roberto Cidade (Assinada).pdf: 531920 bytes, checksum: 51157459356b7ee8be9be278b4579378 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-11-19T19:46:24Z (GMT) No. of bitstreams: 2 rcidadef-final-dissertacao-mestrado.pdf: 998750 bytes, checksum: 1738deb5326e881be7192f444ccedb86 (MD5) 315 ATA de Defesa - Roberto Cidade (Assinada).pdf: 531920 bytes, checksum: 51157459356b7ee8be9be278b4579378 (MD5) / Made available in DSpace on 2018-11-19T19:46:24Z (GMT). No. of bitstreams: 2 rcidadef-final-dissertacao-mestrado.pdf: 998750 bytes, checksum: 1738deb5326e881be7192f444ccedb86 (MD5) 315 ATA de Defesa - Roberto Cidade (Assinada).pdf: 531920 bytes, checksum: 51157459356b7ee8be9be278b4579378 (MD5) Previous issue date: 2018-08-28 / Machine learning (ML) based ranking functions generating methods have been broadly used on web search systems, such as the utilized by Google and Bing. Nonetheless, such methods have not been employed or studied in other contexts. It is the case, to cite an example, of electronic commerce (e-commerce), on which the user interaction with virtual stores produces data as: when an user landed on a page for the first time, queries submitted, products clicked and what she bought. In this work, we propose to leverage ML to learn ranking functions for the e-commerce context. We studied alternatives to estimate the relevance of a result for a given query and deployed experiments using data mined from e-commerce shops. We ran experiments in setups we denominated offline, where a dataset was created the traditional way by separating it in three subsets of training, validation and test, as well as in setups we denominated online, where distinct versions of the system were deployed to shops facing users in a real purchase situation. We present in the study our conclusions regarding the performed experiments. / Métodos que geram funções de ordenação de resultados baseadas em aprendizagem de máquina têm sido amplamente utilizados em sistemas de busca para a web, como as utilizadas em motores de busca como o Google e Bing. No entanto, esses recursos não têm sido muito empregados ou estudados em outros contextos. É o caso, por exemplo, do comércio eletrônico, no qual, a interação de usuários com lojas virtuais produz dados como: quando um usuário acessou a página de uma loja pela primeira vez, que consultas realizou, quais produtos clicou, e o que comprou. Neste trabalho, propomos a utilização de métodos de aprendizagem de máquina para aprender funções de ordenação de resultados no contexto de comércio eletrônico. Estudamos formas alternativas de estimar a relevância de um resultado para uma dada consulta e realizamos experimentos utilizando dados extraídos de lojas de comércio eletrônico. Realizamos experimentos tanto com ambientes que denominamos offline, onde uma base de dados é montada com a abordagem tradicional de separa-la em treino, validação e teste, quanto em ambientes que denominamos online, onde pusemos versões distintas dos sistemas para funcionar em lojas com usuários em situações reais de compra. Apresentamos no estudo nossas conclusões a respeito dos experimentos realizados. / Formulário longo, com várias fases e páginas.

Submitted by Eric das Neves (evndeveloper@hotmail.com) on 2018-12-11T00:13:26Z No. of bitstreams: 3 Dissertação Versão Secretaria com ficha catalografica e folha de aprovação.pdf: 3156070 bytes, checksum: 27dc73ab25f883f2c6bd2faed11dd6e6 (MD5) 316 ATA de Defesa - Eric Vieira (Assinado).pdf: 478934 bytes, checksum: 8297a92876a93d2002070fab8e573ab2 (MD5) carta deposito.jpg: 881630 bytes, checksum: 1f98e977c3f922663009b11ea05b470a (MD5) / Approved for entry into archive by Secretaria PPGI (secretariappgi@icomp.ufam.edu.br) on 2018-12-12T01:14:34Z (GMT) No. of bitstreams: 3 Dissertação Versão Secretaria com ficha catalografica e folha de aprovação.pdf: 3156070 bytes, checksum: 27dc73ab25f883f2c6bd2faed11dd6e6 (MD5) 316 ATA de Defesa - Eric Vieira (Assinado).pdf: 478934 bytes, checksum: 8297a92876a93d2002070fab8e573ab2 (MD5) carta deposito.jpg: 881630 bytes, checksum: 1f98e977c3f922663009b11ea05b470a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-12-12T13:54:35Z (GMT) No. of bitstreams: 3 Dissertação Versão Secretaria com ficha catalografica e folha de aprovação.pdf: 3156070 bytes, checksum: 27dc73ab25f883f2c6bd2faed11dd6e6 (MD5) 316 ATA de Defesa - Eric Vieira (Assinado).pdf: 478934 bytes, checksum: 8297a92876a93d2002070fab8e573ab2 (MD5) carta deposito.jpg: 881630 bytes, checksum: 1f98e977c3f922663009b11ea05b470a (MD5) / Made available in DSpace on 2018-12-12T13:54:35Z (GMT). No. of bitstreams: 3 Dissertação Versão Secretaria com ficha catalografica e folha de aprovação.pdf: 3156070 bytes, checksum: 27dc73ab25f883f2c6bd2faed11dd6e6 (MD5) 316 ATA de Defesa - Eric Vieira (Assinado).pdf: 478934 bytes, checksum: 8297a92876a93d2002070fab8e573ab2 (MD5) carta deposito.jpg: 881630 bytes, checksum: 1f98e977c3f922663009b11ea05b470a (MD5) Previous issue date: 2018-10-18 / Delay Tolerant Networks have emerged as a solution for communication in scenarios where the Internet does not have its basic premises met for proper operation. DTNs rely directly on their nodes for good performance because it uses the mobility of nodes to send messages to their destinations. However, due to factors such as resource economy, lack of interest in the message or simply the denial of collaboration, it negatively affects network performance. In this way, it is fundamental to consider the social factors, extended from the users to the network nodes, so that the best forwarding strategy is found, increasing the chances of delivering the messages. In this work a new protocol is proposed for the dissemination of messages in DTN networks, using the interests of the network nodes for the formation of level’s message passing. These levels are formed by grouping the nodes through machine learning techniques, KMEANS and EM clusters, according to the level of interest of the nodes by the message generated, directly or indirectly, passing the message by the groups formed up to the recipient of the node. Our results show that the proposal is promising, having superior results to the protocols well qualified in the literature. / As redes tolerantes a atrasos e desconexões surgiram como uma solução para a comunicação em cenários onde a internet não possui suas premissas básicas atendidas: conexão fim-afim, baixa latência e pouca perda de pacotes. As DTNs dependem diretamente da colaboração de seus nós para um bom desempenho, pois usa a mobilidade dos mesmos para fazer os repasses das mensagens até seus destinos. Entretanto, devido a fatores como economia de recursos: energia, armazenamento de dados, pouco interesse pela mensagem ou simplesmente a negação da colaboração, afeta de forma negativa o desempenho da rede. Dessa maneira é fundamental que se leve em consideração fatores sociais, que podem ser estendidos dos usuários e empregados aos nós da rede, para que se possa encontrar a melhor estratégia de repasses, aumentando as chances de entrega das mensagens. Portanto, este trabalho propõe um novo protocolo de disseminação de mensagens em redes DTN, usando os interesses dos nós da rede como fator social, para a formação de níveis de repasse de mensagens. Utilizou-se técnicas de aprendizagem de máquina para a formação dos níveis, que usam clusterizadores como o KMEANS e EM para agrupar os nós de acordo com o nível de interesse pela mensagem gerada, direto ou indireto. Dessa forma a mensagem é repassada através dos grupos formados até o nó destinatário. Resultados obtidos através de um conjunto de experimentos criteriosamente selecionados mostram que a proposta é promissora, apresentando um desempenho superior aos protocolos bem conhecidos da literatura.

Submitted by Leonard Souza (leonardrebello21@gmail.com) on 2018-12-13T17:51:29Z No. of bitstreams: 6 Universidade Federal do Amazonas Versão FINAL Dissertação - Leonard Rebello Santos de Souza - 07.12.2018.pdf: 6617992 bytes, checksum: 11329e8ee711f51c4743aa5b662f3a1c (MD5) Ata de Aprovação.pdf: 202356 bytes, checksum: eb3c1a44c559f01a75f1abc6d61d37f0 (MD5) Carta de encaminamento.pdf: 316076 bytes, checksum: d0e3b634bca40202a56a5d82ce13ab16 (MD5) Declaração de defesa.pdf: 324580 bytes, checksum: 1f224f73c548234d76ffcc2652bff783 (MD5) Ficha catalográfica.pdf: 1931 bytes, checksum: 6dd2816a4e114eef6af8cdb4402fe8ba (MD5) Parecer da comissão examinadora da defesa.pdf: 266273 bytes, checksum: de4593a49e020d79130de4a0263a4caa (MD5) / Approved for entry into archive by PPGQ Química (ppgqsecretaria@gmail.com) on 2018-12-14T15:10:05Z (GMT) No. of bitstreams: 6 Universidade Federal do Amazonas Versão FINAL Dissertação - Leonard Rebello Santos de Souza - 07.12.2018.pdf: 6617992 bytes, checksum: 11329e8ee711f51c4743aa5b662f3a1c (MD5) Ata de Aprovação.pdf: 202356 bytes, checksum: eb3c1a44c559f01a75f1abc6d61d37f0 (MD5) Carta de encaminamento.pdf: 316076 bytes, checksum: d0e3b634bca40202a56a5d82ce13ab16 (MD5) Declaração de defesa.pdf: 324580 bytes, checksum: 1f224f73c548234d76ffcc2652bff783 (MD5) Ficha catalográfica.pdf: 1931 bytes, checksum: 6dd2816a4e114eef6af8cdb4402fe8ba (MD5) Parecer da comissão examinadora da defesa.pdf: 266273 bytes, checksum: de4593a49e020d79130de4a0263a4caa (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-12-14T18:01:15Z (GMT) No. of bitstreams: 6 Universidade Federal do Amazonas Versão FINAL Dissertação - Leonard Rebello Santos de Souza - 07.12.2018.pdf: 6617992 bytes, checksum: 11329e8ee711f51c4743aa5b662f3a1c (MD5) Ata de Aprovação.pdf: 202356 bytes, checksum: eb3c1a44c559f01a75f1abc6d61d37f0 (MD5) Carta de encaminamento.pdf: 316076 bytes, checksum: d0e3b634bca40202a56a5d82ce13ab16 (MD5) Declaração de defesa.pdf: 324580 bytes, checksum: 1f224f73c548234d76ffcc2652bff783 (MD5) Ficha catalográfica.pdf: 1931 bytes, checksum: 6dd2816a4e114eef6af8cdb4402fe8ba (MD5) Parecer da comissão examinadora da defesa.pdf: 266273 bytes, checksum: de4593a49e020d79130de4a0263a4caa (MD5) / Made available in DSpace on 2018-12-14T18:01:15Z (GMT). No. of bitstreams: 6 Universidade Federal do Amazonas Versão FINAL Dissertação - Leonard Rebello Santos de Souza - 07.12.2018.pdf: 6617992 bytes, checksum: 11329e8ee711f51c4743aa5b662f3a1c (MD5) Ata de Aprovação.pdf: 202356 bytes, checksum: eb3c1a44c559f01a75f1abc6d61d37f0 (MD5) Carta de encaminamento.pdf: 316076 bytes, checksum: d0e3b634bca40202a56a5d82ce13ab16 (MD5) Declaração de defesa.pdf: 324580 bytes, checksum: 1f224f73c548234d76ffcc2652bff783 (MD5) Ficha catalográfica.pdf: 1931 bytes, checksum: 6dd2816a4e114eef6af8cdb4402fe8ba (MD5) Parecer da comissão examinadora da defesa.pdf: 266273 bytes, checksum: de4593a49e020d79130de4a0263a4caa (MD5) Previous issue date: 2018-10-19 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Mankind has always sought in nature sources of raw materials, whether of vegetable origin or products derived from animals that could be used with therapeutic and medicinal characteristics for the treatment of their diseases. Among the many, one has been used over the years by the inhabitants of the Amazon region, the geopropolis, which is produced by stingless bees of the genus Melipona. The M. seminigra and M. interrupta species are known to be less aggressive and quite sociable, facilitating their creation and management through Meliponicutura. The geopropolis has a complex composition rich in several chemical classes greatly because of its formation include parts of plants, resins, pollen, in addition to the soil and mineral mixture and which consequently can provide promising biological activities such as antitumor, antitussive, antioxidant, antiparasitic, antimicrobial, antiseptic, antimutagenic, anti-inflammatory and immunomodulatory, making it very appreciable by consumer communities. In the Amazon, besides the climate, the flora used to collect bee subsidies directly influences the chemical composition of the geopropolis, reflecting the biological properties of the product. The reduced amount of studies on the chemical composition of the geopropolis and the possible botanical origin of the substances, emphasized the importance of conducting the research. In this context, the study was developed to chemically characterize the geopropolis of five different locations in the vicinity of Manaus. The methanolic extracts were obtained by the methodology of maceration (48h) of the geopropolis followed by ultrasonic bath (20min), filtered and analyzed by Mass Spectrometry (EM) and Magnetic Resonance Spectroscopy (NMR) and it was possible to differentiate the chemical constituents between the points (PCA and HCA) evidencing the presence of flavonoids, organic acids and benzophenones. Twenty-eight chemical substances were proposed by direct injection into the High Resolution Mass Spectrometry equipment. GC-MS analyzes revealed the presence of fourteen terpene substances. The results of IC 50 and total phenols presented anti-radical potential for the extracts of the geopropolis of the study species. The antimicrobial assay of the extracts of M. interrupta showed satisfactory results of inhibition and death against strains E. feacalis and S. aureus. The research contributed with chemical and biological knowledge about the bees' geoprópolis M. seminigra and M. interrupta, since there are few reports in the literature about the product. / A humanidade sempre buscou na natureza fontes de matérias-primas, seja de origem vegetal ou em produtos oriundos de animais que pudessem ser utilizadas com cunho terapêutico e medicinal para o tratamento de suas enfermidades. Dentre os muitos, um tem sido utilizado ao longo dos anos pelos habitantes da região Amazônica, a geoprópolis, que é produzida pelas abelhas sem ferrão do gênero Melipona. As espécies M. seminigra e M. interrupta são conhecidas por serem pouco agressivas e bastante sociáveis facilitando sua criação e manejo por meio da Meliponicutura. A geoprópolis possui uma composição complexa rica em diversas classes química muito por sua formação incluir partes de vegetais, resinas, pólens, além da mistura de solo e minerais e que como consequência podem proporcionar atividades biológicas promissoras como, antitumoral, antitussígeno, antioxidante, antiparasitário, antimicrobiano, antisséptico, antimutagênico, anti-inflamatório e imunomoduladora, tornando-a bastante apreciável pelas comunidades consumidoras. Na Amazônia além do clima, a flora utilizada para coleta de subsídios por parte das abelhas influencia diretamente na composição química da geoprópolis, refletindo nas propriedades biológicas do produto. A quantidade reduzida de estudos sobre a composição química da geoprópolis e possível origem botânica das substâncias, ressaltaram a importância de se realizar a pesquisa. Nesse contexto, foi desenvolvido o estudo para caracterizar quimicamente a geoprópolis de cinco diferentes localidades dos arredores de Manaus. Os extratos metanólicos foram obtidos pela metodologia de maceração (48h) da geoprópolis seguido de banho ultrassônico (20min), filtrados e analisados por Espectrometria de Massas (EM) e Espectroscopia de Ressonância Magnética (RMN) e foi possível diferenciar os constituintes químicos entre os pontos de coleta por meio da Quimiometria (PCA e HCA) evidenciando a presença de flavonoides, ácidos orgânicos e benzofenonas. Por injeção direta no equipamento de Espectrometria de Massas de Alta Resolução foram propostas vinte e oito substâncias químicas. As análises por CG-MS revelaram a presença de quatorze substâncias terpênicas. Os resultados de CI50 e fenóis totais apresentaram potencial anti-radicalar para os extratos da geoprópolis das espécies de estudo. O ensaio antimicrobiano dos extratos de M. interrupta mostrou resultados satisfatórios de inibição e morte frente as cepas E. feacalis e S. aureus. A pesquisa contribuiu com conhecimento químico e biológico acerca da geoprópolis das abelhas M. seminigra e M. interrupta, posto que existem poucos relatos na literatura sobre o produto.

Made available in DSpace on 2015-04-22T22:01:53Z (GMT). No. of bitstreams: 1 lidiane.pdf: 2453188 bytes, checksum: 93fe17e7ecc2cb2661d51894f6f8f597 (MD5) Previous issue date: 2013-10-10 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Copper, iron and zinc were electroanalytically quantified by anodic stripping voltammetry coupled with square wave voltammetry (ASV/SWV) and boron doped diamond (DDB) electrode. An electroanalytical methodology were developed where parameters were optimized for metals determination. Determination of all metals was performed in KCl 1 mol.L-1 solution. Cyclic voltammetry analysis showed both metals oxidation and reduction peaks with quasi-reversible characteristic. Parameters of the ASV were equal for all metals except the deposition potential (Edep) that were for cooper -0,2 V ; -1,8 V for zinc and - 0,1 V iron. The deposition time and equilibration time was 180 s and 60 s respectively. Regarding SWV parameters, it was diverse for each metal, for cooper frequency (f) and amplitude (a) values were 60 Hz and 70mV, for zinc 70 Hz and 80 mV, for iron 70 Hz and 90 mV, respectively. After parameters optimization analytical curves were constructed for each metal and calculated the detection limits which resulted in 0,005; 0,12 and 0,16 ppm for cooper, zinc and iron respectively. The methodology developed for detection of these metals was applied in water samples taken from the Igarapé do Quarenta located in industrial district of Manaus, the analysis showed good repeatability and low error when compared with results obtained by atomic absorption spectroscopy. / O cobre, ferro e zinco foram eletroanaliticamente quantificados utilizando a voltametria de redissolução anódica com onda quadrada (VRA/VOQ) com eletrodo de diamante dopado com boro (DDB). Para isso elaborou-se uma metodologia eletroanalítica onde os parâmetros voltamétricos foram otimizados para determinação dos metais. A determinação de todos os metais foi realizada em solução de KCl 1 mol.L-1 . Para a voltametria cíclica os metais apresentaram ambos os picos de oxidação e redução com características quase- reversíveis. Os parâmetros da VRA foram iguais para todos os metais excetuando-se os potenciais de deposição (Edep) que foram para o cobre -0,2 V, para o zinco -1,8 V e para o ferro -0,1 V, os tempos de deposição foram 180 s e o de equilíbrio 60 s. Quanto aos parâmetros da VOQ os mesmos foram diversificados para cada metal, para o cobre os valores de freqüência (f) e amplitude (a) foram respectivamente 60 Hz e 70 mV, pra o zinco 70 Hz e 80 mV já para o ferro 70 Hz e 90 mV. Após a otimização dos parâmetros foram construídas curvas analíticas para cada metal e calcularam-se os limites de detecção os quais resultaram em 0,005; 0,12 e 0, 169 ppm para o cobre, zinco e ferro respectivamente. A metodologia desenvolvida para detecção dos referidos metais foi aplicada em amostras de água retiradas do Igarapé do Quarenta localizado no distrito industrial de Manaus, as análises mostraram boa repetitividade e baixo erro quando comparados com os resultados obtidos por espectroscopia de absorção atômica.