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 simbólico como estratégia para a alteração comportamental: o caso Águas do Porto

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

O livro na revista: como revistas semanais brasileiras e portuguesas abordam livros e literatura

Dissertação de mestrado em Comunicação, Arte e Cultura

Gender and media: where do we stand today?

Nowadays, the public discourses about gender equality are commonly accepted in Western society. In fact, we live in an era of “equality illusion” (Banyard, 2010) because the mainstream discourses incorporate gender in the agenda, conveying the message that feminist struggles are unnecessary today. At the same time, postfeminism (McRobbie, 2004) gains importance and demonstrates the intricacies of a neoliberal, highly individualist culture that subtly imprisons the freedoms that it is supposed to grant (Gill & Scharff, 2011). However, back in 1978, Gaye Tuchman used the expression “symbolic annihilation” to refer to how the media represented women. The author refers to a “symbolic annihilation” because sometimes it is so hidden and subtle that it becomes difficult to perceive – and to be fought. Much has improved since then; yet a lot remains the same. Over the past decades there have been marked changes in gender relations, in feminist activism, in the (media) communication industry and in society in general (Byerly, 2013; Carter, Steiner & McLaughlin, 2015; Gallagher, 2014; Gallego, 2013; Krijnen, Álvares & Van Bauwel, 2011; Krijnen & Van Bauwel, 2015; Lobo, Silveirinha, Subtil, & Torres, 2015; Ross, 2009; Silveirinha, 2001; Van Zoonen, 1994, 2010). Now, in a globalised and media saturated world, the gendered picture is, consequently, different. The contemporary grammar is marked by diverse and complex tensions (van Zoonen, 2010).

Materializar afetos: entre universos e registos da memória familiar burguesa e os seus usos sociais

Dissertação de mestrado em História

Velhas e novas drogas: impactos da toxicodependência: estudo de caso na cidade de Braga

Dissertação de mestrado em Sociologia (área de especialização em Organizações e Trabalho)

Contribution to an efficient transmission of information to the textile fashion consumer and the influence in sustainable attitudes

The concepts involved in sustainable textile fashion, demanding good knowledge about raw materials, processes, end use properties and circuits amongst others, are able to determine the way the textile product is designed and the behavior of the consumer, regarding life style and buying decisions. The textile product`s life integrates raw materials, their processing, distribution, use by the consumer and destination of the product after useful lifetime, this is, his complete life cycle. It is very important to recognize the power of the consumer to influence parameters related to sustainability, namely when he decides how, when and why he buys and afterwards by the attitudes taken during and after use. The conscious act of consumption involves ethical, ecological and technical knowledge in which the concern is overall lifecycle of the fashion product and not exclusively aesthetic and symbolic values strongly related with its ephemeral nature. The present work proposes the classification of textile products by means of an innovative label aiming to establish a rating related to the Life of Fashion Products, by using parameters considered with especial impact in lifecycle, as textile fibers, processing conditions, generated wastes, commercialization circuits, durability and cleaning procedures. This label for sustainable fashion products aims to assist the stakeholders with informed attitudes and correct decisions in order to promote the objectives of sustainable fashion near designers, consumers and industrial experts.

Fragmento e ruína: retratos modernos

"Cadernos de literatura comparada, nº. 28 (2013) - Modernismos revisitados, 1912-2012"

O plano de Kenzo Tange para a reconstrução de Skopje: contexto, desenho e evolução

Dissertação de mestrado integrado em Arquitectura (área de especialização de Cultura Arquitectónica)

In search of a language textile and text in contemporary women's art

This research uses the textile/text axis concept as a conceptual tool to investigate the role of textile and text in contemporary women’s art practice and theorizing, investigating textile as a largely hitherto unacknowledged element in women’s art practice of the late 20th and early 21st centuries. Textile and text share a common etymological root, from the Latin textere to weave, textus a fabric. The thesis illuminates the pathways whereby textile and text played an important role in women reclaiming a speaking voice as creators of culture and signification during a revolutionary period of renewal in women’s cultural contribution and positioning. The methodological approach used in the research consisted of a comprehensive literature review, the compilation of an inventory of relevant women artists, developing a classificatory system differentiating types of approaches, concerns and concepts underpinning women’s art practice vis a vis the textile/text axis and a series of three in-depth case studies of artists Tracey Emin, Louise Bourgeois and Faith Ringgold. The thesis points to the fact that contemporary women artists and theorists have rounded their art practice and aesthetic discourse in textile as prime visual metaphor and signifier, turning towards the ancient language of textile not merely to reclaim a speaking voice but to occupy a ground breaking locus of signification and representation in contemporary culture. The textile/text axis facilitated women artists in powerfully countering a culturally inscribed status of Lacanian ‘no-woman’ (a position of abjection, absence and lack in the phallocentric symbolic). Turning towards a language of aeons, textile as fertile wellspring, the thesis identifies the methodologies and strategies whereby women artists have inserted their webs of subjectivities and deepest concerns into the records and discourses of contemporary culture. Presenting an anatomy of the textile/text axis, the thesis identifies nine component elements manifesting in contemporary women’s aesthetic practice and discourse. In this cultural renaissance, the textile/text axis, the thesis suggests, served as a complex lexicon, a system of labyrinthine references and signification, a site of layered meanings and ambiguities, a body proxy and a corporeal cartography, facilitating a revolution in women’s aesthetic praxis.

Komponentenorientierte Modellierung elektrischer Systeme in der Mechatronik

Object-oriented simulation, mechatronic systems, non-iterative algorithm, electric components, piezo-actuator, symbolic computation, Maple, Sparse-Tableau, Library of components

Sôbre uma propriedade da equação utilizada para interpolação da Lei de Mitscherlich

The author proves that equation, Σy n ΣZx | ΣxyZx ΣxZx ΣxZ2x | = 0, Σy ΣZx Σy2x | where Z = 10-cq and q is a numerical constant, used by Pimentel Gomes and Malavolta in several articles for the interpolation of Mitscherlih's equation y = A [ 1 - 10 - c (x + b) ] by the least squares method, always has a zero of order three for Z = 1. Therefore, equation A Zm + A1Zm -1 + ........... + Am = 0 obtained from that determinant can be divided by (Z-1)³. This property provides a good test for the correctness of the computations and facilitates the solution of the equation.

A amostragem da cana-de-açúcar para determinações tecnológicas

The authors carried out 3 experiments on the sampling of sugar cane for technological determinations, one with each of the varieties Co 419, CB 40-69 and CB 41-58, in Piracicaba, State of São Paulo, Brasil. The main intent of the project was to compare 2 methods of sampling, namely: 1) Method A, where the sample is a hill (CATANI et al, 1959) or, more generally, 20 stalks all together in a randomly selected point of the furrow; 2) Method B, where 20 stalks are taken, from 20 points evenly spread but on the whole plot. Coefficients of variation for 20 stalk samples Variety Characteristic 20 stalks per hill 1 stalk per hill Brix 4.8% 1.9% Pol 6.4% 2.5% CB 40-69 Coefficient of purity 2.1% 0.83% Available sucrose 7.3% 2.7% Weight 6.6% 6.9% Brix 5.3% 1.8% Pol 7.6% 2.6% Co 419 Coefficient of purity 2.9% 1.0% Available sucrose 8.6% 3.0% Weight 21.2% 6.5% Brix 2.8% 1.4% Pol 4.1% 1.9% CB 41-58 Coefficient of purity 1.8% 0.8% Available sucrose 5.0% 2.2% Weight 10.9% 6.2% For the 3 varieties studied and for the data on Brix, pol, coefficient of purity, available sucrose and weight, analyses of variance were carried out. Further computations led to the following coefficients of variation. For available sucrose, which is probably the most important characteristic studied, the average coefficient of variation for the 3 varieties was 2.7%, for the case of method B, that is, 20 stalk samples, one stalk per hill. Assuming this coefficient of variation, in a trial with 5 treatments and 6 replications, in randomised blocks, the least significant difference among treatment means, at the 5% level, would be 4.7% of available sucrose by Tukey's test, and 3.3% by the t test. For the case of method A the average coefficient of variation is 7.0% and, in similar conditions, the least significant difference would be 15.1% by Tukey's test, and 12.1% by the t test. Since differences of available sucrose among treatments in experiments with fertilizers seldom are higher than 3 or 4% of the mean (PIMENTEL GOMES & CARDOSO, 1958), method B with a 20 stalk sample per plot gives more or less the minimum amount of cane to be sampled for technological determinations. In experiments with varieties, however, where differences may be assumed to be higher, a sample of 10 to 20 stalks one per hill, can be enough.

Nuclear Weapons as Symbols. The Role of Norms in Nuclear Policy Making

Throughout history, nuclear weapons have been considered to be the ultimate weapons. This understanding largely detached them from the portfolio of conventional military means and assigned them a symbolic meaning that influenced the identity and norms creation of nations. In most countries today, the development of nuclear weapons is considered morally prohibitive, incompatible with a country’s identity and international outlook. In some states, however, these negative norms are overridden by a positive set of norms, causing nuclear weapons to become either symbols of invulnerability to perceived threats or the regalia of major power status. Main purpose of this paper is to explore on the conditions that cause most states to develop a moral aversion to nuclear weapons, yet effectively lead to their glorification in others. Many studies on the normative understanding of nuclear weapons consider the existence of a negative normative predisposition, often referred to as ‘nuclear taboo’, as a major factor in preventing their acquisition and use. Other studies acknowledge the existence of a nuclear taboo inhibiting the use of nuclear weapons, but point to the existence of the opposing effect of norms, frequently referred to as the ‘nuclear myth’, when it comes to the acquisition of nuclear weapons. This myth emerges when certain symbolic meanings are attached to nuclear weapons, such as a state’s identity, self-image, and its desired position in the international system. With 180 odd countries in the world abstaining from the acquisition of nuclear weapons and 8 countries in possession of them (with two further countries assumed to have pursued their acquisition), one might consider the dominance of the nuclear taboo over the nuclear myth to be the rule. The core question is thus why and how this relationship reversed in the case of defectors.

Learning from Shocks and the Decision to Open

Two claims pervade the literature on the political economy of market reforms: that economic crises cause reforms; and that crises matter because they bring into question the validity of the economic model held to be responsible for them. Economic crises are said to spur a process of learning that is conducive to the abandonment of failing models and to the adoption of successful models. But although these claims have become the conventional wisdom, they have been hardly tested empirically due to the lack of agreement on what constitutes a crisis and to difficulties in measuring learning from them. I propose a model of rational learning from experience and apply it to the decision to open the economy. Using data from 1964 through 1990, I show that learning from the 1982 debt crisis was relevant to the first wave of adoption of an export promotion strategy, but learning was conditional on the high variability of economic outcomes in countries that opened up to trade. Learning was also symbolic in that the sheer number of other countries that liberalized was a more important driver of others’ decisions to follow suit.