Automatically estimating iSAX parameters

The Symbolic Aggregate Approximation (iSAX) is widely used in time series data mining. Its popularity arises from the fact that it largely reduces time series size, it is symbolic, allows lower bounding and is space efficient. However, it requires setting two parameters: the symbolic length and alphabet size, which limits the applicability of the technique. The optimal parameter values are highly application dependent. Typically, they are either set to a fixed value or experimentally probed for the best configuration. In this work we propose an approach to automatically estimate iSAX’s parameters. The approach – AutoiSAX – not only discovers the best parameter setting for each time series in the database, but also finds the alphabet size for each iSAX symbol within the same word. It is based on simple and intuitive ideas from time series complexity and statistics. The technique can be smoothly embedded in existing data mining tasks as an efficient sub-routine. We analyze its impact in visualization interpretability, classification accuracy and motif mining. Our contribution aims to make iSAX a more general approach as it evolves towards a parameter-free method.

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)

Introduction [to Contact force models for multibody dynamics]

"Series: Solid mechanics and its applications, vol. 226"

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.

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.

Determinação da média aritmética e desvio padrão de quocientes de séries independentes e dependentes

The authors prove some approximate formulas for the computation of the mean and the standard error of quotients of two variates, correlated or uncorrelated, with not too high coefficient of variation. The formulas obtained are subsequently applied to some date on mensuration of horses of the Brazilian breed Mangalarga, by the eclectic system of LESBRE. The relsults obtained directly by the actual computation of the quotients as well as by means of the formulas with the aid of statistics of the numerators and the denominators are given in table 3, showing excellent agreement.

Algebraic extensions in free groups

The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were given. We develop a theory of algebraic extensions for free groups, highlighting the analogies and differences with respect to the corresponding classical fieldt heoretic notions, and we discuss in detail the notion of algebraic closure. We apply that theory to the study and the computation of certain algebraic properties of subgroups (e.g. being malnormal, pure, inert or compressed, being closed in certain profinite topologies) and the corresponding closure operators. We also analyze the closure of a subgroup under the addition of solutions of certain sets of equations.