On mappings preserving the sharp and star orders

The present paper is devoted to the study of linear maps preserving certain relations, such as the sharp partial order and the star partial order in semisimple Banach algebras and C*-algebras.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Para cá e para lá dos muros: relações familiares na interface entre o interior e o exterior da prisão

Tese de Doutoramento em Sociologia

Development of computational tools for the integrated analysis of DNA microarray data with applications in cancer research

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Public service culture collections of microorganisms: are they important for biotechnology?

Microbiology as a scientific discipline recognised the need to preserve microorganisms for scientific studies establishing from its very beginning research culture collections (CC). Later on, to better serve different scientific fields and bioindustries with the increasing number of strains of scientific, medical, ecological and biotechnological importance public service CC were established with the specific aims to support their user communities. Currently, the more developed public service CC are recognised as microBiological Resources Centres (mBRC). mBRC are considered to be one of the key elements for sustainable international scientific infrastructure, which is necessary to underpin successful delivery of the benefits of biotechnology, whether within the health sector, the industrial sector or other sectors, and in turn ensure that these advances help drive economic growth. In more detail, mBRCs are defined by Organisation for Economic Co-operation and Development (OECD) as service providers and repositories of the living cells, genomes of organisms, and information relating to heredity and functions of biological systems. mBRCs contain collections of culturable organisms (e.g., microorganisms, plant, animal cells), replicable parts of these (e.g. genomes, plasmids, virus, cDNAs), viable but not yet culturable organisms, cells and tissues, as well as database containing molecular, physiological and structural information relevant to these collections and related bioinformatics. Thus mBRCs are fundamental to harnessing and preserving the world’s microbial biodiversity and genetic resources and serve as an essential element of the infrastructure for research and development. mBRCs serve a multitude of functions and assume a range of shapes and forms. Some are large national centres performing a comprehensive role providing access to diverse organisms. Other centres play much narrower, yet important, roles supplying limited but crucial specialised resources. In the era of the knowledge-based bio-economy mBRCs are recognised as vital element to underpinning the biotechnology.

Tribunais nacionais e tutela jurisdicional efetiva: da cooperação à integração judiciária no contencioso da união europeia

Tese de Doutoramento em Ciências Jurídicas (área de especialização em Ciências Jurídicas Públicas).

MOEA/VAN: Multiobjective Evolutionary Algorithm based on Vector Angle Neighborhood

Natural selection favors the survival and reproduction of organisms that are best adapted to their environment. Selection mechanism in evolutionary algorithms mimics this process, aiming to create environmental conditions in which artificial organisms could evolve solving the problem at hand. This paper proposes a new selection scheme for evolutionary multiobjective optimization. The similarity measure that defines the concept of the neighborhood is a key feature of the proposed selection. Contrary to commonly used approaches, usually defined on the basis of distances between either individuals or weight vectors, it is suggested to consider the similarity and neighborhood based on the angle between individuals in the objective space. The smaller the angle, the more similar individuals. This notion is exploited during the mating and environmental selections. The convergence is ensured by minimizing distances from individuals to a reference point, whereas the diversity is preserved by maximizing angles between neighboring individuals. Experimental results reveal a highly competitive performance and useful characteristics of the proposed selection. Its strong diversity preserving ability allows to produce a significantly better performance on some problems when compared with stat-of-the-art algorithms.

Reducing seismic vulnerablity: Retrofitting historic buildings

The value of preserving historic buildings is increasingly accepted by society, which not only recognizes built cultural heritage as a part of its identity but is also more cognizant of its economic value. In Europe, for example, tourism accounts for 10 percent of the GDP in the EU and 12 percent of employment.1 Built cultural heritage is a fundamental element of what draws tourists to European destinations. To a great extent, the value of historic buildings rests in the integrity of their components as unique products of the technology of their time and place. Unfortunately, cultural heritage buildings are particularly vulnerable to disasters, for a variety of reasons. They are often damaged or in a state of deterioration; they were built with materials with low resistance; they are heavy; and the connections among their various structural components are frequently insufficient. The main causes of damage are lack of maintenance, water-induced deterioration (from rain or rising damp), soil settlement, and extreme events such as earthquakes. Earthquakes have caused hundreds of thousands of deaths in the last decade, in addition to the tremendous losses in built cultural heritage.

Avaliação do impacto na saúde da mobilidade no acesso aos Campi Universitários: estudo de caso UMinho

Dissertação de mestrado integrado em Engenharia Civil

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Influência do tipo de adesivo no comportamento de elementos de betão reforçados com laminados de CFRP de acordo com a técnica NSM

Dissertação de mestrado integrado em Engenharia Civil

Insights into bacterial colony morphology evolution and diversification during infection development in cystic fibrosis

Tese de Doutoramento em Engenharia Biomédica.

Reúso do património do movimento moderno: a panificadora de Vila Real

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitectónica)