ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

O perfil e as motivações do visitante gastronómico e do enoturista de Guimarães

Dissertação de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

A comunicação online: a página Web como o BIO Empresarial: estratégias de comunicação visual e web design

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Audiovisuais e Multimédia)

Imagem de destinos turísticos: um estudo sobre as publicações brasileiras

Os estudos referentes ao turismo dedicam-se à compreensão de diferentes temas, sendo que um bastante analisado à escala internacional é a questão da imagem de um destino turístico. O interesse por este tema é percebido em diversas áreas do conhecimento, como a sociologia e o marketing. No Brasil, há diversos pesquisadores dedicando-se à imagem dos destinos turísticos. Assim, buscando compreender de que forma este tema tem sido trabalhado no Brasil, este estudo de caráter bibliográfico teve como objetivo analisar e compreender as publicações sobre imagem de destinos turísticos em periódicos brasileiros, nos últimos seis anos (2008-2014). A partir de um levantamento dos artigos publicados neste período, usando como ferramenta de busca o site “Publicações de Turismo”, foram identificados vinte e oito artigos. A análise permitiu verificar que os estudos estão concentrados na compreensão da imagem de um determinado destino. Os artigos analisados são predominantemente estudos empíricos e há um equilíbrio entre os de caráter quantitativo e qualitativo. No que diz respeito à bibliografia, foi possível identificar que os autores brasileiros que têm trabalhado com o tema de imagem de destinos, já buscam bibliografias internacionais para fundamentar os seus estudos. Também nos trabalhos sobre este tema, identificou-se uma maior maturidade dos autores no que diz respeito à utilização das ferramentas estatísticas. Alguns estudos fazem uma análise aprofundada dos estudos internacionais e aplicam estas teorias no Brasil. Conclui-se que este tema tem sido estudado com maior profundidade no país, se comparado com os temas como o da percepção de residentes.

O desenvolvimento do pensamento abstrato através de game-based learning e do Scratch

Relatório de estágio de mestrado em Ensino de Informática

Step towards to improve the voluntary interruption of pregnancy by means of business intelligence

With the implementation of Information and Communication Technologies in the health sector, it became possible the existence of an electronic record of information for patients, enabling the storage and the availability of their information in databases. However, without the implementation of a Business Intelligence (BI) system, this information has no value. Thus, the major motivation of this paper is to create a decision support system that allows the transformation of information into knowledge, giving usability to the stored data. The particular case addressed in this chapter is the Centro Materno Infantil do Norte, in particular the Voluntary Interruption of Pregnancy unit. With the creation of a BI system for this module, it is possible to design an interoperable, pervasive and real-time platform to support the decision-making process of health professionals, based on cases that occurred. Furthermore, this platform enables the automation of the process for obtaining key performance indicators that are presented annually by this health institution. In this chapter, the BI system implemented in the VIP unity in CMIN, some of the KPIs evaluated as well as the benefits of this implementation are presented.

Pinterest: um estudo de eye tracking

Dissertação de mestrado em Média Interativos