Chronic stress disrupts neural coherence between cortico-limbic structures

Chronic stress impairs cognitive function, namely on tasks that rely on the integrity of cortico-limbic networks. To unravel the functional impact of progressive stress in cortico-limbic networks we measured neural activity and spectral coherences between the ventral hippocampus (vHIP) and the medial prefrontal cortex (mPFC) in rats subjected to short term stress (STS) and chronic unpredictable stress (CUS). CUS exposure consistently disrupted the spectral coherence between both areas for a wide range of frequencies, whereas STS exposure failed to trigger such effect. The chronic stress-induced coherence decrease correlated inversely with the vHIP power spectrum, but not with the mPFC power spectrum, which supports the view that hippocampal dysfunction is the primary event after stress exposure. Importantly, we additionally show that the variations in vHIP-to-mPFC coherence and power spectrum in the vHIP correlated with stress-induced behavioral deficits in a spatial reference memory task. Altogether, these findings result in an innovative readout to measure, and follow, the functional events that underlie the stress-induced reference memory impairments.

Effect of the Impact Conditions on the Mechanical Properties of Injection-Molded Parts

This work focused on the study of the impact event on molded parts in the framework of automotive components. The influence of the impact conditions and processing parameters on the mechanical behavior of talc-filled polypropylene specimens was analyzed. The specimens were lateral-gate discs produced by injection molding, and the mechanical characterization was performed through instrumented falling weight impact tests concomitantly assisted with high-speed videography. Results analyzed using the analysis of variance (ANOVA) method have shown that from the considered parameters, only the dart diameter and test temperature have significant influence on the falling weight impact properties. Higher dart diameter leads to higher peak force and peak energy results. Conversely, higher levels of test temperatures lead to lower values of peak force and peak energy. By means of high-speed videography, a more brittle fracture was observed for experiments with higher levels of test velocity and dart diameter and lower levels of test temperature. The injection-molding process conditions assessed in this study have an influence on the impact response of moldings, mainly on the deformation capabilities of the moldings.

Accessing movies based on emotional impact

Emotions play a central role in our daily lives, influencing the way we think and act, our health and sense of well-being, and films are by excellence the form of art that exploits our affective, perceptual and intellectual activity, holding the potential for a significant impact. Video is becoming a dominant and pervasive medium, and online video a growing entertainment activity on the web and iTV, mainly due to technological developments and the trends for media convergence. In addition, the improvement of new techniques for gathering emotional information about videos, both through content analysis or user implicit feedback through user physiological signals complemented in manual labeling from users, is revealing new ways for exploring emotional information in videos, films or TV series, and brings out new perspectives to enrich and personalize video access. In this work, we reflect on the power that emotions have in our lives, on the emotional impact of movies, and on how to address this emotional dimension in the way we classify and access movies, by exploring and evaluating the design of iFelt in its different ways to classify, access, browse and visualize movies based on their emotional impac

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

The impact of the digital divide on the perceived interest of an e-Marketplace to support healthcare and social care services

In a Europe increasingly aging, it is now recognized the importance and potential of the service industry for ageing well based on information and communication technologies (ICT), as exemplified by the electronic market of social services and health care, the GuiMarket, proposed by the authors. However, this new range of services requires that individuals have advanced digital skills to fully participate in society. Based on the results of a survey made on a sample of 315 individuals, this paper discusses the importance granted GuiMarket and the intended frequency of use, concluding there is a close relationship between ICT access and use that respondents anticipate making of GuiMarket and alike services.

The impact of size and age of the company on assessing financial risk

Textiles and tourism sectors are two important sectors in Portuguese economy. Its high exposure to both internal and international economy volatility transform the companies operating in these economic sectors especially vulnerable to recent economic crises in Portugal and European Union. The objective of this paper is to evaluate and understand the impact of size and age on the financial health of textile and tourism companies, measured by economic indices. An empirical based model is proposed. Its implications are derived and tested on a sample of 4061 Portuguese companies from textile and tourism sector, during the period 2005-2009. The results conclude that age has a stronger impact on the risk of failure than size. Whereas the effect of age is generally positive regarding the financial health of the company, the effect of size is less clear and depends on the age of the company.

The impact of size and age of the company on assessing financial risk.

Textiles and tourism sectors are two important sectors in Portuguese economy. Its high exposure to both internal and international economy volatility transform the companies operating in these economic sectors especially vulnerable to recent economic crises in Portugal and European Union. The objective of this paper is to evaluate and understand the impact of size and age on the financial health of textile and tourism companies, measured by economic indices. An empirical based model is proposed. Its implications are derived and tested on a sample of 4061 Portuguese companies from textile and tourism sector, during the period 2005-2009. The results conclude that age has a stronger impact on the risk of failure than size. Whereas the effect of age is generally positive regarding the financial health of the company, the effect of size is less clear and depends on the age of the company.