Smells Like Spleen Spirit: O Decadentismo na América da Segunda Metade do Século XX

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Línguas Literaturas e Culturas

A consumer research project as the basis for the development of a marketing plan for a new spirit brand producing gin in Germany

This work project is about developing a marketing plan for a new gin brand in Germany. It is based on consumer and market research, including Portugal as a trend market for the qualitative research. For the undertaking it is seen as fundamental to understand the industry as well as the consumer needs, attitudes and preferences. Furthermore, it is important to consider the estimation of opinion leaders and trendsetters in the industry. In this context it turned out that barkeepers have a key-influencing role for the stimulation of demand. Based on the insights from this research as well as on the gained market knowledge, the marketing plan was developed. The goal is to convince other brand users to switch brands.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

RAISING INTERCULTURAL AWARENESS AT PRIMARY LEVEL THROUGH STORYTELLING WITHIN A CLIL APPROACH

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Inglês

Ser lean project-internship at Millennium BCP

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

War and propaganda in the XXth Century

Propaganda represented the sacrifice of soldiers in war and praised the power of the country. It has been around these images that all over the world entire populations were mobilized on the expectation of victory. Through the static image of printed posters or the newspaper news projected in cinemas all over the globe, governments sought to promote a patriotic spirit, encouraging the effort of individual sacrifice by sending a clear set of messages that directly appealed to the voluntary enlistment in the armies, messages that explained the important of rationing essential goods, of the intensification of food production or the purchase of war bonds, exacerbating feelings, arousing emotions and projecting an image divided between the notion of superiority and the idea of fear of the opponent. From press, in the First World War, to radio in World War II, to television and cinema from the 1950s onwards, propaganda proved to be a weapon as deadly as those managed by soldiers in the battlefield. That’s why it is essential to analyse and discuss the topic of War and Propaganda in the Twentieth Century. This conference is organized by the IHC and the CEIS20 and is part of the Centennial Program of the Great War, organized by the IHC, and the International Centennial Program coordinated by the Imperial War Museum in London.

Complexity Simplicity Simplexity

“In the midst of order, there is chaos; but in the midst of chaos, there is order”, John Gribbin wrote in his book Deep Simplicity (p.76). In this dialectical spirit, we discuss the generative tension between complexity and simplicity in the theory and practice of management and organization. Complexity theory suggests that the relationship between complex environments and complex organizations advanced by the well-known Ashby’s law, may be reconsidered: only simple organization provides enough space for individual agency to match environmental turbulence in the form of complex organizational responses. We suggest that complex organizing may be paradoxically facilitated by a simple infrastructure, and that the theory of organizations may be viewed as resulting from the interplay between simplicity and complexity.

Staging the Scientist: The Representation of Science and its Processes in American and British Drama

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Estudos Ingleses e Norte Americanos

Ser lean project- Internship at Millennium BCP

Financial institutions are turning their attentions to lean methodology. Strong competitive financial markets demand that organizations search for new ways to achieve competitive advantage. Lean thinking proposes a new method to reach high efficiency: the kaizen approach, which advocates a change in the mind set of all stakeholders towards continuous improvement. In this work project is represented the lean methodology applied at the bank, from a bottom-up spirit, as well as the evaluation of the benefits and the achievement of the proposed goals.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Visual politics of the estado novo realized on the Alameda Dom Afonso Henriques in Lisbon – the construction of ideal citizenship?

The stylistic categorization of the Estado Novo has been intensely discussed by Portuguese art historians. The square Alameda Dom Afonso Henriques in Lisbon (Alameda) can be seen as paradigmatic for the architecture of power of the Estado Novo. The Alameda forms a gardened valley between two hills. There you find two prominent and highly propagandist buildings: The Instituto Superior Técnico (IST) and the Fonte Luminosa are dedicated to modern sciences and respectively to the harmonious contribution of nature to the city. The iconography of the Alameda as well as its incorporation into the propagandist use of urban planning in the 1930s and 1940s exemplify the visual politics during Salazarism. Urban planning programs intended to create cities that would preserve the character of a traditional catholic society and at the same time answer to the need to modernize the country and evoke the image of a progressive state. Thus, public buildings and urban squares such as the Alameda contributed to design a corporate image and to the ‘spirit’ of the regime.