All over the place localization system

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

A cooperação transfronteiriça como oportunidade de desenvolvimento das regiões de fronteira. Da Raia Ibérica à euroregião Galiza-Norte de Portugal

Tese de Doutoramento em Geografia Humana.

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

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

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

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.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

The Portuguese programme ‘one laptop per child’ and its impact on families: a study on parents’ and children’s perspectives

This paper intends to present and reflect upon some of the findings emerging from a research project entitled “Navigating with ‘Magalhães’: Study on the Impact of Digital Media on Schoolchildren” that was conducted at the Communication and Society Research Centre at the University of Minho, Braga, Portugal. The project focused on the politics of the governmental programme “One Laptop per Child” part of the Portuguese Technological Plan for Education, and the uses of the “Magalhães” computer, and other media, by children aged 8-10 years. This paper analyses the impact of this particular public policy on digital literacy of young children based mostly on the perspectives of parents and their modes of mediation. It also debates parents’ and children’s perspectives on parental rules on computer and Internet usage. It ends by concluding that the impact of this programme occurred mainly at the level of access rather than the social and educational uses and practices. It also highlights the importance of family in the way children access and use ICT.

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.

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.

Using mouse dynamics to assess stress during online exams

"Lecture notes in computer science series", ISSN 0302-9743, vol. 9121

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.