Analysis of world economic variables using multidimensional scaling

Waves of globalization reflect the historical technical progress and modern economic growth. The dynamics of this process are here approached using the multidimensional scaling (MDS) methodology to analyze the evolution of GDP per capita, international trade openness, life expectancy, and education tertiary enrollment in 14 countries. MDS provides the appropriate theoretical concepts and the exact mathematical tools to describe the joint evolution of these indicators of economic growth, globalization, welfare and human development of the world economy from 1977 up to 2012. The polarization dance of countries enlightens the convergence paths, potential warfare and present-day rivalries in the global geopolitical scene.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Architecture and mosaics in recently discovered Palaeochristian basilicas

The excavations of the Dericik Early Christian Basilicas revealed the importance of the surrounding area of Bursa for understanding Early Christianity between the Late Roman and Early Byzantine periods. In the salvage excavations of 2001, the basic plan of the basilica (nave, narthex, presbyterium and apse) was revealed. The most important artefacts uncovered in that year were the mosaic pavements with geometric and plant ornaments and a grave located in the North Eastern corner of the church. The mosaic of the basilica was laid with the opus tessellatum technique on a thick mortar foundation with white, red, yellow, olive green and dark blue tesserae. A refrigerium scene is represented in the middle of the narthex mosaic. The mosaic in the centre of the nave is divided into parts, one of which with figures of birds inside octagons. In the transitional area between the nave and apse, three heavily damaged inscriptions have been conserved each of three or four lines, one of them indicating the wish of Epituchanos, diakôn, a church member.

A technical investigation of an oil painting on copper support, including a study on consolidants for treatment

Paper submitted to e-conservation Journal: Maria Leonor Oliveira, Leslie Carlyle, Sara Fragoso, Isabel Pombo Cardoso and João Coroado, “Investigations into paint delamination and consolidation of an oil painting on copper support”.

Breaking the Pattern and Creating New Paths – Feminist Mizrahi Women Artists in Israel

This article addresses the work of Mizrahi women artists, i.e., Israeli-Jewish women of Asian or African ethnic origin, using the artist Vered Nissim as a case study. Nissim seeks to affirm the politics of identity and recognition, as well as feminism in order to create a paradigm shift with regards to the local regime of cultural representations in the Israeli art scene. Endeavouring to find ways of undermining the rigid imbalances between different social groups, she calls for a comprehensive reform of the status quo through artistic activism. Nissim employs a style, content, and medium that disrupts the accepted social order, using humour and irony as unique weapons with which she takes liberties with conventional moral, social, and economic values. Placing issues of race, class and gender at the centre of her work, she seeks to undermine and problematize essentialist attitudes, highlighting the political intersections of different identity categories as the critical analysis of intersectionality unfolds.

Depois de Orpheu : 1916-1935

O objetivo deste trabalho era verificar como, nos jornais e revistas, o Primeiro Modernismo tinha sido acolhido. Depois do escândalo de Orpheu e da forma agressiva como os seus colaboradores tinham sido recebidos, cabia verificar se tinha havido, ou não, uma evolução na análise da sua obra ao longo dos anos, de 1916 a 1935, tanto mais que as vidas de cada um destes tinha evoluído de forma diferenciada. As mortes prematuras de uns, a subida a postos de influência e poder, ou a longevidade de outros foram fatores que poderiam ter condicionado a evolução da crítica jornalística. Por um lado, os críticos poderiam ter alterado a sua visão face a estes criadores, podendo o tempo ter funcionado a favor destes. O que em 1915 era estranho e bizarro poderia em 1935 ser inédito e original. Por outro lado, a conjuntura política poderia condicionar não só a criação artística, mas também o seu enquadramento social. Em 1915, a guerra entre monárquicos e republicanos foi marcada pelas referências a Orpheu. Mais tarde com a ditadura militar e a ascensão do Estado Novo poderão os nossos artistas voltar a ser alvo de referências políticas. A verdade é que tal não acontece. O poder político menospreza-os, apesar de nalguns casos terem uma participação ativa nas suas fileiras. A verdade é que os autores mais importantes e significativos foram, pouco a pouco, e com o passar dos anos, integrados na sociedade literária e começaram a ser vistos como criadores a ter em conta, senão mesmo de referência. O seu aparecimento em jornais e revistas na qualidade de escritores, jornalistas, artistas plásticos ou mesmo críticos fez com que estivessem sob os holofotes da imprensa e como tal sujeitos a uma análise permanente. E esta foi-se alterando com o passar do tempo e com o reconhecimento dos mesmos. Hoje ninguém duvida do seu valor, mas entre 1915 (data da publicação de Orpheu e 1935 (ano da morte de Pessoa) todos eram vistos como loucos, jovens com alguma habilidade para a escrita, promessas do panorama literário e finalmente, em alguns casos, motivos de orgulho para o nosso património artístico. Só uma leitura dos periódicos mais relevantes permitiria estudar a receção do nosso Primeiro Modernismo. E foi esse o objetivo desta tese.