BRAIN ABSCESS DUE TO Staphylococcus aureus OF CRYPTOGENIC SOURCE IN AN HIV-1 INFECTED PATIENT IN USE OF ANTIRETROVIRAL THERAPY

The spectrum of neurological complications associated with human immunodeficiency virus type 1 (HIV-1) infection is broad. The most frequent etiologies include primary diseases (caused by HIV itself) or secondary diseases (opportunistic infections or neoplasms). Despite these conditions, HIV-infected patients are susceptible to other infections observed in patients without HIV infection. Here we report a rare case of a brain abscess caused by Staphylococcus aureus in an HIV-infected patient. After drainage of the abscess and treatment with oxacilin, the patient had a favorable outcome. This case reinforces the importance of a timely neurosurgical procedure that supported adequate management of an unusual cause of expansive brain lesions in HIV-1 infected patients.

Dimensions of source credibility in the case of user-generated advertisements

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 integration of online advertising: The effects of source expertise and certainty level of the message on consumer involvement and persuasion in the context of user-generated advertising

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

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

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Implementação de uma solução open source de Business Intelligence com metodologia Ágil

A importância dos sistemas de data warehousing e business intelligence é cada vez mais pronunciada, no sentido de dotar as organizações com a capacidade de guardar, explorar e produzir informação de valor acrescido para os seus processos de tomada de decisão. Esta realidade é claramente aplicável aos sectores da administração pública portuguesa e, muito em particular, aos organismos com responsabilidades centrais no Ministério da Saúde. No caso dos Serviços Partilhados do Ministério da Saúde (SPMS), que tem como missão prover o SNS de sistemas centrais de business intelligence, o apelo dos seus clientes, para que possam contar com capacidades analíticas nos seus sistemas centrais, tem sido sentido de forma muito acentuada. Todavia, é notório que, tanto os custos, como a complexidade, de grande parte destes projetos têm representado uma séria ameaça à sua adoção e sucesso. Por um lado, a administração pública tem recebido um forte encorajamento para integrar e adotar soluções de natureza open source (modelo de licenciamento gratuito), para os seus projetos de sistemas de informação. Por outro lado, temos vindo a assistir a uma vaga de aceitação generalizada de novas metodologias de desenvolvimento de projetos informáticos, nomeadamente no que diz respeito às metodologias Agéis, que se assumem como mais flexíveis, menos formais e com maior grau de sucesso. No sentido de averiguar da aplicabilidade do open source e das metodologias Ágeis aos sistemas de business intelligence, este trabalho documenta a implementação de um projeto organizacional para a SPMS, com recurso a ferramentas open source de licenciamento gratuito e através de uma metodologia de desenvolvimento de natureza Ágil.

Dimensions of source credibility in the case of user-generated advertisements

User-generated advertising changed the world of advertising and changed the strategies used by marketers. Many researchers explored the dimensions of source credibility in traditional media and online advertising. However, little previous research explored the dimensions of source credibility in the context of user-generated advertising. This exploratory study aims to investigate the different dimensions of source credibility in the case of user-generated advertising. More precisely, this study will explore the following factors: (1) objectivity, (2) trustworthiness, (3) expertise, (4) familiarity, (5) attractiveness and (6) frequency. The results suggest that some of the dimensions of source credibility (objectivity, trustworthiness, expertise, familiarity and attractiveness) remain the same in the case of user-generated advertising. Additionally, a new dimension is added to the factors that explain source credibility (reputation). Furthermore, the analysis suggests that the dimension “frequency” is not an explanatory factor of credibility in the case of user-generated advertisement. The study also suggests that companies using user-generated advertisement as part of their overall marketing strategy should focus on objectivity, trustworthiness, expertise, attractiveness and reputation when selecting users that will communicate sponsored user-generated advertisements.

Code name

The present case-study concerns about the analysis of the sale of Banif Mais, the sub-holding of Banif Group for specialized credit activity, taking into account the bank’s financial situation in 2014. In 2011, Portugal was submitted to an external finance programme carried out by troika which imposed very restricted measures to the financial sector. Subsequently, Banif was not able to accomplish the required results having to appeal to Government financing, being under a recapitalization plan since 2012.

MANGROVE BARK: A RENEWABLE RESIN SOURCE FOR WOOD ADHESIVES

From four solutions tested to extract tannins from mangrove bark for wood adhesives, hot water is recommended. Hot water extracted 21.4% of formaldehyde-hydrochloric acid reactive polyphenols on oven-dry bark basis.

Comprehensive comparison of a current-source and a voltage-source converter for three-phase EV fast battery chargers

This paper presents a comprehensive comparison of a current-source converter and a voltage-source converter for three-phase electric vehicle (EV) fast battery chargers. Taking into account that the current-source converter (CSC) is a natural buck-type converter, the output voltage can assume a wide range of values, which varies between zero and the maximum instantaneous value of the power grid phase-to-phase voltage. On the other hand, taking into account that the voltage-source converter (VSC) is a natural boost-type converter, the output voltage is always greater than the maximum instantaneous value of the power grid phase-to-phase voltage, and consequently, it is necessary to use a dc-dc buck-type converter for applications as EV fast battery chargers. Along the paper is described in detail the principle of operation of both the CSC and the VSC for EV fast chargers, as well as the main equations of the power theory and current control strategies. The comparison between both converters is mainly established in terms of the total harmonic distortion of the grid current and the estimated efficiency for a range of operation between 10 kW and 50 kW.

Three-phase three-level current-source converter for EVs fast battery charging systems

This paper presents a three-phase three-level fast battery charger for electric vehicles (EVs) based in a current-source converter (CSC). Compared with the traditional voltage-source converters used for fast battery chargers, the CSC can be seen as a natural buck-type converter, i.e., the output voltage can assume a wide range of values, which varies between zero and the maximum instantaneous value of the power grid phase-to-phase voltage. Moreover, using the CSC it is not necessary to use a dc-dc back-end converter in the battery side, and it is also possible to control the grid current in order to obtain a sinusoidal waveform, and in phase with the power grid voltage (unitary power factor). Along the paper is described in detail the proposed CSC for EVs fast battery charging systems: the circuit topology, the power control theory, the current control strategy and the grid synchronization algorithm. Several simulation results of the EV fast battery charger operating with a maximum power of 50 kW are presented.

Predictive control of a current-source inverter for solar photovoltaic grid interface

Solar photovoltaic systems are an increasing option for electricity production, since they produce electrical energy from a clean renewable energy resource, and over the years, as a result of the research, their efficiency has been increasing. For the interface between the dc photovoltaic solar array and the ac electrical grid is necessary the use of an inverter (dc-ac converter), which should be optimized to extract the maximum power from the photovoltaic solar array. In this paper is presented a solution based on a current-source inverter (CSI) using continuous control set model predictive control (CCS-MPC). All the power circuits and respective control systems are described in detail along the paper and were tested and validated performing computer simulations. The paper shows the simulation results and are drawn several conclusions.

Three-phase current-source shunt active power filter with solar photovoltaic grid interface

This paper presents the proposal of a three phase current source shunt active power filter (CS-SAPF) with photovoltaic grid interface. The proposed system combines the compensation of reactive power and harmonics with the injection of energy from a solar photovoltaic array into the electrical power grid. The proposed equipment presents the advantage of giving good use to the current source inverter, even when the solar photovoltaic array is not producing energy. The paper describes the control system of the CS SAPF, the energy injection control strategy, and the current harmonics and power factor compensation strategy. Simulation results to assess the performance of the proposed system are also presented.

From a NoSQL data source to a business intelligence solution: An experiment

We are living in the era of Big Data. A time which is characterized by the continuous creation of vast amounts of data, originated from different sources, and with different formats. First, with the rise of the social networks and, more recently, with the advent of the Internet of Things (IoT), in which everyone and (eventually) everything is linked to the Internet, data with enormous potential for organizations is being continuously generated. In order to be more competitive, organizations want to access and explore all the richness that is present in those data. Indeed, Big Data is only as valuable as the insights organizations gather from it to make better decisions, which is the main goal of Business Intelligence. In this paper we describe an experiment in which data obtained from a NoSQL data source (database technology explicitly developed to deal with the specificities of Big Data) is used to feed a Business Intelligence solution.

Blast loading of masonry infills: testing and simulation

This work intends to present a newly developed test setup for dynamic out-of-plane loading using underWater Blast Wave Generators (WBWG) as loading source. Underwater blasting operations have been, during the last decades, subject of research and development of maritime blasting operations (including torpedo studies), aquarium tests for the measurement of blasting energy of industrial explosives and confined underwater blast wave generators. WBWG allow a wide range for the produced blast impulse and surface area distribution. It also avoids the generation of high velocity fragments and reduces atmospheric sound wave. A first objective of this work is to study the behavior of masonry infill walls subjected to blast loading. Three different masonry walls are to be studied, namely unreinforced masonry infill walls and two different reinforcement solutions. These solutions have been studied previously for seismic action mitigation. Subsequently, the walls will be simulated using an explicit finite element code for validation and parametric studies. Finally, a tool to help designers to make informed decisions on the use of infills under blast loading will be presented.