Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

REPRESENTAÇÃO ARTÍSTICA NAS REDES SOCIAIS: UMA ABORDAGEM BASEADA NO FACEBOOK

Dissertação de Mestrado em Ciências da Comunicação Especialização em Comunicação e Artes

A relação dos media tradicionais com as audiências através das redes sociais online – Um estudo de caso da participação dos telespectadores nos programas The Voice, A Voz de Portugal e The Voice Brasil

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação – Estudos dos Media e do Jornalismo.

Old cellulose for new multifunctional networks

Dissertação para obtenção do Grau de Doutor em Ciência e Engenharia de Materiais

A Criação e a Difusão da Lenda do Roubo de Órgãos numa Loja Chinesa

"Como podemos ver, embora este texto tenha sido transmitido por escrito, a sua linguagem apresenta todo o aspeto de a história ter como origem a tradição oral, parecendo a mensagem apenas um produto da fixação por escrito de algo que se conheceu através da oralidade (cf., aliás, a expressão “alguns episódios que me relataram”). Este correio eletrónico é, portanto, um sucedâneo da transmissão boca a boca e com esta muito se parece, desempenhando, afinal, o mesmo papel e acabando sem dúvida por realimentar a vida oral da lenda. Procurando na Internet (em 2/11/2006), encontrei 263 atestações desta mensagem, inserida em outros tantos blogues portugueses. O mais antigo desses posts é de 29 de agosto." (pág. 48 )

Os principais fatores que influenciam a intenção de compra dos consumidores quando realizam pesquisas de produtos e serviços em blogues portugueses

A comunicação é um fator decisivo para a imagem que uma empresa tem no mercado. Os blogues apresentam-se, de forma crescente, como uma ferramenta eficaz nas estratégias de comunicação das empresas, sendo capazes de cumprir muitos dos seus objetivos através de um custo reduzido. A informação partilhada pelas empresas neste canal deverá ter em consideração os fatores que os leitores de blogues mais valorizam. Assim, é fundamental possuir uma estratégia de comunicação adaptada a estes fatores para que seja possível promover a marca e cativar os leitores. O blogue serve muitas vezes como plataforma de pesquisa de informação sobre produtos e serviços, podendo desta forma influenciar as apreciações e ações dos futuros consumidores. O presente trabalho investigou junto dos leitores de blogues os atributos deste canal mais valorizados, a importância da publicidade nos textos dos posts, as dimensões mais relevantes que melhor explicam a predisposição de compra dos leitores, e ainda, apresenta algumas recomendações para futuros planos de comunicação de empresas que elegem estes canais para a sua comunicação. Através de uma pesquisa exploratória, onde se realizaram 12 entrevistas presenciais, e posteriormente, através de uma pesquisa conclusiva, com a realização de um questionário online com 153 respostas, foram abordados os pontos mencionados anteriormente junto dos leitores de blogues. Os resultados revelam que o atributo "imagens e vídeos" é o que mais se destaca na preferência dos leitores. O patrocínio de marcas em blogues não afeta a predisposição de compra dos leitores. Já relativamente à confiança depositada num blogue, esta é uma das variáveis preponderantes na predisposição de compra dos leitores. Por fim, os leitores que leem blogues fundamentalmente da área da moda apresentam maior predisposição de compra de serviços e produtos do que aqueles que leem blogues de outras áreas.

Cellulose micro/nano fibers conformational effects probed by nematic liquid crystal droplets

Probing micro-/nano-sized surface conformations, which are ubiquitous in biological systems, by using liquid crystal droplets, which change their ordering and optical appearance in response to the presence of more than ten times smaller cellulose based micro/nano fibers, might find new uses in a range of biological environments and sensors. Previous studies indicate that electrospun micro/nano cellulosic fibers produced from liquid crystalline solutions could present a twisted form [1]. In this work, we study the structures of nematic liquid crystal droplets threaded by cellulose fibers prepared from liquid crystalline and isotropic solutions as well as droplets pierced by spider-made fibers [2]. Planar anchoring at the fibers and planar and homeotropic at the drop surfaces allowed probing cellulose fibers different helical structures as well as aligned filaments.

O Impacto dos Social Media no Comportamento dos Consumidores de Health Clubs em Portugal

Este estudo enquadra-se num contexto do Marketing Digital e do Comportamento do Consumidor, tendo como tema o impacto dos social media no comportamento dos consumidores de health clubs no mercado português. O principal objectivo deste trabalho está em perceber até que ponto são os consumidores influenciados por aquilo que é publicado nos social media, no momento de aderir a um health club. O desenvolvimento da Web 2.0 proporcionou o aparecimento de uma nova forma de comunicação através dos social media. Inicialmente apareceram como meio de comunicar entre familiares e amigos, só há pouco tempo os social media começaram a ser vistos pelas empresas como uma ferramenta de comunicação. A partir de então a forma de comunicar das empresas sofreu significativas alterações. Como consequência desta nova forma de comunicação, deparamo-nos com uns consumidores mais informados, activos e exigentes que exercem um maior controlo sobre consumo que fazem dos media. De acordo com um estudo da Marktest de 2013, é o Facebook que lidera as preferências dos utilizadores das redes sociais. Numa sociedade de consumo onde reina o culto ao corpo, o desporto assume actualmente um papel fulcral no bem-estar dos indivíduos pois não só é visto como meio para se melhorar as condições físicas e de saúde mas também como meio de relaxamento e anti-stress. Desde os anos 80 que se tem vindo a multiplicar os health clubs pelos centros urbanos, altura em que a prática de exercício físico começou a assumir uma maior regularidade na vida dos portugueses. No entanto, constatamos nos dias de hoje que existe uma grande preocupação em corresponderem às necessidades da sociedade relativamente à prática de actividade física. De modo a perceber-se melhor esta problemática foi desenvolvida uma investigação focada nas páginas na rede social Facebook de health clubs do mercado português. Neste estudo foram utilizados estudos do tipo qualitativo e quantitativo. No que respeita ao método qualitativo recorremos a duas entrevistas exploratórias estruturadas a responsáveis pela concepção e implementação das estratégias de Marketing Digital nos departamentos de Comunicação e Marketing de dois diferentes health clubs. Por outro lado, utilizamos o inquérito por questionário, onde foram recolhidas cem respostas, e a observação directa às páginas do Facebook do Fitness Hut Arco do Cego, Solinca, Holmes Place Alvalade e Virgin Active Portugal em dois diferentes dias. Apesar de se concluir que a maioria dos inquiridos não só tem conhecimento que o health club que frequenta tem página numa rede social como também é seguidor/amigo/colocou um like na mesma, a percentagem de inquiridos que afirma que a sua decisão no momento de escolha em aderir a um health club foi condicionada por um comentário que publicado numa rede social é bastante reduzida. Porém, a mesma situação aplicada a comentários/ posts num blogue ainda é mais insignificante. Outra conclusão a que chegámos prende-se com o facto das páginas de Facebook dos health clubs estarem, pelo conteúdo publicado, mais direccionadas para satisfazer as necessidades dos consumidores que já são clientes do que para conquistar novos.