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.

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.

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)

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

Tese de Doutoramento em Ciências da Saúde

The use of canonical correlation analysis to assess the relationship between executive functioning and verbal memory in older adults

Executive functioning (EF), which is considered to govern complex cognition, and verbal memory (VM) are constructs assumed to be related. However, it is not known the magnitude of the association between EF and VM, and how sociodemographic and psychological factors may affect this relationship, including in normal aging. In this study, we assessed different EF and VM parameters, via a battery of neurocognitive/psychological tests, and performed a Canonical Correlation Analysis (CCA) to explore the connection between these constructs, in a sample of middle- aged and older healthy individuals without cognitive impairment (N = 563, 50+ years of age). The analysis revealed a positive and moderate association between EF and VM independently of gender, age, education, global cognitive performance level, and mood. These results confirm that EF presents a significant association with VM performance.

Genetic diversity and population structure in Vicia faba L. landraces and wild related species assessed by nuclear SSRs

Research Article

Conceptual models for designing information systems supporting the strategic analysis of technology environments

1 6 STRUCTURE OF THIS THESIS -Chapter I presents the motivations of this dissertation by illustrating two gaps in the current body of knowledge that are worth filling, describes the research problem addressed by this thesis and presents the research methodology used to achieve this goal. -Chapter 2 shows a review of the existing literature showing that environment analysis is a vital strategic task, that it shall be supported by adapted information systems, and that there is thus a need for developing a conceptual model of the environment that provides a reference framework for better integrating the various existing methods and a more formal definition of the various aspect to support the development of suitable tools. -Chapter 3 proposes a conceptual model that specifies the various enviromnental aspects that are relevant for strategic decision making, how they relate to each other, and ,defines them in a more formal way that is more suited for information systems development. -Chapter 4 is dedicated to the evaluation of the proposed model on the basis of its application to a concrete environment to evaluate its suitability to describe the current conditions and potential evolution of a real environment and get an idea of its usefulness. -Chapter 5 goes a step further by assembling a toolbox describing a set of methods that can be used to analyze the various environmental aspects put forward by the model and by providing more detailed specifications for a number of them to show how our model can be used to facilitate their implementation as software tools. -Chapter 6 describes a prototype of a strategic decision support tool that allow the analysis of some of the aspects of the environment that are not well supported by existing tools and namely to analyze the relationship between multiple actors and issues. The usefulness of this prototype is evaluated on the basis of its application to a concrete environment. -Chapter 7 finally concludes this thesis by making a summary of its various contributions and by proposing further interesting research directions.

Horwath Report Survey

The Office of the Minister for Integration (OMI), in collaboration with the Department of Education and Science have commissioned consultants, Horwath Consulting Ire-land and their partners, to carry out an independent review to assist in the develop-ment of a National English Language Policy and Framework for legally–resident Adult Immigrants. This is inclusive of asylum seekers. This review aims to identify the strengths and weakness of current provision, to sug-gest ways in which the strengths can be optimised and the weaknesses can be mini-mised. The review will assist in identifying barriers to participation, taking into ac-count Ireland’s rapidly changing demographics, and will suggest ways of overcoming these barriers. To achieve as broad a view as possible the consultants are engaging in a multi-pronged consultative approach. Key stakeholders have been interviewed, focus group meetings have been arranged and to expand the process it is proposed to carry out this survey. This survey seeks to obtain the views of providers of English Language to adult immigrants and interest groups. The views received will be analysed and will be used to inform the process.

Constant interest rate projections without the curse of indeterminacy

Constant interest rate (CIR) projections are often criticized on the grounds that they are inconsistent with the existence of a unique equilibrium in a variety of forward-looking models. This note shows howto construct CIR projections that are not subject to that criticism, using a standard New Keynesian model as a reference framework.

Pitkäaikaisten projektien myyntivaiheen kassavirtaennusteen kehittäminen. Case: Foster Wheeler Energia Oy

Tutkimuksen tavoitteena on kehittää pitkäaikaisten projektien kassavirtaennusteita Foster Wheeler Energia Oy:ssä. Jotta tähän tutkielman pääongelmaan saadaan vastaus, tulee analysoida, mitkä tekijät vaikuttavat kassavirtaennusteiden onnistumiseen ja millaisia kassavirtojen ennustamiseen liittyviä ongelmia Foster Wheeler Energia Oy:ssä on ilmennyt. Tutkielma sisältää sekä teoreettisen että empiirisen osan. Teoriaosassa perehdytään projektitoimintaa ja kassavirtojen ennustamista koskeviin aikaisempiin tutkimuksiin. Teoriaosan pohjalta muodostetaan viitekehys ja joukko oletuksia. Sekä viitekehystä että oletuksia käytetään apuna empiirisen osan analyysissa. Analyysimenetelmä on kvalitatiivinen. Tutkimuksessa käytettävä tutkimusote on toiminta-analyyttinen. Tutkimustulosten mukaan kassavirtojen ennustamista voitaisiin Foster Wheeler Energia Oy:ssä kehittää ensinnäkin muuttamalla henkilöstön asenteita ja toimintatapoja. Muutoksen tarkoituksena on parantaa sekä henkilöstön kustannustietoisuutta että koko projektin etenemisen ajan kestävää yhteistyötä. Toinen keino ennusteiden parantamiseen on ennustamisessa nykyisin käytettävän hinnoitteluohjelman kehittäminen. Toteumatietoja hyväksikäyttävän ohjelman avulla ennusteet voidaan tehdä nopeammin ja tarkemmin kuin aikaisemmin.