O direito de exoneração do acionista minoritário

This study specifically addresses the situation of minority shareholders after the transfer of control in an listed company. The various underlying interests and reasons that shareholders have for investing in a company can demonstrate shareholders’ reasoning for taking radically different positions on issues relating to the transfer of control of the referred company. This study analyses the current legal system in Portugal and in the European Union in order to assess whether, in the event of a takeover bid of a listed company where there is a transfer of control, minority shareholders have the same appraisal rights as other shareholders to sell their shares and leave the company. The study then examines the European Court of Justice decision on whether a general principle of equal treatment of minority shareholders exists upon a transfer of control (Audiolux) and the Portuguese Securities Market Commission decision regarding the delisting of Brisa - Autoestradas de Portugal, S.A. based on the principle of investor protection. The study concludes that although the principle of equality amongst shareholders has made progress in the European legal system e.g. it is laid down in Directive 2004/25/EC of 21 April 2004 on takeover bids and the Portuguese Securities Market Code, there is also a need for further improvement, which can be accomplished by allowing minority shareholders to exercise an appraisal right in similar unregulated situations.

Adaptação cultural e contributo para a validação da pain attitudes and believes scale for physiotherapists (PABS-PT) para a população de fisioterapeutas portugueses

RESUMO: Introdução: Vários estudos têm encontrado evidência para a relação entre as crenças e atitudes dos profissionais de saúde, a sua abordagem de tratamento, referida como orientada segundo o modelo biomédico ou modelo biopsicossocial (Bishop, 2008; Mutsaers, 2012), e os resultados obtidos. É sugerido que, no tratamento da dor lombar crónica, os profissionais que orientam o seu raciocínio e prática segundo o modelo biomédico, tendem a obter piores resultados quando comparados com os obtidos pelos profissionais que orientam o seu raciocínio e prática segundo uma abordagem biopsicossocial. Esta área de estudo tem salientado a importância de desenhar instrumentos capazes de identificar a orientação preferencial dos profissionais de saúde no tratamento da dor crónica de natureza músculo-esquelética, entre os quais se encontra a “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objetivo: Adaptar culturalmente a PABS-PT para a população de fisioterapeutas portugueses que intervêm em utentes com dor (lombar) crónica, e contribuir para a sua validação Metodologia: A versão original (língua inglesa) do PABS-PT foi adaptada para a língua e cultura portuguesas, através das etapas definidas nas normas orientadoras estabelecidas para este processo (Beaton et al., 2002; MAPI Institute, 2001). A avaliação das propriedades psicométricas da versão portuguesa foi realizada com recurso a uma amostra de 202 fisioterapeutas e estudantes finalistas do curso de licenciatura em Fisioterapia. Inicialmente foi realizada a análise fatorial exploratória da escala através do método das componentes principais. Posteriormente avaliou-se a consistência interna das componentes obtidas com recurso ao alpha de Cronbach (α). Para analisar a validade de constructo foram correlacionadas as componentes obtidas com a versão portuguesa da “Health Care Providers’ Pain and Impairment Relationship Scale” (HC-PAIRS), recorrendo ao cálculo do coeficiente de Spearman. Resultados: O processo de adaptação cultural não revelou dificuldades importantes sendo considerado que a versão portuguesa da PABS-PT é de fácil compreensão e preenchimento, e os seus itens adequados para avaliar as crenças e atitudes dos fisioterapeutas portugueses relativas à intervenção na dor crónica músculo-esquelética. Os resultados revelaram uma estrutura fatorial de duas componentes, identificadas com as componentes da escala original que explicam 30,96% da variância total. A consistência interna encontrada é boa, para a componente biomédica (α de Cronbach = 0,826), mas muito fraca para a componente biopsicossocial (α de Cronbach= 0,589). Relativamente à validade convergente e discriminativa, foi encontrada uma associação estatisticamente significativa e positiva, entre as componentes 1 (biomédica) da versão nportuguesa da PABS e a HC-PAIRS (Rs = 0,481, p≤ 0,005), e negativa, fraca e significativa entre a pontuação total da componente 2 (biopsicossocial) e a HC-PAIRS (Rs = -0,038, p=0,612). Conclusão: A versão portuguesa do PABS-PT é de fácil compreensão e aparenta ser um instrumento válido para a medição da orientação preferencial dos fisioterapeutas, relativamente às suas atitudes e crenças na avaliação e tratamento de utentes com dor crónica de natureza músculo-esquelética. No entanto, a componente biopsicossocial requer uma análise mais aprofundada para que possa, com rigor, ser utilizada na definição de uma orientação preferencialmente biopsicossocial.--------------ABSTRACT: Introduction: Previous studies have found a relation between the beliefs and attitudes of health professionals, their treatment approach, which can follows a biomedical or a biopsychosocial orientation (Bishop, 2008; Mutsaers, 2012), and the outcomes obtained. Therefore, is suggested that the professionals who tend to approach chronic low back pain patients according to the biomedical model have worse outcomes than professionals who use a biopsychosocial approach in there clinical reasoning. This research field has highlighted the importance of developing measures capable of identifying the preferred orientation of health professionals in the treatment of chronic pain of musculoskeletal nature, including the “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objective: To cross culturally adapt and validate the PABS-PT for the Portuguese population of physiotherapists. Methodology: The original version (English version) of the PABS-PT was adapted to the Portuguese language and culture, through the guidelines established for these processes (Beaton et al., 2002; MAPI Institute, 2001). The psychometric evaluation of the Portuguese version was carried out on a sample of 202 p physiotherapist and final year students of the physiotherapy course. Initially, an exploratory factorial analysis was performed through the method of the main components. Then, the internal consistence of the main components was evaluated using the Cronbach’s alpha (α). The convergent construct validity was analysed through the correlation between the obtained components of PABS-PT and the Health Care Provider’s Pain and Impairment Relationship Scale (HC-PAIRS), using the Spearmen correlation coefficient. Results: No major difficulties were found during the cultural adaptation process of PABS-PT to Portugal, which means that the Portuguese version is easy to understand and fulfill, and items are appropriated to evaluate the beliefs and attitudes of the Portuguese physiotherapists who treat chronic pain of musculoskeletal origins. The results revealed a factorial structure of two components, as the original scale, explaining 30,96% of the total variance. Internal consistence results were good, for the biomedical component (Cronbach’s α = 0,826), but very weak for the biopsychosocial componente (Cronbach’s α = 0,589). Relatively to convergent and discriminative validity, a statistically significant association was found, between the components 1 (biomedical) of the Portuguese version of PABS-PT and the HC-PAIRS (Rs= 0,481, p≤ 0,005) and negative, weak and significant between the total score of component 2 (biopsychosocial) and the HC-PAIRS (Rs = -0,038, p=0,612). Conclusion: The Portuguese Version of PABS-PT is easy to understand and seems to be a valid instrument to measure the attitudes and beliefs of physiotherapists in the management of patients with chronic low back pain. However, the biopsychosocial component requires a further deep analysis to examine a preferable biopsychosocial orientation.

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.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Knowledge management framework based on brain models and human physiology

The life of humans and most living beings depend on sensation and perception for the best assessment of the surrounding world. Sensorial organs acquire a variety of stimuli that are interpreted and integrated in our brain for immediate use or stored in memory for later recall. Among the reasoning aspects, a person has to decide what to do with available information. Emotions are classifiers of collected information, assigning a personal meaning to objects, events and individuals, making part of our own identity. Emotions play a decisive role in cognitive processes as reasoning, decision and memory by assigning relevance to collected information. The access to pervasive computing devices, empowered by the ability to sense and perceive the world, provides new forms of acquiring and integrating information. But prior to data assessment on its usefulness, systems must capture and ensure that data is properly managed for diverse possible goals. Portable and wearable devices are now able to gather and store information, from the environment and from our body, using cloud based services and Internet connections. Systems limitations in handling sensorial data, compared with our sensorial capabilities constitute an identified problem. Another problem is the lack of interoperability between humans and devices, as they do not properly understand human’s emotional states and human needs. Addressing those problems is a motivation for the present research work. The mission hereby assumed is to include sensorial and physiological data into a Framework that will be able to manage collected data towards human cognitive functions, supported by a new data model. By learning from selected human functional and behavioural models and reasoning over collected data, the Framework aims at providing evaluation on a person’s emotional state, for empowering human centric applications, along with the capability of storing episodic information on a person’s life with physiologic indicators on emotional states to be used by new generation applications.

Men's grooming in Germany: A consumer research and discussion of current consumer attitudes

The objective of this dissertation was to explore the German men’s grooming market and to discuss the usage and purchase behavior of young male adults. After a brief market analysis, this dissertation evaluates the results of qualitative and quantitative research. The conducted research explored the consumer’s reasoning for and attitude towards personal grooming, and their attitude towards product attributes and the aging process. The dissertation concludes that men attach high value to personal grooming but only to the extent that their personal need is satisfied. As the male involvement in MG is highly dependent on each consumer’s individual needs, the market requires a careful segmentation.

Contraexemplos e raciocínio dedutivo

Tese de Doutoramento apresentada ao ISPA - Instituto Universitário

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.

O direito de exoneração do acionista minoritário

This study specifically addresses the situation of minority shareholders after the transfer of control in an listed company. The various underlying interests and reasons that shareholders have for investing in a company can demonstrate shareholders’ reasoning for taking radically different positions on issues relating to the transfer of control of the referred company. This study analyses the current legal system in Portugal and in the European Union in order to assess whether, in the event of a takeover bid of a listed company where there is a transfer of control, minority shareholders have the same appraisal rights as other shareholders to sell their shares and leave the company. The study then examines the European Court of Justice decision on whether a general principle of equal treatment of minority shareholders exists upon a transfer of control (Audiolux) and the Portuguese Securities Market Commission decision regarding the delisting of Brisa - Autoestradas de Portugal, S.A. based on the principle of investor protection. The study concludes that although the principle of equality amongst shareholders has made progress in the European legal system e.g. it is laid down in Directive 2004/25/EC of 21 April 2004 on takeover bids and the Portuguese Securities Market Code, there is also a need for further improvement, which can be accomplished by allowing minority shareholders to exercise an appraisal right in similar unregulated situations.

The consumption of beauty products on famale young adults in Portugal. Recommenrations for the brand Lancôme to improve its store trafic

This project aims to explore the Portuguese Beauty and Cosmetics market, and to discuss the usage and purchase behaviour of young female adults, between 18 and 26 years old. After a market analysis based on secondary data, it evaluates the results of qualitative and quantitative research based on 9 interviews and 126 online questionnaires to explore the consumers’ reasoning when choosing products from this category – fragrances, skin care or make-up – as well as their attitude towards brands, with a special focus on the premium cosmetics brand Lancôme. Contrary to our expectations there was no statistically significant positive influence of the online touchpoints within this age segment’s purchase intention. However, results indicate that Lancôme is already being perceived by some as young and modern, but is still suffering the threat of Mass Market brands that are valued by this target, mainly due to a price sensitivity towards premium beauty brands.

Vyndaqel (Tafamidis)

The main objective of this pedagogical case study is to analyse the market entry dynamics of pharmaceutical innovative drugs in Portugal, and the role and impact of the different stakeholders in this process. The case focuses on the market entry of Vyndaqel (Tafamidis) Pfizer’s orphan innovative product to treat TTR-FAP, “paramiloidose”, a highly incapacitating rare disease that has more than 2.000 diagnosed patients in Portugal, one of the highest prevalence worldwide and an incidence of 100 new patients every year. In terms of methodology it were used two main sources of information. Regarding secondary data sources it was made an exhaustive search using the main specialty search engines regarding the Tafamidis case, market access, orphan drugs and market entry context in Portugal and Europe. In terms of primary data it were conducted 7 direct interviews with the main case stakeholders. The pedagogical case study focuses on 5 main questions that provide the base of the discussion for the classes. First it is analysed the rationale behind the introduction of Tafamidis in Portugal, and its relevance for Pfizer, namely due to the previous investment made with the acquisition of FoldRX by $400M, the company that developed the product in the first place. It is also analysed the point of view of the NHS, and the reasoning behind drug reimbursement that considered not only the technical (efficacy and safety) and financial benefits of the drug, but also the social impact, due to the major role played by patient associations’ actions and coverage provided by the media that impacted the reimbursement decision. Finally it is analysed the vertical financing methodology that was selected by the Ministry of Health for drug acquisition by 2 public hospitals, that served as reference centres for the treatment of this disease

Application of wavelets to the study of political history

\The idea that social processes develop in a cyclical manner is somewhat like a `Lorelei'. Researchers are lured to it because of its theoretical promise, only to become entangled in (if not wrecked by) messy problems of empirical inference. The reasoning leading to hypotheses of some kind of cycle is often elegant enough, yet the data from repeated observations rarely display the supposed cyclical pattern. (...) In addition, various `schools' seem to exist which frequently arrive at di erent conclusions on the basis of the same data." (van der Eijk and Weber 1987:271). Much of the empirical controversies around these issues arise because of three distinct problems: the coexistence of cycles of di erent periodicities, the possibility of transient cycles and the existence of cycles without xed periodicity. In some cases, there are no reasons to expect any of these phenomena to be relevant. Seasonality caused by Christmas is one such example (Wen 2002). In such cases, researchers mostly rely on spectral analysis and Auto-Regressive Moving-Average (ARMA) models to estimate the periodicity of cycles.1 However, and this is particularly true in social sciences, sometimes there are good theoretical reasons to expect irregular cycles. In such cases, \the identi cation of periodic movement in something like the vote is a daunting task all by itself. When a pendulum swings with an irregular beat (frequency), and the extent of the swing (amplitude) is not constant, mathematical functions like sine-waves are of no use."(Lebo and Norpoth 2007:73) In the past, this di culty has led to two di erent approaches. On the one hand, some researchers dismissed these methods altogether, relying on informal alternatives that do not meet rigorous standards of statistical inference. Goldstein (1985 and 1988), studying the severity of Great power wars is one such example. On the other hand, there are authors who transfer the assumptions of spectral analysis (and ARMA models) into fundamental assumptions about the nature of social phenomena. This type of argument was produced by Beck (1991) who, in a reply to Goldstein (1988), claimed that only \ xed period models are meaningful models of cyclic phenomena".We argue that wavelet analysis|a mathematical framework developed in the mid-1980s (Grossman and Morlet 1984; Goupillaud et al. 1984) | is a very viable alternative to study cycles in political time-series. It has the advantage of staying close to the frequency domain approach of spectral analysis while addressing its main limitations. Its principal contribution comes from estimating the spectral characteristics of a time-series as a function of time, thus revealing how its di erent periodic components may change over time. The rest of article proceeds as follows. In the section \Time-frequency Analysis", we study in some detail the continuous wavelet transform and compare its time-frequency properties with the more standard tool for that purpose, the windowed Fourier transform. In the section \The British Political Pendulum", we apply wavelet analysis to essentially the same data analyzed by Lebo and Norpoth (2007) and Merrill, Grofman and Brunell (2011) and try to provide a more nuanced answer to the same question discussed by these authors: do British electoral politics exhibit cycles? Finally, in the last section, we present a concise list of future directions.

A calculadora gráfica na promoção da escrita matemática na aprendizagem de modelos contínuos não lineares: um estudo com alunos do 11.º ano de Matemática B

Relatório de estágio de mestrado em Ensino de Matemática no 3.º Ciclo do Ensino Básico e no Ensino Secundário

Mediação do professor no processo de construção de conhecimento dos alunos: a resolução de problemas matemáticos, em contextos de aprendizagem situada e explícita

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico

Operacionalização do processo de raciocínio no estudo para o desenvolvimento técnico do violino

Relatório de estágio de mestrado em Ensino de Música