A proof system for lock-free concurrency

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

Plux: Designing a solution for growth in the sports sector

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

Mota-Engil: A solution to turnover its negative stock market performance

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Mainroad: Information technology investment solution

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

Study of the valorisation of the solid by-products obtained in the co-pyrolysis of different wastes

Dissertação para obtenção do grau de doutor em Energia e Bioenergia

Compact ion-source based on superionic rubidium silver iodide (RbAg4I5) solid electrolyte

Dissertação para obtenção do Grau de Mestre em Engenharia Física

TSKY: a dependable middleware solution for data privacy using public storage clouds

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

Social entrepreneurship as a solution provider for ageing societies in Europe

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

Application of NMR RDC’s, relaxation and self-diffusion for the study of dynamic processes of small molecules in solution

Spin-lattice Relaxation, self-Diffusion coefficients and Residual Dipolar Couplings (RDC’s) are the basis of well established Nuclear Magnetic Resonance techniques for the physicochemical study of small molecules (typically organic compounds and natural products with MW < 1000 Da), as they proved to be a powerful and complementary source of information about structural dynamic processes in solution. The work developed in this thesis consists in the application of the earlier-mentioned NMR techniques to explore, analyze and systematize patterns of the molecular dynamic behavior of selected small molecules in particular experimental conditions. Two systems were chosen to investigate molecular dynamic behavior by these techniques: the dynamics of ion-pair formation and ion interaction in ionic liquids (IL) and the dynamics of molecular reorientation when molecules are placed in oriented phases (alignment media). The application of NMR spin-lattice relaxation and self-diffusion measurements was applied to study the rotational and translational molecular dynamics of the IL: 1-butyl-3-methylimidazolium tetrafluoroborate [BMIM][BF4]. The study of the cation-anion dynamics in neat and IL-water mixtures was systematically investigated by a combination of multinuclear NMR relaxation techniques with diffusion data (using by H1, C13 and F19 NMR spectroscopy). Spin-lattice relaxation time (T1), self-diffusion coefficients and nuclear Overhauser effect experiments were combined to determine the conditions that favor the formation of long lived [BMIM][BF4] ion-pairs in water. For this purpose and using the self-diffusion coefficients of cation and anion as a probe, different IL-water compositions were screened (from neat IL to infinite dilution) to find the conditions where both cation and anion present equal diffusion coefficients (8% water fraction at 25 ºC). This condition as well as the neat IL and the infinite dilution were then further studied by 13C NMR relaxation in order to determine correlation times (c) for the molecular reorientational motion using a mathematical iterative procedure and experimental data obtained in a temperature range between 273 and 353 K. The behavior of self-diffusion and relaxation data obtained in our experiments point at the combining parameters of molar fraction 8 % and temperature 298 K as the most favorable condition for the formation of long lived ion-pairs. When molecules are subjected to soft anisotropic motion by being placed in some special media, Residual Dipolar Couplings (RDCs), can be measured, because of the partial alignment induced by this media. RDCs are emerging as a powerful routine tool employed in conformational analysis, as it complements and even outperforms the approaches based on the classical NMR NOE or J3 couplings. In this work, three different alignment media have been characterized and evaluated in terms of integrity using 2H and 1H 1D-NMR spectroscopy, namely the stretched and compressed gel PMMA, and the lyotropic liquid crystals CpCl/n-hexanol/brine and cromolyn/water. The influence that different media and degrees of alignment have on the dynamic properties of several molecules was explored. Different sized sugars were used and their self-diffusion was determined as well as conformation features using RDCs. The results obtained indicate that no influence is felt by the small molecules diffusion and conformational features studied within the alignment degree range studied, which was the 3, 5 and 6 % CpCl/n-hexanol/brine for diffusion, and 5 and 7.5 % CpCl/n-hexanol/brine for conformation. It was also possible to determine that the small molecules diffusion verified in the alignment media presented close values to the ones observed in water, reinforcing the idea of no conditioning of molecular properties in such media.

A solution for estimates in software development projects

The Corporate world is becoming more and more competitive. This leads organisations to adapt to this reality, by adopting more efficient processes, which result in a decrease in cost as well as an increase of product quality. One of these processes consists in making proposals to clients, which necessarily include a cost estimation of the project. This estimation is the main focus of this project. In particular, one of the goals is to evaluate which estimation models fit the Altran Portugal software factory the most, the organization where the fieldwork of this thesis will be carried out. There is no broad agreement about which is the type of estimation model more suitable to be used in software projects. Concerning contexts where there is plenty of objective information available to be used as input to an estimation model, model-based methods usually yield better results than the expert judgment. However, what happens more frequently is not having this volume and quality of information, which has a negative impact in the model-based methods performance, favouring the usage of expert judgement. In practice, most organisations use expert judgment, making themselves dependent on the expert. A common problem found is that the performance of the expert’s estimation depends on his previous experience with identical projects. This means that when new types of projects arrive, the estimation will have an unpredictable accuracy. Moreover, different experts will make different estimates, based on their individual experience. As a result, the company will not directly attain a continuous growing knowledge about how the estimate should be carried. Estimation models depend on the input information collected from previous projects, the size of the project database and the resources available. Altran currently does not store the input information from previous projects in a systematic way. It has a small project database and a team of experts. Our work is targeted to companies that operate in similar contexts. We start by gathering information from the organisation in order to identify which estimation approaches can be applied considering the organization’s context. A gap analysis is used to understand what type of information the company would have to collect so that other approaches would become available. Based on our assessment, in our opinion, expert judgment is the most adequate approach for Altran Portugal, in the current context. We analysed past development and evolution projects from Altran Portugal and assessed their estimates. This resulted in the identification of common estimation deviations, errors, and patterns, which lead to the proposal of metrics to help estimators produce estimates leveraging past projects quantitative and qualitative information in a convenient way. This dissertation aims to contribute to more realistic estimates, by identifying shortcomings in the current estimation process and supporting the self-improvement of the process, by gathering as much relevant information as possible from each finished project.

A business model for an entertainment solution to the in-vehicle infotainment industry

The evolution of mobile technologies that make its presence something ubiquitous and the idea of internet connectivity in every device, often called as the Internet of Things, are pushing a disruption in other industry: the in-vehicle infotainment (IVI). Many companies are trying to enter this new industry that comprises information (weather, news, location services) and entertainment solutions in just one. For that purpose, company X developed a new entertainment solution and intends to bring it to market. This Work Project focuses on creating a business model and an entry mode for the company.

Clinical practice guidelines in Portugal : quantitative and qualitative evaluation

RESUMO: Introdução As normas de orientação clínica são ferramentas úteis na translação de conhecimentos desde a investigação para a prática clínica diária. Estratégias ativas de implementação de normas de orientação clínica requerem elevado esforço organizacional e financeiro. Quando os recursos são escassos, as estratégias passivas podem ser a única opção de disseminação. Desde 2011 a Direção Geral da Saúde publicou cento e cinquenta e nove normas de orientação clínica. Nesta Tese é feita uma avaliação do impacto que estratégias de disseminação de normas de orientação clínica têm no padrão de prescrição dos médicos e uma avaliação qualitativa do processo das normas de orientação clínica em Portugal. Métodos: O primeiro artigo é um estudo quasi experimental usando uma série de análises temporais interrompida para comparar os níveis observados e esperados de prescrição de inibidores da ciclooxigenasa-2, antes e depois da publicação da norma de orientação clínica sobre a utilização de anti-inflamatórios não esteroides. O segundo estudo é um artigo de opinião e debate no qual numa primeira parte contextualiza o processo das normas da Direcção Geral da Saúde, na segunda parte aponta virtudes e defeitos no processo e a terceira parte constitui uma contribuição com vista à melhoria do processo. Discussão A produção de normas de orientação clínica requer metodologia rigorosa e complexa. A literatura médica revela que a translação de conhecimento é uma tarefa árdua. Estratégias de implementação ativas requerem recursos financeiros e organizacionais sólidos. Estratégias de implementação passivas podem representar uma solução aceitável se os recursos financeiros e organizacionais escasseiam. Pouco é conhecido sobre a eficácia destas estratégias fora do contexto de investigação. Com esta Tese pretendo contribuir para a clarificação desta resposta, outros países e instituições podem ver utilidade nesta informação, bem como pretendo contribuir para a discussão e melhoria do processo das normas de orientação clínica em Portugal. ------------------ ABSTRACT: Introduction Clinical practice guidelines can help address the failure to translate research findings into clinical practice. Active clinical practice guidelines implementation strategies require active efforts from organizations and are resource and financially demanding. Passive implementation strategies may represent the only option if resources are scarce. Out of research environment, real world efficacy of passive implementation strategies is still undetermined. Since 2011 the Portuguese General Health Directorate published one hundred and fifty nine guidelines. In this Thesis I evaluate the impact of passive dissemination of clinical practice guideline in clinician’s prescription behavior and review, from a qualitative point of view, the Portuguese clinical practice guideline process. Methods The first study is a quasi-experimental study using a retrospective interrupted time-series analysis design to compare the observed and expected prescription of cyclooxygenase-2 before and after the non steroidal antiinflammatory guideline publication. The second study is an opinion and debate article in which I firstly review the General Health Directorate guideline process. The second part states positive and negative aspects in the process and the third part is a contribution aimed at improving the process in the future. Discussion Clinical practice guidelines production demands a rigorous and complex methodology. medical iterature reveals that knowledge translation is a difficult task. Active implementation strategies demand solid financial and organizational resources. Passive implementation strategies may represent an acceptable solution if financial and organizational resources are scarce. Little is known about the efficacy of these strategies out of the research context. With this Thesis I intend to contribute to clarify this question, other countries and institutions with similar conditions may find this information useful, and also to contribute for the discussion and general improvement of national clinical practice guidelines process.

Ion-beam sources based on superionic solid electrolytes

An ion emitter consisting of a sharp silver tip covered in RbAg4I5 solid electrolyte film has been developed and studied. An accelerating potential is applied and Ag+ ions are emitted from the tip’s apex by field evaporation. The emitted ions are collected by a Faraday cup, producing a current on the pico/nanoampere level which is read by an electrometer. The tips were produced mechanically by sandpaper polishing. The sharpest tip produced had a 2:4 m apex radius. Two deposition methods were studied: thermal vacuum and pulsed laser deposition. The best tip produced a peak current value of 96nA at 180oC, and a quasi-stable 4nA emission current at 160oC, both using an extraction potential of 10kV . The emission dependence on time, temperature and accelerating potential has been studied. Deposited films were characterized by X-ray diffraction (XRD), profilometry, optical and Scanning Electron Microscope (SEM) and Secondary Ion Mass Spectroscopy (SIMS) measurements. Several ion emitters were developed, the latter ones were all able to maintain stable high ion emissions for long periods of time. This investigation was a continuation of an ongoing project backed by the European Space Agency, with the objective of making a proof of concept of this kind of ion emitter with potential application on ion thrusters for orbiting satellites. Going forward, it would be interesting to make a finer analysis of the electrolyte’s conductivity at high temperatures, explore Wien Effect-based emission and to further develop a multi-tip ion emitter prototype.

Solution processed quantum dot photodetectors

To find sustainable solutions for the production of energy, it is necessary to create photovoltaic technologies that make every photon count. To pursue this necessity, in the present work photodetectors of zinc oxide embedded with nano-structured materials, that significantly raise the conversion of solar energy to electric energy, were developed. The novelty of this work is on the development of processing methodologies in which all steps are in solution: quantum dots synthesis, passivation of their surface and sol-gel deposition. The quantum dot solutions with different capping agents were characterized by UVvisible absorption spectroscopy, spectrofluorimetry, dynamic light scattering and transmission electron microscopy. The obtained quantum dots have dimensions between 2 and 3nm. These particles were suspended in zinc acetate solutions and used to produce doped zinc oxide films with embedded quantum dots, whose electric response was tested. The produced nano-structured zinc oxide materials have a superior performance than the bulk, in terms of the produced photo-current. This indicates that an intermediate band material should have been produced that acts as a photovoltaic medium for solar cells. The results are currently being compiled in a scientific article, that is being prepared for possible submission to Energy and Environmental Science or Nanoscale journals.