A Logic and tool for local reasoning about security protocols

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

Evaluation of different immunization protocols with P. brasiliensis antigens in Guinea pigs

The objective of the present study was to develop an efficient and reproducible protocol of immunization of guinea pigs with P. brasiliensis antigens as an animal model for future studies of protective immunity mechanisms. We tested three different antigens (particulate, soluble and combined) and six protocols in the presence and absence of Freund's complete adjuvant and with different numbers of immunizing doses and variable lenght of time between the last immunizing dose and challenge. The efficacy of the immunizing protocol was evaluated by measuring the humoral and cellular anti-P. brasiliensis immune response of the animals, using immuno-diffusion, skin test and macrophage migration inhibition test. It was observed that: 1. Three immunizing doses of the antigens induced a more marked response than two doses; 2. The highest immune response was obtained with the use of Freund's complete adjuvant; 3. Animals challenged a long time (week 6) after the last immunizing dose showed good anti-P. brasiliensis immune response; 4. The particulate antigen induced the lowest immune response. The soluble and the combined antigens were equally efficient in raising good humoral and cellular anti-P. brasiliensis immune response

Multi-Objective and Financial Portfolio Optimization of Carrier-Sense Multiple Access Protocols with Cooperative Diversity

8th International Workshop on Multiple Access Communications (MACOM2015), Helsinki, Finland.

Functional and molecular characterization of SR45, a plant-specific factor involved in sugar and stress signaling in Arabidopsis thaliana

Dissertation presented to obtain the Ph.D degree in Molecular Biology

Neural Mechanisms of Exercise: Anti-Depression, Neurogenesis, and Serotonin Signaling

Depression is associated with decreased serotonin metabolism and functioning in the central nervous system, evidenced by both animal models of depression and clinical patient studies. Depression is also accompanied by decreased hippocampal neurogenesis in diverse animal models. Neurogenesis is mainly defined in dentate gyrus of hippocampus as well as subventricular zone. Moreover, hypothalamus, amygdala, olfactory tubercle, and piriform cortex are reported with evidences of adult neurogenesis. Physical exercise is found to modulate adult neurogenesis significantly, and results in mood improvement. The cellular mechanism such as adult neurogenesis upregulation was considered as one major mood regulator following exercise. The recent advances in molecular mechanisms underlying exercise-regulated neurogenesis have widen our understanding in brain plasticity in physiological and pathological conditions, and therefore better management of different psychiatric disorders.

Strategic trade policy and signaling costs with differentiated goods

We consider a trade policy model, where the costs of the home firm are private information but can be signaled through the output levels of the firm to a foreign competitor and a home policymaker. We compute the separating equilibrium and the Bayesian Nash equilibrium, and we compare the subsidies, firms’ expected profits and home government’s welfare in both equilibria, for different values of the own price effect parameter.

Energy-efficient MAC protocols for WBANs: Opportunities and challenges

Wireless body area networks (WBANs) are expected to play a significant role in smart healthcare systems. One of the most important attributes of WBANs is to increase network lifetime by introducing novel and low-power techniques on the energy-constrained sensor nodes. Medium access control (MAC) protocols play a significant role in determining the energy consumption in WBANs. Existing MAC protocols are unable to accommodate communication requirements in WBANs. There is a need to develop novel, scalable and reliable MAC protocols that must be able to address all these requirements in a reliable manner. In this special issue, we attracted high quality research and review papers on the recent advances in MAC protocols for WBANs.

Calcium signaling and the novel anti-proliferative effect of the UTP-sensitive P2Y11 receptor in rat cardiac myofibroblasts

During myocardial ischemia and reperfusion both purines and pyrimidines are released into the extracellular milieu, thus creating a signaling wave that propagates to neighboring cells via membrane-bound P2 purinoceptors activation. Cardiac fibroblasts (CF) are important players in heart remodeling, electrophysiological changes and hemodynamic alterations following myocardial infarction. Here, we investigated the role UTP on calcium signaling and proliferation of CF cultured from ventricles of adult rats. Co-expression of discoidin domain receptor 2 and -smooth muscle actin indicate that cultured CF are activated myofibroblasts. Intracellular calcium ([Ca2+]i) signals were monitored in cells loaded with Fluo-4 NW. CF proliferation was evaluated by the MTT assay. UTP and the selective P2Y4 agonist, MRS4062, caused a fast desensitizing [Ca2+]i rise originated from thapsigargin-sensitive internal stores, which partially declined to a plateau providing the existence of Ca2+ in the extracellular fluid. The biphasic [Ca2+]i response to UTP was attenuated respectively by P2Y4 blockers, like reactive blue-2 and suramin, and by the P2Y11 antagonist, NF340. UTP and the P2Y2 receptor agonist MRS2768 increased, whereas the selective P2Y11 agonist NF546 decreased, CF growth; MRS4062 was ineffective. Blockage of the P2Y11receptor or its coupling to adenylate cyclase boosted UTP-induced CF proliferation. Confocal microscopy and Western blot analysis confirmed the presence of P2Y2, P2Y4 and P2Y11 receptors. Data indicate that besides P2Y4 and P2Y2 receptors which are responsible for UTP-induced [Ca2+]i transients and growth of CF, respectively, synchronous activation of the previously unrecognized P2Y11 receptor may represent an important target for anti-fibrotic intervention in cardiac remodeling.

Gain-of-Function Mutations in IFIH1 Cause a Spectrum of Human Disease Phenotypes Associated with Upregulated Type I Interferon Signaling

The type I interferon system is integral to human antiviral immunity. However, inappropriate stimulation or defective negative regulation of this system can lead to inflammatory disease. We sought to determine the molecular basis of genetically uncharacterized cases of the type I interferonopathy Aicardi-Goutières syndrome, and of other patients with undefined neurological and immunological phenotypes also demonstrating an upregulated type I interferon response. We found that heterozygous mutations in the cytosolic double-stranded RNA receptor gene IFIH1 (MDA5) cause a spectrum of neuro-immunological features consistently associated with an enhanced interferon state. Cellular and biochemical assays indicate that these mutations confer a gain-of-function - so that mutant IFIH1 binds RNA more avidly, leading to increased baseline and ligand-induced interferon signaling. Our results demonstrate that aberrant sensing of nucleic acids can cause immune upregulation.

Gene Expression Profiling and Association Studies Implicate the Neuregulin Signaling Pathway in Behçet's Disease Susceptibility

Behçet's disease (BD) is a complex disease with genetic and environmental risk factors implicated in its etiology; however, its pathophysiology is poorly understood. To decipher BD's genetic underpinnings, we combined gene expression profiling with pathway analysis and association studies. We compared the gene expression profiles in peripheral blood mononuclear cells (PBMCs) of 15 patients and 14 matched controls using Affymetrix microarrays and found that the neuregulin signaling pathway was over-represented among the differentially expressed genes. The Epiregulin (EREG), Amphiregulin (AREG), and Neuregulin-1 (NRG1) genes of this pathway stand out as they are also among the top differentially expressed genes. Twelve haplotype tagging SNPs at the EREG-AREG locus and 15 SNPs in NRG1 found associated in at least one published BD genome-wide association study were tested for association with BD in a dataset of 976 Iranian patients and 839 controls. We found a novel association with BD for the rs6845297 SNP located downstream of EREG, and replicated three associations at NRG1 (rs4489285, rs383632, and rs1462891). Multifactor dimensionality reduction analysis indicated the existence of epistatic interactions between EREG and NRG1 variants. EREG-AREG and NRG1, which are members of the epidermal growth factor (EGF) family, seem to modulate BD susceptibility through main effects and gene–gene interactions. These association findings support a role for the EGF/ErbB signaling pathway inBD pathogenesis that warrants further investigation and highlight the importance of combining genetic and genomic approaches to dissect the genetic architecture of complex diseases.

Dissecting cross-talk between microglia and motoneurons in ALS: signaling events and soluble factors

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Dual track sell-out: Signaling through IPO and Underpricing

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

Exploring motor neuron degeneration in ALS - prevention by glycoursodeoxycholic acid and signaling to microglia

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Role of Notch signaling on the differentiation of early lymphoid progenitors cells: a view throughout the development of the embryonic chicken thymus and spleen

Dissertação para a obtenção do grau de Mestre em Genética Molecular e Biomedicina

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.