Ensino de bases de dados : testes, deteção de erros e correções

Relatório da prática de ensino supervisionada, Mestrado em Ensino de Informática, Universidade de Lisboa, 2014

Monsenhor Airosa - pedagogo - empresário : história do colégio de regeneração de Braga : (1869-1931)

Tese de doutoramento, Educação (História da Educação), Universidade de Lisboa, Instituto de Educação, 2015

Variety of Media Systems in Third-Wave Democracies

The number of comparative studies in the field of political communication increased considerably after Daniel Hallin and Paolo Mancini's publication of comparing Media systems. In this book, four dimensions are used to distinguish between the media environments in western countries around the year 2000: press market development, parallelism between parties and media outlets, state intervention in the realm of media, and levels of journalist professionalization. The authors conclude that in western Europe and North America three types of media systems coexisted: a polarized pluralist model (in southern Europe), a democratic corporatist model (in scandinavia and some western European countries), and a liberal model (Canada, USA, Ireland, and the UK). Within this framework, both Portugal and Spain are described as polarized pluralist media systems, given their weak press markets and low patterns of journalistic professionalization, as well as strong state intervention in the realm of media and parallelism between media outlets and political parties.

Changing climate, changing decisions : understanding climate adaptation decision-making and the way science supports it

Tese de doutoramento, Ciências do Ambiente, Universidade de Lisboa, Faculdade de Ciências, Universidade Nova de Lisboa, 2015

No rastro de dores : trajetórias de vida e registros de superação em narrativas de mulheres negras com experiência de relações afetivo-sexuais com outras mulheres

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Sociais, Departamento de Antropologia, Programa de Pós-graduação em Antropologia Social, 2015.

Sigma Chapter of Phi Mu Alpha Sinfonia presents Northwest Composers in their Third Annual Symposium of Original Compositions, 1942

Concert Program for Sigma Chapter of Phi Mu Alpha Sinfonia presents Northwest Composers in their Third Annual Symposium of Original Compositions, 1942

Something to show for it: the place of mementoes in women’s oral histories of work

Workplace memorabilia, regarded here as artifacts and mementoes kept from workplaces and stored in homes, is varied, including; tools of a trade, ephemeral leaflets and pamphlets, union mementoes, uniforms and badges, long service awards, gifts from colleagues, and photographs both formal and informal. These objects can symbolize many years of work-life history and the corollary of this, their absence, perhaps the need to forget the drudgery of ‘the daily grind’. The materiality of an object saved or taken from the workplace often prompts reminiscence (Bornat, 2001) but can also, in itself and its method of display, represent and express key identities, work processes and traditions. Using examples from a three year ESRC funded project on work and identity this paper focuses on the women who participated in the study and investigates what is kept or not, whether the ways in which work memorabilia is displayed or stored is gendered, and how this might illuminate gendered social relations in the workplace and gendered work identities.

Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.