Search

In the present paper, we answer a question raised in the paper Constructions and Bounds for Unconditionally Secure Non-Interactive Commitment Schemes, by Blundo et al., 2002, showing that there is a close relation between unconditionally secure commitment schemes and unconditionally secure authentication schemes, and that an unconditionally secure commitment scheme can be built from such an authentication scheme and an unconditionally secure cipher system. To investigate the opposite direction, we define optimal commitment systems and show that these must be resolvable design commitment schemes. Then, a proof is given that the resolvable design commitment schemes are a composition of an authentication system and a cipher system and the conclusion follows that this is the case for all optimal commitment systems. We also show how to build optimal schemes from transversal designs that are easy to build and can be more efficiently implemented than the proposal in the previously cited paper.

Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditional lower bound on the computation time from a given program in absence of auxiliary information. Variants known as logical depth and computational depth are expressed in Kolmogorov complexity theory. We derive quantitative relation between logical depth and computational depth and unify the different depth notions by relating them to A. Kolmogorov and L. Levin's fruitful notion of randomness deficiency. Subsequently, we revisit the computational depth of infinite strings, introducing the notion of super deep sequences and relate it with other approaches., Lates, 15 pages, no figures. Theory of Computing Systems, To appear

We present a bit-string quantum oblivious transfer protocol based on single-qubit rotations. Our protocol is built upon a previously proposed quantum public-key protocol and its practical security relies on the laws of Quantum Mechanics. Practical security is reflected in the fact that, due to technological limitations, the receiver (Bob) of the transferred bit-string is restricted to performing only "few-qubit" coherent measurements. We also present a single-bit oblivious transfer based on the proposed bit-string protocol. The protocol can be implemented with current technology based on optics.

Using quantum networks to distribute symmetric keys has become a usable and commercial technology available under limitations that are acceptable in many application scenarios. The fact that the security is implemented directly at the hardware level, and moreover, relies on the laws of physics instead of conjectured hardness assumptions, justifies the use of quantum security in many cases. Limitations include 100 km communication range and installation of quantum channels between each pair of users of the network. Presently, with the current lack of trust in commercial security solutions, mostly due to the Snowden crisis, there is the need to improve such solutions. In this paper we discuss how quantum networks can be used to setup secure multiparty computation (SMC), allowing for instance for private data mining, electronic elections among other security functionalities. SMC relies mostly on establishing an efficient oblivious transfer protocol. We present a bit-string quantum oblivious transfer protocol based on single-qubit rotations that can be implemented with current technology based on optics and whose security relies only on the laws of physics.

As demandas por mudanças devem ser vistas como situações normais dentro do processo de gestão de uma organização. Nesta abordagem, dois elementos são fortes contribuintes como sistemáticas de apoio: a gestão (ou gerenciamento) das mudanças, que estabelece os processos e controles necessários para que os objetivos da mudança sejam alcançados de maneira organizada e a existência dos fatores críticos de sucesso para a mudança, que atuam como elementos de convergência em relação aos objetivos planejados. No mesmo contexto, as grandes empresas, principalmente aquelas de atuação global, têm tido demandas pelas diversas partes interessadas com as quais possuem interface, em demonstrar o seu desempenho na gestão da sustentabilidade, dentro das suas respectivas dimensões: ambiental, social e econômica. O objetivo geral do presente trabalho consiste em identificar quais fatores críticos de sucesso são determinantes no processo de mudança organizacional, em particular na abordagem da prática de gerenciamento de mudanças de uma empresa petroquímica brasileira, associados com inclusão da gestão proativa da sustentabilidade empresarial, através do diagnóstico do cenário atual em relação a este tema. A estrutura metodológica consistiu em macro etapas de revisão da literatura, seleção dos fatores críticos de sucesso e critérios de sustentabilidade, desenvolvimento de questionários e aplicação destes através de um estudo de caso, do tipo observação participante, em uma empresa petroquímica brasileira, viabilizando a subsequente análise dos dados obtidos e conclusões. Os principais resultados identificaram quarenta e cinco fatores críticos de sucesso relacionados ao processo de gestão da mudança organizacional e o modelo da GRI como o de maior aderência no meio empresarial mundial. Foram identificadas contribuições da literatura em fatores críticos de sucesso no processo de gerenciamento de mudanças vigente na organização, tais como comunicação constante e eficiente e recursos, de forma a agregar práticas ao modelo atual de gestão da mudança organizacional. As dimensões de fatores críticos de sucesso identificadas como mais relevantes no estudo de caso foram a liderança e recursos. Em relação à percepção sobre conceitos de sustentabilidade, particularmente quanto requisitos da GRI na versão G4, foi verificada junto aos respondentes uma visão que enfatiza a dimensão ambiental, a despeito das dimensões social e econômica, associada a fragilidades em ambientação dos mesmos em relação a conceitos de sustentabilidade e conexão deste tema com fatores críticos de sucesso na mudança organizacional, trazendo elementos para a melhoria contínua das práticas de gestão, assim como do relato da sustentabilidade empresarial. The demands for change should be seen as normal situations within the management process of an organization. In this approach, two elements are strong contributors as systematic support: change management, which establishes the necessary processes and controls for the objectives of the change to be achieved in an orderly manner, and the existence of critical success factors for change, which act as elements of convergence towards the planned objectives. In the same context, large companies, especially those with global operations, have been demanded by various stakeholders to demonstrate its performance in sustainability management within their respective dimensions: environmental, social and economic. The overall objective of this study is to identify, particularly in the practice of change management in a Brazilian petrochemical company, the proactive management of corporate sustainability and the critical success factors that are decisive in the organizational change process through the diagnosis of the current scenario regarding this topic. The methodological framework consisted of macro steps of literature review, selection of the critical success factors and criteria of sustainability, development and application of these questionnaires through a participant observation case study in a Brazilian petrochemical company, enabling the subsequent analysis of the obtained data and conclusions. Forty-five critical success factors related to the process of managing organizational change were identified and the GRI model was the most applied model in the global business environment. In order to add to the current practice model for managing organizational change, contributions from the literature were identified in critical success factors in the management of the current changes in the organization, such as constant and efficient communication process and resources. Leadership and resources were the most relevant dimensions of critical success factors identified in the case study. Regarding the understanding of sustainability concepts, particularly in relation to the requirements of GRI in a G4 version, it was verified that the respondents’ perceptions emphasize the environmental dimension over the social and economic dimensions. This was associated with the respondents` limited knowledge regarding concepts of sustainability and how this issue connects with critical success factors in organizational change, bringing elements to the continuous improvement of management practices, as well as the reporting of corporate sustainability.

Sophistication and logical depth are two measures that express how complicated the structure in a string is. Sophistication is defined as the minimal complexity of a computable function that defines a two-part description for the string that is shortest within some precision; the second can be defined as the minimal computation time of a program that is shortest within some precision. We show that the Busy Beaver function of the sophistication of a string exceeds its logical depth with logarithmically bigger precision, and that logical depth exceeds the Busy Beaver function of sophistication with logarithmically bigger precision. We also show that this is not true if the precision is only increased by a constant (when the notions are defined with plain Kolmogorov complexity). Finally we show that sophistication is unstable in its precision: constant variations can change its value by a linear term in the length of the string., 9 pages

Changes can be seen as normal situations within the management process of an organization. Two elements are strong contributors as systematic support: management of change (MOC) and the critical success factors (CSF) for change, which also should desirable to be sustainable. The general goal of this work consists in identifying which CSF are determinant in the organizational change process, in specific in the approach of a Brazilian chemical and petrochemical company’s organizational MOC process in addition to the inclusion of proactive corporate sustainability management through a present scenario diagnosis. The aim of this paper is to identify which are the decisive CSF in the organizational change process, associated to the proactive management of corporate sustainability, through sustainability criteria. The methodology for the research was the case study. Main results identified forty-five CSF related to the organization’s MOC process and the Global Report Initiative (GRI) model as being the most adopted in the world business. Contributions from the literature were identified in CSF in the MOC process within the organization, such as constant and efficient communication process and resources, aiming to incorporate practices to the current organizational change model. Leadership and resources were the most relevant dimensions of CSF identified in the case study. Regarding the understanding of sustainability concepts, it was found among the answerers a vision that emphasizes the environmental dimension, despite social and economic dimensions, as well as gaps in their understanding of sustainability concepts and the connection of this subject with CSF in the MOC

Usually one can quantify the subjective notion of useful information in two different perspectives: static resources --- measuring the amount of planing required to construct the object; or dynamic resources --- measuring the computational effort required to produce the object. We study the robustness of logical depth measuring dynamic resources, proving that small variations in the significance level can cause large changes in the logical depth.

Uma obra envolvente, de escrita ágil e vertendo para a esquerda política. Com autoria de Antonio Negri e Giuseppe Cocco (2005), o texto nos enriquece de argumentos com pensamento crítico sobre o tardio capitalismo que se instalou na América Latina e como a estruturação nacional pode ser uma resposta ao mundo globalizado. O livro faz uma análise sobre a América Latina ante uma economia atrelada à tese que esta região é insustentável por si só, dentro de um contexto de enfraquecimento crônico do desenvolvimento independente, retratando ainda o colapso do plano neoliberal. A abordagem central é a mudança de compreensão no estudo da mútua dependência e da reformulação do plano político e das teorias na compreensão da atual circunstância latino-americana. A obra está dividida em cinco partes, nas quais são feitas referências desde o período pós-guerra, passando pelo fracasso do projeto neoliberal na década de 1990, até a subida esquerdista nos países latino-americanos.

We revisit the notion of computational depth and sophistication for infinite sequences and study the density of the sets of deep and sophisticated infinite sequences. Koppel defined the sophistication of an object as the length of the shortest total program that, given some data as input, produces the object and such that the sum of the size of the program with the size of the data is as concise as the smallest description of the object. However, the notion of sophistication is not properly defined for all sequences. We propose a new definition of sophistication for infinite sequences as the limit of the ratio of the sophistication of the initial segments and its length. We prove that the set of sequences with sophistication equal to zero has Lebesgue measure one and that the set of sophisticated sequences is dense, when the sophistication is, respectively, defined either using lim inf or lim sup. Antunes, Fortnow, van Melkebeek and Vinodchandran captured the notion of useful information by computational depth, the difference between time bounded and unbounded Kolmogorov complexities. We show that the set of deep infinite sequences is dense. We also prove that sophistication and depth for infinite sequences are distinct information measures.

We study the relationship between complexity cores of a language and the descriptional complexity of the characteristic sequence of the language based on Kolmogorov complexity. We prove that a recursive set A has a complexity core if for all constants c, the computational depth (the difference between time-bounded and unbounded Kolmogorov complexities) of the characteristic sequence of A up to length n is larger than c infinitely often. We also show that if a language has a complexity core of exponential density, then it cannot be accepted in average polynomial time, when the strings are distributed according to a time bounded version of the universal distribution.

Algorithmic entropy and Shannon entropy are two conceptually different information measures, as the former is based on size of programs and the later in probability distributions. However, it is known that, for any recursive probability distribution, the expected value of algorithmic entropy equals its Shannon entropy, up to a constant that depends only on the distribution. We study if a similar relationship holds for R\'{e}nyi and Tsallis entropies of order $\alpha$, showing that it only holds for R\'{e}nyi and Tsallis entropies of order 1 (i.e., for Shannon entropy). Regarding a time bounded analogue relationship, we show that, for distributions such that the cumulative probability distribution is computable in time $t(n)$, the expected value of time-bounded algorithmic entropy (where the alloted time is $nt(n)\log (nt(n))$) is in the same range as the unbounded version. So, for these distributions, Shannon entropy captures the notion of computationally accessible information. We prove that, for universal time-bounded distribution $\m^t(x)$, Tsallis and R\'{e}nyi entropies converge if and only if $\alpha$ is greater than 1.

Kolmogorov Complexity measures the amount of information in a string by the size of the smallest program that generates that string. Antunes, Fortnow, van Melkebeek, and Vinodchandran captured the notion of useful information by computational depth, the difference between the polynomial-time-bounded Kolmogorov complexity and traditional Kolmogorov complexity. We show unconditionally how to probabilistically find satisfying assignments for formulas that have at least one assignment of logarithmic depth. The converse holds under a standard hardness assumption though fails if BPP = FewP = EXP. We also prove that assuming the existence of good pseudorandom generators one cannot increase the depth of a string efficiently.

We propose a quantum blind signature scheme that achieves perfect security under the assumption of an honest offline repository. The security of the protocol also relies on perfect private quantum channels, which are achievable using quantum one-time pads with keys shared via a quantum key distribution (QKD) protocol. The proposed approach ensures that signatures cannot be copied and that the sender must compromise to a single message, which are important advantages over classical protocols for certain applications.

Dissertação de mestrado integrado em Informatics Engineering, The growth of concepts such as Intelligent Environments and Internet of things allows us to understand the habits of users and consequently act to improve people’s daily lives. Through information gathering, it is thus possible to gather patterns about different kinds of human behavior and consequently build a learning model with predictive capabilities. In addition, there are increasing concerns from large companies about the influence, positive or negative, that aspects such as comfort and well-being have on the behavior and health of the population. In fact, as human beings, we are greatly influenced by the environment in which we are inserted. There are therefore conditions in a place that give us certain levels of comfort that will eventually interfere with our well-being. However, it is difficult to identify which of these factors are relevant and how they intervene in our daily lives. Also, the habits we adopt as a result of the routines we follow can contribute to improving or worsening any of these indicators With the help of the various types of sensors present, for example, in the smart devices (smartphones, smartwatches, wristbands), it is increasingly possible to collect information on these factors, easily and comprehensively. In this sense, firstly the main objective of this dissertation is thus to collect data on factors that may influence the user in order to create a user profile. These factors can be inferred through its interests, the visited locations, and its main activities. This objective involves a large-scale analysis, where there are no geographical restrictions. Furthermore, the study will be independent of the type of space (open or closed) that is explored. In that way, the perspective that will be used is from the user. Then there is an exploration of the data so that some intelligence can be inferred, and in this sense, build a mobile application capable of providing smart notifications based on user needs.

Dissertação de Mestrado em Engenharia Informática Submitted by João Silva (jpps@estgf.ipp.pt) on 2020-01-14T11:13:51Z No. of bitstreams: 1 DM_AntonioCosta_MEI_2019.pdf: 3300942 bytes, checksum: c5f7e806537552e894d26945cbe5d38e (MD5) Made available in DSpace on 2020-01-14T11:13:51Z (GMT). No. of bitstreams: 1 DM_AntonioCosta_MEI_2019.pdf: 3300942 bytes, checksum: c5f7e806537552e894d26945cbe5d38e (MD5) Previous issue date: 2019

Dissertação de mestrado em Computer Science, Domotics represent a field of consumer electronics related primarily to home automation. Although smart environments have existed for decades and even for longer in the imaginary of people and sci-fi, the new age of Internet of Things (IoT) and the low-cost Do It Yourself (DIY) electronics/maker market has brought smart homes and the understanding of domotics closer to everyone. In recent years, the interest in the fields of domotics and IoT has increased. This recent academic and industrial interest has contributed to the evolution of the Smart Home concept, being more and more appealing to our civilization. This has prompted new commercial solutions on the market, which are discovering ways to expand and increase their own value by integrating new features, especially from the IoT market. The proliferation of IoT devices leads to new sources of information. In addition, the relation between the environment occupant and the environment is responsible for adding value to this data. Afterwards, the data can then be used in a meaningful way, by machine learning algorithms to learn usage patterns. Furthermore, this data may or may be unrelated to the data incoming from sensors. This Masters Project will focus on learning strategies to allow Smart Homes to become intelligent, in a sense that they anticipate needs and actions, thus enabling extended features to the home automation system. The user should be able to give feedback on his ”feeling” regarding the decision making and suggestions, possible by our system implementation., Domótica é um campo da eletrónica de consumo relacionado principalmente com automatização de casas. Embora a domótica exista há décadas, e ainda há mais tempo nas nossas imaginações e na ficção científica, a nova era de Internet das Coisas (IdC) e o mercado de aparelhos eletrónicos de baixo custo permitiu a aproximação da domótica com todos nós. Com o aumento de interesse nas áreas da domótica e IdC, soluções comerciais procuram formas de expandir e aumentar o seu valor no mercado, integrando novas funcionalidades, especialmente oriundas do mercado IdC. A proliferação dos dispositivos IdC conduz a novas fontes de dados. Através da interação do utilizador com o ambiente, os dados são gerados, podendo assim serem usados de forma significativa, por algoritmos de aprendizagem máquina, conduzindo à aprendizagem de padrões de utilização. Os dados, podem ou não, estar relacionados com informação oriunda dos sensores. Este Projeto de Mestrado irá focar em estratégias de aprendizagem para permitir que as Casas Inteligentes se tornem realmente inteligentes, no sentido em que elas antecipam necessidades e ações, permitindo assim, uma ampliação de funcionalidades para o sistema de automação residencial. O utilizador deve ser capaz de dar feedback sobre o seu ”sentimento” em relação à tomada de decisão e às sugestões do sistema, sendo possível através da nossa implementação.

Dissertação de mestrado em Informatics Engineering, Com o crescimento significativo de utilizadores de dispositivos móveis, nos últimos anos, mais do que a necessidade apareceu a oportunidade de criar novas plataformas e serviços digitais que não só facilitam o quotidiano das pessoas, evitando deslocamentos, filas de espera e complicações desnecessárias, como tornam a comunicação das pessoas com as instituições num processo mais rápido e cómodo. Como tal, estas alternativas estão gradualmente a complementar, em alguns casos mesmo a substituir, os métodos antigos. Esta dissertação propõe uma solução digital, na forma de uma aplicação móvel, para aproximar as populações às suas instituições públicas recorrendo a gamification, isto é, transformando o processo de comunicação com uma Câmara Municipal ou Junta de Freguesia, por exemplo, recorrendo ao uso de elementos de jogos como conquistas, atribuição de recompensas, classificações, entre outras, com o objetivo de estimular a comunicação do utilizador com essas instituições permitindo que este possa ao mesmo tempo divertir-se e competir com os outros, enquanto explora e ajuda a sua cidade. Para tal, além de um serviço de participação de ocorrências na cidade, os utilizadores têm à sua disposição toda uma narrativa que os leva a completar missões, participar em eventos e conhecer gente nova bem como a conhecer verdadeiramente a sua própria cidade. Por sua vez, a instituição pública responsável pela manutenção e administração do sistema tem à sua disposição uma plataforma de administração para manter o conteúdo da aplicação atualizado para os seus utilizadores. No decorrer desta dissertação está documentado todo o processo de desenvolvimento da aplicação móvel e do servidor web, que a suporta, assim como todas as decisões tomadas e as razões que as justificam. O documento contém, ainda, exemplos e explicações do funcionamento da aplicação, considerações finais sobre o projeto e ideias para trabalho futuro. Nas considerações finais é feita uma comparação dos objetivos inicialmente traçados para o projeto e o resultado alcançado, provando que os mesmos foram cumpridos com sucesso., The significant growth of mobile device users of the last few years, revealed the opportunity to develop new digital platforms and services which not only make people’s everyday lives easier, avoiding unnecessary trips, waiting lines and complications, but also making the process behind the communication between the populations and institutions in easier and smoother. Consequently, these new alternatives are gradually complementing, in some cases even completely replacing, the old methods. This dissertation proposes a digital solution, in the form of a mobile application, to strengthen the communication between populations and their public institutions through gamification. Turning that process into a game ensures people can have fun while they are exploring and helping their city. To this purpose, users have a report system that allows them to expose things they think are wrong with the city, such as broken structures, clogged sewers, among others. The game also has a lore that leads to extra motivation to complete missions, be part of player gatherings and events, meet new people and to better explore the cities’ wonders. The entity responsible for the maintenance and administration of the system have an admin platform to better help keeping the application’s content fresh and updated, allowing for a better user experience for the population. This document addresses all the steps taken in the application’s development process as well as the web server’s that support said application. All the decisions have been documented and the reasons that justify them, as well as examples and how tos about the application, ending with some considerations about the work that has been done and some ideas for the future of the system. In the final considerations is also made a parallel between the project’s goals and the final result, proving these goals were met successfully.

Dissertação de mestrado em Computer Science, The increasing pervasiveness and lower cost of electronic devices equipped with sensors is leading to a greater and cheaper availability of localized information. The advent of the internet has brought phenomena such as crowd-sourced maps and related data. The combination of the availability of mobile information, community built maps, with the added convenience of retrieving information over the internet creates the opportunity to contextualize data in new ways. This work takes that opportunity and attempts to generalize the detection of driving events which are deemed problematic as a function of contextual factors, such as neighbouring buildings, areas, amenities, the weather, and the time of day, week or month. In order to research the problem at hand, the issue is first contextualized properly, providing an overview of important factors, namely Smart Cities, Data Fusion, and Machine Learning. That is followed by a chapter concerning the state of the art, that showcases related projects and how the various facets of road traffic expression are being approached. The focus is then turned to creating a solution. At first this consists in aggregating data so as to create a richer context than would be present otherwise, this includes the retrieval from different services, as well as the composition of a unique view of the same driving situation with new dimensions added to it. And then Models were created using different Machine Learning methods, and a comparison of results according to selected and justified evaluation metrics was made. The compared Methods are Decision Tree, Naive Bayes, and Support Vector Machine. The different types of information were evaluated on their own as potential classifiers and then were evaluated together, leading to the conclusion that the various types combined allow for the creation of better models capable of finding problems with more confidence in such results. According to the tests performed the chosen approach can improve the performance over a baseline approach and point out problematic situations with a precision of over 90%. As expected by not using factors concerning the driver state or acceleration the scope of problems which are detected is limited in domain., A expansão e menor custo de dispositivos eletrónicos equipados com sensores está a levar a uma maior e mais barata disponibilidade de informação localizada. O advento da internet criou fenómenos como a criação de mapas e dados relacionados gerados por comunidades. A combinação da disponibilidade de informação móvel e mapas construídos pela comunidade, em conjunto com uma obtenção de informação através da internet mais conveniente, criou a oportunidade de contextualizar os dados de novas maneiras. Este trabalho faz uso dessa oportunidade e tenta generalizar eventos de condução que são considerados problemáticos em função de factores contextuais, tais como a presença de edifícios, áreas, e comodidades na vizinhança, o clima, e a hora do dia, a semana, ou o mês. De modo a investigar esta questão, o problema é contextualizado como emergente no tópico de Cidades Inteligentes, e explorado com recurso a Fusão de Dados e a Aprendizagem Máquina. O estado da arte é exposto, através de projectos relacionados à expressão do tráfego rodoviário, dando relevo às várias facetas até então investigadas por outros autores de modo a enquadrar o trabalho presente. Dado o enquadramento e concretização do problema, é proposta uma solução. Esta solução passa por inicialmente agregar dados de modo a enriquecer o contexto, incluindo a recolha destes de vários serviços, e uma composição dos dados recolhidos numa perspectiva única referente a uma situação de condução. Após este enriquecimento dos dados, são criados modelos com base em diferentes técnicas de Aprendizagem Máquina. Os métodos utilizados são Decision Tree, Naive Bayes, e Support Vector Machine. Os resultados conseguidos com estes modelos são depois comparados de acordo com as métricas de avaliação seleccionadas. Uma comparação foi feita também com diferentes tipos de informação separadamente e também em conjunto, levando à conclusão de que os vários tipos combinados permitem a criação de melhores modelos capazes de encontrar problemas com mais confiança nos resultados produzidos. De acordo com os testes executados a abordagem escolhida consegue melhorar resultados de um modelo base e descobrir situações problemáticas de condução com uma precisão acima dos 90%. No entanto, como seria de esperar, o âmbito dos problemas detectados tem um domínio limitado aos aspectos seleccionados.

Dentre as manifestações ginecológicas mais importantes nas mulheres soropositivas para o HIV, estão o câncer do colo uterino e as neoplasias intra-epiteliais cervicais que lhe são as lesões precurssoras. Neste estudo foram analisadas 36 mulheres soropositivas para o vírus da imunodeficiência humana e 54 soro negativas, com a finalidade de analisar a freqüência de lesões precursoras do câncer uterino cervical. Todas as pacientes foram submetidas ao exame clínico ginecológico, colheita de colpocitologia cérvico-vaginal, colposcopia e à biópsia genital quando o exame colposcópico revelava achados anormais. Nas pacientes soropositivas foram quantificados os linfócitos com receptores CD4 e verificado a aderência ao esquema antiretroviral. Os resultados demonstraram que a freqüência das neoplasias intra-epiteliais cervicais foi semelhante nos dois grupos estudados. Observamos ainda que a maioria das pacientes soropositivas apresentavam contagem de CD4 acima de 200 células / mm3, ou seja eram consideradas imunocompetentes. E que trinta e três pacientes das trinta e seis estudadas eram aderentes ao esquema antiretroviral. Concluímos que as mulheres HIV soropositivas consideradas imunocompetentes e em uso de antiretrovirais apresentaram freqüência de neoplasias intraepiteliais cervico-uterinas semelhantes às mulheres soro negativas incluídas neste estudo. Observamos, ainda, que o HPV é importante cofator no desenvolvimento das neoplasias intra-epiteliais cervicais. Cervical cancer and its prescursor lesions are the most important gynecologic manifestations of human immunodeficiency virus infection. Thirty six women infected with human immunodeficiency vírus (HIV) and fifty four uninfected were studied to evaluate the frequency by cervical squamous intraepithelial lesions (SILs), the precursors to invasive cervical cancer. All pacients were interviewed and had a gynecologic examination including Papanicolaou (Pap) test and colposcopy. Biopsies were done on colpocopic abnormalities. The CD4 cell levels were assessed in HIV infected women and we asked about use of antiretrovíral therapy on incidence of SILs, and almost all them used the drugs. The results showed that the frequency of SILs was similar in the two groups. The most of infected women had CD4 levels over than 200 cells/mm3. They were considered immunocompetent. And thirty three women trom thirty six used antiretroviral therapy. In our study the women infected with human immunodeficiency virus, using antiretroviral therapy, with immunocompetent status, had the same frequency of SILs observed on uninfected women.