Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Medium-short-term and repetition effects of advergames on children consumer behaviour

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

Developing and validating a measure of the strength of the HRM system: Operationalizing the construct and relationships among its dimensions

The four studies in this article introduce a questionnaire to measure Strength of the HRM System (HRMSQ), a multidimensional construct, theoretically developed by Bowen and Ostroff (2004). Strength of the HRM System is a set of process characteristics that lead to effectiveness in conveying signals to employees that allow them to create a shared meaning of desired and appropriate work behaviours. Nine characteristics are suggested, grouped in three features: Distinctiveness, Consistency and Consensus. Study 1 developed and tested a questionnaire in a sample of workers from five different sectors. Study 2 cross-validated the measure in a sample of civil servants in a municipality. These two studies used performance appraisal as the reference HRM practice and led to a short version of the HRMSQ. Study 3 and Study 4 extend the HRMSQ to several common HRM practices. The HRMSQ is tested in two samples, of call center and several private and public organizations‟ workers (study 3). In study 4 the questionnaire is refined and tested with a sample from a hotel chain and finally cross-validated with two other samples, in the insurance and batteries sectors, leading to a longer version of the HRMSQ. Content analysis of several interviews with human resource managers and the Rasch model (1960, 1961, 1980), were used to define and select the indicators of the questionnaire. Convergent, discriminant and predictive validity of the measure are tested. The results of the four studies highlight the complexity of the relationships between the proposed characteristics and support the validity of a parsimonious measure of Strength of the HRM System.

Therapeutic trial in experimental tegumentary leishmaniasis caused by Leishmania (Leishmania) amazonensis. A comparative study between mefloquine and aminosidine

One hundred and eighty-two male inbred C57/BL/6 mice were infected with 3 x 106 Leishmania (Leishmania) amazonensis promastigotes of the MHOM/BR/PH8 strain by means of a subcutaneous injection in the right ear. The animals were separated in three groups: 1) oral mefloquine hydrochloride treatment (16mg/kg/day/10 days), 2) intramuscular aminosidine (Paromomycin®) treatment (20mg/kg/20 days) and 3) control. Twenty six mice of each treated group were sacrificed, one at the end of treatment (nine weeks after inoculation), and one six weeks later (fifteen weeks after inoculation). Control Group animals were sacrificed at weeks six, nine and fifteen after inoculation. There was no significant difference between Group 1 (mefloquine) and Group 3 (control) subjects. Group 2 animals (aminosidine) presented the smallest differences of all, both at the end of the treatment and six weeks later. The histopato-logical parameters have shown the following findings: a) there was no significant difference between the mefloquine treated group and the control group; the group treated with aminosidine showed fewer of vacuolated macrophages than the control group, at week 9 (end of treatment). b) both at the end of treatment and six weeks later, evaluation of tissue necrosis and tissue fibrosis revealed no differences between the treated groups. It was found that six weeks after the end of treatment, mice in the control group presented significantly more severe degrees of fibrosis than mice in the other groups. It can be concluded that mefloquine showed limited therapeutic effect in this experimental model, whereas aminosidine had a significant effect. Nevertheless, neither of them resulted in cure of the lesions.

The crisis and the firm: The case of h3

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

Problems and perspectives for Chagas disease control: in search of a realistic analysis

Chagas disease was an important medical and social problem in almost all of Latin America throughout the twentieth century. It has been combated over a broad swath of this continent over recent decades, with very satisfactory results in terms of vector and transfusional transmission. Today, a surveillance stage still remains to be consolidated, in parallel with appropriate care required for some millions of infected individuals who are today living in endemic and non-endemic areas. Contradictorily, the good results attained have generated excessive optimism and even disregard among health authorities, in relation to this disease and its control. The loss of visibility and priority may be a logical consequence, particularly in Latin American healthcare systems that are still disorganized and overburdened due to insufficiencies of financial and human resources. Consolidation of the victories against Chagas disease is attainable but depends on political will and continual attention from the most consequential protagonists in this struggle, especially the Latin American scientific community.

Spiteful Strategies. The ontogeny and the practice of spite in human interaction: an experimental game theory approach and empirical applications

As estratégias de malevolência implicam que um indivíduo pague um custo para infligir um custo superior a um oponente. Como um dos comportamentos fundamentais da sociobiologia, a malevolência tem recebido menos atenção que os seus pares o egoísmo e a cooperação. Contudo, foi estabelecido que a malevolência é uma estratégia viável em populações pequenas quando usada contra indivíduos negativamente geneticamente relacionados pois este comportamento pode i) ser eliminado naturalmente, ou ii) manter-se em equilíbrio com estratégias cooperativas devido à disponibilidade da parte de indivíduos malevolentes de pagar um custo para punir. Esta tese propõe compreender se a propensão para a malevolência nos humanos é inerente ou se esta se desenvolve com a idade. Para esse efeito, considerei duas experiências de teoria de jogos em crianças em ambiente escolar com idades entre os 6 e os 22 anos. A primeira, um jogo 2x2 foi testada com duas variantes: 1) um prémio foi atribuído a ambos os jogadores, proporcionalmente aos pontos acumulados; 2), um prémio foi atribuído ao jogador com mais pontos. O jogo foi desenhado com o intuito de causar o seguinte dilema a cada jogador: i) maximizar o seu ganho e arriscar ter menos pontos que o adversário; ou ii) decidir não maximizar o seu ganho, garantindo que este não era inferior ao do seu adversário. A segunda experiência consistia num jogo do ditador com duas opções: uma escolha egoísta/altruísta (A), onde o ditador recebia mais ganho, mas o seu recipiente recebia mais que ele e uma escolha malevolente (B) que oferecia menos ganhos ao ditador que a A mas mais ganhos que o recipiente. O dilema era que se as crianças se comportassem de maneira egoísta, obtinham mais ganho para si, ao mesmo tempo que aumentavam o ganho do seu colega. Se fossem malevolentes, então prefeririam ter mais ganho que o seu colega ao mesmo tempo que tinham menos para eles próprios. As experiências foram efetuadas em escolas de duas áreas distintas de Portugal (continente e Açores) para perceber se as preferências malevolentes aumentavam ou diminuíam com a idade. Os resultados na primeira experiência sugerem que (1) os alunos compreenderam a primeira variante como um jogo de coordenação e comportaram-se como maximizadores, copiando as jogadas anteriores dos seus adversários; (2) que os alunos repetentes se comportaram preferencialmente como malevolentes, mais frequentemente que como maximizadores, com especial ênfase para os alunos de 14 anos; (3) maioria dos alunos comportou-se reciprocamente desde os 12 até aos 16 anos de idade, após os quais começaram a desenvolver uma maior tolerância às escolhas dos seus parceiros. Os resultados da segunda experiência sugerem que (1) as estratégias egoístas eram prevalentes até aos 6 anos de idade, (2) as tendências altruístas emergiram até aos 8 anos de idade e (3) as estratégias de malevolência começaram a emergir a partir dos 8 anos de idade. Estes resultados complementam a literatura relativamente escassa sobre malevolência e sugerem que este comportamento está intimamente ligado a preferências de consideração sobre os outros, o paroquialismo e os estágios de desenvolvimento das crianças.************************************************************Spite is defined as an act that causes loss of payoff to an opponent at a cost to the actor. As one of the four fundamental behaviours in sociobiology, it has received far less attention than its counterparts selfishness and cooperation. It has however been established as a viable strategy in small populations when used against negatively related individuals. Because of this, spite can either i) disappear or ii) remain at equilibrium with cooperative strategies due to the willingness of spiteful individuals to pay a cost in order to punish. This thesis sets out to understand whether propensity for spiteful behaviour is inherent or if it develops with age. For that effect, two game-theoretical experiments were performed with schoolboys and schoolgirls aged 6 to 22. The first, a 2 x 2 game, was tested in two variants: 1) a prize was awarded to both players, proportional to accumulated points; 2), a prize was given to the player with most points. Each player faced the following dilemma: i) to maximise pay-off risking a lower pay-off than the opponent; or ii) not to maximise pay-off in order to cut down the opponent below their own. The second game was a dictator experiment with two choices, (A) a selfish/altruistic choice affording more payoff to the donor than B, but more to the recipient than to the donor, and (B) a spiteful choice that afforded less payoff to the donor than A, but even lower payoff to the recipient. The dilemma here was that if subjects behaved selfishly, they obtained more payoff for themselves, while at the same time increasing their opponent payoff. If they were spiteful, they would rather have more payoff than their colleague, at the cost of less for themselves. Experiments were run in schools in two different areas in Portugal (mainland and Azores) to understand whether spiteful preferences varied with age. Results in the first experiment suggested that (1) students understood the first variant as a coordination game and engaged in maximising behaviour by copying their opponent’s plays; (2) repeating students preferentially engaged in spiteful behaviour more often than maximising behaviour, with special emphasis on 14 year-olds; (3) most students engaged in reciprocal behaviour from ages 12 to 16, as they began developing higher tolerance for their opponent choices. Results for the second experiment suggested that (1) selfish strategies were prevalent until the age of 6, (2) altruistic tendencies emerged since then, and (3) spiteful strategies began being chosen more often by 8 year-olds. These results add to the relatively scarce body of literature on spite and suggest that this type of behaviour is closely tied with other-regarding preferences, parochialism and the children’s stages of development.

Determinants of Portuguese bank’s provisioning policies: Discretionary behaviour of generic and specific allowances

In this paper we test for the impact of the regulatory environment on a bank’s discretionary provisioning practices. We develop a model that structures the dynamics of the provision policy for the two classes of provisions: generic provisions and specific provisions. The model is tested using a comprehensive database of all financial institutions operating in Portugal for 1990-2000. This unique dataset comprises banks subject to the Portuguese rules as well as bank subsidiaries subject to their home-country regulation and we were able to identify distinct behaviours between them. Our results show the importance of handling he two types of provisions separately. They support the hypothesis that banks have a discretionary behaviour in setting up their provisions, and find evidence of income smoothing and capital management. We also find that the regulatory regime impacts on discretionary provisioning policies because banks when forced to increase one type of provision react by reducing the iscretionary component of the other, a finding we designated as a substitution effect.

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.

Born global companies: A case study about the internationalization behaviours of Portuguese companies

Portuguese Born Global Companies have been performing an important role in the Portuguese market, mainly due to their innovative ideas and the positive contribution to exportations. This study focuses on the international strategies of four of these companies, comparing them with four international Non-Born Global Companies, in qualitative analysis. It will be possible to see a preference by the Non-Born Global Companies over proximate cultural countries. By following opportunities instead of markets, Portuguese Born Global Companies excel at internationalization growth. The purpose of this study is to help managers of small, innovative companies understand the internationalization strategies in Portugal.

Effects of ocean acidification on the swimming ability, development and biochemical responses of sand smelt larvae

Ocean acidification, recognized as a major threat to marine ecosystems, has developed into one of the fastest growing fields of research in marine sciences. Several studies on fish larval stages point to abnormal behaviours, malformations and increased mortality rates as a result of exposure to increased levels of CO2. However, other studies fail to recognize any consequence, suggesting species-specific sensitivity to increased levels of CO2, highlighting the need of further research. In this study we investigated the effects of exposure to elevated pCO2 on behaviour, development, oxidative stress and energy metabolism of sand smelt larvae, Atherina presbyter. Larvae were caught at Arrábida Marine Park (Portugal) and exposed to different pCO2 levels (control: ~600μatm, pH=8.03; medium: ~1000μatm, pH=7.85; high: ~1800μatm, pH=7.64) up to 15days, after which critical swimming speed (Ucrit), morphometric traits and biochemical biomarkers were determined. Measured biomarkers were related with: 1) oxidative stress - superoxide dismutase and catalase enzyme activities, levels of lipid peroxidation and DNA damage, and levels of superoxide anion production; 2) energy metabolism - total carbohydrate levels, electron transport system activity, lactate dehydrogenase and isocitrate dehydrogenase enzyme activities. Swimming speed was not affected by treatment, but exposure to increasing levels of pCO2 leads to higher energetic costs and morphometric changes, with larger larvae in high pCO2 treatment and smaller larvae in medium pCO2 treatment. The efficient antioxidant response capacity and increase in energetic metabolism only registered at the medium pCO2 treatment may indicate that at higher pCO2 levels the capacity of larvae to restore their internal balance can be impaired. Our findings illustrate the need of using multiple approaches to explore the consequences of future pCO2 levels on organisms.

Prevalence of neurocognitive disorders and depression in a Brazilian HIV population

AbstractINTRODUCTION:Combined antiretroviral therapy has enabled human immunodeficiency virus (HIV) carriers to live longer. This increased life expectancy is associated with the occurrence of degenerative diseases, including HIV-associated neurocognitive disorders (HAND), which are diagnosed via a complex neuropsychological assessment. The International HIV Dementia Scale (IHDS) is a screening instrument validated in Brazil for use in the absence of neuropsychological evaluation. HIV patients are frequently diagnosed with depression. We aimed to determine the prevalence of neurocognitive impairment using the IHDS and depressive disorders using the Hamilton Rating Scale for Depression (HAM-D17), compare the IHDS performance with the performances on the Timed Gait Test (TGT), the Digit Symbol Coding Test (DS) and the Brazilian version of the Scale of Instrumental Activities of Daily Living (IADL), and evaluate the association between the IHDS performance and clinical-demographic variables.METHODS:One hundred fourteen patients were evaluated in a cross-sectional study conducted in a public outpatient clinic for infectious diseases in Marília City, State of São Paulo, Brazil. Data were collected following consultation. Statistical analysis was performed in accordance with the nature and distribution of the data and hypotheses.RESULTS:According to the IHDS, 53.2% of the sampled patients were neuropsychologically impaired. According to the HAM-D17, 26.3% had depressive disorders. There were significant associations between the IHDS and the TGT and DS. Multiple regression analysis indicated that female gender, educational level, and cluster of differentiation 4 (CD4) levels were significantly and independently associated with neurocognitive impairment.CONCLUSIONS:The prevalence of neurocognitive impairment according to the IHDS is high and associated with female gender, education level, and low CD4 levels.

External quality assessment in the voluntary counseling and testing centers in the Brazilian Amazon using dried tube specimens: results of an effectiveness evaluation

INTRODUCTION : In 2011, the Brazilian Ministry of Health rolled out a program for the external quality assessment of rapid human immunodeficiency virus (HIV) tests using the dried tube specimen (DTS) method (EQA-RT/DTS-HIV). Our objective was to evaluate the implementation of this program at 71 voluntary counseling and testing centers (VCTCs) in the Brazilian Legal Amazonian area one year after its introduction. METHODS : Quantitative and qualitative study that analyzed secondary data and interviews with healthcare workers (HCWs) (n=39) and VCTC coordinators (n=32) were performed. The assessment used 18 key indicators to evaluate the three dimensions of the program's logical framework: structure, process, and result. Each indicator was scored from 1-4, and the aggregate results corresponding to the dimensions were expressed as proportions. The results were compared to the perceptions of the HCWs and coordinators regarding the EQA-RT/DTS-HIV program. RESULTS: The aggregate scores for the three dimensions of structure, process, and result were 91.7%, 78.6%, and 95%, respectively. The lowest score in each dimension corresponded to a different indicator: access to Quali-TR online system 39% (structure), registration in Quali-TR online system 38.7% (process), and VCTC completed the full process in the program's first round 63.4% (result). Approximately 36% of the HCWs and 52% of the coordinators reported enhanced trust in the program for its rapid HIV testing performance. CONCLUSIONS: All three program dimensions exhibited satisfactory results (>75%). Nevertheless, the study findings highlight the need to improve certain program components. Additionally, long-term follow-ups is needed to provide a more thorough picture of the process for external quality assessment.

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.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação