From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

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.

Serão as práticas policiais adequadas a uma resposta imediata ao crime?

Dissertação de mestrado em Administração da Justiça

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.

Searching for therapeutic strategies in a mouse modelo of Machado-Joseph disease: targeting proteostases

Tese de Doutoramento em Ciências da Saúde

Reforço à flexão de lajes de betão armado com laminados de CFRP pré-esforçados

Dissertação de mestrado integrado em Engenharia Civil (área de especialização em Estruturas e Geotecnia)

HOXA9 as a key regulator in glioma initiation, aggressiveness and response to therapy

Tese de Doutoramento em Ciências da Saúde

Motivação para o desporto escolar: estudo em alunos do 2º e 3º ciclo de escolaridade numa Escola Básica do concelho de Fafe

Relatório de estágio de mestrado em Ensino de Educação Física nos Ensinos Básico e Secundário

Certificação ISO 9001 e Gestão de Recursos Humanos: precedentes e consequentes: estudo de caso das Unidades de Serviços Certificadas da Universidade do Minho

Dissertação de mestrado em Gestão de Recursos Humanos

Transferência de conhecimento da formação para o local de trabalho: um estudo de caso misto exploratório

Dissertação de mestrado integrado em Psicologia

Self-esteem, assertiveness and resilience in adolescents institutionalized

The institutionalization of children and adolescents has been an increasingly visible problem in modern society. Unfavourable socio-economic conditions have been joining the behavior problems and school absenteeism. When the family fails in its competence for education, social security or the Court withdraws the child or adolescent to a host institution. The aim of this research was to characterize self-esteem, assertiveness and resilience of institutionalized adolescents in the northern region of Portugal and to establish associations with these dependent variables and gender, scholar level and duration of the institutionalization. For the purpose of this study a wider questionnaire was carried out, and validated with a smaller group. It was a transversal study following a predominantly quantitative methodology, with a convenience sample. The sample included 101 adolescents (55 female and 46 males) from eight institutions, aged between 11 to 21 years old (average 15.45). For self-esteem the Rosenberg Self-Esteem Scale (Rosenberg, 1965), already validate for Portuguese adolescents, was used. For assertiveness and resilience it was applied the Global Evaluation Scale of Assertiveness and the Global Evaluation Scale of Resilience (Jardim & Pereira, 2006) we previously adapted and validated for adolescents. Collected data was introduced in a SPSS database. A descriptive analysis was done to characterize the sample concerning all the variables. To establish associations between individual factors and dependent variables t test, correlations and non-parametric test were applied. Results indicated a relatively low self-esteem (28.03), with girls having a lower value than boys, without significant differences. No correlations were found between self-esteem and the time in the institution. Assertiveness of the sample is average (23.97) and higher for girls than boys, with a positive significant correlation with the scholar grade. Also the resilience is average (25.97), having girls a little lower mean than boys and no significant differences or correlations were found.

O uso do Facebook e as emoções experienciadas pelas crianças na óptica dos seus professores

Atualmente a rede social mais visitada em todo o mundo é o Facebook. Além de nos permitir ter um perfil pessoal podemos partilhar fotos, vídeos, mensagens e outros ficheiros. No Facebook também é permitido criar grupos fechados onde os seus membros podem interagir através de mensagens escritas, de áudio, de vídeo e/ou imagens. Tanto esta rede social quanto os grupos dentro da mesma podem ser usados de forma indevida, mas, por outro lado, também podem ser utilizados para aprender, aprender a fazer, conhecer, desenvolver a linguagem escrita e outras competências. O nosso estudo teve como objetivo conhecer a perceção de educadores de infância e professores de primeiro ciclo do ensino básico relativamente ao uso do Facebook por parte das crianças, bem como às emoções que as crianças manifestam neste uso. Foi um estudo transversal, para o qual construímos e validámos um questionário específico, com questões fechadas sobre o uso da respetiva rede social. O instrumento foi disponibilizado e preenchido online através do Google Forms. A amostra foi de conveniência, tendo sido constituída por 75 indivíduos (69 mulheres, 6 homens) com idades compreendidas entre os 25 e os 56 anos. Os resultados evidenciam que os professores e educadores discordam essencialmente que as crianças aceitem pedidos de amizade e comuniquem pelo chat do Facebook com pessoas que não conhecem, concordando mais que usem para comunicar com familiares e amigos, para aderir a grupos com o objetivo de aprender e que permitem o acesso dos adultos à sua conta. No respeitante as emoções e sentimentos registou-se maior discordância quanto ao facto de as crianças preferirem estar no Facebook do que na presença dos seus amigos e de se sentirem dependentes do uso do mesmo. Porém, observou-se o maior nível de concordância para o facto de ficarem aborrecidas se as obrigarem a sair do Facebook.

In vivo imaging of glycol chitosan-based nanogel biodistribution

The preclinical development of nanomedicines raises several challenges and requires a comprehensive characterization. Among them is the evaluation of the biodistribution following systemic administration. In previous work, the biocompatibility and in vitro targeting ability of a glycol chitosan (GC) based nanogel have been validated. In the present study, its biodistribution in the mice is assessed, using near-infrared (NIR) fluorescence imaging as a tool to track the nanogel over time, after intravenous administration. Rapid whole body biodistribution of both Cy5.5 labeled GC nanogel and free polymer is found at early times. It remains widespreadly distributed in the body at least up to 6 h postinjection and its concentration then decreases drastically after 24 h. Nanogel blood circulation half-life lies around 2 h with the free linear GC polymer presenting lower blood clearance rate. After 24 h, the blood NIR fluorescence intensity associated with both samples decreases to insignificant values. NIR imaging of the organs shows that the nanogel had a body clearance time of 48 h, because at this time point a weak signal of NIR fluorescence is observed only in the kidneys. Hereupon it can be concluded that the engineered GC nanogel has a fairly long blood circulation time, suitable for biomedical applications, namely, drug delivery, simultaneously allowing efficient and quick body clearance.

Determinação de psicofármacos em cabelo humano por técnicas cromatográficas hifenadas: um método alternativo não-invasivo

Dissertação de mestrado em Técnicas de Caracterização e Análise Química

Ensaios de controlo de qualidade em sabões e sabonetes

Dissertação de mestrado em Técnicas de Caracterização e Análise Química