Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Galanin-mediated behavioural hyperalgesia from the dorsomedial nucleus of the hypothalamus involves two independent descending pronociceptive pathways

Activation of the dorsomedial nucleus of the hypothalamus (DMH) by galanin (GAL) induces behavioural hyperalgesia. Since DMH neurones do not project directly to the spinal cord, we hypothesized that the medullary dorsal reticular nucleus (DRt), a pronociceptive region projecting to the spinal dorsal horn (SDH) and/or the serotoninergic raphe-spinal pathway acting on the spinal 5-HT3 receptor (5HT3R) could relay descending nociceptive facilitation induced by GAL in the DMH. Heat-evoked paw-withdrawal latency (PWL) and activity of SDH neurones were assessed in monoarthritic (ARTH) and control (SHAM) animals after pharmacological manipulations of the DMH, DRt and spinal cord. The results showed that GAL in the DMH and glutamate in the DRt lead to behavioural hyperalgesia in both SHAM and ARTH animals, which is accompanied particularly by an increase in heat-evoked responses of wide-dynamic range neurons, a group of nociceptive SDH neurones. Facilitation of pain behaviour induced by GAL in the DMH was reversed by lidocaine in the DRt and by ondansetron, a 5HT3R antagonist, in the spinal cord. However, the hyperalgesia induced by glutamate in the DRt was not blocked by spinal ondansetron. In addition, in ARTH but not SHAM animals PWL was increased after lidocaine in the DRt and ondansetron in the spinal cord. Our data demonstrate that GAL in the DMH activates two independent descending facilitatory pathways: (i) one relays in the DRt and (ii) the other one involves 5-HT neurones acting on spinal 5HT3Rs. In experimental ARTH, the tonic pain-facilitatory action is increased in both of these descending pathways.

The effect of high-fat diet on rat’s mood, feeding behavior and response to stress

An association between obesity and depression has been indicated in studies addressing common physical (metabolic) and psychological (anxiety, low self-esteem) outcomes. Of consideration in both obesity and depression are chronic mild stressors to which individuals are exposed to on a daily basis. However, the response to stress is remarkably variable depending on numerous factors, such as the physical health and the mental state at the time of exposure. Here a chronic mild stress (CMS) protocol was used to assess the effect of high-fat diet (HFD)-induced obesity on response to stress in a rat model. In addition to the development of metabolic complications, such as glucose intolerance, diet-induced obesity caused behavioral alterations. Specifically, animals fed on HFD displayed depressive- and anxious-like behaviors that were only present in the normal diet (ND) group upon exposure to CMS. Of notice, these mood impairments were not further aggravated when the HFD animals were exposed to CMS, which suggest a ceiling effect. Moreover, although there was a sudden drop of food consumption in the first 3 weeks of the CMS protocol in both ND and HFD groups, only the CMS-HFD displayed an overall noticeable decrease in total food intake during the 6 weeks of the CMS protocol. Altogether, the study suggests that HFD impacts on the response to CMS, which should be considered when addressing the consequences of obesity in behavior.

Biomimetic superhydrophobic surfaces patterned with wettable spots as implantable chips for in vivo high-content 3D biomaterials response assessment

"Tissue engineering: part A", vol. 21, suppl. 1 (2015)

Fundamental studies on natural deep eutectic solvents: physico-chemical, thermal and rheological properties

When combined at particular molar fractions, sugars, aminoacids or organic acids a present a high melting point depression, becoming liquids at room temperature. These are called Natural Deep Eutectic Solvents – NADES and are envisaged to play a major role on the chemical engineering processes of the future. Nonetheless, there is a significant lack of knowledge of its fundamental and basic properties, which is hindering their industrial applications. For this reason it is important to extend the knowledge on these systems, boosting their application development [1]. In this work, we have developed and characterized NADES based on choline chloride, organic acids, amino acids and sugars. Their density, thermal behavior, conductivity and polarity were assessed for different compositions. The conductivity was measured from 0 to 40 °C and the temperature effect was well described by the Vogel-Fulcher-Tammann equation. The morphological characterization of the crystallizable materials was done by polarized optical microscopy that provided also evidence of homogeneity/phase separation. Additionally, the rheological and thermodynamic properties of the NADES and the effect of water content were also studied. The results show these systems have Newtonian behavior and present significant viscosity decrease with temperature and water content, due to increase on the molecular mobility. The anhydrous systems present viscosities that range from higher than 1000Pa.s at 20°C to less than 1Pa.s at 70°C. DSC characterization confirms that for water content as high as 1:1:1 molar ratio, the mixture retains its single phase behavior. The results obtained demonstrate that the NADES properties can be finely tunned by careful selection of its constituents. NADES present the necessary properties for use as extraction solvents. They can be prepared from inexpensive raw materials and tailored for the selective extraction of target molecules. The data produced in this work is hereafter importance for the selection of the most promising candidates avoiding a time consuming and expensive trial and error phase providing also data for the development of models able to predict their properties and the mechanisms that allow the formation of the deep eutectic mixtures.

Age effects on EEG correlates of the Wisconsin card sorting test

Body and brain undergo several changes with aging. One of the domains in which these changes are more remarkable relates with cognitive performance. In the present work, electroencephalogram (EEG) markers (power spectral density and spectral coherence) of age-related cognitive decline were sought whilst the subjects performed the Wisconsin Card Sorting Test (WCST). Considering the expected age-related cognitive deficits, WCST was applied to young, mid-age and elderly participants, and the theta and alpha frequency bands were analyzed. From the results herein presented, higher theta and alpha power were found to be associated with a good performance in the WCST of younger subjects. Additionally, higher theta and alpha coherence were also associated with good performance and were shown to decline with age and a decrease in alpha peak frequency seems to be associated with aging. Additionally, inter-hemispheric long-range coherences and parietal theta power were identified as age-independent EEG correlates of cognitive performance. In summary, these data reveals age-dependent as well as age-independent EEG correlates of cognitive performance that contribute to the understanding of brain aging and related cognitive deficits.

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.

The bounds of education in the human brain connectome

Inter-individual heterogeneity is evident in aging; education level is known to contribute for this heterogeneity. Using a cross-sectional study design and network inference applied to resting-state fMRI data, we show that aging was associated with decreased functional connectivity in a large cortical network. On the other hand, education level, as measured by years of formal education, produced an opposite effect on the long-term. These results demonstrate the increased brain efficiency in individuals with higher education level that may mitigate the impact of age on brain functional connectivity.

High performance screen printable lithium-ion battery cathode ink based on C-LiFePO4

Lithium-ion battery cathodes have been fabricated by screen-printing through the development of CLiFePO4 inks. It is shown that shear thinning polymer solutions in N-methyl-2-pyrrolidone (NMP) with Newtonian viscosity above 0.4 Pa s are the best binders for formulating a cathode paste with satisfactory film forming properties. The paste shows an elasticity of the order of 500 Pa and, after shear yielding, shows an apparent viscosity of the order of 3 Pa s for shear rates corresponding to those used during screen-printing. The screen-printed cathode produced with a thickness of 26 mm shows a homogeneous distribution of the active material, conductive additive and polymer binder. The total resistance and diffusion coefficient of the cathode are 450 V and 2.5 10 16cm2 s 1, respectively. The developed cathodes show an initial discharge capacity of 48.2 mAh g 1 at 5C and a discharge value of 39.8 mAh g 1 after 50 cycles. The capacity retention of 83% represents 23% of the theoretical value (charge and/or discharge process in twenty minutes), demonstrating the good performance of the battery. Thus, the developed C-LiFePO4 based inks allow to fabricate screen-printed cathodes suitable for printed lithium-ion batteries

Relatório detalhado sobre a atividade profissional desenvolvida no perído 2007-2015 no Gabinete de Fundos Comunitários do Município da Póvoa de Lanhoso

Dissertação de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

DNA evidence collecting in criminal investigation: Portuguese and Thai legal approaches

Doctoral Thesis in Juridical Sciences (Specialty in Public Legal Sciences)

Comportamentos de risco na juventude: Uma perspetiva de género e interseccional

Tese de Doutoramento em Psicologia - Especialidade em Psicologia Social

The role of IFNγ in higher brain function: in health and under chronic stress

Tese de Doutoramento em Ciências da Saúde

Development of multifunctional coatings deposited on polymers based sensors for biomedical applications

Tese de Doutoramento (Programa Doutoral em Engenharia de Materiais)