Data-centric concurrency control on the java programming language

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

Cape Verde’s foreign policy: an economic perspective

The virtuous cycle between development success and foreign policy in Cape Verde reflects a positive interaction between globalization and governance. Development success under globalization entails positive market perceptions regarding the orientation and predictability of policies as well as the accompanying institutional arrangements, thereby making foreign policy salient beyond the comparator group, or “aspirational”. Even if there is no universally applicable development model, an aspirational foreign policy can be built on positive rankings with respect to comparator groups. In Macedo and Pereira (2010), macrolevel policy and institutional combinations underpinning trade diversification and income convergence in West and Southern Africa are used to establish development success for Cape Verde and Mozambique respectively. Here, the narrative of long-term development helps identify the following drivers: moving towards a market economy; opening up to regional and global trade; increasing economic and political freedom; pursuing macroeconomic stability and financial reputation; ensuring policy continuity (especially in trade and industrial sectors) and focusing on human development (especially poverty reduction and education). Looking at GDP per capita and indicators of financial reputation and good governance of sub-regional peers is not sufficient to conclude that Cape Verde’s convergence will be sustained. Nevertheless, the positive interaction between trade and financial globalization, on the one hand, and democracy and good governance, on the other, have positive implications for the effectiveness of foreign policy across the region as well as in the Portuguese-speaking community.

Adjusting to external imbalances within the EMU, the case of Portugal

From 1995 to 2010 Portugal has accumulated a negative international asset position of 110 percent of GDP. In a developed and aging economy the number is astonishing and any argument to consider it sustainable must rely on extremely favorable forecasts on growth. Portuguese policy options are reduced in number: no autonomous monetary policy, no currency to devaluate, and limited discretion in changing fiscal deficits and government debt. To start the necessary deleveraging a remaining possible policy is a budget-neutral change of the tax structure that increases private saving and net exports. An increase in the VAT and a decrease in the employer’s social security contribution tax can achieve the desired outcome in the short run if they are complemented with wage moderation. To obtain a substantial improvement in competitiveness and a large decrease in consumption, the changes in the tax rates have to be large. While a precise quantitative assessment is difficult, the initial increase in the effective VAT rate needed to allow the social security tax to decrease by 16 percentage points (pp) is approximately 10 pp. Such a large increase in the effective VAT rate could be obtained by raising most of the reduced VAT rates to the new general VAT rate of 23 percent. The empirical analysis shows that over time the suggested tax swap could generate surpluses and improve the trade balance. A temporary version of the suggested tax-swap has the attractiveness to achieve a sharper increase in the private saving rate maintaining the short run gains in competitiveness. Finally, the temporary version of the fiscal devaluation could be the basis for an automatic stabilizer to external imbalances within a monetary union.Portugal has been running large current account deficits every year since 1995. These deficits have accumulated to an astonishing 110 percent of GDP negative external asset position. The sustainability of such a large external position is questionable and must rely on fantastic productivity growth expectations. The recent global financial crisis appears to have anticipated the international investors reality check on those future expectations with the result of a large increase in the cost of external financing. Today the rebalancing of the current account through an increase in national savings and an improvement in competitiveness must be at the top of the Portuguese authorities “to do” list as the cost of a pull out from international investors is of the order of 10% of GDP. The external rebalancing is difficult as the degrees of freedom of the Portuguese authorities are limited in number: they have no autonomous monetary policy, no currency to devaluate, and little discretion in fiscal policy as deficit limits and debt targets are set by the Stability Growth Pact and the postcrisis consensus on medium-term fiscal consolidation. One possibility that remains is to change the fiscal policy mix for a given budget deficit. The purpose of this paper is to explore the effects of a “fiscal devaluation”1 obtained through a tax swap between employers’ social security contributions and taxes on consumption2. The paper begins by illustrating Portugal’s current account evolution during the euro period. The second section section lays out a model to offer a qualitative assessment of the dynamic outcomes of the the tax swap. I show that the suggested tax swap can in theory achieve the desired outcomes in terms of competitiveness and consumption if complemented with moderation (stickiness) in wages. I also study the effects of a temporary version of the tax swap and show that it achieves a sharper improvement in the current account that accelerate the rebalancing. The third section moves to the empirical analysis and estimates the likely effects of the tax swap for the Portuguese economy. The fourth section concludes.

O contributo da educação filosófica na construção de uma cultura democrática

O presente relatório está organizado em duas componentes fundamentais. A primeira, caracterizada pela sua dimensão descritiva, procura relatar com rigor os momentos mais significativos da experiência lectiva como professor estagiário na Escola Secundária de Miraflores ao longo do ano escolar de 2013/2014. Na segunda parte deste documento, de índole mais reflexiva do que descritiva, explorar-se-á o contributo da educação filosófica para o cumprimento de um novo imperativo educativo que o ‘aprender a viver juntos’ exige. Nesse sentido, procurar-se-á demonstrar de que modo o ensino da Filosofia no ensino secundário pode ser vinculativo de princípios fundamentais de cidadania e, como tal, potenciar a construção de uma sociedade assente em competências e valores democráticos.

Evaluation of inadequate anti-retroviral treatment in patients with HIV/AIDS

INTRODUCTION: Since the emergence of antiretroviral therapy, the survival of patients infected with human immunodeficiency virus has increased. Non-adherence to this therapy is directly related to treatment failure, which allows the emergence of resistant viral strains. METHODS: A retrospective descriptive study of the antiretroviral dispensing records of 229 patients from the Center for Health Care, University Hospital, Federal University of Juiz de Fora, Brazil, was conducted between January and December 2009. RESULTS: The study aimed to evaluate patient compliance and determine if there was an association between non-adherence and the therapy. Among these patients, 63.8% were men with an average age of 44.0 ± 9.9 years. The most used treatment was a combination of 2 nucleoside reverse transcriptase inhibitors with 1 non-nucleoside reverse transcriptase inhibitor (55.5%) or with 2 protease inhibitors (28.8%). It was found that patients taking lopinavir/ritonavir with zidovudine and lamivudine had a greater frequency of inadequate treatment than those taking atazanavir with zidovudine and lamivudine (85% and 83.3%, respectively). Moreover, when the combination of zidovudine/ lamivudine was used, the patients were less compliant (χ2 = 4.468, 1 degree of freedom, p = 0.035). CONCLUSIONS: The majority of patients failed to correctly adhere to their treatment; therefore, it is necessary to implement strategies that lead to improved compliance, thus ensuring therapeutic efficacy and increased patient survival.

A abolição da dupla incriminação no mandado de detenção europeu

This essay presents the European Arrest Warrant and its relationship with the principle of double criminality, which was abolished in 2002 with the new Framework Decision (FD). This instrument was essential to implement the principle of mutual recognition and strengthen the police and judicial cooperation in criminal matters in the newly created space of freedom, security and justice. It was urgent to create mechanisms to combat cross-border crime, that alone States have struggled to counter. An analysis of the FD No 2002/584/JHA is made. The execution of warrants and the non-mandatory and optional grounds of refusal are studied in detail. As it is the implementation issue. The role of mutual recognition in practice is studied as well. The procedure is to introduce the principle of double criminality, to explain the concept and its abolition, warning for the consequences derived from them, related to the principle of legality and fundamental rights. The analysis of the European Arrest Warrant in practice in Portugal and in comparison with other Member States allows the measurement of the consequences from the abolition of dual criminality and the position of States on this measure. With the abolition of double criminality, the cooperation in judicial and criminal matters departs from what was intended by the European Council of Tampere. And without cooperation, fundamental rights of citizens are unprotected, so the states have to adopt measures to remedy the "failures" of the European Law.

A intervenção dos orgãos de polícia criminal em sede de julgamento

Currently, Portugal assumes itself as a democratic rule of substantive law State, sustained by a legal system seeking the right balance between the guarantee of fundamental rights and freedoms constitutional foreseen in Portugal’s Fundamental Law and criminal persecution. The architecture of the penal code lies with, roughly speaking, a accusatory basic structure, “deliberately attached to one of the most remarkable achievements of the civilizational democratic progress, and by obedience to the constitutional commandment”, in balance with the official investigation principle, valid both for the purpose of prosecution and trial. Regarding the principle of non self-incrimination - nemo tenetur se ipsum accusare, briefly defined as the defendant’s right of not being obliged to contribute to the self-incrimination, it should be stressed that there isn’t an explicit consecration in the Portuguese Constitution, being commonly accepted in an implicit constitutional prediction and deriving from other constitutional rights and principles, first and foremost, the meaning and scope of the concept of democratic rule of Law State, embedded in the Fundamental Law, and in the guidelines of the constitutional principles of human person dignity, freedom of action and the presumption of innocence. In any case, about the (in) applicability of the principle of the prohibition of self-incrimination to the Criminal Police Bodies in the trial hearing in Court, and sharing an idea of Guedes Valente, the truth is that the exercise of criminal action must tread a transparent path and non-compliant with methods to obtain evidence that violate the law, the public order or in violation of democratic principles and loyalty (Guedes Valente, 2013, p. 484). Within the framework of the penal process relating to the trial, which is assumed as the true phase of the process, the witness represents a relevant figure for the administration of criminal justice, for the testimonial proof is, in the idea of Othmar Jauernig, the worst proof of evidence, but also being the most frequent (Jauernig, 1998, p. 289). As coadjutant of the Public Prosecutor and, in specific cases, the investigating judge, the Criminal Police Bodies are invested with high responsibility, being "the arms and eyes of Judicial Authorities in pursuing the criminal investigation..." which has as ultimate goal the fulfillment of the Law pursuing the defense of society" (Guedes Valente, 2013, p. 485). It is in this context and as a witness that, throughout operational career, the Criminal Police Bodies are required to be at the trial hearing and clarify the Court with its view about the facts relating to occurrences of criminal context, thus contributing very significantly and, in some cases, decisively for the proper administration of the portuguese criminal justice. With regards to the intervention of Criminal Police Bodies in the trial hearing in Court, it’s important that they pay attention to a set of standards concerning the preparation of the testimony, the very provision of the testimony and, also, to its conclusion. Be emphasized that these guidelines may become crucial for the quality of the police testimony at the trial hearing, thus leading to an improvement of the enforcement of justice system. In this vein, while preparing the testimony, the Criminal Police Bodies must present itself in court with proper clothing, to read before and carefully the case files, to debate the facts being judged with other Criminal Police Bodies and prepare potential questions. Later, while giving his testimony during the trial, the Criminal Police Bodies must, summing up, to take the oath in a convincing manner, to feel comfortable, to start well by convincingly answering the first question, keep an attitude of serenity, to adopt an attitude of collaboration, to avoid the reading of documents, to demonstrate deference and seriousness before the judicial operators, to use simple and objective language, to adopt a fluent speech, to use nonverbal language correctly, to avoid spontaneity responding only to what is asked, to report only the truth, to avoid hesitations and contradictions, to be impartial and to maintain eye contact with the judge. Finally, at the conclusion of the testimony, the Criminal Police Bodies should rise in a smooth manner, avoiding to show relief, resentment or satisfaction, leaving a credible and professional image and, without much formality, requesting the judge permission to leave the courtroom. As final note, it’s important to stress that "The intervention of the Police Criminal Bodies in the trial hearing in Court” encloses itself on a theme of crucial importance not only for members of the Police and Security Forces, who must welcome this subject with the utmost seriousness and professionalism, but also for the proper administration of the criminal justice system in Portugal.

Modulation of electrical stimulation applied to human physiology and clinical diagnostic

The use, manipulation and application of electrical currents, as a controlled interference mechanism in the human body system, is currently a strong source of motivation to researchers in areas such as clinical, sports, neuroscience, amongst others. In electrical stimulation (ES), the current applied to tissue is traditionally controlled concerning stimulation amplitude, frequency and pulse-width. The main drawbacks of the transcutaneous ES are the rapid fatigue induction and the high discomfort induced by the non-selective activation of nervous fibers. There are, however, electrophysiological parameters whose response, like the response to different stimulation waveforms, polarity or a personalized charge control, is still unknown. The study of the following questions is of great importance: What is the physiological effect of the electric pulse parametrization concerning charge, waveform and polarity? Does the effect change with the clinical condition of the subjects? The parametrization influence on muscle recruitment can retard fatigue onset? Can parametrization enable fiber selectivity, optimizing the motor fibers recruitment rather than the nervous fibers, reducing contraction discomfort? Current hardware solutions lack flexibility at the level of stimulation control and physiological response assessment. To answer these questions, a miniaturized, portable and wireless controlled device with ES functions and full integration with a generic biosignals acquisition platform has been created. Hardware was also developed to provide complete freedom for controlling the applied current with respect to the waveform, polarity, frequency, amplitude, pulse-width and duration. The impact of the methodologies developed is successfully applied and evaluated in the contexts of fundamental electrophysiology, psycho-motor rehabilitation and neuromuscular disorders diagnosis. This PhD project was carried out in the Physics Department of Faculty of Sciences and Technology (FCT-UNL), in straight collaboration with PLUX - Wireless Biosignals S.A. company and co-funded by the Foundation for Science and Technology.

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.

O Pensar no Cinema. Considerações sobre a Imagem

A dissertação tem como propósito o estudo da imagem em movimento como mobilizadora do pensamento e a averiguação da possibilidade de um lugar de liberdade e transformação para uma comunidade de espectadores do cinema. Mediante o esclarecimento dos processos da actividade do pensar no mundo das aparências, do juízo estético e crítico, e da investigação sobre o envolvimento político da imagem, analisa-se o caso concreto de duas obras do cineasta Robert Bresson: Un Condamné à mort s’est échappe e Pickpocket.

Epidemiological study of hepatitis B and C in a municipality with rural characteristics: Cássia dos Coqueiros, State of São Paulo, Brazil

Abstract: INTRODUCTION: Hepatitis B and C viral infections remain an important cause of global morbidity and mortality. Studies have been conducted in population groups of large cities, leaving gaps in the knowledge regarding the situation in small municipalities. We aimed to measure the prevalence of hepatitis B and C markers and presence of infection-associated factors. METHODS: All inhabitants of Cássia dos Coqueiros aged ≥18 years who agreed to participate in the research were included. We collected blood as well as information via a questionnaire between March 2011 and December 2013. Univariate and multivariate analyses were conducted. RESULTS: Among the 1,001 participants, 41 (4.1%) participants had a serological profile of hepatitis B viral exposure, and only one (0.1%) participant was considered a virus carrier. The frequency of isolated antibody to hepatitis B virus surface antigen (anti-HBs) markers was 17.8% for the overall population. In the multivariate analysis, hepatitis B virus (HBV) infection was associated with age, birth outside the State of São Paulo, history of hepatitis, ≥2 sexual partners in the last 6 months, and tattoos. Four (0.4%) participants had a serological profile of hepatitis C viral exposure. However, after confirmation using viral ribonucleic acid (RNA) evaluation, only one (0.1%) individual remained positive. CONCLUSIONS: The positivity rates for hepatitis B and C were low, despite greater sexual freedom and the recent emergence of illicit drugs, as observed by the health personnel working in Cássia dos Coqueiros.

A caracterização do trabalho análogo ao escravo na jurisprudência dos tribunais brasileiros

Based on bibliographical research and the analysis of court rulings, this study investigates the characterization of slave-like labor by Brazilian courts. After the alteration of article 149 of the Brazilian Penal Code, introduced by Law nº 10.803/2003, which typifies the practice of contemporary slavery in Brazil, divergent characterizations of this practice remain. The courts currently employ the broadest concept of contemporary slave labor, in which the crime is characterized by the engagement in one of the following conducts established as a criminal offense: labor with the restriction of freedom, submission to exhaustive working conditions, degrading working conditions, and debt bondage. The engagement in one of the above is therefore enough to constitute a crime. Contemporary slave labor in Brazil is not characterized only by the restriction of the worker’s freedom, as in the case of forced labor or debt bondage, but also through the submission of the workers to situations that offend their human dignity. Individual freedom and the dignity of the human person, fundamental tenets of the Brazilian Federal Constitution, are juridical resources safeguarded by law. Contemporary slavery is not limited to the mere infringement of labor laws, but represents a severe violation of the human rights of the workers involved.

O incumprimento do contrato de crédito ao consumo pelo consumidor

Consumer relations, established between the Consumer and the Creditor, which carry a consequent inequality of contractual positioning between the parties, have been pushing the legislator to adopt more rigid regulations with regard to lending for the purchase of goods or services of consum issues. In this sense, the Decree-Law 359/91 was approved, meanwhile repealed by the Decree-Law 133/2009, which regulates the consumer credit agreement’s regime in the portuguese legal system. Through this contract, the financier makes available to the consumer a certain amount of money, which the consumer must repay, plus the respective remuneration (interest) and other charges, according to a refund plan agreed by the parties. The consumer will be in delay if he breaches this stipulation. In case of default, the creditor, notwithstanding, can choose to wait for the performance by the debtor, promote the loss of benefit of the term or the termination of the contract. From the outset it would seem that, in one way or another, the financier, by imposing a forced shortening of the contract duration initially agreed, will lose the right to remuneration for the provision of capital agreed, but not verified. Nevertheless, unlike presently, the previous regime allowed the parties to rule otherwise, being permitted to agree to the payment of interest of outstanding installments. On the other hand, in the consumer credit contract the principle of freedom of contractual provision of the parties is strongly mitigated by the special legislation, which prevents the waiver of rights by the consumer, and by the regime of general contractual terms, which restricts the freedom of the financier to stipulate the contractual content freely and the freedom of the consumer to negotiate. For all these reasons, associated with the growing need of credit resource to satisfy their needs of consumption, it is confirm the relevance of legislative intervention on consumers protection in the context of hiring credit.

O Ne bis in idem no Espaço de Liberdade, Segurança e Justiça e no Direito Europeu da Concorrência

Ne bis in idem, understood as a procedural guarantee in the EU assumes different features in the AFSJ and in european competition law. Despite having a common origin (being, in both sectors the result of the case law of the same jurisdictional organ) its components are quite distintic in each area of the integration. In the AFSJ, the content of bis and idem are broader and addressed at a larger protection of individuals. Its axiological ground is based on the freedom of movements and human dignity, whereas in european competition law its closely linked to defence rights of legal persons and the concept of criminal punishment of anticompetitive sanctions as interpreted by the ECHR´s jurisprudence. In european competition law, ne bis in idem is limited by the systemic framework of competition law and the need to ensure parallel application of both european and national laws. Nonetheless, the absence of a compulsory mechanism to allocate jurisdiction in the EU (both in the AFSJ and in the field of anti-trust law) demands a common axiological framework. In this context, ne bis in idem must be understood as a defence right based on equity and proportionality. As far as its international dimension is concerned, ne bis in idem also lacks an erga omnes effect and it is not considered to be a rule of ius cogens. Consequently, the model which the ECJ has built regarding the application of the ne bis in idem in transnational and supranational contexts should be replicated by other courts through cross fertilization, in order to internationalize that procedural guarantee and broaden its scope of application.

O incumprimento do contrato de crédito ao consumo pelo consumidor

Consumer relations, established between the Consumer and the Creditor, which carry a consequent inequality of contractual positioning between the parties, have been pushing the legislator to adopt more rigid regulations with regard to lending for the purchase of goods or services of consum issues. In this sense, the Decree-Law 359/91 was approved, meanwhile repealed by the Decree-Law 133/2009, which regulates the consumer credit agreement’s regime in the portuguese legal system. Through this contract, the financier makes available to the consumer a certain amount of money, which the consumer must repay, plus the respective remuneration (interest) and other charges, according to a refund plan agreed by the parties. The consumer will be in delay if he breaches this stipulation. In case of default, the creditor, notwithstanding, can choose to wait for the performance by the debtor, promote the loss of benefit of the term or the termination of the contract. From the outset it would seem that, in one way or another, the financier, by imposing a forced shortening of the contract duration initially agreed, will lose the right to remuneration for the provision of capital agreed, but not verified. Nevertheless, unlike presently, the previous regime allowed the parties to rule otherwise, being permitted to agree to the payment of interest of outstanding installments. On the other hand, in the consumer credit contract the principle of freedom of contractual provision of the parties is strongly mitigated by the special legislation, which prevents the waiver of rights by the consumer, and by the regime of general contractual terms, which restricts the freedom of the financier to stipulate the contractual content freely and the freedom of the consumer to negotiate. For all these reasons, associated with the growing need of credit resource to satisfy their needs of consumption, it is confirm the relevance of legislative intervention on consumers protection in the context of hiring credit.