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.

The effects of rent control in Lisbon

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

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

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

Strengthening to seismic action of reinforced columns with rectangular cross-section

The first part of this research work regards the assessment of the mathematical modelling of reinforced concrete columns confined with carbon fibre (CFRP) sheets under axial loading. The purpose was to evaluate existing analytical models, contribute to possible improvements and choose the best model(s) to be part of a new model for the prediction of the behaviour of confined columns under bending and compression. For circular columns, a wide group of authors have proposed several models specific for FRP-confined concrete. The analysis of some of the existing models was carried out by comparing these with several tested columns. Although several models predict fairly the peak load only few can properly estimate the load-strain and dilation behaviour of the columns. Square columns confined with CFRP show a more complex interpretation of their behaviour. Accordingly, the analysis of two experimental programs was carried out to propose new modelling equations for the whole behaviour of columns. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions. An analysis similar to the one done for circular columns was this turn carried out for square columns. Few models can fairly estimate the whole behaviour of the columns and with less accuracy at all levels when compared with circular columns. The second part of this study includes seven experimental tests carried out on reinforced concrete rectangular columns with rounded corners, different damage condition and with confinement and longitudinal strengthening systems. It was concluded that the use of CFRP confinement is viable and of effective performance enhancement alone and combined with other techniques, maintaining a good ductile behaviour for established threshold displacements. As regards the use of external longitudinal strengthening combined with CFRP confinement, this system is effective for the performance enhancement and viable in terms of execution. The load capacity was increased significantly, preserving also in this case a good ductile behaviour for threshold displacements. As to the numerical nonlinear modelling of the tested columns, the results show a variation of the peak load of 1% to 10% compared with tests results. The good results are partly due to the inclusion of the concrete constitutive model by Mander et al. modified by Faustino, Chastre & Paula taking into account the confinement effect. Despite the reasonable approximation to tests results, the modelling results showed higher unloading, which leads to an overestimate dissipated energy and residualdisplacement.

Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

O biofeedback cinemático na realização de exercícios escápulo-torácicos

RESUMO: O Biofeedback cinemático na realização de exercícios escápulo-torácicos Patrícia Ribeiro; Ricardo Matias Desenho do estudo: Estudo quantitativo, experimental, prospetivo de fator único. Objetivos: Determinar a efetividade do biofeedback cinemático tridimensional (3D) em tempo real, como informação de retorno extrínseca, no reconhecimento da zona neutra da omoplata, em indivíduos saudáveis; medir o desempenho temporal, através do tempo que os sujeitos demoram a atingir a posição pretendida, e o desempenho no percurso, através da diferença entre o percurso efetuado e aquele que seria o percurso mais curto, sem Informação de Retorno Extrínseca (IRE), com Informação de Retorno Extrínseca clinica verbal e palpatória (IRE-VP) e com informação de retorno extrínseca visual cinemática (IRE-VC). Enquadramento: Reconhecer aquela que deve ser a posição adequada da omoplata e tomar consciência da importância dessa posição para a estabilidade e correto funcionamento da articulação gleno-umeral é uma tarefa difícil, pois a grande maioria do indivíduos não têm os conhecimentos necessários. É reconhecido o contributo que a IRE tem na reaprendizagem motora, em especial na primeira fase da aprendizagem motora – a consciencialização. Vários estudos se têm debruçado em avaliar a influencia da IRE na reabilitação de indivíduos com disfunção do ombro, tendo-se limitado ao formato electromiográfico. No sentido de encontrar novas estratégias para facilitar o processo de reaprendizagem motora nestes indivíduos, foi escolhido biofeedback cinemático tridimensional. Métodos: Participaram no estudo 60 sujeitos, sem queixas de dor no ombro, com idades compreendidas entre os 18 e os 54 anos, com um valor médio de 21,66 anos (±5.89), divididos aleatoriamente em três grupos com uma tarefa comum: o reconhecimento da zona neutra da omoplata. Um grupo não recebeu qualquer tipo de IRE - Grupo Controlo (GC), outro grupo recebeu IRE-VP e outro recebeu IRE-VC. Para efeitos de análise da performance foram consideradas duas variáveis: tempo e qualidade da execução. A abordagem estatística destas variáveis consistiu numa análise de variância simples e num teste de comparações múltiplas. Resultados: Observámos que o grupo controlo e o grupo IRE-VC efetuaram a tarefa pedida em menos tempo que o grupo IRE-VP (p<0.01) e que o grupo IRE-VC obteve melhores resultados no que respeita à qualidade da execução da tarefa do que o GC e o grupo IRE-VP (p<0.01). Conclusão: Pelos resultados obtidos, na tarefa de reconhecimento da zona neutra da omoplata, podemos concluir que o biofeedback cinemático é mais efetivo na facilitação da obtenção de melhor qualidade de execução da tarefa do que o feedback clinico ou a inexistência de feedback e igualmente efetivo à inexistência de IRE no que respeita ao tempo demorado a reconhecer essa posição. -------------- ABSTRACT:Study Design: Single factor experimental design. Objectives: To determine the effectiveness of real time cinematic biofeedback as extrinsic information in the recognition of the neutral zone of the scapula in healthy subjects; to measure the temporal performance and quality of the execution without extrinsic feedback, with clinical feedback and with cinematic feedback. Background: To recognize the proper scapula position and to be aware of the importance of this position to the stability and correct function of the gleno-umeral joint is a difficult task, because most people don’t have the necessary knowledge. It is known that extrinsic feedback is effective in motor learning, specially in the early stages. There are several studies that evaluated the influence of extrinsic feedback in rehabilitation of shoulder dysfunctions, but only in the electromyography format. Material and Methods: Sixty healthy subjects were randomly divided into 3 groups that received no feedback (group 1 – control group), verbal and palpatory feedback (group 2) and real time cinematic feedback (group 3). The performance variables considered – time and quality of execution - were statistically analyzed with ANOVA one-way and multiple comparisons test. Results: Control group and group 3 executed the task in less time that group 2 (p<0.01) and group 3 executed the task with better quality than control group and group 2 (p<0.01). Conclusions: From the results of this study we conclude that in the studied task, the cinematic feedback is more effective to facilitate a better quality of execution than no feedback or clinical feedback and, regarding to time taken to attain the requested position, equally effective to no feedback.

Arbitragem de consumo no direito brasileiro

This dissertation analyzes how the current Constitution and the Brazilian law establish consumer protection, arbitration and access to justice. Following we try to demonstrate why arbitration is a method rarely used in the resolution of consumer disputes in Brazil. It also examines the doctrinal and jurisprudential aspects of the conflict between the Brazilian Arbitration Law (Law nº. 9.307/96), which allows the arbitration clause in contracts of adhesion, and the Consumer Protection Code (Law nº 8.078/90) that in article 51, VII, considers as abusive the arbitration clause. Furthermore, analyzes new proposed bills under scrutiny by the National Congress on the issue and identifies the causes, in the Brazilian legal system, hampering the use of arbitration in consumer relations. Concludes that there are no principle obstacles preventing consumer litigations to be settled by arbitration. High costs, mistrust, oppression, misinformation of consumers and non-participation of the State, being a totally private institute, are factors that generate distrust, suspicion, and have prevented the development of arbitration in consumer relations in Brazil.

The Gap Between Knowledge and Action: Obstacles, Restraints and Deficits During the Execution of Refurbishments

This article outlines the initial draft of a PhD project which investigates refurbishment or rehabilitation projects in two German cities. The study focuses on obstacles, restraints and deficits as well as factors of success, which can be identified during the execution of the refurbishments. Moreover the study examines the process of the refurbishment itself, the general conditions under which the refurbishments are being executed as well as the implementation of sustainability criteria. First the article gives a short summary of the theoretical considerations of the study. In this respect it shortly outlines the global conditions of urban development and conducting challenges for cities in the 21st century, guiding principles of a sustainable urban development as well as goals of sustainable refurbishments. Finally the article shortly describes the case studies and presents the initial results of the empirical work.

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

The role of implicit contracts: Building public works in the 1840s in Portugal

Business History, Vol 50 No 2, p147-162

The interrogation of witnesses abroad in execution of a european investigation order: an examination from eyes of the defence

European Master Human Rights and Democratisation

Optimal job design in the presence of implicit contracts

We characterize the optimal job design in a multitasking environment when the firms rely on implicit incentive contracts (i.e., bonus payments). Two natural forms of job design are compared: (i) individual accountability, where each agent is assigned to a particular job and assumes full responsibility for its outcome; and (ii) team accountability, where a group of agents share responsibility for a job and are jointly accountable for its outcome. The key trade-off is that team accountability mitigates the multitasking problem but may weaken the implicit contracts. The optimal job design follows a cut-off rule: firms with high reputation concerns opt for team accountability, whereas firms with low reputation concerns opt for individual accountability. Team accountability is more likely the more acute the multitasking problem is. However, the cut-off rule need not hold if the firm combines implicit incentives with explicit pay-per-performance contracts.

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

What do broadband consumers want? Design and execution of a questionnaire on demand for bundled services on the Portuguese telecomunications market

The report addresses the question of what are the preferences of broadband consumers on the Portuguese telecommunication market. A triple play bundle is being investigated. The discrete choice analysis, adopted in the study, base on 110 responses, mainly from NOVA students. The data for the analysis was collected via manually designed on-line survey. The results show that the price attribute is relatively the most important one while the television attribute is being overlooked in the decision making process. Main effects examined in the research are robust. In addition, "extras" components are being tested in terms of users' preferences.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.