A study on reducing digital piracy: an analytical network process approach with benefits, opportunities, costs and risks analysis

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

The integration of online advertising: The effects of source expertise and certainty level of the message on consumer involvement and persuasion in the context of user-generated advertising

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Separation of bioactive peptides by electrodialysis with ultrafiltration membranes: membrane characteristics, ex-situ and in-situ digestion and their impact on peptide migration

Dissertation presented to Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa for obtaining the master degree in Membrane Engineering

Data-centric concurrency control on the java programming language

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

Sentiment analysis on twitter for the portuguese language

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

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Nonparametric estimation of time-dependent ROC curves conditional on a continuous covariate

The receiver-operating characteristic (ROC) curve is the most widely used measure for evaluating the performance of a diagnostic biomarker when predicting a binary disease outcome. The ROC curve displays the true positive rate (or sensitivity) and the false positive rate (or 1-specificity) for different cut-off values used to classify an individual as healthy or diseased. In time-to-event studies, however, the disease status (e.g. death or alive) of an individual is not a fixed characteristic, and it varies along the study. In such cases, when evaluating the performance of the biomarker, several issues should be taken into account: first, the time-dependent nature of the disease status; and second, the presence of incomplete data (e.g. censored data typically present in survival studies). Accordingly, to assess the discrimination power of continuous biomarkers for time-dependent disease outcomes, time-dependent extensions of true positive rate, false positive rate, and ROC curve have been recently proposed. In this work, we present new nonparametric estimators of the cumulative/dynamic time-dependent ROC curve that allow accounting for the possible modifying effect of current or past covariate measures on the discriminatory power of the biomarker. The proposed estimators can accommodate right-censored data, as well as covariate-dependent censoring. The behavior of the estimators proposed in this study will be explored through simulations and illustrated using data from a cohort of patients who suffered from acute coronary syndrome.

The Warburg effect in mycobacterial granulomas is dependent on the recruitment and activation of macrophages by interferon-γ

Granulomas are the hallmark of mycobacterial disease. Here, we demonstrate that both the cell recruitment and the increased glucose consumption in granulomatous infiltrates during Mycobacterium avium infection are highly dependent on interferon-y (IFN-y). Mycobacterium avium-infected mice lacking IFN-y signalling failed to developed significant inflammatory infiltrations and lacked the characteristic uptake of the glucose analogue fluorine-18-fluorodeoxyglucose (FDG). To assess the role of macrophages in glucose uptake we infected mice with a selective impairment of IFN-y signalling in the macrophage lineage (MIIG mice). Although only a partial reduction of the granulomatous areas was observed in infected MIIG mice, the insensitivity of macrophages to IFN-y reduced the accumulation of FDG. In vivo, ex vivo and in vitro assays showed that macrophage activated by IFN-y displayed increased rates of glucose uptake and in vitro studies showed also that they had increased lactate production and increased expression of key glycolytic enzymes. Overall, our results show that the activation of macrophages by IFN-y is responsible for the Warburg effect observed in organs infected with M. avium.

The Barcelonnettes: an example of network-entrepreneurs in XIX century Mexico. An explanation based on a theory of bounded rational choice with social embeddedness

A theory of network-entrepreneurs or "spin-off system" is presented in this paper for the creation of firms based on the community’s social governance. It is argued that firm’s capacity for accumulation depends on the presence of employees belonging to the same social/ethnic group with expectations of "inheriting" the firm and becoming entrepreneurs once they have been selected for their merits and loyalty towards their patrons. Such accumulation is possible because of the credibility of the patrons’ promises of supporting newcomers due to high social cohesion and specific social norms prevailing in the community. This theory is exemplified through the case of the Barcelonnettes, a group of immigrants from the Alps in the South of France (Provence) who came to Mexico in the XIX Century.

Effects of selection and drift on G matrix evolution in a heterogeneous environment: a multivariate Qst-Fst Test with the freshwater snail Galba truncatula.

Unraveling the effect of selection vs. drift on the evolution of quantitative traits is commonly achieved by one of two methods. Either one contrasts population differentiation estimates for genetic markers and quantitative traits (the Q(st)-F(st) contrast) or multivariate methods are used to study the covariance between sets of traits. In particular, many studies have focused on the genetic variance-covariance matrix (the G matrix). However, both drift and selection can cause changes in G. To understand their joint effects, we recently combined the two methods into a single test (accompanying article by Martin et al.), which we apply here to a network of 16 natural populations of the freshwater snail Galba truncatula. Using this new neutrality test, extended to hierarchical population structures, we studied the multivariate equivalent of the Q(st)-F(st) contrast for several life-history traits of G. truncatula. We found strong evidence of selection acting on multivariate phenotypes. Selection was homogeneous among populations within each habitat and heterogeneous between habitats. We found that the G matrices were relatively stable within each habitat, with proportionality between the among-populations (D) and the within-populations (G) covariance matrices. The effect of habitat heterogeneity is to break this proportionality because of selection for habitat-dependent optima. Individual-based simulations mimicking our empirical system confirmed that these patterns are expected under the selective regime inferred. We show that homogenizing selection can mimic some effect of drift on the G matrix (G and D almost proportional), but that incorporating information from molecular markers (multivariate Q(st)-F(st)) allows disentangling the two effects.

Feedback on hypothalamic TRH transcription is dependent on thyroid hormone receptor N terminus.

The beta thyroid hormone receptor (TRbeta), but not TRalpha1, plays a specific role in mediating T(3)-dependent repression of hypothalamic TRH transcription. To investigate the structural basis of isoform specificity, we compared the transcriptional regulation and DNA binding obtained with chimeric and N-terminally deleted TRs. Using in vivo transfection assays to follow hypothalamic TRH transcription in the mouse brain, we found that TRbeta1 and chimeras with the TRbeta1 N terminus did not affect either transcriptional activation or repression from the rat TRH promoter, whereas N-terminally deleted TRbeta1 impaired T(3)-dependent repression. TRalpha1 or chimeras with the TRalpha1 N terminus reduced T(3)-independent transcriptional activation and blocked T(3)-dependent repression of transcription. Full deletion of the TRalpha1 N terminus restored ligand-independent activation of transcription. No TR isoform specificity was seen after transcription from a positive thyroid hormone response element. Gel mobility assays showed that all TRs tested bound specifically to the main negative thyroid hormone response element in the TRH promoter (site 4). Addition of neither steroid receptor coactivator 1 nor nuclear extracts from the hypothalamic paraventricular nuclei revealed any TR isoform specificity in binding to site 4. Thus N-terminal sequences specify TR T(3)-dependent repression of TRH transcription but not DNA recognition, emphasizing as yet unknown neuron-specific contributions to protein-promoter interactions in vivo.

Sex-dependent selection on an autosomal melanic female ornament promotes the evolution of sex ratio bias.

Sex-dependent selection often leads to spectacularly different phenotypes in males and females. In species in which sexual dimorphism is not complete, it is unclear which benefits females and males derive from displaying a trait that is typical of the other sex. In barn owls (Tyto alba), females exhibit on average larger black eumelanic spots than males but members of the two sexes display this trait in the same range of possible values. In a 12-year study, we show that selection exerted on spot size directly or on genetically correlated traits strongly favoured females with large spots and weakly favoured males with small spots. Intense directional selection on females caused an increase in spot diameter in the population over the study period. This increase is due to a change in the autosomal genes underlying the expression of eumelanic spots but not of sex-linked genes. Female-like males produced more daughters than sons, while male-like females produced more sons than daughters when mated to a small-spotted male. These sex ratio biases appear adaptive because sons of male-like females and daughters of female-like males had above-average survival. This demonstrates that selection exerted against individuals displaying a trait that is typical of the other sex promoted the evolution of specific life history strategies that enhance their fitness. This may explain why in many organisms sexual dimorphism is often not complete.

Quality of life depends on the drinking pattern in alcohol-dependent patients.

AIMS: In patients with alcohol dependence, health-related quality of life (QOL) is reduced compared with that of a normal healthy population. The objective of the current analysis was to describe the evolution of health-related QOL in adults with alcohol dependence during a 24-month period after initial assessment for alcohol-related treatment in a routine practice setting, and its relation to drinking pattern which was evaluated across clusters based on the predominant pattern of alcohol use, set against the influence of baseline variables METHODS: The Medical Outcomes Study 36-Item Short-Form Survey (MOS-SF-36) was used to measure QOL at baseline and quarterly for 2 years among participants in CONTROL, a prospective observational study of patients initiating treatment for alcohol dependence. The sample consisted of 160 adults with alcohol dependence (65.6% males) with a mean (SD) age of 45.6 (12.0) years. Alcohol use data were collected using TimeLine Follow-Back. Based on the participant's reported alcohol use, three clusters were identified: 52 (32.5%) mostly abstainers, 64 (40.0%) mostly moderate drinkers and 44 (27.5%) mostly heavy drinkers. Mixed-effect linear regression analysis was used to identify factors that were potentially associated with the mental and physical summary MOS-SF-36 scores at each time point. RESULTS: The mean (SD) MOS-SF-36 mental component summary score (range 0-100, norm 50) was 35.7 (13.6) at baseline [mostly abstainers: 40.4 (14.6); mostly moderate drinkers 35.6 (12.4); mostly heavy drinkers 30.1 (12.1)]. The score improved to 43.1 (13.4) at 3 months [mostly abstainers: 47.4 (12.3); mostly moderate drinkers 44.2 (12.7); mostly heavy drinkers 35.1 (12.9)], to 47.3 (11.4) at 12 months [mostly abstainers: 51.7 (9.7); mostly moderate drinkers 44.8 (11.9); mostly heavy drinkers 44.1 (11.3)], and to 46.6 (11.1) at 24 months [mostly abstainers: 49.2 (11.6); mostly moderate drinkers 45.7 (11.9); mostly heavy drinkers 43.7 (8.8)]. Mixed-effect linear regression multivariate analyses indicated that there was a significant association between a lower 2-year follow-up MOS-SF-36 mental score and being a mostly heavy drinker (-6.97, P < 0.001) or mostly moderate drinker (-3.34 points, P = 0.018) [compared to mostly abstainers], being female (-3.73, P = 0.004), and having a Beck Inventory scale score ≥8 (-6.54, P < 0.001), at baseline. The mean (SD) MOS-SF-36 physical component summary score was 48.8 (10.6) at baseline, remained stable over the follow-up and did not differ across the three clusters. Mixed-effect linear regression univariate analyses found that the average 2-year follow-up MOS-SF-36 physical score was increased (compared with mostly abstainers) in mostly heavy drinkers (+4.44, P = 0.007); no other variables tested influenced the MOS-SF-36 physical score. CONCLUSION: Among individuals with alcohol dependence, a rapid improvement was seen in the mental dimension of QOL following treatment initiation, which was maintained during 24 months. Improvement was associated with the pattern of alcohol use, becoming close to the general population norm in patients classified as mostly abstainers, improving substantially in mostly moderate drinkers and improving only slightly in mostly heavy drinkers. The physical dimension of QOL was generally in the normal range but was not associated with drinking patterns.

Existence and uniqueness of viscosity solution for Hamilton-Jacobi equation with discontinuous coefficients dependent on time

The main result is a proof of the existence of a unique viscosity solution for Hamilton-Jacobi equation, where the hamiltonian is discontinuous with respect to variable, usually interpreted as the spatial one. Obtained generalized solution is continuous, but not necessarily differentiable.