Lightweight monitoring of transactional memory programs

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

Promoting healthy eating standards on children through CSR educational programs: An evaluation of impact on eating preferences, attitude towards the brand and perceived brand reputation

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

Positioning of Ontario University Business Programs - Guelph-Humber

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

The dynamics of brand loyalty across a consumer’s lifetime

This project studies the Portuguese female fashion market. We intend to determine patterns of consumer brand loyalty across brands and ages. By interviewing 8 young adults and surveying 125 teens and 87 adults, we found that brands’ segmentation by usage per age segment is related with differentiation in brand loyalty and peer pressure. We also found that teens have higher attitudinal brand loyalty while adults have higher behavioral loyalty. Moreover, brand loyalty in teens is more susceptible to peer pressure. The results imply that customer relationship management strategies should be differentiated according to age segment. We also derive marketing implications with a focus on each brand’s loyalty profile.

Strategic account management: the path to gain customer loyalty

The account management field works closely with the sales team, serving as the customer’s primary point of contact. This project’s purpose was to understand if shifting the account management from brand centric to customer centric, would be the best fit for a Portuguese Pharmaceutical company. This customer centric approach - Strategic Account Management (SAM) - was studied, understanding the implicated trade-offs to the company. The workforce was probed about the project and their comments were analyzed. The conclusion points to an implementation of SAM and proposes the adaptations to follow in order to smooth the change.

Can location-based mobile marketing enhance the customer experience and increase customer satisfaction and loyalty?

This study intends to explore the impact of customer experience on customer satisfaction and loyalty by trying to understand how location-based mobile marketing might enhance the customer experience. Primary data was collected from 201 smartphone users in 24 countries. Results have indicated that targeted location-based marketing positively influences customers’ experiences. Besides, the analysis has also shown a favorable impact on customers’ satisfaction and self-perceived loyalty. This suggests that location-based mobile marketing has the potential to positively add value to a customer’s experience and should therefore be considered an important tool in marketing communications.

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

E-loyalty in e-commerce: A study at GIRISSIMA.COM

Few studies have been conducted on causal antecedents for electronic loyalty regarding the online fashion industry. In Portugal there is no systematic empirical research in this area. This study aims to examine e-satisfaction and e-trust that potentially impact eloyalty. It also examines the impact of price, website design and selection of brands. A research study was performed at GIRISSIMA.COM and survey responses were 77. The findings show that e-satisfaction is the main driver of e-loyalty. E-trust, website design and price affect positively e-loyalty. Additionally, selection of brands was proved to impact e-loyalty through e-satisfaction and e-trust.

Management consulting labs-Galp loyalty

The objective of this consulting project was to assist Galp Energia in its approach to loyalty. In order to do so, two hypotheses were defined. The first assumed there was value to capture in the existing approach. The second held that it was possible to create value through a radically innovative approach. The methodology used to corroborate those hypotheses encompassed several quantitative analyses, as well as desk research and market research. As a result, a compilation of recommendations comprising implementation proposals that considered both hypotheses as valid was presented in order to suggest a paradigm change

Management consulting labs-Galp loyalty learning experience

The purpose of this project was to analyze Galp’s loyalty approach in the Portuguese fuel market given the industry context, namely the entry of hypermarket and the resulting increase in competitiveness. The team performed analyses based on analytical models, qualitative research and internal interviews in order to assess Galp’s potential in the field of loyalty and consumers’ behavior. The final recommendations were based on incremental improvements to the Galp’s existing loyalty tool and an innovative paradigm change of the approach to loyalty.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Response of blood pressure to maximum exercise in hypertensive patients under different therapeutic programs

OBJECTIVE: To evaluate the behavior of blood pressure during exercise in patients with hypertension controlled by frontline antihypertension drugs. METHODS: From 979ergometric tests we retrospectively selected 49 hipertensive patients (19 males). The age was 53±12 years old and normal range rest arterial pressure (<=140/90 mmHg) all on pharmacological monotherapy. There were 12 on beta blockers; 14 on calcium antagonists, 13 on diuretics and 10 on angiotensin converting enzyme inhibitor. Abnormal exercise behhavior of blood pressure was diagnosed if anyone of the following criteria was detected: peak systolic pressure above 220 mmHg, raising of systolic pressure > or = 10 mmHg/MET; or increase of diastolic pressure greater than 15 mmHg. RESULTS: Physiologic response of arterial blood pressure occurred in 50% of patients on beta blockers, the best one (p<0.05), in 36% and 31% on calcium antagonists and on diuretics, respectively, and in 20% on angiotensin converting enzyme inhibitor, the later the leastr one (p<0.05). CONCLUSION: Beta-blockers were more effective than calcium antagonists, diuretics and angiotensin-converting enzyme inhibitors in controlling blood pressure during exercise, and angiotensin converting enzyme inhibitors the least effective drugs.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región.Capacitation Programs to Encouraged Development of Rio Cuarto and Region Exports Potential.

Identificación: Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región. Caracterización del problema objeto de estudio: La zona de influencia de la ciudad de Río Cuarto posee, por su ubicación y características naturales, un potencial exportador no explotado, considerando la actual dinámica de los mercados internacionales. La ciudad está en el cruce de rutas nacionales que la conecta a las principales ciudades del MERCOSUR, con salida al Pacífico y al Atlántico y conexión rápida a rutas que van hacia la frontera norte del país. A modo de presentación de situaciones favorables, en el caso de Bolivia es para aprovechar el prestigio de los productos argentinos en ese mercado y las ventajas que las empresas chicas y medianas pueden disponer al no existir barreras idiomáticas, razonables requisitos de calidad y una gran necesidad de productos elaborados que pueden ser ofertados por PYMES regionales.En el caso de Chile importan tres aspectos: primero, la cercanía geográfica a la zona de Río Cuarto, ya que se accede en forma directa por vía terrestre, con una distancia de sólo 900 Km. respecto a la zona metropolitana de ese país; segundo, es el mercado regional con mayores niveles de exigencia para acceder al mismo, constituyendo por lo tanto una buena plataforma de aprendizaje para lograr el acceso luego al mundo desarrollado; tercero, al tener Chile firmado acuerdos de libre comercio con mercados que suman 3500 millones de habitantes, con acceso directo al cinturón del Pacífico, que es la zona más dinámica del comercio mundial actual, ese país necesita complementarse con sus vecinos para poder aprovechar las demandas potenciales de esos mercados.Con el proyecto se pretende contribuir a acentuar la internacionalización económica de la ciudad de Río Cuarto y su región circundante. Hipótesis:Se puede generar un polo exportador pyme a partir de la actividad sistemática de un programa de difusión de conocimientos sobre el comercio exterior, lo que contribuirá a profundizar la sustentabilidad económica de Río Cuarto y su región circundante.Objetivos: -a) Crear, desde el programa, una oferta de capacitación y asesoramiento que satisfaga los interrogantes y necesidades de las empresas pequeñas y medianas que busquen iniciarse en la actividad de exportación. b) Promover la formación de consorcios y formas asociativas, sobre todo de pequeñas y medianas empresas, para expandir el comercio exterior regional. c) Difundir las posibilidades de inserción internacional de las pymes regionales y sus requerimientos en los aspectos productivos y de comercialización. Estos últimos suelen constituir puntos críticos en el desarrollo exportador de las firmas. d) Analizar las posibilidades competitivas en el comercio internacional, en especial en el área del MERCOSUR, de cluster Materiales y Métodos a Utilizar: - Elaboración de un Monitor de Expectativas Empresariales con el objetivo de cuantificar la actual y la potencial Oferta Exportadora Regional. - Desarrollo de Análisis Sectoriales para determinar las posibilidades de incrementar las ventas al exterior de productos regionales. - Creación de Informes Especiales sobre Productos Regionales, los cuales le permitirán a Pequeños y Medianos Productores conocer en detalle, las oportunidades y exigencias para ingresar a los mercados externos, especialmente al área del MERCOSUR. - Organización de Viajes y Rondas de Negocios con el fin de fortalecer los lazos comerciales y culturales del empresariado local y extranjero. Resultados Esperados: - Profundizar conocimientos sobre las posibilidades que poseen los productos regionales de ingresar a los mercados externos. - Lograr una difusión generalizada de conocimientos sobre el Comercio Exterior, brindándole a las Pymes las herramientas básicas y fundamentales para que puedan desarrollar su potencial exportador.