▼ 

Stock price forecasting is an inherently difficult problem. According to the efficient market hypothesis financial prices are unpredictable. However, a great number of machine learning methods have obtained consistent results on anticipating market movements. Most recent time-series prediction methods attempt to predict prices polarity, that is, whether prices have increased or fallen compared to the last time-step. Such approaches are inefficient in real scenarios, as forecasting price polarity alone makes financial planning a hard task, due to the fees and operation costs. Most of these methods use only Recurrent Neural Networks, but recent advances in temporal convolutional networks also may prove to be promising in prediction of general time-series, making better predictions with easier to train models. Recent hybrid architectures have also obtained important results using additional unstructured information from financial news. We propose a novel deep neural architecture to predict stock prices based on Temporal Convolutional Networks and built upon on a state of the art acoustic model for voice synthesis. Experimental results show that our model can consistently improve individual stocks prediction when compared to traditional methods.

A previs?o dos pre?os de a??es ? um problema inerentemente dif?cil. De acordo com a hip?tese do mercado eficiente, os pre?os financeiros s?o imprevis?veis. No entanto, muitos m?todos de aprendizado de m?quina t?m obtido resultados consistentes na antecipa??o de movimentos de mercado. Modelos de previs?o de s?ries temporais recentes t?m tentado prever apenas a polaridade dos pre?os, ou seja, se eles subiram ou ca?ram em rela??o ao passo temporal anterior. Tal abordagem ? ineficiente em cen?rios reais, pois dificulta o planejamento financeiro em virtude dos custos e taxas presentes em cada opera??o. A maioria desses m?todos usa Redes Neurais Recorrentes, por?m, avan?os recentes em redes temporais convolutivas t?m se mostrado promissores na previs?o de s?ries temporais, possibilitando previs?es melhores com modelos mais f?ceis de treinar. Arquiteturas h?bridas tamb?m t?m obtido resultados importantes ao processar informa??es n?o estruturadas de not?cias financeiras. Propomos neste estudo uma nova arquitetura neural profunda para previs?o de pre?o de a??es baseada em Redes Convolucionais Temporais e inspirada em um modelo ac?stico do estado da arte para s?ntese de voz. Resultados experimentais mostram que nosso modelo pode melhorar de forma consistente a previs?o do pre?o de a??es individuais quando comparado aos m?todos tradicionais.

O conte?do do trabalho est? em ingl?s.

Advisors/Committee Members: Cristo, Marco Ant?nio Pinheiro de, 407745202-30, http://lattes.cnpq.br/6261175351521953, Giusti, Rafael, http://lattes.cnpq.br/0613781010575440, Carvalho, Moises Gomes de, http://lattes.cnpq.br/1840067885522796, [email protected].

▼ 

O problema da cadeia de caracteres mais pr?xima (do ingl?s Closest String Problem CSP) que surge na bioinform?tica e na criptografia ? encontrar uma cadeia de caracteres que minimize a maior dist?ncia de Hamming de um determinado conjunto de cadeias de caracteres, o CSP ? um problema NP-dif?cil. O principal objetivo deste trabalho ? propor m?todos exatos para este problema, para esse fim, caracterizamos casos especiais para esse problema com ?nfase no n?mero de strings. At? agora, nossa contribui??o ?: algoritmos de tempo linear para o CSP com at? tr?s strings e para quatro strings bin?rias, al?m de um algoritmo guloso heur?stico e um algoritmo exato recursivo para o caso geral. Al?m disso, para cada algoritmo proposto ser?o apresentadas provas formais de corretude, tamb?m experimentos num?ricos mostrar?o a efic?cia dos algoritmos propostos.

The closest string problem (CSP) that arises in computational molecular biology and coding theory is to find a string that minimizes the maximum Hamming distance from a given set of strings, the CSP is an NP-hard problem. The main aim of this work is to propose exact methods for this problem, for this purpose, we characterize special cases for this problem with emphasis in the number of strings. Until now our contribution is: linear-time algorithms for CSP with up to three strings and for four binary strings, in addition to an heuristic greedy algorithm and a recursive exact algorithm for CSP for the general case. Furthermore, for each proposed algorithm formal proofs will be presented, also numerical experiments will show the effectiveness of the proposed algorithms.

CAPES - Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior

Advisors/Committee Members: Feitosa, Eduardo Luzeiro, 5939944067207881, http://lattes.cnpq.br/5939944067207881, Collona, Juan Gabriel, Nakamura, Fab?ola Guerra, Onety, Renata da Encarna??o, Craveiro, Joaquim Maciel da Costa, [email protected], https://orcid.org/0000-0001-6401-3992.

▼ Os sistemas de Localiza??o WiFi est?o cada vez mais presentes no nosso dia-a-dia devido ? grande facilidade que os dispositivos utilizados nesta tecnologia podem proporcionar para os usu?rios, como mobilidade, independ?ncia de fatores que limitam e causam desconforto na usabilidade como cabos, por exemplo, e tamb?m por ser mais conveniente para o usu?rio utilizar algo de f?cil manuseio. Al?m destes pontos, sabese que os dispositivos WiFi est?o cada vez mais desenvolvidos, proporcionando mais possibilidades de uso no cotidiano dos usu?rios. Sistemas de Localiza??o WiFi realizam a localiza??o de dispositivos ou pessoas em um determinado ambiente com base em medi??es de pot?ncia de sinal, obtidas atrav?s da troca de pacotes entre os dispositivos que comp?em tais sistemas. Neste trabalho ? proposto um m?todo de Localiza??o WiFi utilizando m?ltiplos roteadores com antenas direcionais no ambiente de localiza??o. Os roteadores com antenas direcionais s?o utilizados neste trabalho devido a sua capacidade de limitar a cobertura sinal para uma determinada ?rea, diferente dos sistemas com antenas omnidirecionais. O impacto que um pacote enviado por um dispositivo com posi??o desconhecida gera nas antenas direcionais do sistema ? capaz de proporcionar valores de RSSI diferentes. Atrav?s da fase offline do sistema onde ? realizado a parte de treinamento, um banco de dados ? criado com todos os valores de RSSI obtidos a partir de cada pacote recebido pelos roteadores direcionais e as posi??es de onde os pacotes foram enviados. Essa base de dados ? utilizada como conhecimento para que o algoritmo de classifica??o possa estimar de onde um pacote foi enviado, somente com base nos valores de RSSI obtidos em cada roteador direcional. Foram comparados dois algoritmos de classifi??o nesta proposta como forma de analisar as caracter?sticas de comportamento de cada um deles nos ambientes de localiza??o. S?o eles os algoritmos kNN e Naive Bayes, ambos bastante utilizados na literatura. Durante a experimenta??o do sistema de localiza??o composto pelos roteadores direcionais, foi analisado tamb?m como organizar os roteadores para ser obter resultavii dos com maior precis?o de localiza??o. Desta forma, foi poss?vel analisar nos ambientes de localiza??o a organiza??o dos roteadores unidos apontando para dire??es diferentes, e separados focados para o centro do ambiente de localiza??o. Outro ponto importante desta proposta ? a aplica??o do sistema de localiza??o com base em dois tipos de localiza??o: Localiza??o Precisa e Localiza??o Contextual. A Localiza??o Precisa permite estimar a posi??o exata de um dispositivo nos eixos x e y de um determinado ambiente onde ele est? instalado. J? a Localiza??o Contextual, permite estimar posi??o de um determinado dispositivo com base na an?lise do contexto do ambiente onde ele est? inserido. Todos os dados obtidos durante os experimentos foram analisados e testados, e demonstram que o sistema proposto neste trabalho pode ser utilizado como sistema de localiza??o WiFi para ambientes internos como… Advisors/Committee Members: Oliveira, Hor?cio Ant?nio Braga Fernandes de, 683.805.932-00, http://lattes.cnpq.br/9314744999783676.

▼ 

A ocorr?ncia de regi?es de buraco em Redes de Sensores Sem Fio ? um importante desafio a ser superado pois afeta a utiliza??o de protocolos de roteamento no tocante ? transmiss?o de mensagens atrav?s da rede. Em algoritmos de roteamento geogr?fico, o surgimento de buracos de roteamento ? comumente creditado ao fen?meno dos m?nimos locais (local minimum), caracterizado por uma regi?o na grade de sensoreamento onde os n?s est?o impossibilitados de encaminhar mensagens a um destino pretendido. Sua ocorr?ncia pode ser causada por obst?culos f?sicos, esgotamento energ?tico, falhas na comunica??o entre vizinhos eleitos, implanta??o incorreta. A maioria das solu??es utilizadas para lidar com o problema das regi?es de buraco prefere abandonar o mecanismo tradicional de encaminhamento guloso para adotar temporariamente o esquema de roteamento atrav?s de per?metro, aplicado aos n?s pr?ximos ou ao longo da borda de um buraco. Entretanto, essa estrat?gia exige que todos os n?s conhe?am sua localiza??o na grade, o que nem sempre ? poss?vel. Al?m disso, esse tipo de abordagem imp?e tr?fego excessivo aos n?s da borda do buraco e seus vizinhos de um salto de dist?ncia, tornando-os cada vez mais utilizados quando se pretende encaminhar pacotes para fora da regi?o de buracos. Nesta tese de doutorado, propomos quatro (04) solu??es de roteamento geogr?fico para lidar com o problema dos buracos de roteamento em redes de sensores sem fio. Os algoritmos ARESTA, REACT, LRS e BYPATH, foram concebidos para serem capazes de criar caminhos v?lidos entre a origem e o destino dos pacotes sem fazer uso de coordenadas virtuais, sistemas de posicionamento global (GPS) ou qualquer outro sistema de coordenadas que normalmente gera custos energ?ticos adicionais e nem sempre est?o dispon?veis. Nossos algoritmos tiram vantagem do alcance de comunica??o do sink, equipado com um dispositivo de comunica??o de maior pot?ncia, de tal forma que em um ?nico salto todos os n?s da rede sejam alcan?ados. O retorno dos n?s sensores para o n? sink ? realizado atrav?s de m?ltiplos saltos, utilizando os valores do RSSI (Received Signal Strength Indicator) para calcular o pr?ximo salto em dire??o ao n? sink, calcular o tempo de espera para o envio de de pacotes m?ltiplos saltos e em alguns casos possibilitar a agrega??o de dados enquanto desvia buracos de roteamento durante o processo de encaminhamento. Nossas solu??es de desvio de buracos est?o aptas a gerar fluxos qualificados para o escoamento de pacotes entre a origem e o destino, mantendo vantagens como altas taxas de entrega de pacotes e economia de energia, observadas em algoritmos cl?ssicos de roteamento geogr?fico.

The occurrence of hole regions in Wireless Sensor Networks is a significant challenge to overcome because it affects the use of geographic routing protocols regarding the transmission of messages through the network. Holes are usually associated with regions where nodes are unable to forward its information received. Its occurrence can be caused by physical obstacles, energy depletion,…

Advisors/Committee Members: Oliveira, Hor?cio Ant?nio Braga Fernandes de, 683.805.932-00, http://lattes.cnpq.br/9314744999783676, Mota, Edjair de Souza, http://lattes.cnpq.br/5771638576099195, Souto, Eduardo James Pereira, http://lattes.cnpq.br/3875301617975895, Figueiredo, Carlos Maur?cio Ser?dio, http://lattes.cnpq.br/9060002746939878, Balico, Leandro Nelinho, http://lattes.cnpq.br/7704628402527376, Souza, ?fren Lopes de, http://lattes.cnpq.br/3930579216565991, [email protected].

▼ 

Modelos probabil?sticos de t?picos s?o modelos estat?sticos capazes de identificar t?picos em uma cole??o de texto. Eles s?o amplamente aplicados em tarefas relacionadas ? ?rea de Processamento de Linguagem Natural, uma vez que capturam com sucesso rela??es latentes por meio da an?lise de dados n?o rotulados. Entretanto, solu??es anal?ticas para a infer?ncia Bayesiana desses modelos s?o geralmente intrat?veis, dificultando a proposta de modelos probabil?sticos que sejam mais expressivos. Neste cen?rio, os Autocodificadores Variacionais (ACVs), m?todos que empregam uma rede de infer?ncia baseada em redes neurais respons?vel por estimar a distribui??o a posteriori, tornaram-se uma alternativa promissora para inferir distribui??es de t?picos em cole??es de texto. Estes modelos, contudo, tamb?m introduzem novos desafios, tal como a necessidade de distribui??es cont?nuas e reparametriz?veis que podem n?o se ajustar ?s distribui??es reais dos t?picos. Al?m disso, redes de infer?ncia tendem a apresentar um problema conhecido como colapso de componentes, onde apenas alguns t?picos contendo poucos termos correlacionados s?o efetivamente extra?dos. Para tentar evitar estes problemas, prop?em-se dois novos m?todos de t?picos. O primeiro (GSDTM) ? baseado em uma distribui??o cont?nua pseudocateg?rica denominada Gumbel-Softmax, capaz de gerar amostras aproximadamente categ?ricas, enquanto o segundo (LMDTM) adota uma mistura de distribui??es Normais-log?sticas, que pode ser adequada em cen?rios onde a distribui??o dos dados ? complexa. Apresenta-se tamb?m um estudo sobre o impacto que diferentes escolhas de modelagem t?m sobre os t?picos gerados, observando um compromisso entre coer?ncia dos t?picos e a qualidade do modelo gerador. Por meio de experimentos usando duas cole??es de dados de refer?ncia, tr?s m?tricas distintas de avalia??o quantitativa e uma inspe??o qualitativa, mostra-se que o modelo GSDTM supera de forma significativa os modelos de t?picos considerados estado da arte em grande parte dos cen?rios de teste, em termos de coer?ncia m?dia de t?picos e perplexidade.

Probabilistic topic models are statistical models which are able to identify topics on textual data. They are widely applied in many tasks related to Natural Language Processing due to their effective use of unlabeled data to capture latent relations. Analytical solutions for Bayesian inference of such models, however, are usually intractable, hindering the proposition of highly expressive text models. In this scenario, Variational Auto-Encoders (VAEs), where an artificial neural-based inference network is used to approximate the posterior distribution, became a promising alternative for inferring latent topic distributions of text documents. These models, however, also pose new challenges such as the requirement of continuous and reparameterizable distributions which may not fit so well the true latent topic distributions. Moreover, inference networks are prone to a well-known problem called component collapsing, where a little number of topics are…

Advisors/Committee Members: Cristo, Marco Ant?nio Pinheiro de, [email protected], http://lattes.cnpq.br/6261175351521953, Carvalho, Andr? Luiz da Costa, http://lattes.cnpq.br/4863447798119856, Colonna, Juan Gabriel, http://lattes.cnpq.br/9535853909210803, Pappa, Gisele Lobo, http://lattes.cnpq.br/5936682335701497, Carvalho, Andr? Luiz da Costa, http://lattes.cnpq.br/4863447798119856, [email protected].

▼ 

Sistemas de localiza??o desempenham um papel importante em muitas aplica??es para Redes Ad Hoc Veiculares {VANets). Embora t?cnicas de fus?o de dados podem prover informa??es de localiza??o confi?veis para atender a maioria dos requisitos de aplica??es em VANets, aperfei?oamentos nos sistemas de localiza??o s?o necess?rios e desej?veis. Caracter?sticas ?nicas de VANets tais como restri??es de mobilidade, o comportamento do condutor e a natureza de alta velocidade de deslocamento dos ve?culos podem causar r?pidas e constantes mudan?as na topologia da rede, levando ? dissemina??o de infor-ma??es de localiza??o desatualizadas. Nesta tese, n?s identificamos que para solucionar o problema de dissemina??o de informa??es de localiza??o desatualizadas em VANets, uma alternativa ? o uso de previs?o de localiza??o futura de ve?culos. A principal ideia desta abordagem ? utilizar a previs?o de localiza??o como uma extens?o para o sistema de Fus?o de Dados de localiza??o. Em tal abordagem, uma posi??o futura de um autom?vel ? predita para um determinado fragmento de tempo futuro e utilizada para tornar vantagem de uma janela de espa?o-tempo de uma trajet?ria ?tctorial em vez de um ponto de localiza??o est?tico. Portanto, nesta tese discutimos em detalhes esse assunto, estudando e analisando o uso da previs?o de localiza??o como urna forma natural para aprimorar aplica??es e servi?os em VANets. Utilizando localiza??o predita como uma m?trica para comunica??o de dados em VANets, n?s propomos uma solu??o para o problema de divulga??o de informa??es localiza??o desatualizado chamada LPRV (Localization Prediction-based Routing for VANets). Em nosso algoritmo proposto, o encaminhamento de pacotes. ? realizado por n?s com localiza??es preditas mais pr?ximas do destino de entrega, sem a necessidade de troca de mensagens de controle adicional. O algoritmo proposto tamb?m explora o conhecimento de UM mapa digital para limitar o escopo de trocas de mensagens no caminho mais curto para ve?culos entre a origem e destino.

Localization systems play a major role in many applications for Vehicular Ad Hoc Networks (VANets). Although Data Fusion techniques can provide reliable localization information for most of the application requirements in VANets, enhancements on the localization systems are required and desirable. Unique characteristics of VANets such as mobility constraints, driver behavior, and high speed displacement nature of vehicles cause rapid and constant changes in network topology, leading to dissemination of outdated localization information. In this thesis, we identify that to circumvent the problem of dissemination of outdated localization information in VANets, an alternative is the use of predicted future locations of vehicles. The main idea of this approach is to use the localization prediction as an extension of a Data Fusion localization system. In such an approach, a future position of a vehicle is predicted for a given future time step and used in order to take advantage of a future time-space window of a vectorial…

Advisors/Committee Members: Oliveira, Hor?cio Ant?nio Braga Fernandes de, 68380593200, http://lattes.cnpq.br/9314744999783676.

▼ 

Devido ? infraestrutura da Web existente e ? popularidade das plataformas de m?dia sociais, ? f?cil compartilhar informa??es de forma massiva. Embora esse cen?rio online traga benef?cios para a sociedade, ele tamb?m favorece que grupos maliciosos propaguem desinforma??o (not?cias falsas) na Web, causando danos que v?o desde afetar a reputa??o de entidades p?blicas (empresas, celebridades) a interferir em processos pol?ticos. Neste trabalho, propomos uma nova abordagem de classifica??o baseada em padr?es lingu?sticos para identificar not?cias falsas. Tal abordagem reduz a dimensionalidade do espa?o de caracter?sticas ao codificar distribui??es de probabilidade de tokens (por exemplo, palavras) como valores de diverg?ncia e entropia. N?s descrevemos resultados experimentais, usando v?rios conjuntos de dados, que mostram que nossa abordagem ? uma solu??o que melhora tanto a efic?cia, quanto efici?ncia de modelos de aprendizagem. Em compara??o com o it{baseline}, nossa abordagem usa quatro ordens de magnitude menos atributos e obt?m um ganho de at? 74,3% de efic?cia (Medida-F).

Due to the existing Web infrastructure and the popularity of social media platforms, it is easy to share information in large scale. Although this online scenario brings benefits to the society, it also favors malicious groups that propagate misinformation (e.g., alternative facts, fake news) on the Web, causing damages that range from affecting the reputation of public entities (companies, celebrities) to interfering on political process. In this work, we propose a novel classification approach based on linguistic patterns for identifying fake news. Our approach reduces the dimensionality of the feature space by encoding probability distributions of tokens (e.g., words) as Shannon entropy and Jensen-Shannon divergence values. We report experimental results using multiple data sets, which show that our approach is a win-win solution that improves efficacy and efficiency. Compared to the baseline, our approach uses four orders of magnitude less features, and achieve a gain up to 74.3% of F1-score.

CAPES - Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior

Fiz mestrado sandu?che na Universidade de Nova Iorque

Advisors/Committee Members: Nakamura, Eduardo Freire, http://lattes.cnpq.br/1448696292042915, Silva, Altigran Soares da, http://lattes.cnpq.br/3405503472010994, Freire, Juliana.

▼ 

The organization of the Internet is composed of administrative domains, known as Autonomous Systems (ASes), that exchange reachability information by means of the Border Gateway Protocol (BGP). Since a high convergence delay leads to packet losses and service unavailability, such a protocol has to converge as fast as possible. As this can happen due to BGP's own mechanism of UPDATE messages, that produces a humongous amount of messages, BGP reduces the number of UPDATEs exchanged between two BGP routers by holding consecutive announcements from a router to a neighbor for a given amount of time. The BGP timer responsible for this task is called Minimum Route Advertisement Interval (MRAI), which has an important impact in routing convergence. The Software-Defined Networking (SDN) paradigm can be used to leverage interdomain routing services performance via the logically centralized controlling benefits of intradomain settings. SDN principles has been successfully deployed in data centers, LANs, and in several other studies, where each each AS is modeled with a logically centralized routing control, offering new opportunities and bringing BGP routing convergence improvements. In this work, an extensive survey is presented on the state-of-the-art about research efforts to achieve better BGP routing convergence time. Furthermore, I pinpoint the open issues in this research field and propose DeepBGP, to the best of my knowledge, the first hybrid framework endowed with a learning mechanism, that integrates the SDN paradigm within interdomain routing domains, to improve the interdomain routing convergence time. This is achieved by employing the LSTM learning technique that allows the tuning of MRAI value aiming to reduce the convergence time according to learned patterns from collected BGP UPDATE features. The PEERING platform was used to provide a real scenario that allows the sending of announcements to the Internet. With the benefits of having such an actual testbed I carried out experiments with protocol characteristics that can impact the routing convergence. The experimental results show that the adaptive MRAI in the DeepBGP framework is able to reduce the BGP routing convergence time when compared to the use of static MRAIs.

The organization of the Internet is composed of administrative domains, known as Autonomous Systems (ASes), that exchange reachability information by means of the Border Gateway Protocol (BGP). Since a high convergence delay leads to packet losses and service unavailability, such a protocol has to converge as fast as possible. As this can happen due to BGP's own mechanism of UPDATE messages, that produces a humongous amount of messages, BGP reduces the number of UPDATEs exchanged between two BGP routers by holding consecutive announcements from a router to a neighbor for a given amount of time. The BGP timer responsible for this task is called Minimum Route Advertisement Interval (MRAI), which has an important impact in routing convergence. The Software-Defined Networking (SDN)…

Advisors/Committee Members: Mota, Edjard Souza, http://lattes.cnpq.br/0757666181169076, Feitosa, Eduardo Luzeiro, http://lattes.cnpq.br/5939944067207881, Santos, Eulanda Miranda dos, http://lattes.cnpq.br/3054990742969890, Souza, Jose Neuman de, http://lattes.cnpq.br/3614256141054800.

▼ 

An?lise de sentimento ? a ?rea de estudo que observa as opini?es das pessoas, sentimentos, avalia??es, atitudes e emo??es em torno de entidades como produtos, servi?os, organiza??es e eventos. No mundo real, empresas e organiza??es frequentemente est?o interessadas em saber opini?es p?blicas sobre seus produtos e servi?os. Os consumidores tamb?m est?o interessados em saber a opini?o de quem adquiriu um produto antes de compr?-lo. Outras pessoas est?o interessadas em saber a opini?o dos outros sobre determinados candidatos de um pleito eleitoral antes de tomar uma decis?o sobre quem ir? votar. O objetivo deste trabalho ? desenvolver um m?todo de aprendizagem supervisionada capaz de classificar tweets em cinco n?veis de polaridade (aprova??o completa, opini?o positiva pontual, opini?o neutra, opini?o negativa pontual e rejei??o completa) usando para isso tweets do contexto pol?tico como estudo de caso. Para tal, investigamos se t?cnicas que fazem detec??o de polaridade de tr?s n?veis s?o capazes de oferecer boas evid?ncias para o treino e testes de classificadores no contexto dos cinco n?veis de polaridade nos tweets. Partindo dessa ideia, propomos estrat?gias de aprendizagem com os classificadores ?rvores de Decis?o, Naive Bayes e SVM usando como features o modelo de bag-of-words, as evid?ncias a partir de resultados de m?todos que classificam polaridade em tr?s n?veis e um modelo de extra??o de meta-informa??o. Os resultados mostraram que existe um ganho nas acur?cias dos classificadores ao combinar os diferentes modelos de features.

Sentiment analysis is the area of study that observes people?s opinions, feelings, assessments, attitudes and emotions around entities such as products, services, organizations and events. In the real world, companies and organizations are often interested in knowing public opinions about their products and services. Consumers are also interested in knowing the opinion of those who bought a product before buying it. Other people are interested in knowing the opinions of others about certain candidates in an election process before making a decision about who will vote. The objective of this work is to develop a supervised learning method capable of classifying tweets in five levels of polarity (complete approval, punctual positive opinion, neutral opinion, punctual negative opinion and complete rejection) using tweets of the political context as a case study. In order to do this, we investigated whether three-level polarity detection techniques are capable of providing good evidence for training and classifier testing in the context of the five polarity levels in tweets. Based on this idea, we propose learning strategies with the Decision Trees, Naive Bayes and SVM classifiers using as features models: bag-of-words, evidence from results of methods that classify polarity in three levels and a meta-level extraction method. The results showed that there is a gain in the accuracy of the classifiers when combining the different models of features.

Instituto de Desenvolvimento…

Advisors/Committee Members: Oliveira, David Braga Fernandes de, http://lattes.cnpq.br/9561812825173697, Cavalcanti, Jo?o Marcos Bastos, http://lattes.cnpq.br/3537707069694606, Carvalho, Mois?s Gomes de, http://lattes.cnpq.br/1840067885522796.

▼ Os avan?os das tecnologias de comunica??o sem fio e de hardware impulsionaram a populariza??o do uso de dispositivos m?veis. Cada vez mais, estes dispositivos ganham novos recursos de hardware (i.e., sensores e outros gadgets) e software (e.g., reconhecimento facial, de voz, gestos) a fim de que a intera??o humano-computador ocorra de forma mais natural. Esses recursos deram aos dispositivos m?veis uma capacidade maior de percep??o do ambiente e das condi??es nas quais os usu?rios se encontram, possibilitando o desenvolvimento de aplica??es cada vez mais proativas e sens?veis ao contexto. Um sistema sens?vel ao contexto ? capaz de modificar seu comportamento de acordo com os contextos inferidos do ambiente. Entretanto, interpreta??es err?neas dos dados coletados podem induzir a??es inapropriadas e indesejadas nas aplica??es. Embora exista uma variedade de t?cnicas de infer?ncia na literatura (e.g., regras, ontologias, que utilizam aprendizagem supervisionada e n?o supervisionada), em geral, elas n?o consideram se as infer?ncias foram de fato adequadas para os contextos do usu?rio. Al?m disso, a maioria dessas t?cnicas utiliza modelos est?ticos de infer?ncia (i.e., que n?o s?o capazes de se ajustar ? mudan?as nas condi??es do ambiente), o que representa uma limita??o dessas t?cnicas quando aplicadas ao dom?nio das aplica??es m?veis. Neste trabalho, ? proposta uma nova t?cnica de infer?ncia de contexto para aplica??es m?veis ? chamada de CoRe-RL ? que utiliza aprendizagem por refor?o a fim de que sejam produzidas infer?ncias cada vez mais adequadas aos contextos do usu?rio. Nesta t?cnica, a aprendizagem ocorre de maneira incremental e conforme o usu?rio interage com o sistema, permitindo que a infer?ncia seja ajustada por meio de recompensas (refor?os positivos) e puni??es (refor?os negativos) associadas aos contextos inferidos. Como os contextos est?o continuamente sendo aprendidos, a t?cnica proposta tamb?m permite ?s aplica??es um gerenciamento flex?vel de contextos, ou seja, ? poss?vel que novos contextos (r?tulos) sejam cadastrados e aprendidos ao longo do tempo. O funcionamento da t?cnica ? divido em duas etapas ? classifica??o e adapxiii ta??o. O CoRe-RL utiliza o m?todo dos K vizinhos mais pr?ximos (modificado) na classifica??o. A aprendizagem (adapta??o) ? baseada em exemplos, mas tamb?m faz ajustes sobre os modelos (ranking de caracter?sticas) que ponderam as caracter?sticas mais relevantes de cada contexto, na etapa de classifica??o. Com o intuito de testar e avaliar o desempenho da t?cnica proposta, foi desenvolvido, como estudo de caso deste trabalho, um aplicativo que implementa todas as funcionalidades e recursos do CoRe-RL. Atrav?s deste aplicativo, foram realizados experimentos pr?ticos de avalia??o da classifica??o e adapta??o, em dois cen?rios espec?ficos: no primeiro cen?rio havia um ?nico contexto; e no segundo haviam tr?s. Por meio dos experimentos pr?ticos, observou-se que, de acordo com o limiar de corte usado, ? poss?vel obter bons desempenhos na… Advisors/Committee Members: Oliveira, Hor?cio Ant?nio Braga Fernandes de, 683.805.932-00, http://lattes.cnpq.br/9314744999783676, Nakamura, Eduardo Freire, Figueiredo, Carlos Maur?cio Ser?dio, Pio, Jos? Luiz de Souza.

▼ 

Com diferentes tecnologias de rede sem fio como Bluetooth, Wi-Fi e 3G sendo implantadas para prover ubiquidade de acesso, ? natural que ?rea de cobertura dessas redes se sobreponha em determinados lugares. Essa sobreposi??o permite que os usu?rios possam escolher como se conectar ? Internet por meio das m?ltiplas interfaces de acesso dispon?veis nos atuais dispositivos m?veis. Al?m disso, a disponibilidade de m?ltiplas interfaces de r?dio pode ser mais ben?fica se todas essas interfaces forem usadas de forma colaborativa. Isto requer um servi?o que seja capaz de prover o roteamento de tr?fego entre as diferentes interfaces do dispositivo de acordo com os requisitos de cada fluxo que est? sendo transmitido. Neste contexto, as solu??es como Mobile IP e Proxy Mobile IP foram projetadas para garantir a transpar?ncia e a seletividade da movimenta??o dos fluxos de dados entre as diferentes interfaces. Isto ? normalmente alcan?ado atrav?s da introdu??o de um agente na arquitetura da rede ou do dispositivo que funciona como ponto de redirecionamento de pacotes. Fluxos de pacote de entrada s?o encaminhados para as diferentes interfaces do dispositivo m?vel de acordo com os tipos de tr?fego de cada fluxo de pacotes. Este trabalho estende essa abordagem analisando as prefer?ncias do usu?rio, o contexto em que o dispositivo est? inserido e os requisitos de cada fluxo que est? sendo transmitido antes de decidir se ser? necess?rio executar uma mudan?a de interface, evitando assim, reconfigura??es desnecess?rias. Testes realizados em um ambiente real demonstraram a import?ncia em considerar os requisitos de cada fluxo para determinar a execu??o de mudan?a de interface e assim, diminuir os custos de sinaliza??o de handover e as reconfigura??es de interface desnecess?rias que podem gerar uma degrada??o na comunica??o.

With different wireless technologies such as Bluetooth, Wi-Fi and 3G being deployed to provide ubiquitous access, it is natural that coverage area of these networks overlap in certain areas. This overlap allows users to choose how to connect to Internet through multiple access interfaces available in today's mobile devices. Furthermore, the availability of multiple radio interfaces may be most beneficial if all of these interfaces are used in a collaborative manner. This requires a service that is capable of providing routing traffic between different interfaces of the device according to the requirements of each stream being transmitted. In this context, solutions such as Mobile IP and Proxy Mobile IP are designed to ensure transparency and the selectivity of the movement of data flows between the different interfaces. This is usually achieved by introducing an agent in the network architecture or device, which acts as packet forwarding point. Incoming packet flows are directed to different interfaces of the mobile device according to the types of packets of each traffic flow. This work extends this approach by analyzing the user's preferences, the context in which the device is inserted and the requirements of…

Advisors/Committee Members: Souto, Eduardo James Pereira, http://lattes.cnpq.br/3875301617975895, Melo, Cesar Augusto Viana, http://lattes.cnpq.br/0097703442306179, Lima, Michele Nogueira, http://lattes.cnpq.br/7862253799240671.

▼ 

Muitos alunos de disciplinas de Programa??o Introdut?ria (CS1) t?m dificuldade em aprender a programar. Por isso, professores de programa??o t?m utilizado ju?zes online para propor exerc?cios, realizar maratonas e campeonatos de programa??o, a fim de tentar melhorar a experi?ncia de aprendizado dos alunos. No entanto, nos casos de ju?zes online que possuem em sua base de dados muitos exerc?cios cadastrados, o aluno poder? escolher um exerc?cio que n?o seja adequado para seu n?vel de conhecimento. Nesse sentido, neste trabalho ? proposto um sistema de recomenda??o de exerc?cios, que filtra exerc?cios por n?vel de dificuldade, em um juiz online chamado CodeBench. Esses exerc?cios s?o classificados manualmente por assuntos pelo professor, e o m?todo proposto nesta pesquisa sugere exerc?cios ordenados pelo n?vel de dificuldade. Para isso, ? utilizada a abordagem de recomenda??o de filtragem colaborativa para mapear as dificuldades experimentadas pelos alunos quando resolvem exerc?cios de programa??o no ambiente de desenvolvimento integrado do CodeBench. Ap?s isso, ? feita a predi??o de dificuldade dos exerc?cios que o aluno ainda n?o resolveu para, ent?o, sugerir exerc?cios com graus de dificuldade crescentes. Este m?todo de recomenda??o foi aplicado em uma base de dados com 645 alunos de gradua??o, distribu?dos em 14 turmas de CS1, ministradas no ano de 2018, em uma universidade p?blica. A disciplina ? dividida em 7 m?dulos, cada m?dulo possui duas listas de exerc?cios e uma prova. Em cada m?dulo foi feita a compara??o da ordem original de resolu??o de exerc?cios com a ordem de resolu??o de exerc?cios proposta pelo m?todo. Os resultados mostram que em 6 m?dulos da disciplina o m?todo aqui proposto sugere uma ordem de resolu??o adaptada para cada aluno, com n?vel crescente de dificuldade.

Many students in Introductory Programming (CS1) courses have difficulty learning to program. Therefore, programming teachers have used online judges to propose exercises, run marathons and programming championships, in order to try to improve the students' learning experience. However, in cases of online judges who have many registered exercises in their database, the student may choose an exercise that is not suitable for their level of knowledge. In this sense, this work proposes an exercise recommendation system, which filters exercises by level of difficulty, in an online judge called CodeBench. These exercises are classified manually by subjects by the teacher, and the method proposed in this research suggests exercises ordered by level of difficulty. For this, the collaborative filtering recommendation approach is used to map the difficulties experienced by students when solving programming exercises in the CodeBench integrated development environment. After that, the prediction of the difficulty of the exercises that the student has not yet solved is made to then suggest exercises with increasing degrees of difficulty. This recommendation method was applied to a database of 645 undergraduate students, distributed in 14 CS1…

Advisors/Committee Members: Oliveira, Elaine Harada Teixeira de, http://lattes.cnpq.br/6553721651836761, Souto, Eduardo James Pereira, http://lattes.cnpq.br/3875301617975895, Carvalho, Leandro Silva Galv?o de, http://lattes.cnpq.br/6049960144667044.

▼ 

Neste trabalho propomos a utiliza??o de redes neurais convolucionais para segmenta??o de ?reas desmatadas na regi?o do sul da Amaz?nia Legal em imagens de sat?lite Landsat-8. Para realiza??o deste trabalho foi constru?do um banco de imagens mosaico, composto por amostras de ?reas desmatadas e ?reas de floresta extra?das das imagens de sat?lite Landsat- 8, identificando as ?reas desmatadas atrav?s da utiliza??o dos dados de desmatamento do projeto PRODES do INPE. As arquiteturas de redes convolucionais utilizadas foram as propostas no trabalho de Serr?o et al. (2020) e de Miyagawa et al. (2018). O treinamento das redes foi realizado com 32 ?pocas utilizando m?todos de otimiza??o SGDM, RMSProp e ADAM e os m?todos de regulariza??o L2 e Dropout. Combinando as tr?s arquiteturas com esses m?todos, totalizaram 36 simula??es. Para avaliar o desempenho das arquiteturas para segmenta??o das ?reas desmatadas, permitindo uma compara??o entre os modelos, foi escolhida a m?trica acur?cia. Ap?s a avalia??o do desempenho dos modelos no conjunto de valida??o, seis deles foram selecionados para serem avaliados com o conjunto de teste. O modelo que apresentou o melhor resultado, uma acur?cia de 99.97%, foi o que utilizou a seguinte combina??o: CNN2 + RMSProp + Dropout. O resultado deste trabalho foi comparado com os resultados dos trabalhos de Ortega et al. (2019), Adarme et al. (2020) e De Bem et al. (2020) tendo obtido resultados superiores ?queles obtidos por esses autores. Os resultados mostraram que as redes neurais convolucionais s?o capazes de realizar com alto desempenho a tarefa de segmenta??o de ?reas desmatadas

In this work, we propose the evaluation of convolutional neural networks architectures to segment deforested areas in the southern region of the Brazilian Legal Amazon, using Landsat-8 satellite images. In order to carry out this work, a mosaic image data set was elaborated, consisting of samples of deforested areas and forest areas extracted from the Landsat-8 satellite images. The deforested areas were identified through the use of deforestation data from the PRODES project at INPE. The architectures of convolutional networks used in our research were those proposed in the work of Serr?o et al. (2020) and Miyagawa et al. (2018). The training of the networks was carried out over 32 epochs using SGDM, RMSProp and ADAM optimization methods and the L2 and Dropout regularization methods. The combining of the three architectures with these methods, resulting in 36 simulations. To measure the performance of the architectures for segmented deforested region, allowing a comparison between the models, the accuracy metric was chosen. After evaluating the performance of the models in the validation set, six of them were selected to be evaluated with the test set. The model that presented the best result, with an accuracy of 99.97%, was the one that used the following combination: CNN2 + RMSProp + Dropout. The results of this work were compared with the results of the work of Ortega et al.…

Advisors/Committee Members: Costa Filho, C?cero Ferreira Fernandes, http://lattes.cnpq.br/3029011770761387, Pereira, Jos? Raimundo Gomes, http://lattes.cnpq.br/3697983438100904, Xavier, Clahildek Matos, http://lattes.cnpq.br/6870670168555921.

▼ 

In the last three decades, memory safety issues in low-level programming languages such as C or C++ have been one of the significant sources of security vulnerabilities; however, there exist only a few attempts with limited success to cope with the complexity of C++ program verification. This work describes and evaluates a novel verification approach based on bounded model checking (BMC) and satisfiability modulo theories (SMT) to verify C++ programs formally. This verification approach analyzes bounded C++ programs by encoding various sophisticated features that the C++ programming language offers into SMT, such as templates, sequential and associative containers, inheritance, polymorphism, and exception handling. We formalize these sophisticated features within our formal verification framework using a decidable fragment of first-order logic and then show how state-of-the-art SMT solvers can efficiently handle that. We implemented this verification approach on top of the Efficient SMT-Based Context-Bounded Model Checker (ESBMC). We compare ESBMC to LLBMC and DIVINE, which are state-of-the-art verifiers to check C++ programs directly from LLVM bitcode. The experimental evaluation contains a set of over 1,500 benchmarks from several sources (e.g., Deitel & Deitel, NEC Corporation, and GCC test suite), which covers several C++ features. Experimental results show that ESBMC can handle a wide range of C++ programs, presenting a higher number of correct verification results, and at the same time, it reduces the verification time if compared to LLBMC and DIVINE tools.

Este trabalho descreve e avalia o Efficient SMT-Based Context-Bounded Model Checker (ESBMC) para verificar formalmente programas C++. O ESBMC implementa a t?cnica de verifica??o de modelos limitados (do ingl?s, bounded model checking  – BMC) com base em teorias do m?dulo da satisfabilidade (do ingl?s, satisfiability modulo theories  – SMT) para lidar com recursos complexos que a linguagem de programa??o C++ oferece, tais como templates, cont?ineres sequenciais e associativos, heran?a, polimorfismo e manipula??o de exce??es. ESBMC ? comparado as ferramentas LLBMC e DIVINE, as quais verificam os programas C++ diretamente a n?vel de bitcode do LLVM. Resultados experimentais mostram que o ESBMC pode lidar com uma ampla gama de estruturas do C++, apresentando uma taxa de aproximadamente 85% de verifica??es corretas e, ao mesmo tempo, reduzindo o tempo de verifica??o se comparado as ferramentas LLBMC e DIVINE.

Advisors/Committee Members: Cordeiro, Lucas Carvalho, http://lattes.cnpq.br/5005832876603012, Barreto, Raimundo da Silva, http://lattes.cnpq.br/1132672107627968, Rocha, Herbert Oliveira, http://lattes.cnpq.br/2284500318304899.

▼ 

As informa??es compartilhadas na Web se propagam rapidamente, sejam elas verdadeiras ou n?o. O objetivo de reproduzir informa??es incorretas ou falsas est? relacionado a diversos fatores como manipula??o pol?tica, obten??o de benef?cios financeiros, dissemina??o de difama??es, entre outros. Sendo assim, verificar a credibilidade das informa??es dispon?veis na Web acaba sendo uma tarefa obrigat?ria. Dentre as diversas solu??es desenvolvidas para detectar se uma p?gina Web pode ser acreditada ou n?o, as baseadas em aprendizagem de m?quina s?o a mais empregadas. Esta disserta??o visa avaliar e definir atributos empreg?veis em um futuro modelo de avalia??o de credibilidade de p?ginas Web, por meio da extra??o de caracter?sticas do conte?do da p?gina e da rede, com o aux?lio de classificadores de aprendizagem de m?quina, possibilitando assim maior certeza sobre a credibilidade de p?ginas Web. Como resultado, esta disserta??o concluiu que o classificador Random Forest teve o melhor resultado para avalia??o de credibilidade de p?ginas web com 95.36% de acur?cia. Al?m de disponibilizar um script de extra??o de atributos, apontou tamb?m quais s?o os atributos mais relevantes e de f?cil extra??o que podem ser obtidos e qualquer URL, para isso utilizou 3 m?todos de sele??o de atributos: Select kbest, Sele??o RFE e Sele??o RFECV, no qual este ?ltimo apresentou o melhor resultado com 95.33% de acur?cia.

Information shared on the Web propagates quickly, whether true or not. Credibility in this context refers to the level of trust a user places subjectively on a Web page. The purpose of reproducing incorrect information is related to several factors such as political manipulation, obtain financial benefits, disseminate malicious defamation, among others. Therefore, verifying the credibility of the information available on the Web ends up being a mandatory task. Among the various techniques developed to detect whether aWeb page can be accredited or not, machine learning is the most used in comparison to the assessment of credibility manually. The purpose of this work is to evaluate and define attributes that can be used in a future model for assessing the credibility of Web pages, by extracting characteristics from the content of the page and the network, with the help of machine learning classifiers, thus enabling greater certainty on the credibility of web pages. As a result, this dissertation concluded that the Random Forest classifier had the best result for assessing the credibility of web pages with 95.36% accuracy. In addition to providing an attribute extraction script, also pointing out which are the most relevant and easy extraction attributes that can be selected for any URL, for that, 3 attribute selection methods are used: Select the best, RFE Selection and Selection RFECV, the last result with 95.33% accuracy.

Advisors/Committee Members: Feitosa, Eduardo Luzeiro, http://lattes.cnpq.br/5939944067207881, Giusti, Rafael, http://lattes.cnpq.br/0613781010575440, Santin, Altair Olivo, http://lattes.cnpq.br/9604696592563769.

▼ 

As atuais aplica??es embarcadas t?m exigido cada vez mais dos sistemas embarcados que por sua vez apresentam in?meras limita??es f?sicas e de recursos computacionais, sendo a mem?ria um dos recursos mais cr?ticos, devido a sua capacidade de armazenamento ser limitada de acordo com sua ?rea ocupada no sistema. Assim justifica-se o esfor?o para otimizar o seu uso. Pesquisas t?m mostrado que as t?cnicas de compress?o de c?digo servem como uma alternativa para resolver alguns problemas como: espa?o, desempenho e consumo de energia nos sistemas embarcados. Esta tese trata da compress?o de c?digo dos programas para execu??o em sistemas embarcados baseados em processadores RISC. Na tese mostra-se que a utiliza??o dos quatro novos m?todos propostos e desenvolvidos neste trabalho (CPBARM, HDPB, CCHPB e CC-MLD) resulta em boas taxas de compress?o. Implementa??es eficientes e simples do hardware descompressor tamb?m s?o apresentados. Al?m disto, um novo tipo de dicion?rio dividido em n?veis tamb?m ? introduzido por esta tese. O paradigma aplicado por esse novo dicion?rio consiste em armazenar instru??es unit?rias e padr?es de blocos encontrados no c?digo dos programas ao mesmo tempo e por isto ? chamado de Dicion?rio Multi-N?vel. Nas simula??es realizadas com os m?todos desenvolvidos nesta tese usaram-se alguns programas do benchmark MiBench. As taxas de compress?o m?dia obtidas nos m?todos variaram de 24,2% a 32%. Assim, os algoritmos propostos oferecem uma melhor explora??o da tr?ade compress?o-desempenho-consumo.

CAPES - Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior

CNPq - Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico

Advisors/Committee Members: Moreno Ordonez, Edward David, CPF:17332180847.

▼ 

Acidentes de tr?nsito s?o um problema recorrente nas ?reas urbanas, causando preju?zos, danos f?sicos e materiais. Atualmente, existem diversos ?rg?os p?blicos e privados que incentivam a cria??o de solu??es que ajudem a minimizar a ocorr?ncia destes acidentes em ?reas urbanas. Neste sentido, apresentamos uma solu??o que utiliza os conceitos de Sensoriamento Social para o monitoramento e a caracteriza??o de acidentes de tr?nsito. Sensoriamento Social ? um novo paradigma no qual ? realizado um processo distribu?do de coleta de dados sociais, atrav?s de pessoas que compartilham dados contextuais voluntariamente. Como estudo de caso, aplicamos a solu??o para o monitoramento e a caracteriza??o do tr?nsito em ?reas urbanas, pois os habitantes ali presentes compartilham um grande n?mero de informa??es em redes sociais. Al?m disso, em algumas ?reas existem bases de dados oficiais, disponibilizadas pelo governo, as quais podem ser utilizadas para valida??o da solu??o proposta. A solu??o considera as limita??es do Sensoriamento Social e os experimentos utilizam tanto dados p?blicos oficiais quanto dados sociais provenientes do Twitter e do Foursquare. Os resultados obtidos mostram que, para os cen?rios avaliados, torna-se poss?vel a utiliza??o de redes sociais como um meio alternativo de monitoramento e caracteriza??o de acidentes de tr?nsito.

Traffic accidents are a recurrent problem in urban areas, causing damages and injuries. Currently, there are several public and private entities that encourage the creation of solutions that help to minimize the occurrence of these accidents in urban areas. In this way, we present a solution, which uses the concepts of Social Sensing for monitoring and characterization of traffic accidents. Social sensing is a new paradigm in which is performed a distributed process of collecting social data, through people sharing contextual data voluntarily. As a case study, we applied the solution for monitoring and characterization of traffic in urban areas, as their inhabitants share a large number of information on social networks. Furthermore, there are official databases related to the city, made available by the government, which can be used for validation of the proposed solution. The solution considers the limitations of Social Sensing and the experiments use both official public data and social data from Twitter and Foursquare. The results show that, for the scenarios evaluated, it becomes possible to use social networks as an alternative of traffic accidents monitoring and characterizing.

CAPES (Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior)

Advisors/Committee Members: Figueiredo, Carlos Maur?cio Ser?dio, http://lattes.cnpq.br/9060002746939878, Nakamura, Fab?ola Guerra, http://lattes.cnpq.br/9615041048900531, Costa, Ello? Barreto Guedes da, http://lattes.cnpq.br/6466781778573760.

▼ 

Redes Oportunistas est?o se tornando uma solu??o para fornecer suporte de comunica??o em ?reas com redes celulares sobrecarregadas, e em cen?rios onde uma infraestrutura fixa n?o est? dispon?vel, como em regi?es remotas e em desenvolvimento. Uma quest?o cr?tica, que ainda requer uma solu??o satisfat?ria, ? o projeto de uma solu??o eficiente de dissemina??o de dados em termos da taxa de entrega, atraso m?dio e custo de encaminhamentos. Para solucionar esse problema, a maioria dos pesquisadores tem usado o estado da rede ou a mobilidade dos n?s como um crit?rio para a dissemina??o dos dados. Recentemente, solu??es baseadas em relacionamentos sociais t?m sido consideradas como uma alternativa promissora. Seguindo a filosofia dessa nova categoria de protocolos, na presente tese de doutorado apresentam-se dois algoritmos para Redes Oportunistas, os quais tomam suas decis?es de roteamento e gerenciamento de recursos considerando os la?os sociais entre os n?s da rede. Para o problema do roteamento, apresenta-se o algoritmo Friendship and Selfishness Forwarding Quando surge uma oportunidade de contato, o algoritmo proposto primeiramente classifica os la?os sociais entre o destinat?rio da mensagem e o n? candidato a receber a mensagem, doravante referido como relay. Posteriormente, utilizando fun??es log?sticas, o algoritmo proposto avalia o ego?smo do n? relay para considerar os casos em que o n? receptor ? ego?sta seja porque seu dispositivo est? com limita??es de recursos, ou porque ele ? racionalmente ego?sta. Para o problema do gerenciamento de buffer, ? introduzido o algoritmo denominado Friendly-drop (FDA), o qual toma suas decis?es de encaminhamento/descarte de mensagens baseando-se nos relacionamentos sociais entre os n?s. Quando o buffer dos n?s est? cheio, FDA prioriza o descarte de mensagens destinadas a usu?rios com quem a rela??o social ? mais fraca. Por outro lado, quando os n?s est?o em contato, FDA prioriza o envio de mensagens destinadas a usu?rios com quem a rela??o social ? mais forte. Os resultados obtidos atrav?s do simulador The ONE mostram que, mesmo considerando o ego?smo dos n?s no problema de dissemina??o de mensagens, o algoritmo proposto supera outros algoritmos bem conhecidos na literatura, aumentando a taxa de entrega em at? 20% e com a vantagem de precisar de um menor n?mero de eventos de encaminhamento. Os resultados obtidos na presente tese de doutorado tamb?m demonstram que o algoritmo de gerenciamento de buffer pode se tornar uma importante chave para melhorar o desempenho da rede em cen?rios com n?s ego?stas.

Opportunistic networks provide communication support in areas with overloaded cellular networks, and in scenarios where a fixed infrastructure is not available, as in remote and developing regions. A critical issue, which still requires a satisfactory solution, is the design of an efficient data delivery solution that considers delivery efficiency, delay, and cost. To tackle this problem, most researchers have used either the network state or node…

Advisors/Committee Members: Mota, Edjair de Souza, 57184399234, http://lattes.cnpq.br/5771638576099195, Carvalho, Leandro Silva Galv?o de, http://lattes.cnpq.br/6049960144667044, Carvalho, Celso Barbosa, http://lattes.cnpq.br/8269546823033896, Souza, Jose Neuman de, http://lattes.cnpq.br/3614256141054800, Calafate, Carlos Tavares, [email protected].

▼ 

Uma das principais aplica??es existentes em Redes de Sensores Sem Fio (RSSFs) ? o monitoramento ambiental, mais particularmente no acompanhamento da fauna existente em locais diversos como florestas, campos, etc. Nesses ambientes de dif?cil acesso, a manuten??o dos sensores fica prejudicada e a restri??o de energia torna-se um fator primordial para a vida ?til da rede. Como na maioria desses casos os dados n?o s?o necess?rios em tempo real, neste trabalho ? proposto e avaliado um novo algoritmo cross-layer, denominado PWAVE, voltado para RSSFs com coleta peri?dica, onde as transmiss?es dos dados s?o feitas atrav?s de intervalos predeterminados. Enquanto essas transmiss?es n?o s?o executadas, o sensor permanece coletando as informa??es do ambiente e seus r?dios desligam-se, a fim de reduzir o consumo de energia. Diversos outros desafios aparecem diante deste modo de trabalho como, por exemplo, a sincroniza??o dos rel?gios, que s?o prontamente solucionados pelo algoritmo proposto. Os resultados mostram que a solu??o proposta ? eficiente e consegue economizar at? 51.2% de energia com 99% na taxa de entrega de dados quando comparado com solu??es similares

One of the main applications on Wireless Sensors Networks (WSNs) is the environmental monitoring, particularly in monitoring of the fauna in diverse places like forests, fields, etc. In these environments that are of difficult access, the maintenance of the sensors is impaired and energy restriction becomes a major factor in the life of the network. How in most such cases the data are not needed in real time, in this work is proposed and evaluated a new cross-layer algorithm, called PWAVE, turned to WSNs with periodic data collection, where data transmissions are made through a predetermined interval. While such transfers are not performed, the sensor still collecting information from the environment and turn off their radios to reduce energy consumption. Several other challenges appear before this way of working, for example, the synchronization of clocks, which are readily solved by the algorithm. The results show that the proposed solution is efficient and can save up to 51.2 % of energy with 99 % in the rate of data delivery when compared with similar solutions

Advisors/Committee Members: Oliveira, Hor?cio Ant?nio Braga Fernandes de, CPF:68380593200, http://lattes.cnpq.br/9314744999783676.

▼ 

Com a dissemina??o do uso de Ambientes Virtuais de Aprendizagem (AVA) por diversas institui??es de ensino, notadamente em cursos de Educa??o a Dist?ncia, a tarefa de acompanhamento das atividades dos alunos por tutores e mediadores para atingir n?veis de qualidade t?m sido um trabalho cada vez maior. Realizar o acompanhamento dos alunos nessas novas tecnologias, requerer novas reflex?es e posturas de educadores nestes ambientes e novas solu??es por parte dos projetistas desta classe de sistemas. Esta disserta??o descreve arquiteturas baseadas em Sistemas Multiagente, focadas no conceito de percep??o, criadas para auxiliar alunos e tutores na conclus?o e acompanhamento de atividades em cursos de Educa??o a Dist?ncia. Os sistemas implementados seguindo as arquiteturas propostas auxiliam alunos e tutores por meio de um f?rum de discuss?o, sanando d?vidas sobre o curso, al?m de recomendar a realiza??o de atividades que o aluno n?o tenha conclu?do, favorecendo o bom andamento do curso e a colabora??o entre os demais participantes. Cada arquitetura proposta teve um prot?tipo implementado e avaliado, resultando em propostas de melhorias na vers?o seguinte. Os resultados obtidos durante as experimenta??es demostram a import?ncia do uso de Sistemas Multiagente em Ambientes Virtuais de Aprendizagem, apoiando a execu??o de atividades dos cursistas e o acompanhamento por parte dos tutores.

With the widespread use of Virtual Learning Environments (VLE) in various educational institutions, usually in education courses distance, the task of monitoring the activities of students per guardians and mediators to achieve levels of quality have been a increasing work. To follow up the students in these new technologies require new thinking and attitudes of educators in these environments and new solutions by the designers of this class of systems. This paper describes architectures based on Multiagent Systems, focused on the concept of perception, designed to assist students and tutors on completion and monitoring of activities in distance education courses. The systems implemented according to the proposed architectures, help tutors and students through a discussion forum, solving doubts about the course and recommend the realization of activities that the student has not completed, favoring facilitating the smooth running of the course and collaboration among the other participants. Each proposed architecture there was a prototype implemented and evaluated, resulting in proposals for improvements in the next version. The results obtained during the experiments demonstrate the importance of using Multi-agent Systems in Virtual Learning Environments, supporting the realization of activities of the course participants and monitored by the tutors.

Advisors/Committee Members: Magalh?es Netto, Jos? Francisco de, CPF:05302587220, http://lattes.cnpq.br/3958238119785924.

▼ 

O uso da tecnologia da Informa??o e Comunica??o (TIC) como vetor estrat?gico nas organiza??es e as constantes mudan?as no ambiente interno e externo, aumentaram a necessidade de um planejamento dedicado para essa ?rea. A TIC passa para um status de parceira estrat?gica de todos os setores e contribui diretamente para o melhor desempenho organizacional, aumentando tamb?m a demanda por investimentos e recursos. Ter um planejamento estrat?gico para ?rea de TIC, alinhado ao planejamento estrat?gico institucional (PEI) que seja flex?vel e ?gil, ? essencial para atender ? volatilidade dos cen?rios, interno e externo, de uma organiza??o. Esta pesquisa teve como foco principal propor um modelo de planejamento estrat?gico de tecnologia da informa??o e comunica??o (PETIC) utilizando conceitos do framework Scrum, a partir de um estudo de caso que utilizou a observa??o no Centro de Tecnologia da Informa??o e Comunica??o (CTIC) da Universidade Federal do Amazonas (UFAM) e a pesquisa documental nos artefatos gerados durante seu processo de elabora??o e execu??o do planejamento estrat?gico de TIC para o per?odo de 2016-2017. A partir do estudo de caso, foi poss?vel descrever o processo realizado na UFAM e produzir um processo de PETIC com base nos conceitos do Scrum.

The use of Information and Communication Technology (ICT) as a strategic vector in organizations and the constant changes in the internal and external environment have increased the need for dedicated planning in this area. ICT becomes a strategic partner of all sectors and contributes directly to the best organizational performance, also increasing the demand for investments and resources. Having a strategic planning for the ICT area, aligned with flexible and agile strategic strategic planning (ISP), is essential to address the volatility of an organization's internal and external scenarios. The main objective of this research was to propose a strategic planning model for information and communication technology (PETIC) using concepts from the Scrum framework, based on a case study that used the observation in the Information and Communication Technology Center (CTIC) of Federal University of Amazonas (UFAM) and documentary research on the artifacts generated during the process of elaboration and execution of strategic ICT planning for the period 20162017. From the case study, it was possible to describe the process performed in UFAM and to produce a PETIC process based on Scrum concepts.

Advisors/Committee Members: Souza J?nior, Armando Ara?jo de, 41721373268, http://lattes.cnpq.br/4819744809032210, [email protected].

▼ 

A consolidação do Estado Nacional brasileiro exigiu a construção de uma identidade para o país. Nesse sentido, a elite letrada imperial mais próxima ao poder central criou o Instituto Histórico e Geográfico Brasileiro que, por meio das páginas de sua revista, engendrou a idéia de uma nacionalidade brasileira tendo como pano de fundo o discurso histórico. De maneira análoga, mas com perspectivas políticas distintas, o grupo sóciopolítico ligado à elite de Minas Gerais também procurou forjar uma identidade nacional para o país naquele período, porém através das páginas de um periódico literário intitulado O Recreador Mineiro. A proposta desse trabalho é analisar de que forma esse grupo ligado ao referido periódico apropriou-se de determinados elementos da Ilustração e do Liberalismo europeus no sentido de conferir uma identidade particular para o Brasil e para os brasileiros naquele contexto.

The consolidation of Brazilian National State required the development of thenations identity. Thus, the most influent literate imperial elite established the Instituto Histórico e Geográfico Brasileiro, which diffused the idea of a Brazilian nationality based on historical reasoning. In a similar way, however with distinct political perspective, the most influent socio-political group associated with Minas Gerais elite also aimed to reate a national identity during that time frame, utilizing the periodic entitled O Recreador Mineiro. The objective of this work is to analyze how the group related to the latter publication incorporated elements associated with the European Illustration and Liberalism, in the sense of developing a particular identify for Brazil and the Brazilians during that context

Advisors/Committee Members: Luiz Carlos Villalta, Luiz Carlos Villalta, Rodrigo Patto Sa Motta, Márcia Azeredo Abreu.

▼ 

A Educa??o Inclusiva est? diretamente relacionada com as pr?ticas pedag?gicas que apoiam m?todos significativos e acess?veis promovendo a igualdade de oportunidades e a valoriza??o dos estudantes, considerando, os aspectos ?tnicos, sociais, culturais, intelectuais, f?sicos, sensoriais e de g?nero. Existe uma nova e expressiva demanda de estudantes com defici?ncias buscando qualifica??o de n?vel superior, e Modelos de Inclus?o os ajudam a alcan?ar esse objetivo. Modelos te?ricos e pr?ticos de desenvolvimento de Objetos de Aprendizagem j? s?o utilizados no ensino regular, por?m muitos falham ao considerar um processo de requisitos eficiente para a captura eficaz das necessidades dos Estudantes. Neste sentido, esta Tese descreve um Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis, que utiliza o processo de Engenharia de Requisitos para apoiar o desenvolvimento de recursos educacionais inclusivos por professores de n?vel superior em Computa??o. A metodologia de pesquisa utilizada se caracteriza por meio de um estudo baseado em revis?es sistem?ticas da literatura e estudos de casos, para atingir os objetivos propostos foi utilizada a abordagem qualitativa. Por fim, os resultados demonstraram que o Modelo Inclusivo contribui com a ?rea da Inform?tica na Educa??o promovendo uma pr?tica inovadora e inclusiva, incentiva um ambiente igualit?rio, favorece um ambiente socioemocional e produz impacto positivo nos resultados acad?micos.

Inclusive Education is directly related to pedagogical practices that support meaningful and accessible methods, promoting equal opportunities and valuing students, considering ethnic, social, cultural, intellectual, physical, sensory and gender aspects. There is a significant new demand from Students with Disabilities seeking higher-level qualifications, and Inclusion Models help them achieve this goal. Theoretical and practical Models of development of Learning objects are already used in mainstream teaching, but many fail to consider an efficient requirements process for effectively capturing Students' needs. In this sense, this Thesis describe an Inclusive Model of Development of Accessible Learning Object, which uses the Requirements Engineering process to support the development of inclusive educational resources by higher-level Computer Professors. The research methodology used is characterized by study based on systematic literature reviews and case studies, to achieve the proposed objectives, was used the qualitative approach. Finally, the results showed that the Inclusive Model contributes to the field of Informatics in Education by promoting the innovative and inclusive practice, encourages an egalitarian environment, favors a socio-emotional environment and has a positive impact on academic results.

Advisors/Committee Members: Magalh?es Netto, Jos? Francisco de, 053.025.872-20, http://lattes.cnpq.br/3958238119785924, Barreto, Raimundo da Silva, http://lattes.cnpq.br/1132672107627968, Castro, Thais Helena Chaves de, http://lattes.cnpq.br/9337143918677200, Pio, Jos? Luiz de Souza, http://lattes.cnpq.br/1014904168887285, Pinto, S?rgio Crespo Coelho da Silva, http://lattes.cnpq.br/6515044727348778, [email protected].

▼ 

A crescente utiliza??o de Ambientes Virtuais de Aprendizagem (AVA) como disseminadores do conhecimento auxilia os alunos na constru??o do saber e proporciona uma intera??o entre as pessoas via ferramentas computacionais mediadas pelo professor (mediador ou tutor). Contudo, muitos AVAs n?o possuem um mecanismo ou ferramenta para auxiliar o professor a obter informa??es detalhadas acerca das intera??es sociais dos alunos e dos seus grupos. Isso dificulta a percep??o por parte do professor no que diz respeito ?s rela??es sociais estabelecidas dentro da disciplina. Com base nessas informa??es, o presente trabalho prop?e e detalha uma abordagem para esse problema que faz uso de uma arquitetura de Sistemas Multiagente voltada para a an?lise das intera??es dos grupos. Como prova de conceito, um prot?tipo foi desenvolvido a partir de uma metodologia de software para Sistemas Multiagente, com o objetivo de analisar as intera??es entre os estudantes que ocorreram nos f?runs e nas mensagens de um curso no AVA Moodle e, apresentar essas informa??es ao professor sob a forma de sociograma ou tabela. Desta forma, o professor pode acompanhar visualmente as intera??es de seus alunos dentro do curso e adotar t?ticas que promovam a inser??o social. Para validar o trabalho, foi realizado um estudo de caso como avalia??o de viabilidade, numa turma de um curso de Educa??o a Dist?ncia (EaD) de uma Institui??o de Ensino Superior (IES). De acordo com os resultados obtidos nos testes simulados e com uma turma real, pode-se concluir que a visualiza??o gr?fica das intera??es dos alunos nos f?runs e nas mensagens, quando aliadas ? proatividade dos agentes, pode corroborar o trabalho desempenhado pelos mediadores. A visualiza??o das intera??es proporciona aos docentes uma vis?o mais abrangente, clara e r?pida das rela??es sociais estabelecidas na disciplina, facilitando a op??o de intervir intencionalmente por meio de estrat?gias did?ticas, tais como incentivar os alunos no desenvolvimento da comunica??o, na intera??o e na cria??o de novos grupos.

The increase use of Learning Management Systems (LMS) as disseminators of knowledge aids students in developing knowledge and provides an interaction between people through computational tools mediated by the teacher (mediator or tutor). However, many LMSs does not have a mechanism or tool to aid the teacher to get detailed information about the social interaction between students and their group. This complicates the teacher?s awareness with regard to social relations established within the discipline. Based on this information, this paper proposes and details an approach to this problem that makes use of a Multi-Agent System architecture directed to the analysis of the interactions of groups. As proof of concept, a prototype was developed as using a software methodology for Multi-Agent Systems in order to analyze the interactions between students that occurred in the forums and messages of a course in the LMS Moodle and present this information to the teacher in…

Advisors/Committee Members: Magalh?es Netto, Jos? Francisco de, 053.025.872-20, http://lattes.cnpq.br/3958238119785924, Magalh?es Netto, Jos? Francisco de, Oliveira, Elaine Harada Teixeira de, Castro, Thais Helena Chaves de, Gerosa, Marco Aurelio.

▼ 

Com o aumento da import?ncia das aplica??es m?veis no cotidiano das pessoas, s?o necess?rias novas abordagens de Engenharia de Software para garantir a qualidade de tais aplica??es antes de sua disponibiliza??o ao usu?rio final, e isso inclui novas t?cnicas de teste de software. A pesquisa em teste de aplica??es m?veis precisa de diretrizes para melhorar os processos de valida??o, por meio de experimentos das t?cnicas propostas como resultados de pesquisas cient?ficas. No entanto, atualmente, n?o existe um benchmark detalhado e abrangente de aplica??es m?veis de refer?ncia para avaliar experimentalmente t?cnicas de teste para esta categoria de aplica??es. Os estudos encontrados mostram a falta de informa??es mais detalhadas das aplica??es. Com isso, a proposta deste trabalho ? a constru??o de um benchmark de aux?lio para pesquisador avaliar experimentalmente t?cnicas de teste em aplica??es m?veis composto por conjunto de aplica??es m?veis, scripts de teste e m?tricas referentes ?s aplica??es. Como resultado, foi utilizado um processo de sele??o de aplica??es m?veis para o benchmark. Ap?s sele??o do conjunto inicial de aplica??es que comp?e o benchmark, foram realizados dois estudos como forma de investigar se o benchmark proposto auxilia os pesquisadores em experimentos de t?cnicas de teste de aplica??es m?veis. As aplica??es foram selecionadas de acordo com suas caracter?sticas e as necessidades do experimento. Com isso, em ambos estudos foram utilizados 67% das aplica??es do benchmark.

With the increasing importance of mobile applications in people's daily lives, new software engineering approaches are required to ensure the quality of such mobile applications before their publication in application stores, and this includes new software testing techniques. Research on mobile application testing needs guidelines to improve the validation processes, through experiments, of techniques proposed as results of scientific research. However, there is currently no detailed and comprehensive benchmark of applications for evaluating experimental testing techniques for mobile applications. The studies found present the lack of more detailed information of the applications. Thus, this work proposes a benchmark of support to researchers which experimentally evaluates test techniques for mobile applications. This benchmark is composed of set of mobile applications, test scripts and metrics for applications. As a result of the definition, selection process was obtained for mobile application benchmark. After selection the initial benchmark, two studies were conducted to investigate if the proposed benchmark provides support to researchers to experimentally evaluate test techniques for mobile applications. The applications were selected according to their characteristics and the needs of experiment. Thus, in both studies, 67% of benchmark applications were used.

CAPES - Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior

Advisors/Committee Members: Dias Neto, Arilo Cl?udio, 70457433272, http://lattes.cnpq.br/9112415346373126, Feitosa, Eduardo Luzeiro, http://lattes.cnpq.br/5939944067207881, Endo, Andr? Takeshi, http://lattes.cnpq.br/4221336619791961, [email protected].

▼ 

With decreasing costs and increasing performance, the deployment of renewable energy systems is now growing faster than in the past decade. In 2017, for the first time, the number of people without access to electricity dipped below 1 billion, but trends in energy access still fall short of global goals. Particular attention is given to stand-alone solar photovoltaic systems in rural areas or where grid extension is unfeasible. Tools to evaluate or to size electrification projects are available, but they are based on simulations that do not cover all aspects of the design space. However, the use of formal methods to model and validate any system has grown with time, mainly to find bugs in sophisticated hardware and software systems: they aim to establish system correctness with mathematical rigor. The use of formal methods in electrical systems is a new subject, with published research spanning only the last four years. Moreover, the use of automated synthesis in order to obtain optimal sizing of solar photovoltaic systems has never been done before. This thesis marks the achievement of two major goals: first, the application of software model checking to verify formally the design of a stand-alone solar photovoltaic system, including solar panel, charge controller, battery, inverter, and electric load; second, a sound, automated approach to obtaining optimal sizing of stand-alone photovoltaic systems using program synthesis. For the formal verification, we used case studies from real photovoltaic systems deployed in five different sites, ranging from 975 W to 1,300 W, in order to evaluate the proposed approach and to compare it with a specialized simulation tool. Different verification tools are evaluated also, in order to compare performance and soundness. Data from practical applications show the effectiveness of our proposed approach, where specific conditions that lead to failures in a photovoltaic solar system are detailed only by the automated verification method. In addition, for the use of program synthesis, we propose a variant of the counterexample guided inductive synthesis (CEGIS) approach. This variant has two phases linking the technical and the cost analysis. First, we synthesize a feasible candidate based on power reliability, but which may not attain the lowest cost. Second, the candidate is then verified iteratively with a lower bound cost via symbolic model checking. If the verification step succeeds, the lower bound is adjusted; if it fails, a counterexample provides the optimal solution. The proposed synthesis method is novel and unprecedented as it streamlines the design of photovoltaic systems. Experimental results using seven case studies demonstrate that our synthesis method can produce optimal system sizing within an acceptable run-time. We also present a comparison with a specialized simulation tool over real photovoltaic systems in order to show the effectiveness of our approach, which can provide a more detailed and accurate solution than the simulation tool.

Com custos…

Advisors/Committee Members: Cordeiro, Lucas Carvalho, http://lattes.cnpq.br/5005832876603012, Mota, Edjard de Souza, http://lattes.cnpq.br/0757666181169076, Barreto, Raimundo da Silva, http://lattes.cnpq.br/1132672107627968, Silva, Sidelmo Magalh?es, http://lattes.cnpq.br/4356279128408928.

▼ 

Are humans free? Starting from this ancient philosophical question, we try to describe and to evaluate Sartres concept of freedom in Being and Nothingness as a contribution to the debate on freedom. The dissertation unfolds in three chapters. First, we approach the theoretical framework of the concept from two distinct sets of reflection - the combination of existentialism with phenomenology in Sartres philosophical development and the resolution of an epistemological impasse generated during the creation of the concept of freedom. Next, we examine the concept of freedom and its connections with the concepts of consciousness, facticity and responsibility. Finally, we include the critique of Sartres concept of freedom formulated by Merleau-Ponty and by Mészáros.

É o homem livre? Sob o impulso dessa antiga questão filosófica, busca-se descrever e avaliar a contribuição dada por Sartre ao construir seu conceito de liberdade em O Ser e o Nada. A dissertação se desenvolve em três momentos: primeiro, tem-se a abordagem dos pressupostos teóricos do conceito a partir de dois feixes distintos de reflexão - a aliança entre o existencialismo e a fenomenologia na formação filosófica de Sartre e a resolução de um impasse epistemológico gerado no percurso de conceituação da liberdade-; em seguida, tratase de examinar o conceito de liberdade e suas relações com os conceitos afins de consciência, facticidade e responsabilidade; finalmente, integram-se ao trabalho as críticas formuladas por Merleau-Ponty e por Mészáros ao conceito sartriano de liberdade.

Advisors/Committee Members: Carlos Roberto Drawin, Carlos Roberto Drawin, Ester Vaisman, Luiz Damon Santos Moutinho.

▼ 

Esta tese fundamenta-se na reflexão sobre os mecanismos de humor e sobre a interpretação dohumor à luz da Teoria da Relevância. Com o objetivo de apresentar uma proposta para trabalhar com o processamento da interpretação de textos humorísticos, sobretudo no ensino, foi realizada uma pesquisa em que se somam linhas teóricas de duas áreas distintas: por um lado, da comunicação, por outro, do humor. A teoria da comunicação aqui enfocada foi a Teoria da Relevância, elaborada por Sperber e Wilson (1986, 1995), que defendem que tanto o código quanto os aspectos pragmáticos (de natureza inferencial) são igualmente essenciais ao processo comunicativo. Esses autores propõem que o processo de inferenciação se estende também à compreensão da fase de decodificação do texto. Eles defendem que a comunicação se estabelece com base na relevância que eles elegem como um princípio comunicativo geral e que não é seguido, porque é inerente à compreensão espontânea de enunciados e, por esta razão, faz parte do aparelho cognitivo do ser humano. Dessa forma, é impossível ao ser humano deixar de comunicar. A partir da comparação de estudos de maior influência na questão do humor, foi escolhida a noção teórica de bissociação, proposta por Koestler (1964) para explicar a incongruência que é gerada por dois esquemas cognitivos incompatíveis, que se revela, enfim, como um paradoxo semântico ou pragmático. A associação deste conceito a hipóteses levantadas (mas não investigadas) pela Escola de Palo Alto (1967) gerou o modelo de mecanismo explicativo do humor aqui sugerido. Para relacionar as duas teorias de base, o mecanismo de humor foi submetido à Teoria da Relevância, para verificar a sua adequação teórica à aparelhagem interpretativa descrita pela teoria de Sperber e Wilson. Após análise dessas teorias, investimos no estudo de possibilidades de interpretação textual durante o processamento da leitura, com a finalidade de contribuir positivamente para o trabalho com o texto humorístico em sala de aula. Concluímos que essa estratégia favorece a organização do processo interpretativo pois, ao abordarem o texto de uma forma orientada, os alunos poderão alcançar a compreensão que se espera de um leitor proficiente.

Cette thèse est fondée sur la réflexion sur les mécanismes dhumour et sur linterprétation de lhumour à la lumière de la Théorie de la Pertinence. Ayant le but de présenter une proposition de travail avec le processus dinterprétation de textes humoristiques, surtout pour lenseignement, on a fait une recherche où lon a intégré de lignes théoriques de deux différents champs détude: par un côté, le champ de la communication, par un autre, celui de l humour. La théorie de la communication ici envisagée est la Théorie de la Pertinence, élaborée par Sperber et Wilson (1986, 1995) laquelle défend que aussi le code comme les aspects pragmatiques (de nature inférentielle) sont également essentiels au processus communicatif. Ces auteurs proposent que le processus d inférence sétend aussi à la compréhension de la phase de décodification du…

Advisors/Committee Members: Regina Lucia Peret Dell Isola, Regina Lucia Peret Dell Isola, Fábio José Rauen, Vânia Arruda Bernardes, Maria Beatriz Nascimento Decat, Luiz Francisco Dias, Jerônimo Coura Sobrinho, Eliana Amarante de Mendonca Mendes.

▼ 

Esta dissertação, desenvolvida no âmbito do projeto SEGTRAD (Segmentação Cognitiva e Sistemas de Memória de Tradução) e vinculada ao LETRA (Laboratório Experimental de Tradução) da Faculdade de Letras da Universidade Federal de Minas Gerais, propõe um novo método de anotação de registros de teclado (keylog) gravados pelo Translog® com a ferramenta Litterae. Usando os registros do SEGTRAD analisados por Renata R. Rodrigues (2009) de 12 tradutores profissionais nos pares lingüísticos alemão-português e inglês-português e aplicando o conceito de unidade de tradução de Carl (2009) expandido por Alves e Vale (2009), executou-se uma pesquisa de corpus em que se demonstrou como o novo método de anotação auxilia a identificar padrões distintos na segmentação por estrato linguístico (HALLIDAY, 2004), por ordem de ocorrência, por par linguístico e por fase de tradução (JAKOBSEN, 2002; 2003; ALVES, 2003; 2005). Observou-se que a dactilografia e a semântica são estratos cujos padrões dependem dos tradutores e a lexicogramática é um estrato cujos padrões dependem do par linguístico. Na lexicogramática, o par inglês-português apresentou relativamente mais revisões no polo léxico enquanto o par alemão-português apresentou relativamente mais revisões no polo gramático. Quanto à ordem de ocorrência, as revisões seguiram três padrões muito bem delimitados: reduzir equivalentes no TA durante a fase de redação, substituir segmentos repetidamente no TA durante a fase de revisão e diminuir o número de vocábulos e de estruturas do TA durante a fase de revisão. Foi demonstrado que as categorias de estrato e seus subtipos desenvolvidas para esta pesquisa são adequadas para identificar padrões no processo e no produto tradutório. As consequências práticas do uso da ferramenta Litterae consistem na redução do tempo de análise e no consequente aumento da capacidade de pesquisa dos laboratórios. A consequência teórica do uso dessa ferramenta consiste na possibilidade de se fazer análises do produto durante processo de tradução. Esse tipo de análise nos permite interpretar a recursividade da tradução enquanto revisão textual e, assim, entender como essas revisões afetam o produto da tradução. Com a metodologia desta pesquisa, conseguimos representar uma macro-UT, que é uma unidade do processo tradutório, como uma série de produtos (versões intermediárias e final), criando, assim, um elo forte entre os estudos do processo e os estudos do produto.

This thesis, which was developed within the scope of SEGTRAD Project (Cognitive Segmentation in Translation with and without the aid of Translation Memory Systems) and is related to other researches carried out at LETRA (Laboratory for Experimentation in Translation), Faculdade de Letras, Federal University of Minas Gerais, proposes a new annotation method for Translog® keylogs using the new Litterae tool. Drawing on the concept of translation unit of Carl (2009) expanded by Alves and Vale (2009) and relying on SEGTRAD keylogs analyzed by Renata R. Rodrigues from 12 professional translators in the…

Advisors/Committee Members: Fabio Alves da Silva Junior, Fabio Alves da Silva Junior, Adriana Silvina Pagano, Silvana Maria de Jesus, José Luiz Vila Real Gonçalves.

▼ 

Esta dissertação, desenvolvida no âmbito do projeto SEGTRAD (Segmentação Cognitiva e Sistemas de Memória de Tradução) e vinculada ao LETRA (Laboratório Experimental de Tradução) da Faculdade de Letras da Universidade Federal de Minas Gerais, investiga o impacto exercido por um Sistema de Memória de Tradução (SMT) na segmentação cognitiva de 12 tradutores profissionais, nos pares lingüísticos alemão-português e inglês-português. Os dados foram coletados de acordo com a metodologia de triangulação de dados do processo tradutório (JAKOBSEN, 1999; ALVES, 2001, 2003), que combina o uso de diferentes ferramentas de elicitação de dados, complementares entre si. Foi utilizado o programa Translog a fim de se investigar o processo de segmentação cognitiva espontânea de tradutores profissionais. O programa Camtasia também foi utilizado para coletar dados processuais desses mesmos tradutores, obtidos quando traduziam com auxílio de um Sistema de Memória de Tradução (SMT). Com base no modelo de análise de pausas proposto por Schilperoord (1996) e na taxonomia para a classificação de segmentos de Dragsted (2004), foi analisado o efeito da inserção de um SMT no processo tradutório de tradutores profissionais, tendo-se em vista a distribuição das fases do processo tradutório (JAKOBSEN, 2002; 2003; ALVES, 2003; 2005) e a segmentação (DRAGSTED, 2004), no que diz respeito à natureza dos segmentos, ao tamanho dos segmentos e à duração das pausas. Os dados apontam aumento do tempo despendido na fase de orientação inicial e redução do tempo despendido na fase de revisão final com o uso do SMT. Os resultados também indicam que a inserção do SMT pode afetar a segmentação cognitiva dos tradutores no que se refere à segmentação do texto em níveis superiores de processamento, sobretudo em unidades transentenciais, demonstrando a otimização do processo tradutório em decorrência da utilização do SMT. Com relação ao tamanho dos segmentos, observa-se a tendência de redução do tamanho médio dos segmentos quando da inserção do SMT. No que concerne à duração das pausas vinculada a cada categoria, verifica-se aumento na média de duração de pausa associada às categorias de ordem superior e redução na média de duração de pausa atrelada às categorias de ordem inferior, indicando que o SMT leva os tradutores a mudar o padrão de duração de pausa verificado em circunstâncias naturais.

This thesis, developed within the scope of the SEGTRAD Project (Cognitive Segmentation in Translation with and without the aid of Translation Memory Systems) and afilitated to research carried out at LETRA (Laboratory for Experimentation in Translation), Faculdade de Letras, Federal University of Minas Gerais, investigates the impact of a Translation Memory System (TMS) on the segmentation patterns of 12 professional translators working on the linguistic pairs German/Portuguese and English/Portuguese. The research builds on the methodological approach known as triangulation (Jakobsen, 1999; Alves, 2001, 2003) which fosters the use of different yet complementary data…

Advisors/Committee Members: Fabio Alves da Silva Junior, Fabio Alves da Silva Junior, Celia Maria Magalhaes, Jose Luiz V.R. Goncalves.