Process virtualization theory (PVT) and institutional theory (INT) to explain SAAS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the pressures existing in the organization’s environment. We propose an integrated research model that combines the process virtualization theory (PVT) and the institutional theory (INT). PVT seeks to explain whether SaaS processes are suitable for migration into virtual environments via an information technology-based mechanism. INT seeks to explain the effects of the institutionalized environment on the structure and actions of the organization. The research makes three contributions. First, it addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and external coercive, normative, and mimetic pressures faced by an organization. Second, it empirically tests many of the propositions of PVT and INT in the SaaS context, thereby helping to determine how the theory operates in practice. Third, the integration of PVT and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.

The late adopter scale: A measure of late adopters of technological innovations

Diffusion of Innovation is a topic of interest for researchers and practitioners. Although substantial research is conducted on user categories, researchers often focus on the first half of the curve, ignoring the late adopters. We conduct two studies to measure the attributes of late adopters. In our first study of mobile phone users, we develop the Late-Adopter Scale. We then test it on a sample of laptop users. This scale is multi-dimensional, presents nomological and discriminant validity and has three dimensions: 1) rate of adoption, 2) resistance to innovation, and 3) skepticism. Findings reveal that all three Late Adopter Scale dimensions are significantly associated with low price preference. Moreover, in both samples skepticism is associated with high preference for simple products, lower leading edge status, and lower product involvement. Discussion focuses on implications of this new scale to theory and practice of new product development and diffusion of innovation.

The impact of credit conditions on market liquidity – a case for European stock markets

The recent financial crisis has drawn the attention of researchers and regulators to the importance of liquidity for stock market stability and efficiency. The ability of market-makers and investors to provide liquidity is constrained by the willingness of financial institutions to supply funding capital. This paper sheds light on the liquidity linkages between the Central Bank, Monetary Financial Institutions and market-makers as crucial elements to the well-functioning of markets. Results suggest the existence of causality between credit conditions and stock market liquidity for the Eurozone between 2003 and 2015. Similar evidence is found for the UK during the post-crisis period. Keywords: stock

Monitoring liquidity risk at BPI GA

Field lab: Business project

Hybrid investment strategy active portfolio management – US stock market

This thesis aims to develop an alternative active managed portfolio strategy based on companies‟ Fundamental and Technical Analysis and analyze its finals results. There is a big distinction between the two approaches and the main objective is to understand if it is possible to take advantage of both. With this in mind a Hybrid investment strategy for the US stock market, due to its dimension and liquidity, which was able to outperform the S&P 500 index, the benchmark, during both Bear and Bull Markets between 2000 and 2015.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

The relationship between liquidity and profitability in the food & beverage industry evidence from Europe and United States

This Work Project clarifies the relationship between liquidity and profitability based on a sample in the Food & Beverage (F&B) industry, and comparing the largest European and United States companies. The research concludes that liquidity, proxied by current ratio or quick ratio, correlates with return on assets taken as the measure of profitability, and so does the cash conversion cycle and its components. Moreover, company size correlates with liquidity, and indirectly affects ROA. This research contributes and addresses to managers in the F&B industry and recommends how they should act in order to improve profitability in the industry.

On project finance and the first road concession in Portugal

In broad sense, Project Financing1 as a mean of financing large scale infrastructural projects worldwide has had a steady growth in popularity for the last 20 years. This growth has been relatively unscathed from most economic cycles. However in the wake of the 2007 systemic Financial Crisis, Project Financing was also in trouble. The liquidity freeze and credit crunch that ensued affected all parties involved. Traditional Lenders, of this type of financial instrument, locked-in long-term contractual obligations, were severely hit with scarcity of funding compounded by rapidly increasing cost of funding. All the while, Banks were “rescued” by the concerted actions of Central Banks and other Multi-Lateral Agencies around the world but at the same time “stressed” by upcoming regulatory effort (Basel Committee). This impact resulted in specific changes to this type of long-term financing. Changes such as Commercial Banks’ increased risk aversion; pricing increase and maturities decrease of credit facilities; enforcement of Market Disruption Event clauses; partial responsibility for project risk by Multilateral Agencies; and adoption of utility-like availability payments in other industrial sectors such as transportation and even social infrastructure. To the extent possible, this report is then divided in three parts. First, it begins with a more instructional part, touching academic literature (theory) and giving the Banks perspective (practice), but mostly as an overview of Project Finance for awareness’ sake. The renowned Harvard Business School professor – Benjamin Esty, states2 that Project Finance is a “relatively unexplored territory for both empirical and theoretical research” which means that academic research efforts are lagging the practice of Project Finance. Second, the report presents a practical case regarding the first Road Concession in Portugal in 1998 ending with the lessons learned 10 years after Financial Close. Lastly, the report concludes with the analysis of the current trends and changes to the industry post Financial Crisis of the late 2000’s. To achieve this I’ll reference relevant papers, books on the subject, online articles and my own experience in the Project Finance Department at a major Portuguese Investment Bank. Regarding the latter, with the signing of a confidentiality agreement, I’m duly omitting sensitive and proprietary bank information.

Using stated preference methods to assess environmental impacts of forest biomass power plants in Portugal

As a renewable energy source, the use of forest biomass for electricity generation is advantageous in comparison with fossil fuels, however the activity of forest biomass power plants causes adverse impacts, affecting particularly neighbouring communities. The main objective of this study is to estimate the effects of the activity of forest biomass power plants on the welfare of two groups of stakeholders, namely local residents and the general population and we apply two stated preference methods: contingent valuation and discrete choice experiments, respectively. The former method was applied to estimate the minimum compensation residents of neighbouring communities of two forest biomass power plants in Portugal would be willing to accept. The latter method was applied among the general population to estimate their willingness to pay to avoid specific environmental impacts. The results show that the presence of the selected facilities affects individuals’ well-being. On the other hand, in the discrete choice experiments conducted among the general population all impacts considered were significant determinants of respondents’ welfare levels. The results of this study stress the importance of performing an equity analysis of the welfare effects on different groups of stakeholders from the installation of forest biomass power plants, as their effects on welfare are location and impact specific. Policy makers should take into account the views of all stakeholders either directly or indirectly involved when deciding crucial issues regarding the sitting of new forest biomass power plants, in order to achieve an efficient and equitable outcome.

Quantum field theory approach to the optical conductivity of strained and deformed graphene

The computation of the optical conductivity of strained and deformed graphene is discussed within the framework of quantum field theory in curved spaces. The analytical solutions of the Dirac equation in an arbitrary static background geometry for one dimensional periodic deformations are computed, together with the corresponding Dirac propagator. Analytical expressions are given for the optical conductivity of strained and deformed graphene associated with both intra and interbrand transitions. The special case of small deformations is discussed and the result compared to the prediction of the tight-binding model.

Pseudofermion dynamical theory for the spin dynamical correlation functions of the half-filled 1D Hubbard model

A modified version of the metallic-phase pseudofermion dynamical theory (PDT) of the 1D Hubbard model is introduced for the spin dynamical correlation functions of the half-filled 1D Hubbard model Mott– Hubbard phase. The Mott–Hubbard insulator phase PDT is applied to the study of the model longitudinal and transverse spin dynamical structure factors at finite magnetic field h, focusing in particular on the sin- gularities at excitation energies in the vicinity of the lower thresholds. The relation of our theoretical results to both condensed-matter and ultra-cold atom systems is discussed.

On the temperature dependence of the absorption cross section for black holes in string theory

We study the low frequency absorption cross section of spherically symmetric nonextremal d-dimensional black holes. In the presence of α′ corrections, this quantity must have an explicit dependence on the Hawking temperature of the form 1/TH. This property of the low frequency absorption cross section is shared by the D1-D5 system from type IIB superstring theory already at the classical level, without α′ corrections. We apply our formula to the simplest example, the classical d-dimensional Reissner-Nordstr¨om solution, checking that the obtained formula for the cross section has a smooth extremal limit. We also apply it for a d-dimensional Tangherlini-like solution with α′3 corrections.

Absorption of scalars by nonextremal charged black holes in string theory

We analyze the low frequency absorption cross section of minimally coupled massless scalar fields by different kinds of charged static black holes in string theory, namely the D1–D5 system in d=5 and a four dimensional dyonic four-charged black hole. In each case we show that this cross section always has the form of some parameter of the solution divided by the black hole Hawking temperature. We also verify in each case that, despite its explicit temperature dependence, such quotient is finite in the extremal limit, giving a well defined cross section. We show that this precise explicit temperature dependence also arises in the same cross section for black holes with string \alpha' corrections: it is actually induced by them.

Mother's anxiety and depression during the third pregnancy trimester and neonate's mother versus stranger's face/voice visual preference

Background: Neonates show visual preference for their mother's face/voice and shift their attention from their mother to a stranger's face/voice after habituation. Aim: To assess neonate's mother versus stranger's face/voice visual preference, namely mother's anxiety and depression during the third pregnancy trimester and neonate's: 1) visual preference for the mother versus the stranger's face/voice (pretest visual preference), 2) habituation to the mother's face/voice and 3) visual preference for the stranger versus the mother's face/voice (posttest visual preference). Method: Mothers (N=100) filled out the Edinburgh Postnatal Depression Scale (EPDS) and the State Anxiety Inventory (STAI) both at the third pregnancy trimester and childbirth, and the “preference and habituation to the mother's face/voice versus stranger” paradigm was administered to their newborn 1 to 5 days after childbirth. Results: Neonates of anxious/depressed mothers during the third pregnancy trimester contrarily to neonates of non-anxious/non-depressed mothers did not look 1) longer at their mother's than at the stranger's face/voice at the pretest visual preference (showing no visual preference for the mother), nor 2) longer at the stranger's face/voice in the posttest than in the pretest visual preference (not improving their attention to the stranger's after habituation). Conclusion: Infants exposed to mother's anxiety/depression at the third gestational trimester exhibit less perceptual/social competencies at birth.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.