Presentations for some monoids of injective partial transformations on a finite chain.

Communications in Algebra, 33 (2005), p. 587-604

Automorphisms of partial endomorphism semigroups

Publicationes Mathematicae Debrecen

Geodupa - a geography-driven partial membership algorithm

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Archaeometallurgical study of pre and protohistoric production remains and artefacts from Southern Portugal

Dissertação para obtenção do Grau de Doutor em Conservação e Restauro, especialidade Ciências da Conservação

Distributed processing of large remote sensing images using MapReduce - A case of Edge Detection

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

GIS capacity building for risk management to help developing countries:Case of climate change problem in Amhara rural region (Ethiopia)

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Partial Least Square – Path Modeling: metodologia, software e aplicação

Trabalho de Projeto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Partial replication in distributed software transactional memory

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

Collecting data for indoor mapping of the university of Münster via a location based game

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

A private library in the Mateus Palace (Vila Real). The D. Luís António de Sousa Botelho Mourão (1722-1798) Books Collection

Fundação para a Ciência e Tecnologia no âmbito de Bolsa de Doutoramento (SFRH/BD/86280/2012)

Cohesion decay: quantitative analysis of partial sister chromatid cohesion

Cell division is a highly dynamic process where sister chromatids remain associated with each other from the moment of DNA replication until the later stages of mitosis, giving rise to two daughter cells with equal genomes. The “molecular glue” that links sister DNA molecules is called cohesin, a tripartite ring-like protein complex composed of two Structural Maintenance of Chromosome proteins (Smc1 and Smc3) bridged by a kleisin subunit Rad21/Scc1, that together prevent precocious sister chromatid separation. Accumulating evidence has suggested that cohesion decay may be the cause of segregation errors that underlie certain human pathologies. However it remains to be determined how much cohesin loss abolishes functional sister chromatid cohesion. To answer these questions, we have developed different experimental conditions aiming to titrate the levels of cohesin on mitotic chromosomes in a precise manner. Using these tools, we will determine the minimal amount of cohesin needed to confer functional cohesion. The approaches described here take advantage of a system in Drosophila melanogaster where the Tobacco Etch Virus (TEV) protease can cleave the Rad21 subunit of cohesin leading to precocious sister chromatid separation. Firstly, we tried to express different levels of TEV protease to obtain partial loss of cohesion. However, this approach has failed to produce systematic different levels of sister chromatid separation. Most of the work was therefore focused on a second strategy, for which we established strains with different levels of cohesin sensitive/cohesin resistant to TEV protease. Strains containing different amounts of functional cohesin (TEV resistant) were tested by in vitro cleavage and by in vivo injections in embryos for their ability to promote sister chromatid cohesion. Our results reveal that removal of half of the cohesin complexes does not impair chromosome segregation, implying that chromosome cohesion is less sensitive to cohesin amounts than previously anticipated.

Archaeometallurgical study of the Proto-historic collection of Moinhos de Golas (North Portugal): a forecast for technological changes?

This work presents the archaeometallurgical study of a group of metallic artefacts found in Moinhos de Golas site, Vila Real (North of Portugal), that can generically be attributed to Proto-history (1st millennium BC, Late Bronze Age and Iron Age). The collection is composed by 35 objects: weapons, ornaments and tools, and others of difficult classification, as rings, bars and one small thin bent sheet. Some of the objects can typologically be attributed to Late Bronze Age, others are of more difficult specific attribution. The archaeometallurgical study involved x-ray digital radiography, elemental analysis by micro-energy dispersive X-ray fluorescence spectrometry and scanning electron microscopy with energy dispersive spectroscopy, microstructural observations by optical microscopy and scanning electron microscopy. The radiographic images revealed structural heterogeneities frequently related with the degradation of some artefacts and the elemental analysis showed that the majority of the artefacts was produced in a binary bronze alloy (Cu-Sn) (73%), being others produced in copper (15%) and three artefacts in brass (Cu-Zn(-Sn-Pb)). Among each type of alloy there’s certain variability in the composition and in the type of inclusions. The microstructural observations revealed that the majority of the artefacts suffered cycles of thermo-mechanical processing after casting. The diversity of metals/alloys identified was a discovery of great interest, specifically due to the presence of brasses. Their presence can be interpreted as importations related to the circulation of exogenous products during the Proto-history and/or to the deposition of materials during different moments at the site, from the transition of Late Bronze Age/Early Iron Age (Orientalizing period) onwards, as during the Roman period.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.