A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Innovation through virtual communities of practice: motivations and constraints in the knowledge-creation process

This paper appears in International Journal of Projectics. Vol 4(1), pp. 39-49

Bacterial inter-species communication mediated by the autoinducer-2 signal

Dissertation presented to obtain the Ph.D degree in Biology by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica, Instituto Gulbenkian de Ciência.

A communication strategy for Continente: Practical, low priced and healthy eating solutions

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

Cell-to cell Communication in Pectobacterium wasabiae

Dissertation presented to obtain the PhD degree in Biology

Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

Methodology for WSN communication technologies automated field tests

Wireless Sensor Networks(WSN) are networks of devices used to sense and act that applies wireless radios to communicate. To achieve a successful implementation of a wireless device it is necessary to take in consideration the existence of a wide variety of radios available, a large number of communication parameters (payload, duty cycle, etc.) and environmental conditions that may affect the device’s behaviour. However, to evaluate a specific radio towards a unique application it might be necessary to conduct trial experiments, with such a vast amount of devices, communication parameters and environmental conditions to take into consideration the number of trial cases generated can be surprisingly high. Thus, making trial experiments to achieve manual validation of wireless communication technologies becomes unsuitable due to the existence of a high number of trial cases on the field. To overcome this technological issue an automated test methodology was introduced, presenting the possibility to acquire data regarding the device’s behaviour when testing several technologies and parameters that care for a specific analysis. Therefore, this method advances the validation and analysis process of the wireless radios and allows the validation to be done without the need of specific and in depth knowledge about wireless devices.

The global shopper & brands communication at airports

This project aims to illuminate two perspectives on travel retail. On the one hand, it describes the main character of the shopping scenario at airports, namely the Global Shopper. It covers the entire profile of the referred character, the main nationalities that represent him and the current shopping trends of the passenger. Also estimates of the booming nationalities and the future purchasing trends are accurately presented. On the other hand, the travel retail market is analyzed from the airport brands’ perspective. It is described what is currently done in terms of brands communication in the top ten airports around the world and the expected future market retail trends. To accurately explore the Global Shopper behavior and purchasing preferences, a market research was conducted with a sample of 128 respondents, male and female, from different nationalities, age groups, occupation and education backgrounds. The essay tests hypothesis regarding the relevance of several variables in the purchasing process of the Global Shopper in order to understand the most pleasant way to approach consumers in travel retail. The main variables studied concern the reasons to shop at airports, to whom the passenger shops, the preferred category and brand of purchase, feelings while shopping abroad, impulsive buying behavior, brand loyalty, the use of mobile devices in the shopping process, brands communication at airports, pre-ordering online and the attitude towards self-service stores. Some findings were in accordance with expectations, while others were a surprise and may produce valuable recommendations for future travel retail practices. 4 The main relevant results concern two areas, namely pre-ordering online and self-service stores. Results showed a certain stress about not having enough time to choose between the various offerings in travel retail, as well as difficulty in dealing with crowed stores. However, pre-ordering online was not common, which would be an initiative that could solve the discomfort at airport’s stores. Moreover, self-service would promote efficiency in stores allowing passengers to save time if they already know how to go through the shopping process by themselves. Another possible recommendation concerns differentiating the strategy in travel retail for the two genders. Some differences were found in the categories bought by male and female, as well as to how brands should shape their approach concerning the demands of each gender.

Human-Human Collaboration in Virtual Teams

Extended and networked enterprises distribute the design of products, planning of the production process, and manufacturing regionally if not globally. Employees are therefore confronted with collaborative work over remote sites. A cost effective collaboration depends highly on the organization maintaining a common understanding for this kind of work and a suitable support with information and communication technology. The usual face to face work is going to be replaced at least partly if not totally by computer mediated collaboration. Creating and maintaining virtual teams is a challenge to work conditions as well as technology. New developments on cost-effective connections are providing not only vision and auditory perception but also haptic perception. Research results for improving remote collaboration are presented. Individual, social and cultural aspects are considered as new requirements on the employees of networked and extended enterprises.

Teamwork and Gendered Work Cultures: The Case of Finland

In this article I focus on women workers’ experiences of transformation from line work to teamworking in Finnish clothing companies in the 1990s and also show what happened after this transformation in the clothing branch. The undertone of it is rather melancholic. Following an initial period of intensive and successful development, clothing work was moved from Finland to countries of cheap labour, such as Estonia, Latvia, Lithuania and Russia, and even China. In this type of network manufacturing, the development of modern information and communication technologies played a central role. My aim is to present the standpoint of women clothing workers in this process. The main body of the empirical data of my study consists of dialogues with clothing workers, union representatives, supervisors and managers. I also make use of my fieldwork notes, memos and research diaries from three companies over a period of five years. Furthermore, in the background lie the action research material from Scandinavian type work conferences and the survey material of an extensive mail inquiry that covered the whole branch in Finland. My own research started in 1991 as a mail inquiry and then continued as a case study in companies from 1992 to 2000, by employing action research and ethnographic methodologies.

The sociological perspective on the knowledge-based society: assumptions, facts and visions

The paper will present the central discourse of the knowledge-based society. Already in the 1960s the debate of the industrial society already raised the question whether there can be considered a paradigm shift towards a knowledge-based society. Some prominent authors already foreseen ‘knowledge’ as the main indicator in order to displace ‘labour’ and ‘capital’ as the main driving forces of the capitalistic development. Today on the political level and also in many scientific disciplines the assumption that we are already living in a knowledge-based society seems obvious. Although we still do not have a theory of the knowledge-based society and there still exist a methodological gap about the empirical indicators, the vision of a knowledge-based society determines at least the perception of the Western societies. In a first step the author will pinpoint the assumptions about the knowledge-based society on three levels: on the societal, on the organisational and on the individual level. These assumptions are relied on the following topics: a) The role of the information and communication technologies; b) The dynamic development of globalisation as an ‘evolutionary’ process; c) The increasing importance of knowledge management within organisations; d) The changing role of the state within the economic processes. Not only the differentiation between the levels but also the revision of the assumptions of a knowledge-based society will show that the ‘topics raised in the debates’ cannot be considered as the results of a profound societal paradigm shift. However what seems very impressive is the normative and virtual shift towards a concept of modernity, which strongly focuses on the role of technology as a driving force as well as on the global economic markets, which has to be accepted. Therefore – according to the official debate - the successful adaptation of these processes seems the only way to meet the knowledge-based society. Analysing the societal changes on the three levels, the label ‘knowledge-based society’ can be seen critically. Therefore the main question of Theodor W. Adorno during the 16th Congress of Sociology in 1968 did not loose its actuality. Facing the societal changes he asked whether we are still living in the industrial society or already in a post-industrial state. Thinking about the knowledge-based society according to these two options, this exercise would enrich the whole debate in terms of social inequality, political, economic exclusion processes and at least the power relationship between social groups.

Foresight methodologies to understand changes in the labour process. Experience from Portugal

The foresight and scenario building methods can be an interesting reference for social sciences, especially in terms of innovative methods for labour process analysis. A scenario – as a central concept for the prospective analysis – can be considered as a rich and detailed portrait of a plausible future world. It can be a useful tool for policy-makers to grasp problems clearly and comprehensively, and to better pinpoint challenges as well as opportunities in an overall framework. The features of the foresight methods are being used in some labour policy making experiences. Case studies developed in Portugal will be presented, and some conclusions will be drawn in order to organise a set of principles for foresight analysis applied to the European project WORKS on the work organisation re-structuring in the knowledge society, and on the work design methods for new management structures of virtual organisations.

Unlimited or disrupted communication? How does the development of the mobile phone effect our ability of social action?

The aim of this essay is to discuss the thesis of the German Sociologist Günter Burkhart that in modern societies a phenomenon appeared which he calls “handymania”, an excessive and nearly addictive use of the mobile phones especially from adolescents. After a short overview about the history of the cell phone, I will relate this development to Jürgen Habermas “theory of communicative action”, more precisely to his diagnosis of a pathological society (“lifeworld”) to find out if the “handymania” could be one expression of it. Adjacent I will present social-psychological theories from E.H.Erikson and Tilmann Habermas to ascertain whether juveniles could really be a high-risk group for this kind of addiction. I will focus on the ability to communicate in an Habermasian way that could be seriously harmed by the unregulated usage of cell phones.

Risk management of new product development process

Dissertation submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa for the achievement of Integrated Master´s degree in Industrial Management Engineering

A green integrated process for biodiesel production

Dissertation presented at Faculdade de Ciências e Tecnologia from Universidade Nova de Lisboa to obtain the degree of Master in Chemical and Biochemical Engineering