Analysis of physicochemical interaction between the components of asphalt mixtures with rubber

Tese de Doutoramento em Engenharia Civil

Ligantes de baixo impacto ambiental e baixo custo, baseados na ativação química de escórias de aciaria

Dissertação de mestrado integrado em Engenharia Civil

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.

Expression of histone methyltransferases as novel biomarkers for renal cell tumor diagnosis and prognostication

Renal cell tumors (RCTs) are the most lethal of the common urological cancers. The widespread use of imaging entailed an increased detection of small renal masses, emphasizing the need for accurate distinction between benign and malignant RCTs, which is critical for adequate therapeutic management. Histone methylation has been implicated in renal tumorigenesis, but its potential clinical value as RCT biomarker remains mostly unexplored. Hence, the main goal of this study was to identify differentially expressed histone methyltransferases (HMTs) and histone demethylases (HDMs) that might prove useful for RCT diagnosis and prognostication, emphasizing the discrimination between oncocytoma (a benign tumor) and renal cell carcinoma (RCC), especially the chromophobe subtype (chRCC). We found that the expression levels of three genes-SMYD2, SETD3, and NO66-was significantly altered in a set of RCTs, which was further validated in a large independent cohort. Higher expression levels were found in RCTs compared to normal renal tissues (RNTs) and in chRCCs comparatively to oncocytomas. SMYD2 and SETD3 mRNA levels correlated with protein expression assessed by immunohistochemistry. SMYD2 transcript levels discriminated RCTs from RNT, with 82.1% sensitivity and 100% specificity (AUC=0.959), and distinguished chRCCs from oncocytomas, with 71.0% sensitivity and 73.3% specificity (AUC: 0.784). Low expression levels of SMYD2, SETD3, and NO66 were significantly associated with shorter disease-specific and disease-free survival, especially in patients with non-organ confined tumors. We conclude that expression of selected HMTs and HDMs might constitute novel biomarkers to assist in RCT diagnosis and assessment of tumor aggressiveness.

Influência do fator visão do céu na propagação do ruído em zonas urbanas

Dissertação de mestrado integrado em Engenharia Civil

Exploring the factor structure of neurocognitive measures in older individuals

Here we focus on factor analysis from a best practices point of view, by investigating the factor structure of neuropsychological tests and using the results obtained to illustrate on choosing a reasonable solution. The sample (n=1051 individuals) was randomly divided into two groups: one for exploratory factor analysis (EFA) and principal component analysis (PCA), to investigate the number of factors underlying the neurocognitive variables; the second to test the "best fit" model via confirmatory factor analysis (CFA). For the exploratory step, three extraction (maximum likelihood, principal axis factoring and principal components) and two rotation (orthogonal and oblique) methods were used. The analysis methodology allowed exploring how different cognitive/psychological tests correlated/discriminated between dimensions, indicating that to capture latent structures in similar sample sizes and measures, with approximately normal data distribution, reflective models with oblimin rotation might prove the most adequate.

MET is required for the recruitment of anti-tumoural neutrophils

Mutations or amplification of the MET proto-oncogene are involved in the pathogenesis of several tumours, which rely on the constitutive engagement of this pathway for their growth and survival. However, MET is expressed not only by cancer cells but also by tumour-associated stromal cells, although its precise role in this compartment is not well characterized. Here we show that MET is required for neutrophil chemoattraction and cytotoxicity in response to its ligand hepatocyte growth factor (HGF). Met deletion in mouse neutrophils enhances tumour growth and metastasis. This phenotype correlates with reduced neutrophil infiltration to both the primary tumour and metastatic sites. Similarly, Met is necessary for neutrophil transudation during colitis, skin rash or peritonitis. Mechanistically, Met is induced by tumour-derived tumour necrosis factor (TNF)-a or other inflammatory stimuli in both mouse and human neutrophils. This induction is instrumental for neutrophil transmigration across an activated endothelium and for inducible nitric oxide synthase production upon HGF stimulation. Consequently, HGF/MET-dependent nitric oxide release by neutrophils promotes cancer cell killing, which abates tumour growth and metastasis. After systemic administration of a MET kinase inhibitor, we prove that the therapeutic benefit of MET targeting in cancer cells is partly countered by the pro-tumoural effect arising from MET blockade in neutrophils. Our work identifies an unprecedented role of MET in neutrophils, suggests a potential 'Achilles' heel' of MET-targeted therapies in cancer, and supports the rationale for evaluating anti-MET drugs in certain inflammatory diseases.

Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Plano de revitalização do centro histórico de Braga

Dissertação de mestrado em Políticas Comunitárias e Cooperação Territorial

Segurança no acesso ao registo clínico eletrónico

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Mobilidade geográfica dos trabalhadores e implicações processuais

Dissertação de mestrado em Direito Judiciário

Influence of different fibers on the change of pore pressure of self-consolidating concrete exposed to fire

The focus of this paper is given to investigate the effect of different fibers on the pore pressure of fiber reinforced self-consolidating concrete under fire. The investigation on the pore pressure-time and temperature relationships at different depths of fiber reinforced self-consolidating concrete beams was carried out. The results indicated that micro PP fiber is more effective in mitigating the pore pressure than macro PP fiber and steel fiber. The composed use of steel fiber, micro PP fiber and macro PP fiber showed clear positive hybrid effect on the pore pressure reduction near the beam bottom subjected to fire. Compared to the effect of macro PP fiber with high dosages, the effect of micro PP fiber with low fiber contents on the pore pressure reduction is much stronger. The significant factor for reduction of pore pressure depends mainly on the number of PP fibers and not only on the fiber content. An empirical formula was proposed to predict the relative maximum pore pressure of fiber reinforced self-consolidating concrete exposed to fire by considering the moisture content, compressive strength and various fibers. The suggested model corresponds well with the experimental results of other research and tends to prove that the micro PP fiber can be the vital component for reduction in pore pressure, temperature as well spalling of concrete.

A excelência da escola pública portuguesa: efeitos sobre o modo de trabalho do professor

Dissertação de mestrado em Ciências da Educação (área de especialização em Educação de Adultos)

Blow-up and finite time extinction for p(x, t)-curl systems arising in electromagnetism

"Available online 22 March 2016"

SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"