Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Exploração da linguagem Scala para suporte a aplicações paralelas

Nos anos mais recentes tem sido feita investigação no uso da Programação Orientada a Aspectos no suporte a computação paralela, nomeadamente para conseguir guardar as funcionalidades da mesma em módulos, algo que não é possível quando se utiliza Programação Orientada a Objectos. Um resultado desta investigação foi o desenvolvimento de uma aplicação, o ParJECoLi, desenvolvida usando a linguagem Java e recorrendo ao AspectJ para paralelizar a mesma. No entanto, durante essa mesma investigação, chegou-se à conclusão que o AspectJ apresenta algumas limitações na reutilização de módulos. Tendo em conta isso, surgiu a ideia de estudar uma outra linguagem de programação, conceptualmente diferente da usada na investigação. A linguagem Scala é conhecida por ter uma capacidade de composição modular flexível. Como tal parece interessante entender até que ponto é capaz de substituir AspectJ no suporte modular à computação paralela. Este projecto pretende aferir essa capacidade. Neste contexto, pretende-se usar o ParJECoLi como caso de estudo para dirigir comparações entre Scala e AspectJ.

The patent expiry as a major inflection point in a branded Rx drug's life and strategies to counter generic competition - exemplified at Pfizer's blockbuster drug Lipitor in the USA

A large number of expensive, but highly profitable branded prescription drugs will go off-patent in the USA between 2011 and 2015. Their revenues are crucial to fund the immense costs associated with the development of an innovative drug. The rising cost pressure on pharmaceutical stakeholders has increased the demand for more affordable medications, as provided by the branded drug's generic counterpart. Yet, research based incumbents are moving beyond the traditional late lifecycle strategies and deploy more aggressive tactics in order to protect their brands, as seen with Pfizer's Lipitor!. It is doubtful, whether these efforts will help the blockbuster business model to resist current market conditions.

Stratification and peer effects: An analysis of Lisbon public schools

Educational stratification has been a difficult subject to deal with having yet no study shown a quantitative measure of it. Using the idea of distribution comparison a measure based on parents’ education is built for the primary schools in Lisbon. Upon the confirmation that Lisbon is stratified, I use the measure of peer effects based on stratification and determine its impact on test scores, concluding that the existence of stratification improves scores of students in schools with more educated parents and decreases scores of students in schools with less educated parents. Moreover, using fixed effects I derive the conclusion that the measure of peers’ characteristics helps explain most of differences among schools.

Reactive electron scattering from biomolecules and technologically relevant molecules

The role of a set of gases relevant within the context of biomolecules and technologically relevant molecules under the interaction of low-energy electrons was studied in an effort to contribute to the understanding of the underlying processes yielding negative ion formation. The results are relevant within the context of damage to living material exposed to energetic radiation, to the role of dopants in the ion-molecule chemistry processes, to Electron Beam Induced Deposition (EBID) and Ion Beam Induced Deposition (IBID) techniques. The research described in this thesis addresses dissociative electron attachment (DEA) and electron transfer studies involving experimental setups from the University of Innsbruck, Austria and Universidade Nova de Lisboa, Portugal, respectively. This thesis presents DEA studies, obtained by a double focusing mass spectrometer, of dimethyl disulphide (C2H6S2), two isomers, enflurane and isoflurane (C3F5Cl5) and two chlorinated ethanes, pentachloroethane (C2HCl5) and hexachloroethane (C2Cl6), along with quantum chemical calculations providing information on the molecular orbitals as well as thermochemical thresholds of anion formation for enflurane, isoflurane, pentachloroethane and hexachloroethane. The experiments represent the most accurate DEA studies to these molecules, with significant differences from previous work reported in the literature. As far as electron transfer studies are concerned, negative ion formation in collisions of neutral potassium atoms with N1 and N3 methylated pyrimidine molecules were obtained by time-of-flight mass spectrometry (TOF). The results obtained allowed to propose concerted mechanisms for site and bond selective excision of bonds.

Controlo remoto de um robô com recurso ao sistema Android

A interação homem-máquina é muitas vezes um processo excessivamente artificial. Para o homem constitui um desafio permanente a otimização dessa interação capaz de controlar a máquina de modo mais eficiente através de uma maior simplicidade de procedimentos. Este estudo sugere uma forma facilitadora desse controlo. Neste caso, pretende-se controlar um robô por meio de tele-operação, sem contacto visual direto. Um robô incorporando uma câmara é controlado através de um smartphone, que para tal, irá exibir na sua interface a visão do robô e um painel tátil para o controlar. No que diz respeito ao controlo, foram desenvolvidos dois modos de condução, um manual e outro com a velocidade assistida, recorrendo à lei de potência 2/3. Deste modo, deseja-se mostrar que o modo de condução de velocidade assistida facilita a condução ao homem. Com essa finalidade, foi implementado um sistema assente na construção de um robô e no desenvolvimento de uma aplicação Android para controlo do mesmo. Com recurso a este sistema, foi elaborada uma experiência, da qual foram recolhidos dados a fim de testar a hipótese que um robô que implementa leis biológicas no seu modo de funcionamento, facilita a interação homem-máquina.

Peer interaction and learning opportunities in cohesive and less cohesive L2 classrooms

The present study investigates peer to peer oral interaction in two task based language teaching classrooms, one of which was a self-declared cohesive group, and the other a self- declared less cohesive group, both at B1 level. It studies how learners talk cohesion into being and considers how this talk leads to learning opportunities in these groups. The study was classroom-based and was carried out over the period of an academic year. Research was conducted in the classrooms and the tasks were part of regular class work. The research was framed within a sociocognitive perspective of second language learning and data came from a number of sources, namely questionnaires, interviews and audio recorded talk of dyads, triads and groups of four students completing a total of eight oral tasks. These audio recordings were transcribed and analysed qualitatively for interactions which encouraged a positive social dimension and behaviours which led to learning opportunities, using conversation analysis. In addition, recordings were analysed quantitatively for learning opportunities and quantity and quality of language produced. Results show that learners in both classes exhibited multiple behaviours in interaction which could promote a positive social dimension, although behaviours which could discourage positive affect amongst group members were also found. Analysis of interactions also revealed the many ways in which learners in both the cohesive and less cohesive class created learning opportunities. Further qualitative analysis of these interactions showed that a number of factors including how learners approach a task, the decisions they make at zones of interactional transition and the affective relationship between participants influence the amount of learning opportunities created, as well as the quality and quantity of language produced. The main conclusion of the study is that it is not the cohesive nature of the group as a whole but the nature of the relationship between the individual members of the small group completing the task which influences the effectiveness of oral interaction for learning.This study contributes to our understanding of the way in which learners individualise the learning space and highlights the situated nature of language learning. It shows how individuals interact with each other and the task, and how talk in interaction changes moment-by-moment as learners react to the ‘here and now’ of the classroom environment.

Community indentification in peer-t-peer collaborative consumption services

Even though collaborative consumption (CC) is gaining economic importance, research in CC is still in its infancy. Consumers’ reasons for participating have already been investigated but little research on consequences of participation has been conducted. This article examines whether interactions between customers in peer-to-peer CC services influence the willingness to coproduce service outcomes. Drawing on social exchange theory, it is proposed that this effect is mediated by consumers’ identification with the brand community. Furthermore, continuance intention in CC is introduced as a second stage moderator. In a cross-sectional study, customers of peer-to-peer accommodation sharing are surveyed. While customer-to-customer interactions were found to have a positive effect on brand community identification, brand community identification did not positively affect co-production intention. Surprisingly, the effect of brand community identification on co-production intention was negative. Moreover, continuance intention of customers did not moderate this relationship. Bearing in mind current challenges for researchers and companies, theoretical and managerial implications are discussed.